现浇钢筋混凝土圈过梁裂缝控制

结合工程实例，探讨了现浇钢筋混凝土圈过梁收缩裂缝控制问题。分析了裂缝间距与梁配筋率之间的关系，提出了依据过梁净跨度确定圈梁的最低配筋率以控制裂缝的措施。     

NPP distribution related to the terrains along the North-South Transect of Eastern China

Vegetation net primary productivity (NPP) is defined as the accumulative amount of organic matters per unit area and time, which is calculated from the difference between accumulative photosynthesis and accumulative autotrophic respiration by green plants. Since the NPP reflects the physiological and ecological characteristics of the plants and the interactive results of the environmental factors, it is an important index to evaluate a structure of ecological system, functional features and …     

多Agent协作环境下的任务分配

对多Agent协作环境下的任务分配机制进行了论述。在合同网的分配机制基础上,提出了一种基于合同网的改进机制———任务列表分配机制。该任务分配机制针对多Agent协作工作时面临的突发性事件,能有效地提高系统的实时处理能力和工作效率。以多机器人系统为例,应用任务列表分配机制,解决突发事件下多机器人任务的再次分配问题,满足了多机器人协调工作的实时性要求。实验和理论证明了其机制的优越性。     

具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

责任准备金的最优投资计划

给出两种责任准备金的投资模型—单纯存款模型和既可存款又可购买国债模型,都使原本无收益的保险基金产生了经济效益.并从中找到一个最优的投资方式—既存款又购买国债.最后用一个简单的实例模拟,取得良好的效果.期望本模型为我国的保险基金提供可以借鉴的方法.     

网络防火墙的远程控制及其在校园网中的应用

在Linux操作系统平台上将防火墙的包过滤、网络地址转换、MAC和IP地址绑定等各项功能进行整合：为了便于网络管理员配置防火墙策略，在Windows操作系统下设计了一个图形界面的客户端管理与配置程序：通过基于C／S模型的Socket通信程序设计，成功地实现了防火墙的远程控制，解决了实验室IP地址冲突以及防火墙策略设置复杂的问题．     

转基因水稻对赤霉素敏感性的初步研究

以水稻品种中花11及其转基因株系为材料,研究它们在苗期对GA3的反应程度.结果表明:用100mg/L的GA3在二叶期对各植株进行喷雾,5d后各个株系苗高都比以喷水的对照组显著增长.在充分考虑起始株高和试验期间对照正常生长动态变化的基础上提出了比净伸长率(specificnetelongateratio,GA3处理的净伸长率和对照净伸长率之比)的概念,并建议根据比净伸长率分析各株系对GA3的敏感性.应用该方法发现2份对GA3钝感的材料.文章报道这一结果并探讨了造成用比净伸长率与常用的“株高增长率”分析水稻品种/株系对GA3敏感性差异的原因.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.