基于全卷积孪生神经网络的复杂监控场景下前景提取方法

由于光照变化、相机抖动和动态背景等因素影响,现有基于传统图像处理方法的前景提取算法并不能在复杂场景下获得良好的分割效果。针对此类问题,本文提出了一种基于全卷积孪生神经网络的前景提取算法,仅需任意2帧图像即可准确提取运动前景。将输入的2帧图像分为背景图像与待提取图像,将其输入全卷积孪生神经网络得到二者的相似性度量图,该相似性度量图中包含待提取图像相对于背景图像的各像素变化情况信息;接着将相似性度量图与待提取图像融合,利用编解码网络以实现端到端的前景提取。在CDnet2014数据集上进行综合评估与测试,结果均证明了该方法的有效性。     

应用直线辅助投射法解决画法几何中图解问题

由于在工程图学中，用正投影法解决画法几何中的某些度量和定位问题往往很不方便。为了简化作图，本文介绍了直线辅助投射法及其在解决一些工程图学问题中的应用。该法具有作图简单、应用范围广的特点。     

基于L1范数的k平面聚类算法设计

基于L2范数度量的k平面聚类(k-Plane Clustering,k PC)设计思想,本文提出了一种采用L1范数度量的聚类算法。由于在平面更新步骤中,所导出的优化问题是非凸的,文中给出了一种求解方法,即将非凸问题转化为有限个子集上的凸问题,为避免求解多个优化问题导致训练时间过长问题,本文还设计了一种新的优选策略,有限个子集的搜索任务可在线性时间内完成。本文所提出的方法只需要求解k个线性规划,而不再是k PC的求解特征值问题。在人工和UCI数据集上的实验结果表明:基于L1范数平面聚类算法的训练和测试时间更短,且在大多数数据集上均表现出了更好的聚类性能。     

基于全知熵的模式集成不确定性度量模型

不确定性是模式集成的一个固有性质,不确定性度量对模式集成具有重大影响。本文提出一种度量模型,在该模型中模式对象及其属性清洗模块使该模型免受规模影响。根据模式集成多属性分阶段决策的特点,本文基于粗糙集理论的全知熵不确定率进行各阶段的不确定性度量,并把过程模型的不确定性度量引入到总体不确定性的度量中,最后给出了合成多不确定率的方法。实例分析证实所设计模型是可行、有效的。     

基于主动度量学习的空中交通相似场景识别（英文）

空中交通的快速增长不断增加了管制员的工作负荷,这已成为制约部门运行的重要因素。如果能够识别出相似的交通场景,就可以利用历史决策经验帮助管制员快速决策控制策略。考虑到交通场景众多且难以标记所有样本,本文提出了一种主动支持向量机度量学习算法(Active SVM metric learning algorithm,ASVM2L)来度量和识别相似的交通场景。首先获得了一些由资深空中交通管制员标记的交通场景样本;接着设计了一种基于投票差异的主动查询策略来选择最有价值的未标记样本交予领域专家进行标记;然后,利用ASVM2L从所有标记样本中学习到一个度量矩阵,用于后续分类算法完成相似场景的分类。在标准数据集上验证了ASVM2L的有效性,然后在中国中南扇区的历史空中交通数据集上对交通场景进行了度量和分类。实验结果表明,与现有的其他方法相比,本文所提方法能够更彻底地利用样本的信息,在有限的标记样本下达到更高的分类精度。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

面向对象的MIS设计方法的研究

重点论述了面向对象的设计方法，并且根据管理信息系统的特点，提出一种面向数据设计和面向对象实现相结合的系统开发方法。     

ω混沌与伪移位不变集

就紧致度量空间的连续自映射 ,研究了具有半伪移位不变集与 ω混沌的关系。证明了若 f有半伪移位不变集 ,则 f是ω混沌的且存在不可数集 S R(f ) - R(f ) ,其中 S既为 f的ω紊乱集又为 f的 L i- Yorke意义下的混沌集。进而导出一维映射 f拓扑熵大于零的充要条件是存在正整数 n,使得 fnω混沌且存在 fn 的不可数的 ω紊乱集 S R(f) - R(f)     

空中交通管制系统中的面向对象测试技术

通过对空中交通管制系统特点的介绍，结合面向对象软件开发的思想，提出了一种面向对象软件集成测试方法和回归测试的测试策略。     

FMS实时调度系统的研究

柔性制造系统（ＦＭＳ）运行控制软件是保证ＦＭＳ有条不紊运行并充分发挥其潜在能力和效益的指挥中心，而ＦＭＳ运行软件的核心是实时调软件。本文讨论了面向对象的方法和专家系统技术在ＦＭＳ实时高度软件设计中的应用。该设计技术既能发挥面向对象方法的优势，又能突出专家系统的特点，以对象为中心来构造专家系统，本评论人知识获取、表示和推理三方面进行了论述，重点介绍了ＦＭＳ调度领域专家知识的面向对象表示。     

基于双层集总参数模型的卫星热控系统仿真方法

在实现各种功能的卫星研制和应用中,热控制技术是重要的系统组成部分,目前星上热控分系统工程中普遍应用的热分析方法是以热网络方程和专业软件为主.但这种方法计算量大、软件难以离线使用,不适于卫星总体实时仿真平台,因此提出了一种基于设备等效动态特性的双层集总参数模型的应用方法.该方法将卫星解耦成内层环节和外层环节共计5个参数环节以模拟整星温度场,并可与总体仿真平台集成进行温度预测.最后对等效动态特性模型进行了实例说明和结果分析,并提出了这种方法的适用范围.     

