第四代语言NH4GL系统

本文介绍了第四代语言系统NH4GL,并论述了其设计准则和实现方案。     

论熵方程在热力学第二定律中的作用和地位

传统的热力学第二定律是以开尔文—普朗克说法和克劳修斯说法为基础加以阐述的,而长期以来只用文字描述而没有一个统一的完整的数学表达式加以表达。本文参阅并分析了大量国内外对热力学第二定律和熵方程的有关论述,通过对熵方程在热力学第二定律中所起的作用和地位的详细论述,提出熵方程是热力学第二定律的最为完善的数学表达式这一看法,从而弥补了热力学第二定律在数学表达上的不足。本文认为,从熵方程中不但可以方便地导出著名的克劳修斯不等式和孤立系统熵增原理,而且利用熵方程可以轻而易举地判断任何热过程进行的方向、限度和条件,熵方程是热力学第二定律的最为完善的数学表达式。     

P—平稳过程的最大ch熵谱估计

研究少平稳随机序列在Chrestenson变换意义下的功率谱密度及其最大熵估计问题,得到了功率谱密度函数与熵率的关系公式及最大熵谱估计的正规方程。在采样数据个数为p~m的情况下,最大熵谱估计可直接由已知的有限自相关数据表示。这些结果与Fourier意义下的功率谱密度估计有很大的不同。     

基于遗传算法的最佳熵阈值图像分割法

将遗传算法用于图像分割的Ｋａｐｕｒ 等人提出的最佳熵阈值确定法（ 简称ＫＳＷ 熵法） 中,进行了针对图像分割遗传程序所需的参数设计．ＫＳＷ 熵方法具有很多优点,但同时也存在弱点：需要大量的运算时间,特别是在计算多阈值时．因此需要引入优化算法．Ｊ． Ｈｏｌｌａｎｄ 的遗传算法是具有鲁棒性和自适应性的搜索方法．采用遗传算法实现单阈值和多阈值图像分割,实验结果表明分割速度快于传统的ＫＳＷ 熵法,缩短了运算时间．     

固体火箭发动机性能可靠性评估的Bayes方法

在研制阶段试验信息以及积累以往试验信息的基础上，运用Bayes方法，建立了固体火箭发动机性能可靠性仿真模型，给出了仿真模型可信性检验的最大熵谱方法；将仿真信息作为验前信息，结合现场试验信息确定了性能可靠性的近似分布，并给出了性能可靠性的点估计和置信下限估计。     

基于广义模糊熵的液体火箭发动机故障检测研究

定义了系统状态的广义模糊熵及其计算公式，即当前时刻滑动数据窗口上聚类结果的我模糊度，给出了滑动数据窗口中采样数据矢量方向分布中心的离散度定义及其与广义模糊熵之间的负指数关系，并基于该离散度概念对自适应窗口滤波器进行了改进，提高了滤波器对噪声对敏感度，从而进一步提高了基于自适应窗口滤波器的故障检测算法对强干扰噪声的鲁棒性。本文基于受强噪声干扰的实际试车数据，采用模糊Ｋｏｈｏｎｅｎ聚类网络（ＦＫＣＮ）     

Preliminary design of paraboloidal reflectors with flat facets

Based on the concept of approximating antenna surfaces using flat facets or triangulated cable networks, a geometric scheme to subdivide a parabolic surface is discussed. According to the proposed scheme, the paraboloid is divided at the aperture circle into six equal segments first, which form a regular hexagon. Then the regular hexagon is subdivided into equal regular triangles to form subelements. Finally, the points of intersection of these triangles are projected or mapped on the paraboloid surface using a suitable origin of coordinates to obtain the final nodal coordinates of the members along the revolution axis direction. An expression for the relation between the systematic deviation of the actual surface from the desired surface and the side length of the regular triangles on the antenna's aperture surface is developed, which can be used to determine the side length of the regular triangles, and in turn to determine the size of the reflector surface facets necessary to meet antenna surface accuracy requirements. Application on a 0.6-m offset reflector is described and the simulation results demonstrate the effectiveness of the proposed technique in design of paraboloidal reflectors with flat facets.     

基于制造过程信息融合的产品早期失效率评估

为在快速响应制造模式下充分利用制造过程多源信息,通过评价产品的早期失效率来评估特定工艺的质量,进而选取合适的工艺,提出基于制造过程信息融合的评估方法.首先建立产品早期失效率的模型,并给出参数估计的方法;其次通过对形成产品可靠性的制造过程进行分析,确定合理的信息源;再次利用信息熵得到当前加工完成的产品与类似产品的相似程度;最后确定产品早期故障率的融合分布,对当前工艺生产产品的早期故障率进行评估;并以雷达移相单元为评估对象,验证论文所提方法的可行性.      

不正常航班恢复的一种改进的列生成算法

分析了由飞机资源短缺造成的航班不正常情况,将该问题视为带有容量约束的多个商品的整数最小费用流问题,建立了多商品网络流数学模型。采用列生成算法框架求解该大规模整数规划问题。一般的列生成算法是每次迭代过程只加入一个列,造成迭代次数过多,因而降低了算法效率低。文中采用每次迭代过程中加入多个列,并对加入的多个列应该满足的条件进行了分析。最后给出的算例验证了该方法的正确性和有效性。     

严格随机正则(3,s)-SAT模型及其相变现象

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则（3,s）-SAT问题,并给出了该问题的实例产生模型--SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则（3,s）-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则（3,s）-SAT实例是高概率不可满足的。实验结果表明：由SRR模型所生成的随机实例中,当N>60且s>11时,所有的（3,s）-SAT实例均是不可满足的,而当N>150且s<11时,所有的（3,s）-SAT实例均是可满足的,即严格随机正则（3,s）-SAT实例的相变点位于s=11处,且在s=11处（子句变元比为11/3）的严格随机正则（3,s）-SAT实例,比在相变点（子句变元比）4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。