基于压缩感知原理的融合判别信息的协作表示方法

提出了一种用于视觉分类任务的低计算复杂度且有效的图像表示方法。把协作表示和判别信息结合在统一框架内,是基于协作表示分类方法的一种扩展形式。测试样本的协作表示系数是稀疏的,这种基于冗余和过完备的表示对于遮挡和伪装而言是鲁棒的;此外,通过最小化类内散布矩阵和最大化类间散布矩阵的判别信息的挖掘,对于视觉分类问题也是很有帮助的。在一些基准数据库上的实验表明,提出的方法相对于现有的方法而言能够获得更有竞争力的表现。     

用于三维点云表示的扩展点特征直方图算法

局部特征提取在点云相关应用中具有十分重要的作用,因此提出一种用于点云局部特征表示的扩展点特征直方图描述子。针对邻域点的两两点对提出一系列不变量;在特征点上构建一个局部参考坐标框架以获得特征描述子对旋转和平移的不变性;将关键点局部邻域划分成多个子空间,并依据每个子空间中的点对不变量构建一个直方图;将所有直方图串联起来得到扩展点特征直方图特征描述子。采用Bologna公共数据集对扩展点特征直方图特征描述子的性能进行测试,并与多个现有算法进行对比。结果表明,扩展点特征直方图特征描述子获得了良好的性能,其结果优于多个现有的特征描述子。     

结合非负张量表示与扩展隐Dirichlet分配模型的图像标注

由于"语义鸿沟"的存在,自动图像标注是一项极具挑战性的工作。考虑到图像低层视觉特征与高层语义概念的差异,分别从图像表示与语义建模两个方面来实现自动图像标注。在图像表示方面,提出了一种正则化约束下的非负张量表示方法,用以提取符合人眼视觉直观理解的图像高阶结构特征。在语义建模方面,提出了一种三层贝叶斯模型——扩展隐Dirichlet分配。该模型利用隐变量来实现图像与标注词的关联,并通过一种基于变分推理的期望最大值方法来估计参数。实验结果表明,ELDA模型在大规模数据库NUS-WIDE上的标注结果相较于现有方法有了显著的提高。     

基于非负张量表示的扩展LDA标注模型

由于“语义鸿沟”的存在,自动图像标注是一项极具挑战性的工作。考虑到图像低层视觉特征与高层语义概念的差异,分别从图像表示与语义建模两个方面来实现自动图像标注。在图像表示方面,提出了一种正则化约束下的非负张量表示方法,用以提取符合人眼视觉直观理解的图像高阶结构特征。在语义建模方面,提出了一种三层贝叶斯模型——扩展隐Dirichlet分配。该模型利用隐变量来实现图像与标注词的关联,并通过一种基于变分推理的期望最大值方法来估计其参数。实验结果表明,ELDA模型在大规模数据库NUS-WIDE上的标注结果相较于现有方法有了显著的提高。     

基于广义元胞自动机的装备维修保障力量需求确定方法

为了科学配置装备维修保障单元,满足战损装备维修需求,在分析装备维修保障力量需求确定过程的基础上,探讨并扩展了初等元胞自动机,建立了基于广义元胞自动机的装备维修保障力量需求确定模型.依据装备作战想定设定了仿真样本,应用M atlab对装备维修保障单元的保障过程进行了仿真优化分析,得出了应从单元数量、能力和器材配置等方面共同进行优化的结论,可为元胞自动机在装备保障中的运用提供有益借鉴.     

三维交互模拟系统动态数据实时管理研究

针对三维交互模拟系统常用数据管理方式存在的系统资源开销大、属性数据不能动态修改等问题,将XML运用到三维交互模拟系统的数据管理中,能够很好地解决在三维交互全景漫游中对动态数据的实时修改难题。以所研制的油库三维交互模拟系统为例,提出了基于Java编程实现对XML文档进行解析的技术方案,分析了设备设施类型维护、设备设施名称及对应属性名增加、设备设施属性值实时修改的实现方法。该方法能够扩展三维交互模拟系统的功能和应用范围。     

SQL技术在PB应用系统开发中的应用

分析了静态SQL技术和四种动态SQL技术，并在PB开发数据库应用系统中，采用SELECT语句的动态生成办法和SQL动态执行办法，较好地解决了用户组合查询和动态查询要求，极大地提高了系统的灵活性和适应可变性，本方法在Delphi，VB，ADO．NET数据库应用系统开发中具有一定指导意义。     

表示结构化知识的神经网络模型

研究和设计了一种高度结构化的神经网络模型ＨＳＮＮ,它能方便地对结构化知识进行表示和处理。文中给出了ＨＳＮＮ的设计过程,并讨论了ＨＳＮＮ在继承、非单调推理和信息检索等方面的应用     

一种基于辅助交互的手抓握动作生成方法

