卡诺图在多变量逻辑函数化简中的应用

卡诺图化简法是化简较复杂的逻辑函数最常用的方法之一,论文提出一种把4变量卡诺图应用于4变量以上的逻辑函数化简的一种方法。     

基于独立函数的通用逻辑模块

本文提出一种新型的通用逻辑模块(ULM),它以独立函数为核心(细胞),细胞之间以相同的方式——“异或”——相联结,可以生成全部2~(2n)个逻辑函数。它具有算法简单、使用灵活的特点。在伪随机信号的产生及自动控制中有着广阔的应用前景。     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

Multisim7软件在数字电路教学中的应用

随着计算机技术的普及,EDA技术得到愈来愈广泛的应用.将EDA技术引入数字电路课程教学,可以使教师在讲述理论的同时,利用EDA技术软件进行演示、仿真,使学生消除"抽象感",增加学习的兴趣.使课堂教学更生动、直观,使数字电路课程中一些基本理论和基本概念更加容易理解.作者以逻辑函数化简和组合逻辑电路的仿真为例来说明EDA软件之一Multisim7在数字电路课程教学中的应用.     

Multisim7软件在数字电路教学中的应用

随着计算机技术的普及,EDA技术得到愈来愈广泛的应用.将EDA技术引入数字电路课程教学,可以使教师在讲述理论的同时,利用EDA技术软件进行演示、仿真,使学生消除"抽象感",增加学习的兴趣.使课堂教学更生动、直观,使数字电路课程中一些基本理论和基本概念更加容易理解.作者以逻辑函数化简和组合逻辑电路的仿真为例来说明EDA软件之一Multisim7在数字电路课程教学中的应用.     

R/W变换真值法求谱及其应用

在数字系统中,利用Walsh函数对组合逻辑电路进行综合时,必须求出该逻辑函数的谱系数。本文介绍一种更加简便的求谱系数的方法,并用这种方法求出了n≤4的逻辑函数系中独立函数的谱。     

逻辑函数之谱的新运算法则

为了谱技术(方法)在数字电路综合中的应用,必须先求出逻辑函数系中的独立函数及其在Rademacher/Walsh变换域中的谱系数。本文根据独立函数的性质,提出了独立函数的谱系数在R/W变换域中的运算法则,这是对原有谱的运算法则的补充,从而使逻辑函数之谱的运算法则更加完整。     

一种改进的非相干序贯检测捕获方案

为实现伪码的快速捕获 ,提出了一种基于连续累加的非相干序贯检测判决逻辑 ,同时给出了一种估算连续积分 /累加序贯检测逻辑的采样数的概率分布密度和平均采样数上限 ASN(Average Sample Number)的算法。仿真结果表明 ,连续累加非相干序贯检逻辑达到了预期的虚警概率和检测概率 ,且性能优于传统序贯检测 ,证明了检测逻辑的正确性和可用性。此方案可以为扩频通信系统中如何解决伪码捕获这一问题提供新的思路和方法     

基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

基于混合遗传算法的多目标动态优化设计

针对多目标动态优化设计中，解空间复杂、目标函数高度非线性、部分目标函数灵敏度容易求得等特点，综合利用多目标优化技术、遗传算法和梯度优化技术，提出了一种新的多目标混合遗传算法。这种算法在“并列选择遗传法”的基础上尽可能多地利用目标函数的灵敏度信息以加速收敛速度，同时通过各目标的重要程度和满意程度来决定相应的子种群大小以达到各目标的协同优化。在探讨了该方法的思想之后，着重研究了其实现步骤和关键技术，最后用一个浸水旋转壳的多目标动态优化设计为例，证明了本文方法的有效性。     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

高超声速跳跃-滑翔弹道方案设计及优化

针时常规弹道导弹突防能力差、成本高的缺点,提出了一种高超声速跣跃-滑翔弹道方案.以某弹道导弹为例,通过采用高升阻比外形和末级发动机多次点火技术,将其再入弹道设计成大气层边缘的跳跃-滑翔弹道,并以航程为目标对弹道进行了优化.结果表明,跳跃-滑翔弹道能大幅增加导弹航程,同时还具有较强的突防能力,而且当跳跃幅度较大时,还可减轻气动加热;优化后导弹的航程进一步增加,跳跃幅度减小,热流峰值减小,加热时间和总气动加热量增加.     

空间交会对接光学敏感器测量的实验研究

