“中国湿度网”的建设

介绍了“中国湿度网”的建设内容以及未来的发展方向。     

基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

构建企业网安全屏障

随着计算机网络的普及,其给人们带来的巨大的便利是显而易见的。人们利用网络浏览新闻,查阅资料,互相交流,甚至购置物品。在网络互连的前提下,时间和距离的隔阂几乎消除了。但是人们在享受网络互连代来的快捷、便利的同时,也面临网络安全漏洞、黑客攻击等带来的巨大挑战。     

建立安全的企业网网络存储系统

传统的网络存储系统采用集中的存储服务器存放所有数据,使得存储服务器成为系统性能瓶颈和可靠性、安全性的焦点,不能满足大规模存储应用的需要.分布式网络存储系统采用可扩展的系统结构,利用多台存储服务器分担存储负荷,利用位置服务器定位存储信息,它不但提高了系统的可靠性、可用性和存取效率,还易于扩展.本文从系统结构、实现方法、安全策略和效率、可靠性分析等方面对分布式存储系统进行了探讨.     

基于Petri网的网络化制造过程建模

文章简述了Petri网的基本概念;着重论述了运用Petri网建立制造过程模型的自底向上的方法和模型性能的分析方法;在此基础上,建立了某企业联盟网络化制造过程的Petri网模型,并对其中零件1的生产加工子过程进行了模型性能分析,如可达性、活性、有界性、安全性等。     

基于Petri网的Walker导航星座备份策略研究

提出了一种基于Petri网的Walker导航星座备份策略,考虑了导航星座运行中的主要不确定性因素,得到的备份策略能够使星座实际运行可用性与星座期望可用性非常逼近。对Walker 24/3/1:21528km,55°星座无备份星、仅考虑地面备份,以及考虑在轨和地面均备份三种情况的星座可用性进行了分析,结果表明:采用在轨备份3颗卫星、地面备份3颗卫星的策略能够保证导航星座的平稳运行,可为Walker导航星座备份策略的选取提供借鉴。     

航天工业部第三科技情报网在昆明市召开第四届技术情报交流会

航天工业部第三科技情报网于一九八三年四月一日至十日在昆明市云南七机局协作站召开了第四届技术情报交流会。出席这次大会的有航天部预研局的代表薛彤同志,云南七机局潘英圣局长、王世荣付局长,707情报所张典耀付所长,正、付网长单位的领导和厂、所、院校等,共56个单位,105名代表。大会共收到报告82篇,其中选取口头交流46篇,书面交流26篇。     

第三情报网第11届技术情报交流会暨建网10周年庆祝会在宁波召开

航空航天部第三情报网于1990年9月17—22日在浙江省宁波市由806所举办了第十一届科技情报交流会和建网十周年庆祝会.40多个单位78名代表出席了会议,大会收到报告77篇评选优秀论文7篇.这次交流会除了在发动机和推进剂研制方面进行了技术交流外,还就情报工作如何更好地为科研服务进行了讨论.     

用Petri网解决经典进程同步问题

Betri网是一种适于描述和分析异步并发系统的有力工具。进程间的同步与互斥是操作系统的关键问题。传统的进程同步互斥方法有：加锁机制、信号量机制和管程机制等。论文介绍了用Petri网描述操作系统中的同步互斥问题。