向量巨型机高效程序设计技术

本文着重研究适应向量巨型机体系结构的高效程序设计技术。围绕减少指令流水线阻塞,提高多功能部件并行度,数据调度与局部化技术三个方面进行了深入的讨论,给出了一系列设计高效程序的方法和技巧。     

长方体类光学元件形位误差高精度测量方法

如何实现长方体元件光学面形位误差的高精度测量以及怎样利用测量数据对这些误差进行修正加工是制造过程中的主要问题。提出一种基于波面干涉的长方体类光学元件形位误差测量方法,借助大口径干涉仪和高精度端齿盘搭建测量系统,实现了长方体类光学元件1μm/400mm精度的平行度和垂直度测量,获得了高精度的形位误差综合分布数据,并利用磁流变、小磨头数控抛光等现代光学加工手段实现了此类光学元件的高精度加工。     

基于不确定性的末制导初始参数优化设计方法

为量化无动力滑翔飞行器末制导初始参数不确定性的综合影响,提升飞行器落点精度,提出基于不确定性的末制导初始参数优化设计方法。面向飞行器末端高动态打击需求,采用落角约束下的滑模变结构导引律进行实时弹道成型,进而考虑末制导初始参数的不确定性。以落点有效毁伤半径概率和落点圆概率偏差为多优化目标,建立基于不确定性的末制导初始参数及制导律参数优化模型。针对这一不确定性优化模型,研究利用高效全局优化和蒙特卡洛方法,给出末制导初始参数及制导律参数的最优设计方案。仿真结果表明:该方法能显著提升落点精度,为方案设计阶段飞行器末制导交接点的选取提供决策支持。     

红外图像人脸识别方法

红外成像具有抗干扰性强、独立于可见光源、防伪装、防欺诈等优点,这使得红外图像人脸识别可在很大程度上弥补可见光人脸识别技术的缺陷和不足,是今后人脸识别研究的一个重要方向。在深入分析红外人脸图像特性的基础上,研究了红外图像人脸识别的特点,并提出了一种新的红外图像统计人脸识别方法。实验结果表明,这种识别方法不论从理论上还是从实验上都是可行的,具有良好的识别能力。     

基于TS201S的分段谱相关算法SSCA的实现

分段谱相关函数算法SSCA(Strip Spectral Correlation Algorithm)是一种实用的高效循环谱估计算法,对循环平稳信号的检测和参数估计的硬件实现具有重要意义。利用信号的循环平稳特性能很好的抑制平稳噪声和干扰,实现低信噪比条件下信号检测与参数估计。文章以SSCA的ADSP TS201S的实现为研究重点,分析了实时运算时各参数的选取依据,讨论了工程实现的难点和解决方案,并给出了程序的优化方案,为循环谱的工程应用打下坚实的基础。     

虚拟现实系统的建模方法

采用先进的建模方法 ,开发组织和管理复杂的虚拟环境 ,不仅能够提高开发效率 ,甚至关系到项目开发的成败。研究了面向对象和面向智能体两种虚拟现实 (VR)系统设计的基本方法。     

Computational complexity of finding Pareto efficient outcomes for biobjective lot‐sizing models

In this article, we study a biobjective economic lot‐sizing problem with applications, among others, in green logistics. The first objective aims to minimize the total lot‐sizing costs including production and inventory holding costs, whereas the second one minimizes the maximum production and inventory block expenditure. We derive (almost) tight complexity results for the Pareto efficient outcome problem under nonspeculative lot‐sizing costs. First, we identify nontrivial problem classes for which this problem is polynomially solvable. Second, if we relax any of the parameter assumptions, we show that (except for one case) finding a single Pareto efficient outcome is an ‐hard task in general. Finally, we shed some light on the task of describing the Pareto frontier. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 386–402, 2014     

精确保障的理论研究与发展

根据未来信息化战争的新特点,探讨了适应信息化战争保障需求、基于信息网络技术、资源重构技术、柔性保障机制和系统理论的精确保障的内涵,研究归纳出当今美军装备保障的特点、提出精确保障的理论研究应该充分借鉴系统理论、网络中心战理论、敏捷制造理论的先进思想,指出了我军精确保障实现的途径以及应该遵循的原则.     

基于GRA-PSO算法的端铣工艺参数多目标优化

考虑生产实际的需求,综合最小变形误差、最大金属切除率和最大刀具耐用度建立端铣工艺参数多目标优化模型。通过对粒子群全局寻优能力和灰色理论的适应性综合分析,研究提出耦合粒子群算法（Particle Swarm Op-timization,PSO）和灰色关联（Gray Relevancy Analysis,GRA）的多目标工艺参数优化算法。该方法将多目标函数的优化问题转化为优化单项灰关联度,得到了多项工艺指标要求下的参数优化组合。将该方法应用在多目标工艺参数优化设计中取得了满意的结果,表明其具有很大的适应性。     

论高中《政治生活》实施探究性学习的一般模式

探究性学习的实质是要求教师转变教育观念,在教学中充分调动学生学习的主动性和积极性,激发学生学习的主人翁意识,真正使学生成为学习的主人。因此高中政治课的课堂教学应该充分渗透探究性学习的精神,同时教师又应在这一宗旨的指导下,根据教材的内容和特点的不同采用不同的模式,选用不同的方法,这样才能达到构建高效课堂的目的。