网络融合的接入网技术

本文从电信网、广播电视网和因特网三种网络的不同特点入手，说明了三网合一的必要性和可行性，重点探讨了三网合一中关键的接入网技术。     

离散制造系统的初态验证与错误检测

离散制造系统要达到一定的生产目标。其初始资源、工件配置以及运行状态应满足一定条件．这些条件可以通过制造系统Ｐｅｔｒｉ网模型的初始标识、可达标识是否在一个可行集之中来分析验证。可行集是系统运行的不变量，标识离开可行集就产生一个错误．本文建立基于Ｐｅｔｒｉ网的动态规划算法，利用动态规划给出初态验证与错误检测的一个有效方法。     

炭纤维网胎表面改性

为改善炭纤维网胎的针刺性能,采用二甲基硅油、咪唑啉、水溶性二甲基硅油等表面剂处理炭纤维网胎,按照相同针刺工艺制备试验件.扫描电镜结果表明,二甲基硅油处理后网胎纤维相互粘连,水溶性二甲基硅油处理后的网胎呈疏松状态,纤维表面光滑.3种表面剂处理的针刺试样Z向剥离强度,咪唑林达到0.144 MPa,其余两种达到0.128 MPa.相对于咪唑啉和二甲基硅油,水溶性二甲基硅油可与水以任意比例互溶,且成本低,为理想的炭纤维网胎表面处理剂.     

新发现 土卫二发现地下海洋

“卡西尼”号飞船和深空探测网的数据证实，土卫二三四十千米厚的冰层下可能拥有一个大型的地下海洋，其深度约10千米，这增强了它作为潜在外星生命栖息地的可能性。     

“中国湿度网”的建设

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

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

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

厂网分开对大机组接入系统影响研究

当电源建设落后于电网建设时,需要利用现有的输电走廊将新投运机组接入系统,其必然会对系统的正常运行产生较大冲击.通过分析大机组并网对系统带来的影响.简述了其对系统稳定水平的影响程度及关键潮流断面输送极限对电厂功率外送的限制,并通过安装切机装置来提高关键潮流断面稳定极限,从而降低了机组的窝出力情况,提高了机组使用效率.     

构建企业网安全屏障

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

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

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

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

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