热门搜索
-
数智发布基于区块链的《无人值守可信煤炭化验室通用技术要求》
1月7日消息,日前,数智公司宣布其牵头编制的基于区块链的《无人值守可信煤炭化验室通用技术要求》(标准编号:T/ZSA137.2—2022)团体标准正式发布,已正式开始实施。据称,《无人值守可信煤炭化验室通用技术要求》作为系列标准包含三部分内容:第1部分:基础设施,第2部分:业务系统,第3部分:区块链应用...
互联网 2023-01-07 18:34:09 -
铁路机务系统化验检测进入大数据时代
本报讯(董智 钮圣杰)近日,中国铁路济南局集团有限公司发布《机务化验检测信息管理系统使用维护办法》。 该系统由济南西机务段研发,可适用于铁路系统各机务段和机务装备公司...
数据资讯 2020-09-23 08:52:10 -
形式化验证 美国防部推出“不可破解”代码技术
在黑客眼里,理论上应该没有不可破解的代码。然而站长搜索了解到美国国防部高级研究计划署(DARPA)试图打破这个规矩,利用“形式化验证”技术进行代码编写,让程序无法被攻破...
趣科技 2016-09-23 21:15:21