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

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

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

混凝土中的裂缝对氯盐侵蚀作用的影响

为了研究裂缝对氯离子侵蚀作用的影响,采用弯曲试验预先在混凝土梁中产生宽度不等的弯曲裂缝,然后通过3%NaC l盐溶液浸泡一定龄期后钻心取样,测定裂缝处混凝土内氯离子含量.试验结果表明,混凝土中裂缝对氯盐环境下氯离子渗透的影响是显著的,裂纹大大加快了氯离子的侵蚀速度.裂纹处(裂缝宽度120~500μm)氯离子浓度为相同浸泡龄期无裂纹处的2~3倍.浸泡30 d时,裂纹处氯离子含量随裂缝宽度增大而增加,60 d时氯离子含量基本达到饱和,不受裂缝宽度影响,此时氯离子含量受浸泡深度影响不大.未开裂混凝土,即使氯盐浸泡60 d,氯离子含量随浸泡深度仍呈逐渐减少的趋势.     

基于自适应组合滤波的惯性导航系统初始对准方法

针对系统噪声不确定情况下的惯性导航系统非线性初始对准问题,提出了一种基于自适应组合滤波的初始对准方法.首先给出了一种基于Kalman/UKF组合滤波的神经网络实时训练算法;进而提出了基于Kalman/UKF组合滤波的非线性系统状态估计方法,该算法利用神经网络在线估计系统噪声,并利用Kalman/UKF组合滤波在线同时估计初始对准的状态量和神经网络的权值;最后将该算法应用于惯性导航系统非线性初始对准问题中,并进行了仿真研究.仿真结果表明:自适应组合滤波算法不仅保证了初始对准的精度,而且具有更好的实时性,是解决惯性导航非线性初始对准问题的一种有效且实用的方法.     

玉米醇溶蛋白水解物分离条件的选择

利用Bacillus natto菌所产蛋白酶水解玉米醇溶蛋白,得到水解产物,采用凝胶层析技术,对水解产物的分离条件进行选择。结果表明,Sephadex G-25作为分离介质,流速为1.0 mL/min,上样体积为1.5 mL,在此条件下其分离效果较好,得到5个组分。     

Temperature rise of He Ⅱ forced flow and its negative Joule-Thomson effect

The temperature rise of He Ⅱ transfer system due to the negative Joule-Thomson(JT)effect is one of the major problems in the He Ⅱ forced flow system design.Negative Joule-Thomson effect of the He Ⅱ forced flow was analyzed and calculated in this paper.The temperature rise due to the heat leak along the transfer pipeline was calculated by the simplified equation and was modified by considering the negative Joule-Thomson effect.The modified results were compared with the temperature rise obtained by non-linear differential equations with consideration of the pressure gradient.The results show that the pressure gradient has strong effect on the temperature distribution.The modified results are in good agreement with the values calculated by the complicated equation,which verifies the effectiveness of the simplified equation in calculating the temperature rise when the negative JT effect of He Ⅱ is known.     

基于双DNS的缓冲可伸缩网络设计与实现

通过对网络负载均衡技术的研究,采用DNS轮序、网络地址转换和网络负载均衡群集技术,设计并实现了一种具有外、内网双重调度机制和具有缓冲能力的可伸缩网络,解决了网络服务的负载均衡、响应时间、吞吐率和可靠性问题。测试结果表明,该方法具有较大的优越性。     

捷联式惯性导航系统初始对准扰动补偿控制算法

提出了一种捷联惯性导航系统初始对准扰动补偿二级控制器的设计方法。选取载体的飞行姿态、速度与位置增量建立了扰动补偿控制的状态空间数学模型,基于Backstepping控制方法,通过引入虚拟反馈控制变量设计了非线性控制器,保证大初始扰动条件下系统状态稳定收敛到系统的平衡点集。在平衡点集,设计了H2最优状态反馈控制律,以保证系统状态在平衡点集的渐进收敛。仿真和系统试验结果表明,这种二级补偿控制方法能有效抑制初始对准扰动误差,导航解算精度能够满足工程实际需要。     

基于IRP的Windows设备驱动程序间通讯的实现

Windows操作系统上,应用程序不能直接访问设备,访问要通过内核中的设备驱动程序实现。当系统中存在多种被控设备时,可采取一个主驱动程序控制其它设备驱动程序的方式,实现对多个设备的统一、协调的控制。文章介绍了通过在内核中传递IO请求包（IRP）的方式,实现设备驱动程序之间的数据通讯的方法,该方法首先在内存中分配一个共享数据区,并将描述该共享区域的数据结构通过IRP在驱动程序间传递,实现在驱动程序间的数据通讯。     

6-甲氧基-2-苯并噁唑酮合成工艺

改进了以3-甲氧基苯酚为起始原料,通过硝化、还原和环合反应得到6-甲氧基-2-苯并噁唑酮的合成方法.以水合肼作为还原剂,反应时间短且后处理容易;利用氮气保护,以尿素作为甲酰化试剂可以顺利得到产物,即降低了生产成本,又保证了产物的纯度.