开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

CLVD 法制备C/C复合材料工艺探索研究

研究了采用化学液气相沉积法制备C／C复合材料的工艺过程，分析了不同预制件、温度、浸泡时间等工艺参数对致密速度、效果的影响，并总结出了一套快速高效的致密方法。     

廊坊市体育健身娱乐市场现状调查与对策分析

本文采用问卷调查、文献资料、观察、数理统计、逻辑分析等研究方法,对廊坊市体育健身娱乐经营单位的基本情况、经营状况和居民体育健身娱乐消费情况进行了调查研究,揭示了市场供求的现状特征及存在的问题,并据此提出了拓展廊坊市体育健身娱乐市场的若干对策.     

一种适用于推挽电路的低损耗型IGBT吸收回路

本文提出了一种适用于推挽线路的ＩＧＢＴ低损耗吸收回路，分析了该电路的工作原理。进行了能量损耗地计算，并与传统电路进行了比较，提供了实验数据。     

基于遗传算法的军事物流运输计划

针对军事物流运输中车辆装载和车辆路径的组合问题进行研究,建立车辆装载和车辆路径组合问题的目标优化模型。通过改进遗传算法对模型求解,得到了较为满意的结果,可以在满足多车型多品种货物配送约束的条件下,实现运输车辆最少、车辆满载率高、车辆运输路径最短的目标。     

一种多功能训练器械设计与实训试验

针对以往特种运动器械存在设计理念陈旧、运动功能单一等缺陷,设计了一种能够提高受训人员综合身体素质的多功能训练器械。该器械主要由旋转中心框架、圆形中心框架、防护装置以及电动传动装置等组成,能够进行康复治疗、强化"核心"训练等。通过实际训练验证,该器械性能稳定,使用安全可靠,并且适用于多人施训,省时省力。     

静电电荷量传感器标定技术研究

静电电荷量传感器在精密机械、航空发动机的状态监测、故障预测以及健康管理方面有着广泛应用。介绍了静电电荷量传感器的标定技术，基于油滴荷电的原理，结合直流高压源、支撑固定装置、电荷量测量装置研制了静电电荷量传感器标定系统。通过油滴实验，获得了油滴荷电量与施加电压、油滴大小、温湿度之间的关系，分析了影响标定装置的因素。     

浅析有限责任公司股东优先购买权法律制度的健全

本文针对我国有限责任公司股东优先购买权在实践中常见问题的列举和分析,从不同角度提出作者的观点,对具体问题的解决思路提出立法建议,旨在为解决实际问题提供有效的方案,对公司法律制度的完善有所帮助。     

Electromagnetic waves observed by Venus Express at periapsis: Detection and analysis techniques

The magnetometer on Venus Express was designed to be able to obtain 128 Hz samples of the magnetic field from two sensors in a gradiometer configuration. This mode is used around periapsis to determine whether the signals reported at low altitudes near 100 Hz, had the properties of electromagnetic waves generated by electric discharges in the Venus atmosphere. The lack of a magnetic cleanliness program and the shortness of the magnetometer boom make this a challenging measurement. Fortunately the signals are sufficiently strong that they can be easily resolved with rather straightforward analysis techniques.     

运动基航天飞行模拟器信号缩比策略

对于大幅值的输入信号,三阶多项式缩比法易产生信号畸变且参数配置复杂;而Hermite缩比函数法的触发速度较慢.提出两种改进的缩比方法:基于三阶多项式缩比法的最优参数配置法和加入线性缩比的非线性缩比法.前一种方法通过参数的优化配置最大化稳定区,以防止信号的畸变;后一种方法则利用线性缩比的特性将缩比度限制在稳定区内.仿真结果表明:线性缩比的加入可以防止三阶多项式缩比法信号的畸变;最优配置参数法应用方便且整体效果较好.为航天飞行模拟提供了更有效的缩比策略.