主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

可信软件需求获取与分析研究综述及展望*

需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取与分析方法的研究动态进行了总结与展望。     

一种基于正弦映射的混沌交织器设计及应用*

移动信道编码中交织器的设计直接影响Turbo码的距离谱和性能,其主要作用是提高低重序列的输出码重和减小译码输出之间的相关性。随机交织器在数据帧较长时性能比较好,通过码序列位置重置实现交织,利用正弦函数的混沌映射有很好的随机性和瞬时正交性的特点,实现了一种新型混沌随机交织器,提高了交织器的误码率性能,并且在伽利略卫星系统中应用达到接近理论值的编码效率和误码率的特性。     

GCr15轴承钢连铸过程中热物性参数的研究

借鉴前人实验数据,采用一定的数学方法,对轴承钢的热物性参数进行了研究.结果表明：GCr15轴承钢的液相线温度为1 465.7℃,固相线温度为1 328.4℃,零强度温度为1 380℃左右,零塑性温度为1 330℃左右;在固相区、液固两相区、液相区分别采用不同的公式进行处理,可使结果更加准确,还避免了奇异性.研究结果可为轴承钢连铸工艺有限元模拟提供基础.     

层次约束结构的虚拟装配建模技术

为了解决虚拟环境下装配建模在信息完备性和模型复杂性等方面的问题,提出了一种基于层次约束结构的虚拟装配模型.该模型分为产品层、部件层、零件层、特征层、几何面层和面片层来表达,不同层元素之间存在层次映射关系,同一层元素之间存在约束关系.通过CAD系统和虚拟装配系统之间的数据转换,实现了虚拟装配模型的生成算法,并给出了根据虚拟装配模型生成的虚拟装配场景图的结构.基于层次约束结构的虚拟装配模型具有信息表达完备,信息集成度高,满足实时性要求等优点,同时还能与CAD系统和虚拟装配场景图实现集成.实例验证了虚拟装配建模的有效性.     

盈余质量与公司治理关系的实证研究

对公司治理系统中的主要特征变量与盈余质量关系的统计分析结果表明:独立董事的比例和盈余质量之间存在倒U型曲线关系;董事会会议次数和盈余质量正相关;而董事会规模和盈余质量的关系不显著;债务约束不构成中国上市公司盈余管理的动机;而提高净资产收益率的动机非常明显.政策结论在于:单纯的独立董事制度改革对提高盈余质量的作用有限,公司治理改革必须配合市场改革措施才能更有效地发挥提高盈余质量的作用.     

PCNN模型在彩色图像分割中的应用

针对脉冲耦合神经网络(PCNN)模型主要应用于灰度图像处理的局限性,利用脉冲发生器将颜色信息引入模型作为输入,与灰度信息共同控制神经元的内部行为,控制等灰度值的不同颜色区域分期点火,实现彩色图像的精确分割.双输入PCNN模型实现了彩色图像的分割,同时保持了PCNN模型对噪声的鲁棒性,从简单的仿真图像和实际图像两方面验证了此分割方法的有效性.     

电梯零速停靠的RBF神经网络预测算法

针对电梯运行过程中存在爬行距离的问题,提出了基于RBF(Radial Basis Function)神经网络的爬行距离预测模型.将预测的爬行距离增加到电梯速度曲线的匀速段,实现减小或消除爬行距离的目的,从而实现电梯的零速停靠.从电梯运行现场采集大量的原始数据,建立RBF神经网络预测模型,与BP(Back Propagation)预测方法进行仿真比较,结果表明RBF神经网络具有更好的预测效果.给出了应用零速停靠RBF预测算法前后电梯运行的速度曲线,爬行距离减小或消除,电梯的运行时间变短,实现了节能.     

Application of ACO algorithm in protein structure prediction

The hydrophobic-polar (HP) lattice model is an important simplified model for studying protein folding. In this paper, we present an improved ACO algorithm for the protein structure prediction. In the algorithm, the "lone"ethod is applied to deal with the infeasible structures, and the "oint mutation and reconstruction"ethod is applied in local search phase. The empirical results show that the presented method is feasible and effective to solve the problem of protein structure prediction, and notable improvements in CPU time are obtained.     

Corner forming of AZ61A magnesium alloy tube within warm hydroforming

The corners with small radii on cross sections are crucial for forming hydroformed components with polygonal sections.In this paper,warm hydroforming experiments of AZ61A magnesium alloy tubes were carried out to study the forming regularity of round corners by using a demonstration part with square sections.Effects of temperature on radius forming,thinning ratio distribution and microstructure were revealed and a component with relative outer corner radius of 3.0 was obtained by warm hydroforming at 240℃.The minimum thickness of the formed square section was located in the transition position between the corner and the straight wall.The thinning ratio of the round corner increased with the increase of forming temperature.Formability of the magnesium tube was improved by raising temperature under the effect of dynamic recrystallization at 240℃.