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

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

XML网络服务安全的研究

对几种XML安全机制进行对比分析研究,主要介绍了XML加密标准以及由IETF和W3C联合推出的XML数字签名标准(DSIG),同时给出了使用DSIG实现安全网络服务的示例。     

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

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

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

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

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

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

杏仁蛋白降血脂功能的研究

为研究杏仁蛋白对血脂的影响,先用盐析法从山杏仁中提取杏仁蛋白,并用胰蛋白酶水解部分杏仁蛋白,然后采用大鼠脂代谢紊乱模型进行动物实验。选用初体重100g左右的Wistar大鼠在实验环境下适应4d后,以体重无差异分成3组(每组6只):对照组、蛋白组和水解组。每组在试验期间自由摄入高脂饲料,经口定量(300mg/kg.d,每只大鼠)给予水或杏仁蛋白、杏仁蛋白水解物10d,然后禁食16h,心脏取血,测定血清总胆固醇、甘油三酯、高密度脂蛋白胆固醇、低密度脂蛋白胆固醇水平。结果表明,杏仁蛋白具有显著降低血脂作用,杏仁蛋白水解产物的降血脂的作用更明显一些。     

参数化建模和ADO技术在建立模具标准件库中的应用

针对在UG平台下如何快速创建标准件库的问题。提出了一种以VC＋＋6．0和SQ Lserver2000为开发工具，采用参数化建模技术、UG／OPENAPI技术以及ADO数据库链接技术，程序代码可重用性较高的建库方法。并结合实例详细说明建库步骤，给出了部分关键程序代码。     

考虑依赖关系和能力约束的多对多供应链订单分配研究

研究一种多对多供应链中的相互依赖订单分配问题.其中,来自需求方的需求由一系列相互依赖订单组成,并同时考虑供应商的能力约束以及订单多属性约束,包括完成时间、数量、成本等.为了消解由于制造商依赖订单和供应商同时订单所导致的冲突,采用自动协商方法.在定义供应链相互依赖订单分配模型的基础上,提出一种两阶段协商协议和不同的协商策略.协商协议集成了投标和辩论两种协商流程,可以实现制造商与供应商之间的信息交流,规定协商双方的行为准则;而协商策略则确定了制造商和供应商的决策规则.仿真实验验证了自动协商方法的可行性,同时分析和比较不同供应链环境下的订单分配效果.实验结果表明,在不同供应链环境下,通过协商的方法能够有效地消解冲突,解决所研究的订单分配问题.     

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

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