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

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

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

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

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

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

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

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

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

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

1-(4′-乙炔基苯基)-4-正丙基-2,6,7-三氧杂双环[2.2.2]辛烷的合成

以正戊醛为原料经Cannizzaro反应,脱水,酯化,合环和引入炔基5步反应,总收率为5%,成功合成了1-(4′-乙炔基苯基)-4-正丙基-2,6,7-三氧杂双环[2.2.2]辛烷.目标化合物的熔点及1H NMR谱,MS与文献报道一致.     

基于DBMS的元数据管理策略*

海量存储系统的元数据一般采用层次结构或哈希法来管理,存在元数据修改和查询目录等操作所需时间和空间开销大等问题,严重影响了系统的性能。通过引入二维表保存元数据信息,提出了一种基于DBMS的新型元数据管理策略。分析了将基于DBMS元数据管理策略用于管理海量存储系统中的元数据信息时,所需的时空开销以及管理元数据的灵活性。验证了基于DBMS元数据管理策略能有效地减少查询和更新所需的时空开销,实现高效、灵活的元数据管理功能,从而有效地提高海量存储系统的性能。     

基于HHT的多自由度结构渐进损伤特征提取方法

大型复杂工程结构的损伤实际上是一个渐进损伤的过程,为解决结构损伤识别中非平稳随机信号的时变性并有效地识别这个损伤过程,研究了基于Hilbert-Huang变换的结构渐进损伤特征提取方法.首先模拟产生了多自由度结构系统发生渐进损伤的加速度振动信号;然后对加速度振动信号进行经验模式分解,将其分解为多个平稳的固有模式函数之和;再选取若干个包含主要损伤信息的固有模式函数进行Hilbert变换,提取瞬时频率作为特征参数进行损伤特征提取.研究结果表明:HHT是一种有效的信号处理方法,通过提取瞬时频率,可以准确地提取结构渐进损伤的特征.