搜索结果: 1-3 共查到“人工智能 安全性”相关记录3条 . 查询时间(0.6 秒)
Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明. 我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.
混凝土安全性专家系统
混凝土 安全性 耐久性 专家系统
2009/2/25
2001成果类型：应用技术所处阶段：成熟应用阶段成果体现形式：新技术项目合作方式：其他成果完成单位：武汉理工大学
成果摘要：耐久性是导致混凝土工程过早破坏的最主要最复杂的因素之一，如何预防和减轻其破坏作用一直是重大工程混凝土安全性的重要内容。通过长期的理论研究和工程实践，人们已经积累了一定的对混凝土安全性性能进行评估、诊断、性能设计、事故预防和工程施工指导等方面的知识和经验。但是这些知识和经验缺...