基于粒子群优化的稀疏分解最优匹配原子搜索算法

信号的稀疏分解能得到信号的稀疏表示形式,便于进一步处理,但其计算非常复杂,是一个NP问题.粒子群优化是群体智能优化算法,算法简单,易于实现,且搜索效果好.把粒子群优化算法用于稀疏分解的最优匹配原子的搜索,能降低稀疏分解复杂度,同时减少稀疏分解的超完备字典对存储空间的占用,以提高用稀疏分解理论进行信号处理的计算效率,满足或接近实时性的要求.实验证明,此方法切实可行.     

基于单片机的远程光纤通信在点对点安全验证系统上的应用

现有的点对点安全验证系统都是基于电缆连接实现系统信息传输的。电缆传输信号存在传输衰减大、抗干扰能力差、在雷暴天气易发生事故等缺点。通过将基于单片机89C2051的远程光纤通信应用到现有设备来改进控制信号的传输模式，将电信号转换为光信号，在数据传输中使用传输同步码加密、数据包CRC校验、串行数据编码以及光纤连通性定时自动监测等技术，可以从物理信号传输到数据接收处理的整个过程中保证系统的安全性和可靠性；同时，通过光纤通信方案，也能节省系统构建和维护的经费。     

机载PHM系统验证与评估体系结构研究

针对机载PHM系统验证与评估缺乏标准化体系结构的现状,在分析了三种验证与评估应用模式的基础上,研究了构建PHM验证与评估体系结构的参考标准,提出了标准化体系结构和仿真架构,指出了机载PHM系统验证与评估标准化体系结构的实现途径与流程。     

指挥信息系统验证理论和验证方法

从验证的概念讨论出发,针对“指挥信息系统验证”,从概念和含义、产品和结果、目的和作用等多方面进行了详细解读,给出了较详细的验证方法和步骤,并就验证与测试的区别和关联进行了讨论,然后对广义概念上的“指挥信息系统验证”做了更深入的探讨,最后提出了验证应遵序的原则和注意事项。     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于时频单源点检测和聚类验证技术的欠定混合盲辨识算法

针对欠定混合盲辨识问题,提出了一种基于时频单源点检测及聚类验证的盲辨识算法。检测各个源信号的时频单源点,利用奇异值分解的方法求解不同单源点集合对应的混合矢量,利用基于k均值的聚类验证技术完成源信号数目和混合矩阵的联合估计。算法放宽了已有方法对时频单源区域的假设,不需要假设信号存在时频单源区域,可以完成仅存在离散的时频单源点条件下的欠定混合盲辨识;同时克服了传统算法需要假设源信号个数已知的不足,可以有效地估计源信号数目。仿真结果验证了算法的有效性。     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

物理实验教学中学生能力的培养

物理学是一门以实验为基础的科学.在物理教学中实验的作用非常大,或用来验证物理规律,或使学生获得感性认识.用实验可以呈现科学事实,辨别真伪,引发认知冲突,还可以培养学生发现问题、提出问题、探究问题、解决问题的能力,同样也可以培养学生的发散思维能力等等,还可以通过观察分析,提高学生的综合分析能力.     

ω-芋螺毒素的定量构效关系研究

应用建立的氨基酸结构描述符c-scales和G／PLS统计方法,对ω-芋螺毒素中的N-型和P／Q-型钙离子通道拮抗剂进行了定量构效关系研究,两种亚型的QSAR模型的交叉验证相关系数XV-r^2和相关系数,都在0．96以上,表明模型均有较好的预测能力和拟合能力。通过对模型权重系数图的分析,直观了解两种亚型的ω-芋螺毒素类似物的结构对生物活性的影响,为进一步设计高活性的多肽类似物提供一定的理论依据。     

薄壳结构跌落冲击仿真与试验研究

为了验证薄壳结构跌落冲击问题动态数值仿真的方法途径,设计制作了带有配重的薄壳结构,测定了材料主要力学性能,利用非线性有限元软件对该结构进行单次和累积结果的多次跌落冲击数值仿真,并进行了验证试验。对该结构的跌落冲击过程、典型位置的加速度响应、塑性变形的仿真、验证试验结果进行了对比分析,结果表明：采用的数值仿真方法和途径能够较好地研究分析薄壳结构的跌落冲击及其他同类问题。