基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

图书馆科技期刊利用效率问题的研究

通过对 1 998年《海军工程学院学报》、《清华大学学报》和《上海交通大学学报》的抽样调查 ,对作者引用的参考文献中科技期刊文献比例进行了调查分析 ,说明了科技期刊的信息价值 ;剖析了影响科技期刊利用的原因 ,并有针对性地提出了科技期刊信息资源的开发方法 .     

新型洛伦兹惯性稳定平台控制器设计与实现

针对现有惯性稳定平台(Inertially Stabilized Platform,ISP)使用机械轴承干扰量大,使用气/液浮轴承难度高,使用纯电磁磁轴承线性度差的缺点,提出了一种基于混合轴承的混合式稳定平台-洛伦兹稳定平台,介绍了洛伦兹力磁轴承结构和平台工作原理,建立了系统的动力学模型,构建了以偏转角度和线圈电流为状...     

考虑后大架铰接间隙的火炮动力学特性仿真

针对某型火炮大修时,普遍存在后大架连接孔明显增大的现实问题,基于ADAMS软件和接触变形模型,研究了参数化含间隙机械式销-孔连接铰的建模方法,建立了考虑后大架铰接间隙的参数化火炮虚拟样机并进行了VVA验证。基于该模型仿真分析了发射时后大架铰接间隙对炮口扰动和铰接接触力的影响,研究了左右大架不同间隙水平对炮口扰动的交互影响。研究结果表明:后大架间隙的增大恶化了铰链间的受力,增大了火炮的横向散布,但对纵向散布影响较小。     

H-PRF方式地面情报雷达杂波抑制性能分析

针对提高地面情报雷达杂波抑制性能的问题,在阐述PD体制信号处理的基础上,主要结合与传统的L-PRF方式对比,对应用H-PRF方式PD体制信号处理的改善因子进行了分析论证.     

六相无刷直流电动机谐波转矩的分析与计算

无刷直流电动机具有诸多优点,但运行中仍然存在转矩脉动问题.分析了六相无刷直流电动机的工作原理,推导了六相无刷直流电动机的状态方程,采用状态变量法对电机转矩产生的关键量--反电势波形和电流波形进行了仿真和试验研究,对六相无刷直流电动机的谐波转矩进行了分析和推导,得出了通过减小电流滞后角可控制甚至消除正弦谐波脉动转矩的结论.     

数字化装甲装备基本作战单元整体性能试验需求分析

数字化装甲装备基本作战单元整体性能试验,是数字化部队建设进程中常规武器装备试验所面临的一个现实而紧迫的新课题。从分析数字化装甲装备基本作战单元典型使命任务和功能需求入手,提出数字化装甲装备基本作战单元整体性能试验需要重点关注的问题:地面突击能力与所担负任务的匹配;建制内各装备的远程机动能力的匹配;野战防护能力与典型作战任务、火力威胁的匹配。指出主要试验内容为通信联通性能试验、指挥控制性能试验、协同打击性能试验和使用性能试验。为整体性能评估指标体系构建和整体性能试验设计奠定了基础。     

激光驾束制导信息场检测系统设计

为了完成激光驾束制导信息场检测,根据信息场的参数,介绍了检测系统的设计方案和工作原理;基于误差设计理论,根据激光束传输特性,利用光学软件ZEMAX设计了激光信息场检测光学系统;通过信息场指令值和辐照度检测,实现信息场参数测试。该系统能在各种复杂条件下对多种型号炮射导弹的驾束信息场进行参数测试。     

介电谱方法快速测定汽油中芳烃、烯烃含量的研究

根据汽油的电性质与其组成之间存在的相关关系特性,测定了汽油中的烯烃、芳烃含量,用全交互验证法对30个不同油库、加油站汽油样品中的烯烃、芳烃含量进行了预测。研究结果表明,介电谱方法测试汽油中的烯烃、芳烃含量方法可靠,预测结果能够满足国家标准对烯烃、芳烃含量分析的误差要求。该方法具有快速、简便的特点,适用于在现场快速检测汽油中烯烃、芳烃含量的需要。     

基于模糊理论的指令驾驶系统设计与仿真

指令驾驶系统能极大地减轻驾驶员负担并帮助驾驶员更好地完成飞行控制任务。研究了某型飞机在高度保持方式下引入指令驾驶系统的方案。对指针偏转规律采用模糊建模,进行了人机闭环系统仿真,并与自动驾驶仪的控制效果作了对比分析。结果表明,采用模糊建模,借助于自动驾驶仪系统在各种情况下的工作数据对模糊系统进行训练,从而得到的指令驾驶系统控制律是可行的。