基于有向循环图的多学科设计优化模型调度方法

复杂产品的多学科设计优化过程中，往往会涉及到不同学科的专业分析模型以及各种商业软件应用的集成调度运行问题。在多学科设计优化过程中模型应用集成的基础上，结合设计模型的调度需求，研究了多学科模型的调度运行，并给出了基于有向循环图的通用模型调度解决方案，包括回路探测算法和模型调度算法。最后设计并实现了支持复杂产品多学科设计优化软件框架——iDesign的调度引擎，并以一个设计模型的调度为例，验证了方法的正确性和可行性。     

气固两相流风洞内颗粒运动特性研究

对气固两相流风洞试验段的两相三维流场进行了数值模拟。对于两相流采用欧拉双流体模型,计算时选取标准k-ε两方程模型。模拟结果表明：试件迎风面和背风面颗粒浓度较大,但背风面粒子分布梯度随流速变化更明显;背风面区域由于重力作用,粒径越大的颗粒沉积越显著;试件迎风面颗粒沉积总量受粒径和流速的影响较大,但背风面沉积量受到的影响不明显。研究结果有助于分析两相流风洞中的流动特征,并能根据颗粒分布情况合理采取回收措施,为进行砂尘环境试验提供参考。     

停机位分配问题的顶点着色模型及算法

给出了停机位分配问题顶点着色模型及其分解算法.通过改良一种时间冲突算法,构建了航班使用停机位的时间冲突集合.以"先到先服务"原则为基础,把停机位分配问题转化为顶点着色问题,并建立了相应模型.利用笔者独创的分解算法,停机位的作业能力可得到改善.算法的计算复杂度为O(n2).该算法的特点在于:1)将顶点、颜色划分为若干个不同等级的集合;2)将顶点按照所属集合的等级、度进行分解,得到顶点的分解序列.在用一种颜色ck(1≤k≤K;K是可用颜色数)给顶点着色时,优先给这样一个顶点着色:该顶点能被着ck色,且其分解序列号最大.最后将该算法应用于一个算例,得到了最优解.     

Conflict analysis approaches for investigating attitudes and misperceptions in the War of 1812

Formal systems engineering approaches to modeling misperceptions and attitudes are employed within the framework of the graph model for conflict resolution to systematically study the War of 1812 between the United States of America and Great Britain in order to provide enhanced insights into the causes of the war. More specifically, relational definitions for preferences, movements and stability concepts are defined for describing the attitudes and associated behavior of decision makers involved in a conflict. To capture misperceptions of decision makers in the War of 1812, attitudes are studied within the structure of a hypergame. Combining attitudes and misperceptions within the paradigm of the graph model furnishes the flexible analytical tool which demonstrates that misunderstanding of attitudes by Great Britain and the United States may have contributed to the outbreak of this nasty war.     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

高级Petri网：基于ISO/IEC15909的理解

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。     

Opportunistic spectrum sharing in software defined wireless network

Over the past few decades, the world has witnessed a rapid growth in mobile and wireless networks（MWNs） which significantly change human life. However, proliferating mobile demands lead to several intractable challenges that MWN has to face. Software-defined network is expected as a promising way for future network and has captured growing attention. Network virtualization is an essential feature in software-defined wireless network（SDWN）, and it brings two new entities, physical networks and virtual networks. Accordingly, efficiently assigning spectrum resource to virtual networks is one of the fundamental problems in SDWN. Directly orienting towards the spectrum resource allocation problem, firstly, the fluctuation features of virtual network requirements in SDWN are researched, and the opportunistic spectrum sharing method is introduced to SDWN. Then, the problem is proved as NP-hardness. After that, a dynamic programming and graph theory based spectrum sharing algorithm is proposed.Simulations demonstrate that the opportunistic spectrum sharing method conspicuously improves the system performance up to around 20%–30% in SDWN, and the proposed algorithm achieves more efficient performance.     

柱心为A53的SD型拟本原置换群的次轨道

 分析了SD型拟本原置换群的作用,确定了柱心为A₅³的SD型拟本原置换群G的次轨道的个数及其长度,从而确定了所有G弧传递图的度数.     

基于概率图的作战任务智能规划方法

针对人工调配作战资源及规划方案效率低下的问题,本文提出一种基于概率图的作战任务智能规划方法,通过统计分析判定任务间因果关系,采用GNN抽取任务中的关键事件构建概率图并计算任务规划方案成功的概率,进而基于时间序列方法预测战场态势变化,实现辅助指挥员智能决策。最后,本文在某联合登岛案例中开展了方法验证,结果表明,所提出的方法可成功实现任务规划并具有可解释性,可实现对战场态势变化的预测和快速响应,在战场上为军队提供强有力的支持。     

基于物体关系描述的单目语义SLAM方法

外界环境的语义感知和自身位置的准确估计是移动机器人自主导航和作业的关键。提出了一种基于单目相机的语义SLAM(simultaneous localization and mapping)方法,在轨迹估计的同时完成三维目标检测。提取物体自身语义、尺寸、颜色分布及其邻域拓扑结构等多元信息作为描述子,实现帧间物体的准确关联。在后端对相机位姿、地图点和物体路标进行联合优化,并自适应调整代价函数中各误差项的权重系数,以提高各状态变量的估计精度和鲁棒性。实验结果表明,所提出的算法在地图构建方面具有较高的精度。