固化健康十项措施 实现管理程序化

为做好海外员工尤其是非洲等条件艰苦无医疗支持区域员工的健康保障,长城钻探尼日尔综合项目部牢固树立"员工生命高于一切"的理念,将健康安全管理工作作为首要工作来抓,经过几年摸索和实践,结合现场实际不断优化管理方案,总结和固化了健康管理10项措施,通过落实并持续改进实现健康管理程序化。结果表明:此类措施的执行为现场员工的健康提供了充实保障。

基于谓词抽象的上期所异常交易监管应用研究

对异常交易行为的监管是期货市场强化自律监管、完善监查规则体系、规范运行秩序的客观需要。创新性地对上海期货交易所异常交易监控的交易规则进行数学抽象,并在程序设计中运用形式化的自动推演思想,为今后期货交易规则制定的理论化,期货交易系统设计的规范化、体系化提供了很好的参考范例。并且,开发的异常交易统计结果汇总数据分析系统在实际使用中操作性良好,工作效率显著提高。