SIL验证与安全仪表系统的优化设计

安全仪表功能(SIF)回路是为了降低特定场景的安全风险而设置的,定级报告中SIF回路的功能描述是工艺设计的完整逻辑要求,包含关键动作及附件动作。安全完整性等级(SIL)验证属于概率学领域研究范畴,影响失效率的因素多且复杂。如果SIL验证无法通过,将造成大量的设计变更,浪费工程投资,影响工期。设计人员应关注SIL定级报告中关键动作的识别、要求平均失效概率以及SIF回路架构的约束。按照文中方法优化测量元件、逻辑控制器、执行元件及辅助元件的设计,可增加通过验证的概率。在没有预验证及安全要求规格书时,可以参考文中典型可通过SIL验证的SIF回路的经验架构进行优化设计,以减少工程变更。     

黔北桑木场背斜铅锌矿深部找矿实例分析*#br#

黔北桑木场背斜位于上扬子地块黔北隆起区毕节弧形褶皱带与赤水克拉通盆地的交汇部位，属于有利的铅锌成矿区带。区内铅锌矿的赋矿层位主要有震旦系灯影组、寒武系清虚洞组、高台组及石冷水组，矿体多产于背斜核部并受断层或裂隙控制。通过对地层岩性特征、地表矿化特征、控容矿构造特征、化探异常特征、物探异常特征等进行综合研究，选择在成矿有利地段进行了工程验证，为进一步开展桑木场背斜铅锌矿深部找矿工作提供了思路。     

Characterizations of friction welding joint interface for AISI 316

Because of heat amount is different from peripheral to central of friction welding interface, which is leaded to vary the characterizations along that interface. Current study, respectively, focused on the effect of different friction pressure on micro-structural and mechanical properties of that friction welding joint interface. Presently, these friction pressures are 110, 130, 150 and 170 MPa while kept all other conditions constant. The effects of different friction pressure on welding interface characterization were investigated by EDX, SEM, tensile, compression, impact and hardness tests. The tensile tests carried out on the standardized test piece with diameter 6 mm and 8 mm, thus, compression tests were extracted from the positions of 0°, 45° 90° with test specimen of 4 mm diameter and 6.5 mm length at weld center. Whereas, the impact test pieces were picked up in two positions, the first one is symmetrical, which it obtained to the respect of the rotation axis and the interface, on the other hand, the second one is non-symmetrical with the axis of rotation and symmetrical to the interface, for making the notch head coincide with the center of the welded joint, The obtained results showed that with reducing of friction pressure will present lack of bonding increasing from peripheral toward the welding center, which will responsible on reducing of the mechanical properties such as tensile, compression and impact strength.     

立足资源优势 培强特色产业

近年来，化州市委、市政府把发展化橘红作为地方特色主产业来抓，打破传统农业生产思维定势，坚持政府推动和市场引导相结合，引进实力雄厚的大公司与原有的合作社、种植大户相结合，建龙头、扩基地、增效益，化橘红产业规模迅速扩张，呈现出高点规划、高速推进、高标生产的强劲发展势头，成为该市农业增效、农民增收的重要途径。     

十字交叉法测定药剂对棉花黄萎病菌的抑制作用

本试验通过滤纸条十字交叉抑菌法对市场中现有药剂和有活性的化合物之间的配组，对药剂复配之后的药效进行测定和筛选，并试图打破常规的杀抑研究，进而开发具有杀抑防等多种功能的药剂。通过复配将这些功能有机地结合在一起。在实验室研究中，采用直接抑菌试验法找出一些对抑制黄萎菌有效的药剂配组，从而以试验结果证明药剂复配之后对棉花黄萎菌的抑制效果更好。     

电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.