多值逻辑函数最小化的McCluskey—Quine方法改进及程序实现

多值逻辑电路的发展，使得以往的化简方式已不能适应电路取值的增高和函数项的增加。本文以三变量三值函数为例，讨论了多值逻辑电路化简的物理背景，采用改进的McCluskey-Quine方法进行最小化的算法，以及质蕴含项覆盖问题的求解，并给出了程序流程。由于该程序采用的面向对象技术，经过适当扩展可以应用于多变量多值函数。     

男女航天员的性别差异

现在世界上在职的航天员共有158名，其中35名是女性，占航天员总数的22％。这些女航天员的平均年龄为42岁，而男航天员为43岁；女航天员的平均体重是60．7千克，而男航天员为81．2千克；女航天员的平均身高比男航天员矮10厘米，脂肪比男航天员多11％，肌肉质量少8％；女航天员的血红蛋白质量比男航天员少10％～14％，有氧运动能力比男航天员低得多。虽然男女航天员的选拔和训练都是一样的，但是他们除了年龄、体重和身高这些表面差别以外，在生理、生活和工作方面也存在许多差异。     

基于共轭次梯度算法的磁传感器安装误差校正

随着头盔显示技术的发展,对头盔电磁定位的精度要求越来越高,在现有的加工工艺和机上安装条件下,要提高定位精度,必须对传感器安装误差进行校正。通过坐标转换原理对安装误差进行建模,在此基础上利用最小二乘原则选取目标函数,将校正过程抽象为最优化问题求解。提出一种基于共轭次梯度算法的最优化问题求解方法,实现了传感器安装误差校正。利用MATLAB上对校正算法进行仿真,仿真结果表明,共轭次梯度算法简洁易用、校正精度高、收敛速度快,能够明显提高磁场测量精度。     

航空发动机冰晶结冰研究进展

飞机在高空区域巡航时可能遭遇冰晶气象，导致发动机吸入冰晶颗粒发生结冰故障，欧美等国已将冰晶结冰纳入适航 取证要求，中国也考虑在后续发动机适航取证中增加冰晶结冰考核项目。为了准确掌握国内外冰晶结冰研究现状，通过调研文 献，对比了冰晶结冰与过冷水滴结冰在结冰位置、结冰条件和结冰机理方面的区别，阐述了试验研究和数值仿真方面的重要进展， 其中，试验研究分别介绍了冰晶在静态部件和动态部件内的撞击与结冰过程，数值仿真按照空气流场计算、冰晶运动轨迹和撞击 特性计算及结冰计算的顺序，总结了欧拉法与拉格朗日法的区别、冰晶运动相变与黏附过程及结冰热物理模型，并介绍了冰晶结 冰软件在数值模拟中的广泛应用，提出了目前在冰晶碰撞、结冰热力学模型、结冰探测及风洞试验等方面需要进一步研究的内容， 以期为中国冰晶结冰研究提供参考。     

分数Black—Scholes模型下美式期权价格的近似公式及其性质

在市场股价满足分数Black--Scholes模型的条件下，首先基于BAW思想推导美式期权定价的近似公式，然后通过引入惩罚函数研究期权价格与各变数的依赖关系，得到在分数Black—Scholes模型下，美式期权价格与各变数的确定关系，最后与欧式期权价格的情形进行比较．     

正常金属与非费米液体间的隧穿

本文先介绍了非费米液体，再利用线性响应理论研究正常金属与非费米液体间的隧道，证明了隧穿电流与电压的关系取决于非费米液体特征，可以不是线性关系。     

贴体曲线坐标系中恢复函数的一种构造方法及应用

本文在结构网格下，从三点迎风紧致逼近出发提出了一种适合于有限体积离散的恢复函数生成办法，在光滑区它具有三阶精度，并且在捕捉激波时有较高的激波分辨率。典型的几个内流算例表明：用该方法得到的恢复函数去计算数值能量时能得到与实验数据较接近的数值解。     

一类非线性双层规划问题的罚函数

文章对含约束的非线性双层规划问题,提出了一种罚函数的构造,先对下层规划进行等价处理,再对上层函数构造罚函数,使其转化成单层无约束规划问题,使得它能采用无约束优化方法中许多有效的解析方法.     

粒子运动步长对粒子凝聚生长行为影响

在经典扩散限制凝聚(DLA)模型的基础上,考虑粒子运动步长对凝聚生长过程的影响,建立了变步长粒子凝聚生长模拟模型。模拟结果表明,在粒子成核初期,粒子的凝聚机理由扩散限制凝聚(DLA)主导,粒子运动步长对粒子凝聚行为影响很弱,随着凝聚粒子数的增加,粒子运动步长对凝聚行为影响增强。当粒子运动步长增大到64时,粒子的凝聚行为受弹道凝聚(VS)主导,而中间步长的粒子凝聚是由扩散限制凝聚和弹道凝聚共同作用。     

互相关函数在窄槽对中上的应用研究

不等距的窄槽载正加工是机械加工的难题之一。文中采用了电涡流传感器来采集窄槽的位置信号，利用信号边沿部分对称的特点，采用了“倒序列相关”的方法 用倒序信号与原信号进行互相关分析，充分利用了信号的全过程，滤除了信号中的随机成分，精确地求得窄槽的中心位置。试验的结果与理论研究基本相符，表明此方法具有实用价值。