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

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

高等数学中一类证明题的解题方法

在专升本高等数学的考试中,证明题占有举足轻重的地位。总结在考试中常见的两种类型证明问题,并给出一种构造辅助函数的方法,最后通过例题检验该方法的有效性。     

基于聚类分析和DEA的枢纽机场评价研究

针对枢纽机场运行效率低下和盲目追求建设超前性问题,用聚类分析明晰全国枢纽机场等级,通过DEA研究枢纽机场的运行效率,并根据各机场发展需求和功能定位,提出我国枢纽机场协同发展策略.结果表明:民用机场被分成4类,一级、二级、三级枢纽分别为3、15、31个.49个枢纽机场中,北京、广州、昆明、深圳、三亚机场效率为1,为DEA有效.评价方法对改善机场的运行业绩具有参考价值,为机场的顶层设计规划提供科学的管理决策依据.     

单晶叶片基体表面微裂纹成因分析

单晶高温合金是制造先进航空发动机涡轮叶片的主要材料，其优异性能主要来源于消除了与主应力轴垂直的晶界，而 单晶材料中如果出现再结晶会显著降低其高温力学性能。为探究发动机单晶涡轮导向叶片试验后在叶身前缘下缘板R区产生裂 纹的原因，利用视频显微镜、金相显微镜和扫描电镜等手段对裂纹截面组织进行宏、微观分析，明确了R区的宏观裂纹为抗氧化涂 层裂纹，宏观裂纹附近的叶片基体存在由于叶片表面胞状再结晶晶界开裂所引起的微裂纹。结果表明：单晶叶片表面产生胞状再 结晶主要与叶片抛光、吹砂等修整过程中引入的塑性变形及后续的钎焊工艺有关；抗氧化涂层的开裂促进了胞状晶晶界的开裂； 通过对导向叶片的多个截面组织进行对比分析，发现高温能够加速胞状再结晶的晶界开裂。     

一种民用飞机液压系统自增压油箱容积计算方法

选择合适的油箱容积是保障液压系统正常工作的必要前提，为了能够合理计算民用飞机自增压油箱的容积，基于SAE AS5586 飞机液压系统油箱通用设计要求，介绍并分析飞机液压系统工作中作动筒、蓄压器以及油液物理特性等所产生的变化容积的计算方法，提出一套循序渐进的油箱容积计算方法以求得油箱设计所需的各类容积值；以某型飞机液压系统油箱容积计算为例，通过对极冷极热天气条件下各飞行阶段的油量分析，并和机上油箱油量记录曲线对比，验证提出的容积计算方法的有效性。结果表明：该型飞机液压系统油箱容积在全飞行阶段均能满足要求，本文所提油箱容积计算方法可行，可用于类似液压系统油箱容积计算。     

利用“蒸汽注入”技术提高国产燃机性能

以 WZ- 5发动机燃气发生器作为试验机 ,进行了“蒸汽注入”试验。本文对试验机的选择、改装、试验参数的确定以及试验方案作了较详细叙述。试验结果表明 :在注入蒸汽量 3.6 t/h的情况下 ,WZ- 5发动机功率可提高 4 0 % ,热效率可提高 2 5% ,发动机出口温度场没有变坏。     

虚拟仪器在高校电工实验室中的应用

针对传统电工实验室存在的问题，在分析虚拟仪器的优点基础上，提出了将虚拟信号发生器及频谱分析仪引入实验教学的意义，论述了虚拟仪器在高校电工实验室的可行性和有效性。     

轴对称流中音速线附近的特征线方程

 从Ｏｓｗａｔｉｔｓｃｈ的无粘、跨音速、轴对称无旋流的基本方程出发,在细长体条件下,通过新变量将物理面上的运动方程变成形式简单的速度面方程。利用音速线附近条件对速度面方程进行积分,可得解析解；由此可按Ｃｏｕｒａｎｔ理论推导出音速线附近的特征线方程,结果表明,特征线有两族,均为２／３次幂曲线,其数学形式与平面流相同。     

含裂纹梁的动力特性

 本文研究了含裂纹梁的动力特性。首先,由应力强度因子积分得到含裂纹单元体的刚阵,继而提出了一种有限元方法。将该方法应用于单边裂纹悬臂梁,计算出不同裂纹长度与位置时梁的固有频率,结果与实验值吻合良好。最后,给出了一种确定裂纹位置的简捷方法。     

用边界元法研究非保守力系下杆的稳定性

 本文采用边界元法,研究了完全弹性支持杆,在均布的和集中的跟随压力作用下的稳定性,给出了结构失稳的临界载荷和两种失稳形式（颤振失稳和发散失稳）的转变随边界条件变化的一般规律,以及加载方式（载荷分布情况）对临界载荷和失稳形式的影响,说明了边界元法对解决非保守稳定问题的有效性。