弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

应用柯洛波夫数论网格计算发射n发至少命中m发概率的研究

本文应用了柯洛波夫数论网格方法,较好地解决了三级误差条件下高精度计算命中概率指标 P_(Lm)的问题。本文还详细给出了计算 P_(Lm)的方法、步骤和实例。     

基于CORBA事件服务的主动服务技术研究与实现

介绍了主动服务及其需求背景，文章讨论了基于 Ｃ Ｏ Ｒ Ｂ Ａ 事件服务实现主动服务的系统框架，并简要介绍了该在电信管理中，基于事件服务的主动服务的应用。     

基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.     

高层建筑防排烟设计

本文论述了防排烟分区的划分,防排烟方式的选择,疏散楼梯间和消防电梯的防排烟设计,并探讨了防排烟设计中的问题     

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

现代高层建筑消防安全探讨

针对高层建筑的特点及消防安全现状,在分析高层建筑火灾危险性和危害性的基础上,提出保证高层建筑消防安全需要进行全面的系统设计、实施全方位的科学管理、健全法规、加强各方面的综合协调,并对防范火灾发生、控制火灾扩大、确保安全疏散等问题进行了探讨。     

一般民用建筑火灾特点与起火部位认定

从建筑火灾特点出发,阐述了建筑火灾发展阶段的蔓延特点、烟气流动特性与起火部位的内在联系,说明这些建筑火灾特点对起火部位的认定作用。     

高层建筑消防供电安全问题探讨

高层建筑消防用电设备的安全运行非常重要,其中消防供电系统的安全是重中之重。以消防电气设计应遵循的规范为依据,从消防设备供电设计、消防设备控制、消防系统的接地及过电压保护几个方面论述了确保高层建筑消防供电安全的措施。