乘积测度的表示与集的截口的测度的可测性

设T,X是完备可分的度量空间,T×X是乘积空间.设ν是T上的完备的Borel概率测度,τ是X上的预测度.从ν和τ出发,可以通过两种不同方式定义乘积空间T×X上的测度.证明在τ是σ-有限的情形下,这两种方式定义的测度都等于T×X上的乘积测度ν×τ*,其中τ*表示由τ按方法Ⅰ所构造的外测度;在τ是非σ-有限时,证明了在一定的条件下函数τ(Et)与τ*(Et)都是T上的可测函数,其中E T×X,Et={x∈X;(t,x)∈E}.     

战区物资调运数学模型研究

如何优化分配,合理调运,及时准确地完成后勤保障任务,是现代战争中战区物资调运面临的重要问题之一.基于运输问题,就现代战争条件下战区物资调运问题的各种情况建立了数学模型.该模型可用于后勤物资保障的决策支持系统及指挥自动化系统,为解决战时后勤保障供应问题提供了新的理论方法和思路.     

一种采用混合进制的算术编码

针对许多实际应用中需要同时编码压缩来自多种不同符号集的数据,提出一种采用混合进制的算术编码,提高编码效率的同时增强了算术编码的抗误码扩散能力.从理论上分析了该算法并给出了实现过程.处理小波零树系数以及随机混合数据的实验结果表明,该算法明显优于单一进制的编码算法.     

非基线对称类信号的基线扣除新算法

在分析了现有基线扣除算法的基础上,根据非基线对称类基线信号的特征提出了一种新的基线扣除算法--基于小波滤波和梯度直方图最佳分割的非基线对称类信号基线扣除新算法.考虑到信号总是存在着噪声,含噪的基线信号梯度值也较大,并且分布无规律,采用了多分辨率小波变换滤波技术.通过合理选择最佳分割阈值门限,算法可精确提取出该类信号的基线.     

引信全电子安全系统程序控制组件设计

全电子安全系统是引信设计的发展方向,程序控制组件是实现引信安全控制的重要部件.介绍了一种引信全电子安全系统程序控制组件的技术要求、基本功能和工作顺序及原理,提出了提高系统可靠性的电路模式和设计原则,同时对程序控制组件的软件设计方法进行了介绍.采用先进的在系统可编程器件,实现系统逻辑功能的集成化、小型化,且具有易于功能扩展、设计升级等优点.     

一种基于串行总线的智能容错飞控计算机系统

从工程技术角度出发,讨论了适用于无人驾驶飞行器的容错飞控计算机系统的实现,给出了基于串行总线的智能容错飞控计算机系统结构,将工作状态检测系统和故障预测技术应用到容错计算机系统中,可在故障发生前采取容错措施,避免故障发生和故障造成的系统失效.给出了总线接口、运算控制单元、A/D转换单元、通讯模块的结构和实现方法,指出利用CPLD和HDL语言进行电路综合具有效率高、测试方便、易修改的特点,应在实践中广泛推广.     

电梯上高峰模式下动态分区算法的研究

研究了电梯群控系统(EGCS)上行高峰时期的动态分区群控方法.动态分区是根据大楼乘客流量的大小和分布情况动态地调整楼层区域的划分;同时提出了一致的UPPINT的目标函数,将动态分区问题归结为一个最优化问题,用直接搜索法对其进行求解;并对群控的几种算法进行了仿真比较,验证了动态分区算法的良好效果.     

基于竞争失效模式的数控机床可靠性建模

数控机床是复杂的机电一体化系统,其故障不仅包括由于机械磨损造成的性能退化失效,还包括电子器件等引起的突发性失效,数控机床故障是退化失效和突发失效竞争的结果. 故本文假设突发失效和退化失效相互独立并且都服从Weibull分布,综合考虑突发失效和性能退化之间的相关性和竞争关系进行数控机床可靠性建模研究. 采用最小二乘估计法估计模型参数,运用D检验法进行参数拟和性检验;得出了一种基于竞争失效模式分析的可靠性评估模型. 最后,以15台某系列数控机床60个故障数据对该方法进行验证,说明了该方法的有效性和可行性.     

基于重复博弈的集群企业间社会关系构建分析

针对我国外生模式及混合内生模式集群中核心企业与依附企业间的主从支配关系,将核心企业与依附企业间的社会关系收益进行量化,讨论了核心企业与依附企业间的社会关系构建及维持的影响因素及内在机制.研究表明,核心企业与依附企业间的社会关系构建与维持取决于核心企业对双方社会关系价值的预期以及依附企业的市场价格;核心企业依据依附企业的市场价格来分割双方的社会关系收益;而依附企业可以通过提高自身的价值,获取更高的社会关系收益分割值,缔结和维持有利于自身和集群成长的社会关系.     

The wedge and the vis viva controversy: how concepts of force influenced the practice of early eighteenth-century mechanics

This article discusses the quest for the mechanical advantage of the wedge in the eighteenth century. As a case study, the wedge enlightens our understanding of eighteenth-century mechanics in general and the controversy over “force” or vis viva in particular. In this article, I show that the two different approaches to mechanics, the one that favoured force in terms of velocities and the one that primarily used displacements—known as the ‘Newtonian’ and ‘Leibnizian’ methods, respectively—were not at all on par in their ability to solve the problem of the wedge. In general, only those who used the Leibnizian concept of force or some related notion were able to get to the conventional results. This article thus rebuts the received view that the vis viva controversy was merely a semantic one. Instead, it shows that different understandings of “force” led to real and pragmatic differences in eighteenth-century mechanics.