基于软交换的集群媒体服务器高可用性系统建模与分析

在研究基于软交换的集群媒体服务器的系统结构基础上,提出了一个高可用性系统方案。利用广义随机Petri网理论对高可用性方案进行了建模和仿真实验。实验结果表明,该方案可以显著提高系统的可用性,是一个有效方案。基于可用性模型分析了系统修复速率、请求处理机数量、以及请求处理机故障特征对集群可用性的影响,分析结论对基于软交换的集群媒体服务器的可用性设计具有重要参考价值。     

雷达组网中的IP实时可靠多播

随着Internet的发展,要求一对多或多对多通信形式的网络应用迅速增长,IP多播服务为该类网络应用提供了一种有效的通信手段。但是基于IP的多播是一种无连接的数据传输方式(UDP),UDP数据传输是一种“尽力而为”的方式,因此在传输过程中存在丢包和乱序现象。对于某些应用,该传输的不可靠性是不允许的,因此出现了可靠多播技术。可靠多播协议的应用针对性很强,不同的应用场合对可靠多播的要求以及实现方法也大不相同。文中分析了雷达组网对多播及其实时性和可靠性的需求,参考现有的解决可靠多播主要问题的方法,初步提出了一种适合于小批量数据分发的实时可靠多播通信协议的设计方案。     

硬盘播出系统的应用和电视资料库的建立

介绍校园电视台硬盘播出系统的实施方案,重点阐述如何使硬盘播出系统和校园计算机网相结合,开发视频资料库为学校的教学、思想教育、宣传等服务。     

电力市场环境下系统运行安全性的优化问题

保障合理的系统运行安全性有利于总体电价的降低。对于不同的市场体制,提出了基于社会效益最大化和在不影响电网公司用户经济利益前提下的电网公司效益最大化两种安全性优化方法的数学模型,并给出了一种简化实用算法。在新的辅助服务优化模型中,网络结构、运行方式、辅助服务价格、停电损失、切负荷赔偿价格及所考虑的安全性校验措施等因素均将对辅助服务的购买产生影响,从而影响系统运行的安全性。经仿真验证,该方法是可行的。     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

环境因子对东湖几种沉水植物生理的影响研究

报道了光照强度、水体温度及水体ｐＨ值对东湖５种沉水植物生理的影响．实验结果表明，在一定温度范围内，５种植物的光补偿点均随温度的升高而上升，且种间有较大的差异．各植物光合色素的含量，受生态因子的影响，表现出一定的适应性．５种植物对水体高ｐＨ值耐受能力有明显的差异．探讨了富营养化湖泊沉水植物消亡的原因及生态分布的规律，提出了富营养化湖泊水生植被的恢复及水生生态系统重建中的植物选种原则．     

Weighted Discrepancy and High-Dimensional Numerical Integration

The concept of weighted discrepancy of sequences was introduced by Sloan and Woniakowski when they proved a general form of a Koksma–Hlawka inequality for the numerical integration of functions. This version takes imbalances in the importance of the projections of the integrand into account.In this paper we give estimates for the weighted discrepancy of several important point sets. Further we carry out various (high-dimensional) numerical integration experiments and we compare the results with the error bounds provided by the generalized Koksma–Hlawka inequality and by the estimates for the weighted discrepancy. Finally we discuss various consequences.     

STL数据的远程显示方法研究

在分析了STL（StereoLithography）数据特点的基础上，针对STL数据冗余，不适合直接网上传输的特点．设计了网络传输文件T文件，减少了网络数据传输量。研究了STL数据到T文件的转换方法，并且采用Java3D技术开发了T数据的远程图形显示系统，实现了STL文件的远程快速浏览。从而为把快速原型制造与协同设计相结合提供了工具支持。     

基于Petri网的多Agent行为协进化模型研究

协进化方法是解决多Agent控制系统在动态、开放环境下行为协调协作自适应问题的新途径。针对多Agent行为协进化过程的实现,采用Petri网方法研究并构建了多Agent行为协进化过程模型,对模型进行了特性分析及仿真验证。所建模型较好地描述了协进化过程的流程结构和动态行为规律,为系统的分析及实现奠定了基础。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。