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

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

火山岩圈闭识别描述方法及其应用

中国沉积盆地内火山岩分布广泛，松辽、准噶尔及四川等盆地不断取得重大突破与发现，火山岩已成为我国油气勘探的重要领域之一。松辽盆地长岭断陷发育火石岭组和营城组火山岩，是油气增储上产的重要领域，但其勘探成效直接取决于对火山岩圈闭的识别与刻画成果。与碎屑岩圈闭相比，火山岩圈闭成藏条件要求更为苛刻，储层条件、侧向及顶底板封堵条件是控制火山岩圈闭有效性关键要素。在解剖已发现火山岩油气藏基础上，通过攻关研究，提出了火山岩体刻画和火山岩储层的描述是火山岩圈闭识别的重点。以火山岩岩性圈闭为例形成了火山岩岩性圈闭识别描述“五步流程”，并实际应用于龙凤山鼻状构造带。钻后结果表明，火山岩岩性圈闭与钻前认识整体一致，圈闭落实可靠，验证了火山岩岩性圈闭识别描述技术方法的有效性，推进了长岭断陷火山岩的油气勘探，对国内其他盆地火山岩油气勘探具有一定的指导应用价值。      

适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

一种直升机配电盒线路逻辑测试设备的设计与实现

为降低X系列直升机多型左/右配电盒线路通电测试所带来的测试风险，将其线路逻辑测试分为不加电情况下的线路导通测试与加电情况下的线路通电测试两类，两者均包括交流主通路、直流主通路和其他控制线路三类测试。为满足X系列直升机多种左/右配电盒整机线路逻辑测试需求，采用自动测试理论进行测试设备的研制。利用各种程控部件(包括数字万用表、电压源/电流源等)和自研的适配器箱、接触器箱搭建测试设备硬件平台，并基于VC++ 6.0开发相应的测试软件。最后针对X系列某型直升机左/右配电盒，对测试设备功能进行测试验证，测试结果表明其有效性。所做研究对其他系列直升机配电盒的整机线路逻辑测试具有借鉴意义。     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。