针对沉浸式、非沉浸式和混合式虚拟维修系统中,维修动作交互过程繁琐、实现效果不佳的问题,提出一种高效的辅助交互方法,首先基于现有的维修动作规则和用户对维修任务的理解,建立了用户辅助信息接口和系统反馈辅助信息接口,前者由用户提供抓取目标、抓取手形和抓握点等辅助信息加速交互过程,系统通过后者反馈辅助信息帮助用户进一步决策,然后应用增广矩阵方法对经典逆向运动学算法进行扩展并生成具体的维修动作,最后应用该方法实现了装备车辆轮胎更换任务中维修动作的生成,维修动作交互过程的鲁棒性和效率得到显著提高。     

采用区分性幅相联合字典学习的低截获概率信号分离方法

为解决采用字典学习的信号分离方法存在的相位信息缺失和子字典交叉表示问题，提出一种区分性幅相联合字典学习方法。该方法针对相位信息缺失问题，构建了幅相联合字典模型；针对混合信号在联合字典上投影时存在的交叉表示问题，基于区分性字典学习思想提出在字典学习过程目标函数中加入交叉表示抑制项。仿真结果表明：幅相联合字典能够充分表示典型低截获概率信号的幅相信息，交叉表示抑制项能有效抑制信号间的交叉表示，算法具有良好的分离性能。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

Iran’s Nuclear Fatwa: Analysis of a Debate

For more than a decade, Iran has been referring to a fatwa issued by its Supreme Leader, Ali Khamenei, proscribing nuclear weapons. The fatwa, however, not only failed to influence the process that led to the resolution of Iran’s nuclear crisis, but also has been met with a good deal of skepticism. The most commonly held suspicions about the credibility of the fatwa can be summed up in five central questions: (1) Has the nuclear fatwa actually been issued? (2) Does the fatwa apply to all the aspects of nuclear weapons including their production, possession and use? (3) What is the juridical status of the fatwa? (4) Was the nuclear fatwa issued only to deceive other nations? (5) Is the fatwa really irreversible? This article tries to answer these questions by providing a chronological review of the fatwa and analyzing all the relevant statements by Khamenei. The analysis is conducted against the background of Islamic principles, Shi’a jurisprudence and the history of the Islamic Republic of Iran. The article concludes that the fatwa is a credible religious decree and could indeed contribute to the cause of nuclear disarmament.     

一种用于创作艺术画面的梯度着色方法

本文介绍一种创作生动画面的新型着色方法。它不同于以往的单一色彩(或模式)的填充,而是以一种颜色渐变的方式进行填充。利用该算法产生的计算机艺术图片,生动而且逼真,已经应用于电脑动画的创作。文中给出了C语言实现的程序:     

坦克动力装置润滑系统计算与分析

本文介绍了车用内燃机润滑系统流动与传热仿真方法.采用一维的方法研究了车用内燃机润滑系统流动问题;采用网络法研究了车用内燃机润滑系统的传热问题,并建立了润滑系统各部件的传热数学模型.编制了计算程序.对某型坦克内燃机润滑系统的流动与传热进行了实例计算,仿真结果与试验值符合较好.     

A refined deterministic linear program for the network revenue management problem with customer choice behavior

We present a new deterministic linear program for the network revenue management problem with customer choice behavior. The novel aspect of our linear program is that it naturally generates bid prices that depend on how much time is left until the time of departure. Similar to the earlier linear program used by van Ryzin and Liu (2004), the optimal objective value of our linear program provides an upper bound on the optimal total expected revenue over the planning horizon. In addition, the percent gap between the optimal objective value of our linear program and the optimal total expected revenue diminishes in an asymptotic regime where the leg capacities and the number of time periods in the planning horizon increase linearly with the same rate. Computational experiments indicate that when compared with the linear program that appears in the existing literature, our linear program can provide tighter upper bounds, and the control policies that are based on our linear program can obtain higher total expected revenues. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

运用对抗演练法评估边防战术训练初探

战术对抗演练是战术训练的重要方法，已在边防部队实战技能训练中得到广泛运用。侧重挖掘的是战术对抗演练在边防战术训练中的另一个重要作用，即评估战术训练水平的作用，着重从对抗演练法评估边防战术训练的必要性、运用的基本思路及应注意的问题三个方面进行论述。     

飞行模拟系统中分布交互式视景的设计与实现

分布交互式视景是飞行模拟系统中的重要组成部分,是实现多机单通道（多通道）联网编队飞行的基础。提出了一种基于Mantis的分布交互式视景仿真系统,对视景系统的视景数据库、视景控制程序及网络结构进行了总体设计,构建了一个具有基本仿真功能,并且相对通用的分布式可视化实时视景仿真系统。并对多通道视景的同步、模拟器之间的时空一致性和三维模型简化等关键技术进行了研究与实现。该系统已经应用于实践,实现了直升机模拟器之间在同一环境下的联网飞行,并且取得了预期的视觉效果。