加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

舰炮大型铸铝件断裂残余应力分析

采用盲孔法测试某型舰炮大型铸铝件残余应力,结果分析表明原结构中残余应力较大,部分位置残余应力超过材料屈服极限是其断裂的根本原因.通过工艺改进后,构件残余应力幅值大幅降低,满足工程要求.     

学术期刊的“三审制”与多元化审稿探析

“三审制”传统的机制以及运作的惯例，已经无法适应时代发展的要求。在原先严肃但又有点呆板的审稿机制中，需要注入多元化的审稿方式。编者和审者在坚持“三审制”严肃性一面的同时，应多注意运作方式等的灵活性。     

六自由度装置滚转轴干扰源的诊断及其抑制

为了查找滚转轴出现定位偏差的原因 ,通过对比多种情况下滚转轴的反馈信号 ,结合相应的定位试验 ,查出了导致滚转轴出现定位偏差的干扰源。基于对滚转轴反馈信号被干扰原因的分析 ,有针对性地采取了多项措施 ,并给出了这些措施的效果。最终采用给Y轴驱动器单独供电的方式解决了这一难题 ,经风洞试验证明 ,效果良好     

模拟训练平台的建设与部署

模拟训练在军事训练和应急平台建设中发挥着重要作用。以公安消防部队的应急训练需求为例，探讨了模拟训练平台的建设与部署。     

低速滚转弹道导弹的鲁棒滑模控制

建立了在主动段滚转飞行的弹道导弹的非线性动力学模型.在传统反演滑模控制的基础上,考虑到导弹动力学特性依照时间尺度能够分离为快、慢变两个子系统,设计了对外干扰和参数摄动具有不变性的两级子滑模,实现递级滑模控制,同时引入一阶低通滤波器矩阵避免"膨胀项".考虑到不确定性的界值难于事先获知,在滑模控制器中引入了自适应律实时地估计不确定性的大小,削弱抖振.最后通过数字仿真验证了这种控制器可以实现导弹稳定飞行.     

基于装备最优使用率的维修决策模型

根据作战单元中装备使用率与武器装备战损维修策略之间的关系,结合战斗过程中武器装备的战损规律和维修规律,运用马尔可夫链理论,建立了一种基于装备最优使用率的战损装备维修策略优化模型。运用这种最优维修策略模型可以达到提高作战单元中武器装备使用率的目的,从而为充分发挥作战单元整体战斗效能找到了一种新的装备维修辅助决策方法。这种维修决策优化模型主要采用量化分析的方法,根据作战单元中装备的战损情况和部队的维修能力制定出最优的维修策略,确定在战斗过程对战损装备进行维修的最优时机,达到提高作战单元整体战斗力的目的,从而为充分发挥作战单元的整体战斗力找到科学的途径。最后,结合实例对模型进行了检验。     

中小学心理健康教育的德育功能研究

为了探究心理健康教育对德育教育的促进功能,丰富德育教育的理论范畴,推进德育教育实施,提升实施效果,本研究采用半结构化访谈法对新疆部分地区的7所中小学的18名教师进行访谈.结合访谈内容,从德育教育体制、德育教育工作开展形式、师资力量建设等方面,提出将心理健康教育“阶段发展目标”纳入德育理论框架、将趣味性强的心理健康教育渗透进德育教育日常活动、建立结合心理健康教育的德育教育专业队伍等相关建议.     

基于DSP的旋转弹用微小型导航系统设计

在无陀螺捷联惯导系统中,针对旋转弹体积小、功耗大、采样频率高、姿态变化快、解算周期短等问题。为满足旋转弹对其导航计算机的严格要求,提出了一种基于DSP的旋转弹用微小型导航系统设计,首先叙述了系统的总体方案设计,接着重点介绍了系统各模块的软硬件设计。本设计在硬件上节省了系统的体积和功耗,软件设计上节省了解算周期。     

内置频率对Duffing振子微弱二进制相移键控信号盲检测影响

采用Duffing振子实现对微弱二进制相移键控（Binary Phase Shift Keying, BPSK）信号的盲检测时，Duffing系统输出的周期态和混沌态转换之间存在过渡带。针对这一问题，推导出过渡带时长和Duffing系统内置频率之间的关系表达式；指出内置频率越高，过渡带时间越短；仿真实验给出时间频率响应曲线。内置频率的提高，会降低系统检测微弱信号的灵敏度。针对这一问题，推导出周期态下Duffing系统输出幅度作为因变量、内置频率作为自变量的表达式；仿真实验给出幅频响应曲线。针对微弱BPSK信号盲检测，建立变尺度方法和检测阵列相结合的基于S变换提取Duffing系统输出幅度包络的微弱BPSK信号盲检测模型，仿真实验验证了模型方法的有效性。