超长超宽钢板装卸工艺

首钢秦皇岛板材有限公司的20 m×4.1 m系列规格钢板生产线投入运行后,生产的超长超宽规格钢板产品从秦皇岛港装船出口.为满足这种超长超宽钢板集港、装船作业的需要,我们在无工艺经验借鉴的情况下,成功研发了超长超宽钢板装卸工艺,为这类货物的装卸积累了经验.     

企业需求模型的形式化验证

企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.     

基于保障性的后勤产品文件要求

美军的《国防部联邦呆办条例备忘录》鼓励承包商使用非政府标准来满足基于保障性的后勤产品研制．然而性能规范、担保书、工作说明以及资料项目说明在当前仍然是属于军方使用的重要文件,如何来确定将要研制的后勤产品要求事关保障性的成效．论述了美军呆办改革后的后勤产品研制的文件运作与要求．     

基于Petri网模型的高铁6‰下坡道延续进路防护方法

针对大于6‰下坡道高铁车站的延续进路防护问题，以成兰线某车站为例，研究基于Petri网模型的防护方法。以车站平面布置图为依据，建立相应的延续进路防护资源分配约束模型，包含6‰下坡道防护模型和延续进路防护故障诊断模型。通过6‰下坡道防护模型对延续进路涉及到的轨道区段占用权进行分配，实现延续进路的安全性防护；延续进路防护故障诊断模型采用形式化验证方法，通过被标记的故障库所对不可行的延续进路排列报错，实现延续进路运行计划的安全性验证。利用Petri网的可达性、有界性、安全性，对车站延续进路可能产生的列车碰撞和冲突进行仿真验证，验证结果可为列车运行计划的排列提供参考。     

基于形式化方法的平交道口控制系统安全设计

铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统.首先，分析现有铁路平交道口的作业流程，利用新的控制系统解决现有系统中常见的三个问题，即出清检查、制动距离限制、连续接车中防护门短时间开放问题；其次，基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型；最后，检查证明义务以验证需求属性是否被满足，并应用动画器Animation展示系统功能的正确性.结果显示：相比传统的道口管理系统，本文提出的自动控制系统增加了双线连续接车功能，且使用形式化建模和验证，避免系统设计中存在的二义性，对平交道口安全管理有一定的参考意义.     

时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

城市道路施工图中沥青面层材料说明的企业标准化解决方案

为规范城市道路施工图中沥青面层材料说明的写法，明确设计文件必须的材料指标要求，提升工作效率，并降低设计人员重复繁琐的文本编辑工作，要研发通过软件自动生成沥青面层材料说明的企业标准化解决方案。首先，统计分析目前城市道路施工图中关于沥青面层材料的一般写法与内容，查询相关国家及行业规范的要求，确定说明部分的框架。其次，了解施工、监理、质检验收等相关方对施工图文件中关于沥青面层材料相关内容的使用情况，调研城市道路路面主要病害及产生的原因，统计说明中易产生歧义或指标不清晰带来的施工、验收及运营期病害等问题。最后，形成固定的企业标准说明结构，相关指标参数输入数据库，设计人员使用软件通过点选必要的项目信息自动生成说明文字。     

基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究

模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。     

大规格H型钢结构自动化焊接生产线工艺流程设计

针对大规格H型钢结构自动化焊接生产线，介绍H型钢焊接工艺，分析大规格H型钢结构焊接基本工序，设计生产线工艺流程，论述关键设备的结构特点和技术特性。该生产线在运行期间达到高效生产的预期目标，可完全满足相关行业规范的技术要求。