一种更优的精度控制故障树解算方法

本文针对安全分析方法中故障树解算问题提出了一种完全依赖于所要求精度的近似算法——精度取舍法。详细给出了近似求解顶事件概率值的两个截断条件。结论表明,它在同时兼顾精度与时间的要求方面优于别的算法。     

一种基于改进行为树的智能对手行为模拟技术

为解决智能算法/智能平台/智能系统智能化能力测试评估需高水平的智能对手模拟问题,提出了基于改进行为树的智能对手行为模拟技术。设计了行为控制、作战任务、行为动作、执行为4类行为树节点,建立了机动、侦察预警、指挥决策、火力打击和电子干扰5类原子行为动作和参数,给出了打击目标选择、武器发射、来袭武器判断等5类原子条件;提出了智能对手行为模拟系统组成,包括行为规则编辑器与行为规则引擎,建立了对手行为模拟运行流程。结合边境区域空地协同对抗典型应用场景,仿真结果表明模拟的智能对手行为能够支持智能化能力评估。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

自然的魅力——"水立方"与肥皂泡理论

2008年北京奥运会标志性场馆之一--国家游泳中心,[1]具有巧夺天工的设计、纷繁复杂的结构、简洁晶莹的造型,蕴含着先进的绿色科技,凝聚了中国人的智慧和自主创新的勇气.极好地体现了北京奥运会"绿色奥运、科技奥运、人文奥运"的三大理念.     

网架同步液压提升技术

\"液压同步提升技术\"采用液压提升器作为提升机具,柔性钢绞线作为承重索具.液压提升器为穿芯式结构,有着安全、可靠、自身重量轻、运输安装方便等一系列独特优点.     

对起重机械的安全管理

结合多年的管理实践和正反两方面的经验与教训,从起重机械的共性问题、各类起重机械的特点以及安全角度进行剖析,提出了各种预防措施.     

TJWX-2000型信号微机监测系统介绍

TJWX - 2000微机监测系统以新的技术条件为依据,采用统一的软、硬件,具备全路联网功能,能够准确判断事故隐患,实现防患于未然.     

脚手架及模板支撑系统失稳问题分析

从脚手架及模板支撑系统的组成出发,分析了引起系统跨塌的各种原因,提出预防事故发生的相应措施。     

浅析模糊神经网络在集气管压力控制系统中的应用

文章提出了一种基于模糊神经网络的智能协调控制方案,构成了焦炉集气管压力智能控制系统,有效解决了集气管压力的过程控制问题.     

浅析学校工会在构建和谐校园中的作用

论述了在构建和谐校园工作中，学校工会组织要充分利用自身的政治、组织、民主、活动渗透等优势，发挥职工教育、民主监督、维护职工权益、协调利益关系等职能作用。