基于可转换代理签密的SAML跨域单点登录认证协议

可转换代理签密算法具有保护用户隐私、抗重放攻击、抗抵赖性等优势,基于该算法提出一种SAML跨域单点登录协议(SSPCPS).通过用户与异构域服务器直接交互认证,简化了跨域单点登录认证过程.用户身份票据由双方公钥结合用户随机选取的参数而生成,以密文形式传输,攻击者即使窃取该令牌也无法调用服务.用户利用代理签名密钥对摘要进行签密,在减少计算量的同时也可保证用户隐私安全.SSPCPS协议基于DH算法协商会话密钥,简化了会话密钥分发过程并降低了管理成本.使用CK安全模型证明了本协议的安全性并进行了性能分析,结果表明协议具有前向保密性、消息完整性等特点,同时在生成票据计算量和计算时间方面优于SSPPS协议、Juang方案、Ker-beros机制等.     

掺砾黏土动力特性研究进展

综述了掺砾黏土动力特性的研究现状,分析了动剪切模量、阻尼比和动强度的影响因素,提出研究掺砾黏土的动力特性需要考虑材料的细观结构特征,总结了考虑材料细观结构特征的数值方法及分析理论。指出今后需要在掺砾黏土的细观结构特征及其影响因素、细观结构对材料宏观动力性能的影响机理和基于颗粒增强复合材料理论的细观力学模型等方面作重点研究。     

泄洪洞混凝土衬砌温控方案研究

为寻求衬砌混凝土的有效温控防裂措施,结合某泄洪洞混凝土衬砌实际情况,在考虑了混凝土热力学参数随龄期变化、混凝土实际浇筑过程对温度应力影响的基础上,设计不同的温控方案,利用大型有限元软件对泄洪洞衬砌混凝土温度场、温度应力场进行了三维仿真计算.结果表明:衬砌混凝土浇筑完后第2天达到最高温度,第3天表面出现较大的拉应力,混凝...     

A predictive functional control algorithm for multivariable systems with time delay

To improve the dynamic characteristics and the coupling capability, a new predictive functional control algorithm is proposed for strong coupling multivariable systems with time delay, which combines predictive functional control and decoupliug control. First, a decoupling control algorithm is proposed, in which first-order models with time delay are established by analyzing the amplitude-frequency and phase-frequency characteristics of the decoupled subject. Then, a controller is designed for the single-variable subjects after decoupling based on the principles of predictive functional control. The simulation results show that this proposed algorithm has less online computation time and faster tracking. It can provide a more effective control for complex multivariable systems.     

管理科学发展的泛系鸟瞰与显微

从泛系理论的视角,运用泛系快深频方法对管理科学各理论学派进行审视,对相关理论进行详细解读,将管理科学与方法看成某种特化的泛系方法与泛系管理哲学,在泛系理法基础上实现某种三大显生(系统,关系,泛对称//泛系真善美禅极值原理)及技术化具体建构的分类对策巧显生.     

基于线性衰减的用户兴趣建模①

针对电子商务参与者兴趣变化异常频繁的特点,提出了基于线性衰减的用户兴趣模型。根据初始注册信息和浏览行为构建了链式用户偏好表,所有用户的偏好链表组成用户兴趣模型。兴趣模型中的用户偏好值在固定时间间隔t进行线性衰减直至变为0而被淘汰。若在衰减过程中产生了用户对某项目新的评分,该项目兴趣模型中的偏好值将被更新为此评分。实验证明,基于线性衰减的用户兴趣建模方法是有效的。     

基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

自动化几何校正中相机位姿自动校正方法

为了解决多投影仪拼接显示系统自动几何校正中相机位姿的自动校正问题,提出了一种利用目标区域角点集的最小外接矩形确定目标的倾斜状态的方法。首先运用Harris角点检测算子检测出目标区域的角点集,并根据角点集的凸包求其最小外接矩形,然后计算最小外接矩形的长或宽的斜率判断出目标区域的倾斜状态,最后结合云台的控制,对相机姿态做出实时调整,实现了自动几何校正工作中相机位姿的自动校正功能。     

积分分离式PID控制在混凝土搅拌站中的应用

混凝土搅拌站物料称量系统是整个混凝土搅拌站的核心部分,它的精度直接决定了搅拌混凝土的质量,而称量计量的主要难点在于实现各种物料流量的快速过渡和稳定,本文提出的积分分离式PID控制,算法简单、鲁棒性好、可靠性高,能显著降低超调量,对提高混凝土的搅拌质量具有重要作用。     

一类不确定切换奇异系统的动态输出反馈鲁棒H∞控制

研究一类由任意有限多个不确定子系统组成的切换奇异系统的动态输出反馈鲁棒H∞控制问题. 利用共同 Lyapunov 函数方法和凸组合技术, 给出由矩阵不等式表示的控制器存在的充分条件, 并设计了相应的子控制器和切换策略. 采用消元法, 将该矩阵不等式转化为一组线性矩阵不等式 (LMIs). 最后, 数值实例验证了所提方法的有效性.