北约同意欧洲导弹防御计划

全球防务网2010年11月19日报道,北约秘书长拉斯穆森已经批准美国新的扩大欧洲防御系统的建议。拉斯穆森在本次北约峰会上声明,今后10年北约将耗资2.73亿美元,发展防御系统的现代防御能力、应对多种威胁,并与全球伙伴开展合     

俄罗斯S系列防空导弹系统发展近况

据报道,3月12日,俄罗斯国防部与"金刚石-安泰"防空系统联合企业签订了3年的S-300B4型防空导弹的供货合同,首批交付的3个导弹营将装备南方军区。该合同在2011～2020年俄联邦武器装备计划框架下签署,合同规定国防部将首先支     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

注射成型智能监控系统的研究

提出了用于多台注塑机智能控制的群控系统方案,用一台PC机作为上位机并用其串行通讯口与下位机(多台注塑机)通讯控制注塑机,从而实现了主机智能监控从机的功能。利用MFC、数据库技术和Visual C 的通信API函数实现PC机人机交互界面和串口通信。详细介绍了该系统的基本组成及设计时的几项关键技术。     

水闸远程监控系统设计可靠性研究

水闸远程监控主要包括闸门启闭控制和水文信息采集,系统一般采用现地PLC集中控制.为了提高水闸监控系统的可靠性和稳定性,硬件系统设计应从供电线路、现场环境、采集与控制、通信方式等方面入手;软件系统应把握好现地PLC程序与上位机程序设计等.     

融合案例与规则推理的注塑制品质量控制系统

将案例推理引入注塑制品质量控制系统的设计中，采用基于决策树和最近邻方法的混合检索模型，提出以注塑制品结构、原料、注塑机、成型模具和工艺参数为主要特征因素，建立一种面向对象层次结构的案例表示方法，并提出基于案例与规则的缺陷诊断推理机制，将案例推出的经验作为目标案例质量控制系统的初始值，经过知识规则推理得到目标案例的解决方法。通过生产中的实例说明了系统运行流程，结果证明基于上述思想方法和推理机制的控制系统有较好的推理能力和质量优化控制效率。     

长江岚头矶-富池口河段河演分析

对1971～2002年的水文及河道资料综合分析表明,岚头矶-富池口河段边界条件较好,河势较为稳定,河道冲淤变化不大,河床相对稳定,并阐述了该河段岸线资源开发和利用的特殊意义。     

智能型粉末冶金模模架库的开发

对常见的粉末冶金模模架进行了分类,并深入地研究了实现模架库的几个关键技术,在UG、VC++6.0和SQL server的平台上开发了一套具有一定智能型的粉末冶金模模架库系统,该系统能快速设计出粉末冶金模模架,操作简单,应用前景广阔。     

基于神经网络和遗传算法的薄壳件注塑成型工艺参数优化

建立了基于神经网络和遗传算法并结合正交试验的薄壳件注塑成型工艺参数优化系统。正交试验法用来设计神经网络的训练样本，人工神经网络有效的创建了翘曲预测模型；遗传算法完成了对影响薄壳塑件翘曲变形的工艺参数（模具温度、注射温度、注射压力、保压时间、保压压力和冷却时间等）的优化，并计算出了它们的优化值。按该参数进行试验，效果良好，可以有效地减小薄壳塑件翘曲变形，其试验数值与计算数值基本相符，说明所提出的方法是可行的。