带有限缓冲区的知识化制造单元无死锁调度

鉴于制造系统无死锁随机调度问题研究的缺乏,在加工时间、工件到达以及产品需求到达均为随机的生产环境下,研究了带有限缓冲区的知识化制造单元无死锁随机调度问题.针对自动机对定量指标描述能力的不足,首先给出了一种费用自动机概念.在同时考虑工件加工、库存以及缺货费用的情况下,采用无限时域折扣准则下马尔可夫链建立了单元的费用目标函数,通过一致化技术对目标函数进行离散化处理,得到目标函数的随机动态规划模型,分析并证明了单元最优目标值函数的性质.为了克服离散状态空间组合所产生的维数灾问题,提出了一种基于仿真和函数逼近的启发式近似动态规划算法对模型进行求解.在上述研究基础上,构建了一种单元无死锁随机调度策略,以保证单元安全高效地运行.最后,通过实例研究对无死锁调度策略进行了验证.     

基于HLA/RTI的分布式交互仿真中的死锁问题研究

从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RTI中为预防死锁的发生所采取的策略。在HLA标准下,其中重要的一点就是通过引入Lookahead以使时间管理机制能够得到更多的信息,这样可以有效地解决保守算法中的死锁问题。但如果物理系统出现死锁,那么基于HLA/RTI进行仿真时,仿真系统还是会出现死锁。最后,以一个机床加工系统为例进行了仿真,证实了上述看法的正确性。     

HLA时间管理中死锁的研究

时间管理服务是高层体系结构HLA（High Level Architecture）的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致整个仿真系统无法向前推进。从零前瞻量、时间管理策略、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.讨论了死锁出现的原因,对Frederick算法及身高测量法存在的不足之处进行了修正,提出了一种严格序算法,并证明了这种方法不会产生死锁现象。在设计一个联邦时可考虑使盟员灵活地使用保守和乐观两种时间推进机制,并在对保守盟员计算GALT时使用序算法,这样就可以在仿真过程中有效地避免死锁的产生。     

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.     

知识化制造系统自重构中的灰色决策方法研究

针对知识化制造系统自重构中模式选择的决策问题,提出了一种灰色决策树的方法.首先对影响知识化制造系统决策的因素进行分类和分析,给出了其决策因素的概念模型,并采用不同的评价方法对各影响因素进行了评价.然后基于关联分析,提出了灰色决策树的模型,并给出了其决策的详细步骤.最后应用该方法,结合实例对知识化制造系统自重构的决策进行了说明.决策的结果表明该方法可以有效解决知识化制造系统自重构中模式选择的问题,为知识化制造系统模式选择的决策提供了一种方法.     

未知环境中多Agent自主协作规划策略

针对多智能体(Agent)系统在未知环境中自主协作规划存在任务死锁及协作效率不高的问题,提出一种基于改进蚁群算法的多Agent协作策略,并用于多Agent协作搬运中。该方法将Agent所处位置和目标任务之间的距离以及信息素控制因子引入蚁群算法。实验结果表明,该方法相比没有引入距离因子的协作方法,协作效率更高;相比没有引入控制因子的协作方法,可有效防止任务死锁发生。     

并行测试中死锁避免的设计与仿真

设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。     

自动导引车调度优化研究综述

制造系统中自动导引车（Automated Guided Vehicles,AGV）调度对于提高制造系统效益和降低制造成本具有重要作用,同时AGV调度也是十分复杂的组合优化问题,将AGV调度优化问题分为3类：AGV静态调度、AGV动态调度、AGV同时调度（与其他资源联合调度）进行了概述,并对其研究方法进行了分析与总结,包括传统分析方法、建模与仿真方法、智能优化算法、混合优化方法,分析了各类方法的优缺点,指出了当前AGV调度优化研究中存在的不足,并提出了未来的研究方向和建议。     

基于CATIA V5的圆柱齿轮虚拟加工研究

以共轭齿面包络原理为理论基础,布尔运算为方法,商用三维实体软件为工具,研究了磨前滚刀加工圆柱齿轮的计算机虚拟加工问题,利用CATIA V5的二次开发功能构建出磨前滚刀加工圆柱齿轮的虚拟仿真加工系统.对仿真系统虚拟加工的齿轮齿廓进行了曲面重构,得到了精确齿轮实体模型,通过分析模型的公法线误差,验证了该方法的正确性.为基于包络制造原理的曲面零件的数字化制造提供了一种有效方法.     

A Design View on Research in Social Sciences

Research in social sciences has not had the same impact as research in natural sciences and several authors are critical of social science research methods. In order to elucidate this problem, the author analyzes the purpose of research in general and in social sciences in particular. The author makes reference to various research methods that are suggested and used in social sciences. Social science research differs from research in natural sciences. It differs not only in being dependent on actions of human individuals but also because systems in social sciences are a complex mixture of Hard and Soft systems. The paper argues that research in Human Activity Systems should focus on design. This view changes the research perspective and the demands on the research methods to be used. The author suggests a method based on focusing decision settings combined with Action Research.     

区间数排序方法研究综述

研究区间数排序方法问题。有关区间数的研究近年来受到了人们的关注，其理论方法应用的研究已获得了一些成果。介绍区间数的定义和二元运算关系，简要评述区间数排序方法。     

Is Action Design Research Indeed Necessary? Analysis and Synergies Between Action Research and Design Science Research

