强流相对论电子束(REB) 电子能量径向分布的测量方法

本文介绍一种REB电子能量径向分布的测量方法。利用REB电子轰击阳极靶产生的“厚靶”韧致辐射的零角度测量,确定束电子能量的径向分布,从而判断REB的居中性和能量的均匀性。     

一种用于机电产品测试性设计的传感器优选MINLP模型

在单故障假设条件下,考虑了传感器的失效概率和设备的故障率,提出一种以故障检测率和故障隔离率为约束条件的降低传感器费用和失效概率的混合整数非线性规划(MINLP)模型,从而为机电产品测试性设计中传感器选择问题提供了一种可行和有效的解决方法,并进行了案例验证,说明了该方法的有效性。     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

浅谈离子极化对化合物性质的影响

本文阐述了离子极化的产生;离子极化对化合物键型的影响以及对化合物性质的影响,并重点讨论离子极化对一些盐性质的作用。     

基于型号性能指标的武器装备体系作战能力评估方法

武器装备体系需求方案通常只能给出装备型号的性能指标,性能指标到能力指标的转化和型号能力到体系能力的聚合成为体系评估的关键。为此,提出了从装备型号性能指标出发的武器装备体系作战能力评估方法。首先通过使命任务到能力需求的分析,建立了能力需求指标体系。然后通过建立装备性能与底层能力指标的关联关系,以及各层级能力指标之间聚合关系,得到从武器装备型号的性能指标到武器装备体系作战能力的函数关系,从而完成装备单元能力评估和装备体系子能力评估,最终得到武器装备体系作战能力评估结果。最后,通过一个实例说明该评估方法的具体步骤和可行性。     

基于Agents/Space的装甲装备战损仿真方法(Ⅰ)

以装甲装备战损仿真的问题特征为牵引,提出了基于Agents/Space框架的装甲装备战损仿真模型,包括:利用Agents技术刻画弹药的行为和穿甲后效,将装备模型虚拟为系统环境(space),通过Agents与环境的交互来研究战场环境下弹药对装备的毁伤作用,并选用MASON仿真平台开发了仿真原型系统。     

装备零讯

印度加付改装费以提早交航母;美国正式开造新型航母;瑞典将装备阿契尔自行火炮;韩国欲购买C-17运输机;美舰载无人战斗机进展顺利.     

装备采购多目标激励模型研究

在将质量货币化从而实现激励目标测度统一的基础上,根据委托代理理论建立了委托人风险中性,代理人风险规避时的多目标激励数学模型,给出了激励系数的表达式,对激励系数与随机变量相关系数之间的关系进行了讨论。