信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

均匀分布中参数的区间估计

在均匀分布场合中,分别用枢轴量法、参数的Bayes的估计、信仰水平为1-α的区间估计方法,并给出了三个不同的区间估计,并对这三个区间做了总结.     

SOA在OCDMA网络中的应用

综述了半导体光放大器(SOA)在光码分多址(OCDMA)系统中消除多址接入干扰(MAI)噪声、控制全光分组数据路由的两类应用,阐述了这些方案的原理和特点,并展望了未来SOA在OCDMA网络中的应用.     

刍议3G无线通信技术的应用

本文结合本人工作经验，主要分析了3G无线通信技术的一些内容，如：IMT－2000、GGSN／PDSN、SIGTRAN、GPRS与CDMA2000等等，并探讨了这些技术的发展，以供参考。     

ATM网络中基于测量的接入允许控制的研究

如何充分利用现有ATM局域网络资源和向用户提供保证的服务质量(QoS)是国内外十分重视的一个研究课题.基于测量的网络性能分析方法是作用于一个已经存在的真实网络系统上,对现有的网络资源进行数据采集、性能分析;接入允许控制是对一个ATM交换系统进行流量管理.着重讨论将两者结合起来进行ATM网络资源管理,以获得优化ATM网络资源和保证的QoS的作用.     

中国平煤神马集团飞行化工公司通信接入方案

本文通过工程实践,对中国平煤神马集团飞行化工公司的通信接入方案进行了可行性分析,认为可以通过网络构建,解决了飞行化工的对内对外通信,使集团公司通信拥有更大的网路范围,使得我公司通信服务能力进一步加强,通过此次工程使我公司机务维护人员有一次难得的实际学习机会,进一步加强我公司人员的维护水平和业务知识层面,而且统一网管系统业务端的服务器通过改造优化变得易于操作管理和维护管理,减轻飞行化工通信维护人员的工作压力。     

中国平煤神马集团飞行化工公司通信接入方案

本文通过工程实践,对中国平煤神马集团飞行化工公司的通信接入方案进行了可行性分析,认为可以通过网络构建,解决了飞行化工的对内对外通信,使集团公司通信拥有更大的网路范围,使得我公司通信服务能力进一步加强,通过此次工程使我公司机务维护人员有一次难得的实际学习机会,进一步加强我公司人员的维护水平和业务知识层面,而且统一网管系统业务端的服务器通过改造优化变得易于操作管理和维护管理,减轻飞行化工通信维护人员的工作压力。     

EOC方案技术指标比较及与我国有线电视网络适应性分析

在三网融合大背景下，广电网络的EOC进度备受关注，除了各种已有EOC方案，广电总局也在研究具有自主知识产权的方案。EOC是光纤与最终用户之间的最后一百米解决方案，要选择合适的方案，就首先要分析MOCA、HPNA等各种EOC方案与国情现状的矛盾，将各种备选方案做出比较。本文将介绍EOC的基本概念，列举全球范围内常见的EOC解决方案的技术指标并将之与国内网络规划状况进行比较，最后通过尝试分析国内网络现状讨论各技术方案在我国EOC进程中的可行程度，总结研究具有自主知识产权EOC方案的必要性。     

单条光缆多网络接入的实现

一、概述随着社会信息化的快速发展和光缆在通信技术中的广泛应用,用户以光缆方式接入网络已相当普及,尤其是单位用户,大都采用光缆方式接入网络。用户的光缆接入,一般仅是访问互联网,但有些用户尤其是单位用户在接入互联网的同时,还需接入某一专网,     

宁煤集团太西热动力站接入系统方案研究

大容量冲击性负荷接入系统容易对电网稳定运行造成不利影响，本文针对宁煤集团太西热动力站的负荷性质，根据接入系统电压等级的不同，分别以11OkV、35kV和6kV与系统相连接的情况作为三种接入系统方案，并从短路电流水平，对电网及电气设备的影响等方面对三种方案进行了详细的对比分析，给出了本工程接入系统的合理方案。