基于反馈原理及Kalman算法的P2P流量控制研究

针对P2P应用消耗大量网络带宽而影响互联网传统业务服务质量的问题,提出了一种基于反馈原理及Kal- man算法的P2P流量控制方案。本方案借助控制论中的反馈原理,对互联网中的P2P流量进行调节控制,较好地解 决了P2P流量抢占大量网络带宽的问题。仿真研究表明:本方案能抑制过高流量,提高过低流量,使对等端发送速率 可快速响应网络状态的变化,有效避免拥塞的发生,并使链路带宽得以充分利用。     

高速公路应急车辆指挥调度优化模型

为改善高速公路突发事件的响应效率,利用整数规划,建立了应急车辆优化调度模型。定性分析了3种调度策略的流程,并采用简化方式进行了对比验证。结果表明:最近服务方式能显著缩短事件响应时间,在此基础上提出的模型服务方式,进一步改善了事件响应效率。     

阎王鼻子水库大坝安全监测系统分析

大坝安全监测设施的正常运行,完善大坝安全监测设施,逐步实现大坝安全监测自动化,是搞好大坝安全管理的物质基础之一.对阎王鼻子水库大坝自动化安全监测系统的组成、配置和主要功能做了简要叙述.     

基坑工程安全监测技术

根据国内现行规范、规程有关条文,结合区域经验,提出河南省基坑安全监测的建议项目。介绍支护结构顶部水平位移、锚杆轴力、周围建筑物及地下管线沉降、地下水位的监测技术;最后,提出了基坑安全监测的预警指标。     

转基因制品及其安全性问题探讨

概述了转基因生物的历史和现状,介绍了转基因制品存在的安全性问题,分析了转基因制品潜在的风险和危害,提出了对我国转基因制品进行科学管理的方法。     

浅谈Visual FoxPro数据库系统的加密技术

基于Visual FoxPro数据库中出现的安全性问题,对于Visual Foxpro开发的软件的底层数据源表分别从外存储器和内存储器进行加密以确保数据本身的安全性,在用户使用权限上先对单机的用户密码运用加密的转换密钥和随机伪码进行加密,在分布式应用系统中的用户权限控制采用了HWANG,CHEN与LAIH的算法.     

载人航天工程地面逃逸安控系统可靠性技术

在载人航天任务中,保障航天员的生命安全是地面逃逸安控系统的首要任务,该系统具有高可靠性、高安全性.因此,对其可靠性进行研究十分必要.主要研究了逃逸安控系统可靠性技术,包括数据接收与处理、逃逸安控软件、指挥模式与指令发送等几个关键环节的可靠性,提出了提高系统可靠性的方法和措施,完善了地面逃逸安控系统可靠性设计,为圆满完成后续载人飞行任务打下良好基础.     

弹塑性土质边坡再生核质点法分析

针对土质边坡的稳定性问题，提出了利用无网格法中的再生核质点法（RKPM）进行弹塑性分析的方法.在介绍RKPM基本理论的基础上，探讨了其近似函数的建立与有限元法的区别，并用Galerkin法对控制方法进行了离散.针对边坡稳定的平面应变问题，假设工程土性质符合Drucker Prager本构关系，基于相关联流动法则，采用强度折减系数法得到了土质边坡在自重作用下的安全系数和失稳变形形式.结果表明，采用该分析方法能克服数值计算中网格畸变，得到的安全系数与极限平衡法结果接近，并能直观反映边坡失稳时的变形状态和形式.     

城市交通流量智能组合预测方法研究

智能交通系统是目前世界上公认的解决城市交通拥堵问题的最佳措施，实时、准确的交通流量预测是智能交通系统实现的关键技术之一，也是实现智能交通诱导及控制的前提。文章对几种重要的交通流量预测模型的理论和优缺点进行了比较，分析了影响预测模型的因素，提出了一种智能组合预测方法。该方法利用遗传算法群体搜索的特点，组合各种算法，优化预测思路，充分发掘不同算法的差异优势，实践证明该思路是切实可行的。     

Testing digital safety system software with a testability measure based on a software fault tree

Using predeveloped software, a digital safety system is designed that meets the quality standards of a safety system. To demonstrate the quality, the design process and operating history of the product are reviewed along with configuration management practices. The application software of the safety system is developed in accordance with the planned life cycle. Testing, which is a major phase that takes a significant time in the overall life cycle, can be optimized if the testability of the software can be evaluated. The proposed testability measure of the software is based on the entropy of the importance of basic statements and the failure probability from a software fault tree. To calculate testability, a fault tree is used in the analysis of a source code. With a quantitative measure of testability, testing can be optimized. The proposed testability can also be used to demonstrate whether the test cases based on uniform partitions, such as branch coverage criteria, result in homogeneous partitions that is known to be more effective than random testing. In this paper, the testability measure is calculated for the modules of a nuclear power plant's safety software. The module testing with branch coverage criteria required fewer test cases if the module has higher testability. The result shows that the testability measure can be used to evaluate whether partitions have homogeneous characteristics.