Action research is one of the research methods that seeks to develop scientific knowledge while simultaneously acting to solve real problems. Design science and design science research are approaches that address problem-solving oriented researches, converging in this aspect with the objectives of action research. A significant part of the literature discusses action research and design science research separately. However, there are some early discussions regarding the similarities and the differences between these research methods. The objective of this study is to deepen an analysis that distinguishes action research, design science and design science research as research methods considering their convergences and divergences. This leads to the discussion of the need for a third method: action design research. This study was conducted based on a configurative systematic literature review. The analysis and the synthesis of literature took into account themes and content analyses. Some results could be observed. First, there is a significant number of similarities among these research methods; second, there are complementary and positive synergies in their use; and third, the concepts of artifact and classes of problems seem to contribute both to the proposition and to the evaluation of the results obtained by action research. Finally, it was possible to establish a set of possibilities for the use of action research and design science research in a combined manner. The limitations of this study have a theoretical nature. There is a need for a comparative analysis of the use of action research and design science research and the use of action research under the paradigm of design science.     

装备平均修复时间验证方法研究综述

维修性验证是装备维修性工作的重要组成部分,平均修复时间(mean time to repair, MTTR)是维修性定量要求验证的主要参数。本文从国内外装备MTTR验证标准和手册发展情况以及装备MTTR验证常用方法两个方面综述了MTTR验证方法的国内外研究进展。介绍了美国国防部、国际电工委员会和国内相关机构颁布的MTTR验证标准和手册的发展情况,分析了标准和手册中的MTTR验证方法。总结归纳了装备MTTR验证的常用方法及应用情况,包括基于实物装备的验证方法和基于虚拟现实的验证方法。在此基础上概括了装备MTTR验证方法的研究特点,展望了未来的研究方向,并给出了研究建议。     

装备平均修复时间验证方法研究综述

维修性验证是装备维修性工作的重要组成部分,平均修复时间(mean time to repair, MTTR)是维修性定量要求验证的主要参数。本文从国内外装备MTTR验证标准和手册发展情况以及装备MTTR验证常用方法两个方面综述了MTTR验证方法的国内外研究进展。介绍了美国国防部、国际电工委员会和国内相关机构颁布的MTTR验证标准和手册的发展情况,分析了标准和手册中的MTTR验证方法。总结归纳了装备MTTR验证的常用方法及应用情况,包括基于实物装备的验证方法和基于虚拟现实的验证方法。在此基础上概括了装备MTTR验证方法的研究特点,展望了未来的研究方向,并给出了研究建议。     

单变量序列数据分类方法综述

单变量序列数据分类涉及现实世界的诸多应用领域,具有重要的研究意义与应用价值。目前,单变量序列数据分类领域的发展处于深度学习逐渐取代传统方法的关键时期,但相关的归纳综述仍然很少。为了促进未来研究,本文对单变量序列数据分类方法进行了全面的总结,根据提取分类信息的不同,将现有分类方法分为基于形状信息、基于频率信息、基于上下文信息以及基于信息融合4种类别。此外,本文依托公开数据集对典型分类方法进行了对比与分析,并对未来研究方向进行了展望。     

融合零样本学习和小样本学习的弱监督学习方法综述

深度学习模型严重依赖于大量人工标注的数据，使得其在数据缺乏的特殊领域内应用严重受限。面对数据缺乏等现实挑战，很多学者针对数据依赖小的弱监督学习方法开展研究，出现了小样本学习、零样本学习等典型研究方向。对此，本文主要介绍了弱监督学习方法条件下的小样本学习和零样本学习，包括问题定义、当前主流方法以及实验设计方案，并对典型模型的分类性能进行对比。然后，给出零-小样本学习的问题描述，总结研究现状和实验设计，并对比典型方法的性能。最后，基于当前研究中出现的问题对未来研究方向进行展望，包括多种弱监督学习方法的融合与理论基础的探究，以及在其他领域的应用。     

捷联惯性/卫星超紧组合导航技术综述与展望

捷联惯性/卫星超紧组合导航技术是当前导航制导领域研究的热点和难点,对此研究具有重要的理论意义和应用价值,国内外研究者众多。但由于对超紧组合技术研究的出发点和应用对象不同,研究者所提出的超紧组合系统结构和原理不完全一致,针对这种混杂现象,目前尚无统一的分类标准。综合了捷联惯性/卫星超紧组合导航技术国内外发展现状,对现有超紧组合技术原理进行了详细分析,并在总结各类超紧组合结构的技术特点基础之上,将其分为基于相关数据浅度融合超紧组合、基于相关数据深度融合超紧组合和基于伪距数据超紧组合3种。最后,对捷联惯性/卫星超紧组合技术未来的发展趋势进行了展望。     

融合零样本学习和小样本学习的弱监督学习方法综述

深度学习模型严重依赖于大量人工标注的数据，使得其在数据缺乏的特殊领域内应用严重受限。面对数据缺乏等现实挑战，很多学者针对数据依赖小的弱监督学习方法开展研究，出现了小样本学习、零样本学习等典型研究方向。对此，本文主要介绍了弱监督学习方法条件下的小样本学习和零样本学习，包括问题定义、当前主流方法以及实验设计方案，并对典型模型的分类性能进行对比。然后，给出零-小样本学习的问题描述，总结研究现状和实验设计，并对比典型方法的性能。最后，基于当前研究中出现的问题对未来研究方向进行展望，包括多种弱监督学习方法的融合与理论基础的探究，以及在其他领域的应用。     

车间作业调度(JSSP)技术问题简明综述

介绍了车间作业调度技术问题的理论、算法分类、特点及一般框架 .将 JSSP问题的研究方法分为两类 :最优化方法和近似 /启发式方法 ,对各种算法逐一分析比较 .总结了近年来该研究领域取得的进展和存在的问题 ,并指明了将来的发展方向.