排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
2.
3.
确保安全协议的正确性对于保证Internet上安全敏感的业务非常重要。采用形式化方法建模和验证安全协议可以检测到传统测试手段难以发现的错误。模型检查作为形式化验证方法的一种,有着自动化和提供反例等诸多优点。使用模型检查工具SPIN对802.11i双向认证协议EAP-TLS进行验证,提取出包含协议设计重要细节的形式化模型,对协议安全属性采用线性时态逻辑抽象,并验证协议模型是否满足安全属性。提出了一种使用PROMELA建模认证协议的方法。 相似文献
4.
<正>一、都江堰灌区水利信息化项目评估的必要性都江堰灌区的信息化工作起步较早。1996年,四川省都江堰管理局在水利自动化、信息化建设方面开始探索和实践;2002—2005年,开展实施水利信息化一期工程建设;2006—2009年,顺利完成水利信息化二期工程建设。都江堰灌区经过一期、二期信息化工程建设,已经形成了较为完善的基础信息采集与枢纽自动化控制系统包括通信平台数据库平台以及 相似文献
5.
本文介绍电感耦合等离子体(ICP)——循环雾化系统的研制、仪器的特性、分析方法的建立,可对微量样品(0.5~10mg)进行定量分析,准确度较好,已成功地应用于高温合金、铝合金和贵重合金等的分析。 相似文献
6.
7.
传统PID控制器在烟草行业中的应用 总被引:2,自引:0,他引:2
黄谷 《军民两用技术与产品》2009,(4):46-48
以传统PID(比例-积分-微分)控制器理论为基础,论述了不同控制对象所应采用的PI、PD,以及PID调节器的结构,分析了各个调节参数对控制过程静态、动态的影响;在调节器的结构确定后。为了快速准确地整定出各调节参数,可采用凑试法、阶跃曲线法:通过在水分控制中的应用,证明了方法的正确性和实用性。 相似文献
8.
数码印花给纺织印染行业带来了一个全新的概念,其先进的生产原理及手段,给纺织印染带来了一个前所未有的发展机遇。它推动了企业生产方式和经营模式的转变,最大限度地满足人们的个性化需求,直接促进了"绿色纺织品"的发展。但就在数码印花正逐步从小批量、个性化迈进大生产、工业化的过程中却存在着诸多的障碍,现对如何实现数码印花真正产业化,数码印花技术在印染工业中的若干问题谈下个人见解。 相似文献
9.
简单阐述了水利工程信息化管理工作建设目标,分析了信息化管理应用于水利工程中存在的问题,提出了相应的解决策略。 相似文献
10.