光学敏感器通常用作空间交会对接最后阶段的测量敏感器。本文研究了光学成像敏感器的测量方法，并在此基础上进行了物理仿真实验。实验结果表明，当距离为１ｍ左右对直径４０ｃｍ的目标模拟器进行测量时．位置测量精度优于１ｍｍ，姿态测量精度优于０．４°。     

碳化硅纤维增强铝复合材料疲劳性能及疲劳破坏机理研究

介绍了SiC/Al复合材料单向板和正交板试样的拉—拉疲劳特性和疲劳破坏机理研究结果。研究结果表明,SiC/Al板试样拉—拉循环5×10~4次后,其剩余静拉伸强度系数超过0.87,随着循环应力水平的提高,材料的剩余静拉伸强度几乎没有变化,但声发射信号的起始峰值向应变增大方向移动;疲劳将导致复合材料表面产生温升,通过测量材料表面温度的变化,可以提前预告SiC/Al复合材料的疲劳破坏。     

Antenna for precise orbit determination

The ESA SWARM mission will consist of three satellites that will measure the Earth magnetic field. The system calls for metre accuracy knowledge of the measurement locations. To achieve this a GPS receiver is used. At least four GPS signals are tracked to determine the code and carrier ranges, from which the position can be derived. The accuracy improves when using more GPS satellites and by averaging over many measurements. The latter is achieved in ground processing with a model-based orbit prediction, resulting in cm accuracy. The main error contributions in the processing are often measurement errors due to satellite multi-path effects. The multipath effects are characterized by measuring the antenna on a 1.5 m mock-up, representing the 9 m long satellite. In order to verify that the mock-up is representative, extensive electromagnetic simulations were made. The simulations included the antenna and the complete satellite and were then reduced to the antenna and a section of the satellite. The actual design of the antenna was performed with several levels of software. First, a fast bodies-of-revolution simulation found a geometry with the right coverage. Then, a finite element method simulation allowed us to match the antenna at two frequencies simultaneously.     

抗相参雷达的侦察干扰一体化处理技术

基于数字射频存储技术,提出了对相参体制雷达的侦察干扰一体化处理方案.通过对侦察和干扰技术的分别论述和整合研究,将传统上独立的侦察和干扰的主要数字处理算法集成在单个可编程器件内,大大提高了对相参雷达的干扰效能,减小了电子对抗设备的体积和功耗.     

超声速进气道流场三维数值模拟

超声速进气道是固体火箭冲压发动机至关重要的部件之一,直接影响燃烧室的燃烧及发动机性能。基于N-S方程、标准k-ε双方程湍流模型,利用FLUENT软件对某型固体火箭冲压发动机楔形超声速进气道内外流场进行了三维数值模拟。计算得到了超声速进气道在飞行马赫数为Ma=3.5的情况下的流场性能。并在相同马赫数下,研究了等比压缩和攻角条件下的进气道流场的分布情况。模拟结果表明：进气道的总压恢复系数和流量系数等性能指标受到攻角的影响而发生变化。     

基于卫星中继的导弹飞控数据链链路分析

导弹飞控数据链路可极大地提高导弹的作战性能.分析了基于卫星中继的导弹飞控数据链链路特性,给出了其系统组成结构.完成了地星链路和星弹链路系统的分析与设计.最后给出了各链路的通信余量估算.对导弹飞控数据链的工程实现具有参考意义.     

基于HLA的卫星组网通信与对抗仿真系统设计

介绍了一种基于HLA的卫星组网通信与对抗仿真系统设计框架,并较为详细地描述了其联邦与成员设计。基于此设计框架的目的系统能够提供虚拟空间战场环境,使部队进行可信度较高的空间信息作战演习,并进行相应的技术和战术研究。     

卫星系统热特性分析

考虑空间轨道外热流、卫星表面自身辐射、热载荷等因素影响,建立卫星温度场计算模型,在采用蒙特卡罗(Monte-Carlo)法求解卫星复杂辐射边界条件的基础上,利用有限容积法对卫星在轨飞行阶段的瞬态温度场进行数值模拟,计算得到卫星瞬态温度场,并考虑其表面自身辐射及空间轨道外热流等因素,建立卫星红外辐射通量计算模型,计算得到不同时刻、不同热载荷情况下的卫星红外辐射通量分布,并简要分析了在轨卫星热控涂层衰减所带来的表面太阳吸收比的变化对卫星温度场的影响。