10MeV中子引起的~（238）U，~（209）Bi，Fe和~9Be的次级中子

１０ＭｅＶ中子引起的￣（２３８）Ｕ，￣（２０９）Ｂｉ，Ｆｅ和￣９Ｂｅ的次级中子双微分截面测量祁步嘉，唐洪庆，周祖英，周陈维，沈冠仁，柯尊建，孙振强，夏海鸿（中国原子能科学研究院核物理所，北京２７５－４６信箱，１０２４１３）次级中子双微分截面是核工程设...     

传感器技术在智能变电站中的应用

介绍传感器技术在智能变电站中的应用,以及使用中的注意事项。     

主从模式下集散控制系统中无线通信的设计

针对集散控制系统,提出基于RS-232总线和无线发射模块的无线网络架构方案。     

理工类高等院校实验室安全管理体系建设研究

实验室安全管理是理工类高等院校安全工作的重点内容．针对理工类高校实验室安全管理问题。对理工类高校实验室安全管理的特点和影响实验室安全管理的主要因素进行详细的研究和分析,并以此为基础从实验室安全管理组织体系、监督体系和保障体系三个方面提出建设理工类高等院校实验室安全管理体系的具体措施。     

SIMUWORKS仿真软件的应用研究

SIMUWORKS涵盖了系统优化设计与调试、过程仿真培训、故障诊断、复杂系统动态特性建模研究、专家系统等各个方向的应用,提供了一整套完备的全过程支撑、一体化、通用的应用环境,其根本是以微机环境为基础的应用平台。软件部分采用了面向对象的图形化建模方法、分布式实时数据库技术和动态内存机器码生成技术,在国内外仿真领域处于领先地位。     

堆积体内部裂隙对降雨入渗的影响

降雨条件下滑坡体稳定性与裂隙诱发入渗密切相关。为了探究裂隙发育对堆积体降雨入渗的影响,以澜沧江某巨型堆积体坡表发育的裂隙现象为出发点,设计了均质堆积体和主-次裂隙堆积体2种模型。通过室内物理模拟试验及数值分析,并结合土体中的含水率、基质吸力、湿润锋迁移速度及深度的变化趋势可得出以下结论:裂隙型堆积体在降雨1 h和观测23 h的整个时间段内,其湿润锋迁移变化趋势可归纳为入渗加速→峰值→入渗减速→趋向于0;裂隙的存在为雨水入渗提供了有利的通道,雨水可到达土体深部,形成暂态饱和区,随降雨结束又逐渐消散;降雨在裂隙型发育的堆积体中的入渗过程可分为4个阶段,即前期完全入渗、裂隙下方强烈入渗、补偿加速入渗及水平侧渗。研究结果可为后续滑坡复活机理和稳定性评价提供参考。     

莱钢宽厚板MES的开发与应用

为了满足宽厚板生产小批量、多品种、多工序、多要求的实际情况,结合工艺要求和先进的计算机技术开发出一套铸轧一体化的MES系统,使得各种生产数据及特殊生产要求准确无误并及时发送到现场的执行系统,兼顾了质量与效率;组板、组炉、组浇模型的采用为大规模生产创造了条件,兼顾了成本与效率.精确到每块材料的合同跟踪模型保证了产品的如期交货,从而保证了较高的客户满意度.系统采用成熟的三层架构,数据库采用稳定的Oracle数据库技术,前台开发工具采用主流的VS2008,数据库和应用服务器均采用IBM的Aix操作系统,保证了系统的稳定、高效、安全.通过MES的实施较好地解决了制造环节的各种问题.     

水平阻尼作为干扰的平台式惯导统一控制方程

研究惯导系统统一控制的优化设计。传统的统一控制采用一体化设计方案,通用性不强。为简捷高效地实现惯导计算机的程序编排,提出了将水平阻尼作为干扰项的平台式惯导统一控制。通过改变系统框图结构,将无阻尼惯导系统和阻尼网络人为分离,水平阻尼网络的输出可视为干扰项。系统控制方程始终采用无阻尼条件下的表达式,惯导系统控制和阻尼网络可以实现模块化设计,使控制的实现形式和推导过程大为简化。给出了惯导计算机的运算流程,并分别在静、动基座条件下,对无阻尼、内水平阻尼和外水平阻尼状态的惯导系统做了仿真。结果表明新的统一控制模型有效体现了惯导系统的参数变化,且设计简便,具有更好的实用性。     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。