排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
随着信息技术的快速发展,信息和通信技术(ICT)系统被广泛使用,因而其可靠性非常重要.本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴. 相似文献
2.
多层的风险管理模型,能促进整合整个组织的风险管理流程,更有效地处理组织使命和业务流程．对中国信息安全等级保护而言,如何实现从国家到地方整个体系的有机联动,如何更好地实现体系中安全保护的持续改善,以及进一步落实等级保护中各个环节的职能分工,该模型都有较好的借鉴意义． 相似文献
3.
为全面落实科教兴国战略和人才强国战略,重庆文理学院积极开展“数字化校园”建设,计算机实验室的信息化管理被列为重点建设项目之一.本文对实验室目前存在的问题进行探讨,分析PNS系统的基本技术原理以及在实验室管理中的应用效果,使之能够更科学、高效地发挥计算机实验室在服务于教学、科研中的作用. 相似文献
4.
设计了基于物联网技术的高校实验室资产管理系统，在软件设计上率先采用OSGI（面向Java的动态模型系统）技术，硬件设计采用RFID模式对实验室资产进行编码．软件测试结果表明，使用该系统能够提高资产管理效率，保护资产的安全与完整．此外，文章还探讨了需要解决的关键技术问题． 相似文献
1