- 博客(2)
- 资源 (3)
- 收藏
- 关注
原创 软件形式化验证工具设备单项论证报告
1 设备名称混合形式化验证工具 (CT-Scan)2 设备介绍2.1理论基础采用C/C++语言进行编写的代码,在进行软件验证的过程中往往需要花费大量时间和精力,迫切需要一款能够自动测试验证软件以提高效率的工具。为此我们推出CT-Scan,其主要原理是基于代码的形式验证,简单说就是对程序代码进行数学建模,并进行推理,解决代码的正确性,安全性等问题。CT-Scan能高效地把代码转化为等价的分离逻辑公式,并归结为命题逻辑,进而用命题逻辑判定过程来求解,证明或证伪用户指定的断言。2.2主要功能CT-
2021-06-08 16:40:28 564 2
原创 ZYJ7型转辙设备安装调试工法
ZYJ7型转辙设备安装调试工法ZYJ7型系列电液转辙机及其配套的安装装置与外锁闭器系统,是为满足我国提速线路需要而研制的新型道岔转换系统。此技术在信号改造施工中推广应用,取得了较好的社会效益和经济效益,经归纳总结形成本工法。一.工法特点施工操作简便,作业人员容易学习掌握。牵引装置和转辙装置同时施工,降低劳动作业时间。安装调试工序更加合理化、程序化,提高了工效、节约了成本。二.适用范围本工法适用于新建铁路或铁路技术改造工程中电气化和非电气化区段的提速道岔电动转辙机及钩式外锁闭装置施工。三.工艺原理
2021-05-31 20:50:05 4153
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人