基于图着色模型飞机智能化排班算法的研究

飞机排班问题关系到航空公司的系统运作,作用十分重要。通过对飞机排班问题的分析,把飞机分配问题转化为图着色,应用图着色理论,建立了飞机分配问题的图着色模型,引入时间片算法确定了航班使用飞机的时间冲突集合,根据“先到先服务”的原则给出了飞机分配的顶点序列着色算法。用一个具体的算例,验证了飞机智能化排班比现有航空公司调度员人工排班更先进、更实用、更加节省资源,使资源配置更加合理。     

基于特征点分布的多元灰色绝对关联度(英文)

针对多元灰色绝对关联度存在分析结果与定性判断相矛盾的问题,探讨一种基于点分布特征的灰色绝对关联分析模型。该模型依据多元序列的几何描述,分区域提取邻域极值,构造多元序列的特征点集;然后根据特征点的分布特性获取反映多元序列几何特征的特征点序列;将多元序列的关联分析转化为特征点序列间的相关性分析,从而建立关联度模型。该模型具有平移不变性、转置和行列变换不变性、满足灰色关联分析公理要求。最后,通过两个实例验证了该模型的有效性。     

塔形图——汉密顿图的一种扩展图

提出了一种塔形图 ,它是汉密顿图的扩展。这种塔形图有 m层 ,每层之间有 n个柱子等距支撑 ,节点数为 2 m n- n 1。由以色列著名数学家汉密顿爵士在 1895年首次提出的具有 2 0个节点的汉密顿图是塔形图的一个特例。文中研究了这种塔形图的汉密顿图性质 ,给出了这一类图的标准汉密顿圈的构造法 ,并利用作者编制的程序给出了两种典型的塔形图的多种不同的汉密顿圈解。     

部分破坏拆卸模式下拆卸规划

为了对产品进行拆卸规划,基于装配有向图提出一种部分破坏性模式下的拆卸规划方法。通过装配有向图表达产品零部件间的装配关系,并在此基础上构建装配关系矩阵、装配连接矩阵和可达矩阵。由矩阵遍历和运算获得产品装配结构、装配深度等信息,并根据这些信息确定被破坏对象,最终完成部分破坏性拆卸模式下拆卸规划过程。将上述理论应用于摩擦驱动装置拆卸规划中,其结果验证了理论分析的有效性和正确性。     

基于加权有向图的飞机装配顺序规划

合理的飞机装配顺序规划是确保飞机装配质量、缩短装配周期的有效途径。为此,提出了基于加权有向图的飞机部件装配顺序规划方法。以飞机零件间的装配几何关系、装配稳定性和装配工艺性为评价因子,对装配过程中零件间的装配依赖性进行量化,形成可表达装配依赖关系的加权有向图。在此基础上,通过模糊聚类和撕裂排序算法对装配零件进行装配顺序规划。最后通过某飞机机身中段装配顺序规划问题进行验证,规划结果表明该方法具有一定的可行性和有效性。     

区间灰系列的熵度量及其应用(英文)

研究了灰信息理论的不确定性度量方法及其在决策中的应用,说明了建立在有限区间灰数序列基础上的灰序列熵与Shannon概率熵是不同的。讨论了灰数的度量公式和性质,包括不变性、应用条件、两个灰数并与交的灰熵等。最后给出一个应用实例验证了该方法的有效性。     

用形态图方法绘制圆柱与圆球相贯图谱

基于形态图的计算理论和方法 ,提出了绘制圆柱体和圆球相贯图谱的方法。建立了圆柱体和圆球相贯的几何模型和数学模型 ,分析并确定了投影空间的维数为 4维 ,给出了投影空间的表示。分析并确定了圆柱体和圆球相贯的三面投影图中所产生的视觉事件类型 ,得到了圆柱体和圆球的相贯图谱     

基于FlightGear的飞行数据管理与分析系统

飞行器是一个庞大的复杂系统,其设计与开发需要几轮迭代,而仿真技术在此过程中起着无法替代的作用。开源仿真软件FlightGear主要用于飞行模拟,并不能用于飞行器的系统研发仿真与验证。本文以FlightGear为基础,对其进行了扩展,从而实现了一套集飞行数据管理和分析于一体的软件系统。利用FlightGear接口,开发了以数据采集为主的通信、存储等模块,使扩展系统能够实时、灵活地采集飞行器的参数,并存储于数据库;设计并实现了用于飞行器姿态预测的分析模块,新预测方法提高了姿态参数的预测精度。目前,该扩展系统已用于某飞行器的研发论证中,取得了较好的经济效益。     

应用于传感器网络覆盖问题的能量有效性启发式机制

提出了一种解决无线传感器网络覆盖问题的分布式启发式机制。该机制在节能前提下,得到优化的目标覆盖集合,以实现对目标监控区域的完全覆盖,并通过对其中重点目标集合的冗余覆盖来满足对重点目标集的可靠监控。同时,该目标覆盖集合与数据汇集点在通信结构上保持连通性。本文采用了改进的蚁群优化算法（最大最小蚁群混合算法）来实现上述启发式机制。通过构造新颖的启发式因子,人工蚂蚁能够由局域信息感知传感器网络的能量状况和覆盖能力,从而自适应地建立具备通信连通性的数据汇集路径。此外,将信息素浓度调节因子和评价函数引入了信息素更新规则的设计,使得蚁群在扩大搜索范围的基础上,提高了解的质量,且避免了求解过程陷入局部最优。算法的输出为能量有效的优化解集,具备较长生命周期,能够在保证与数据汇集点可靠连通的同时实现对目标区域的有效覆盖。