目标时序关系的形式定义和建模算法

多数目标建模方法关注于不同层次的目标关系.针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁.基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成.     

一类分布式控制系统的容错优化调度算法

在分析同步采样分布式控制系统基础上,给出了一种新的容错调度算法。该算法首先在一个周期内形成一个任务调度序列(包括基版本和副版本),然后采用启发式算法将任务分配倒各个处理器上,且同一任务的基版本和副版本分配到不同的处理器上。同一处理器上的任务按照其在调度序列中的先后次序执行。由于控制系统的性能与任务的采样周期和控制延迟有关系,因而采用以整数编码为基础遗传算法对调度序列进行优化。仿真实验表明,这种调度算法在保证实时任务容错可调度的情况下,可以极大地提高控制系统地的性能。     

资源约束下多项目调度的拓扑优化方法

为了有效解决带有项目优先权约束和资源约束的多项目调度问题,综合考虑项目调度过程中任务的时序关系和资源限制,以拓扑遍历方法为基础,提出了一种多项目调度问题的拓扑优化算法。该算法利用拓扑序列的特点,能够保证任务间的时序关系,采用关键路径任务优先、向后影响度大以及最小空闲时间等优先规则进行任务调度及资源分配。结合工程实例,验证了该算法的可行性。     

广义时序下活动多模式与离散型资源均衡优化

传统的均衡算法只是局限于活动单模式,活动间无延迟的完成到开始时序关系以及资源常规配置模式等简单的执行情况,而这些与活动和资源的实际工作模式并不相符.本文在分析了活动与资源实际工作模式的基础上,研究了活动间广义时序关系的类型、活动多模式以及离散型资源非常规配置模式的特点,建立了广义时序关系下的活动间约束关系和资源与时间之...     

基于DTC的UCAV任务规划方法研究

无人作战飞机(Uninhabited Combat Aerial Vehicle,UCAV)任务规划是指在执行任务之前制定UCAV行动的步骤,是实现UCAV智能化和自主化的必要的条件.以任务分析和环境建模仿真框架(Task Analysis Environment Modeling and Simulation,TAEMS)作为任务结构的描述模型,实现UCAV的任务模型描述并给出了UCAV任务规划问题描述.提出基于DTC(Design to Criteria)的UCAV任务规划算法,并在任务规划过程中集成路径规划,DTC算法是一种启发式算法,任务规划的结果是完成UCAV任务所需要执行的动作序列.仿真实例证明了任务规划算法的可行性.     

粗交流整体最优传递序列的模拟退火算法

粗交流中,确定概念在多个agents间传递时,由于各个agent有不同的语言,相互之间不能提供准确的信息交流,从而导致概念在传递过程中会丢失部分信息,最后得到粗糙的结果.在不同的粗交流传递序列中,信息的丢失量往往是不同的.利用模拟退火算法,得到使参与粗交流的各个agent获得信息量最大的粗交流传递序列.算法的分析和仿真验证了该方法的有效性.     

基于鲁棒LS-SVM的ARMA时序模型研究

对时序数据建模与辨识技术进行了分析,提出了使用鲁棒LS-SVM算法建立ARMA时序预测模型。该模型是在LS-SVM的约束条件中加入鲁棒特性和时序模型参数,使之在求解的过程中对孤立点与噪声不敏感,并且能准确地辨识时序模型参数。考虑到高炉的热状态的输入输出数据集间存在着复杂非线性时序上的关系,通过用基于鲁棒LS-SVM的ARMA模型预报铁水中硅的含量,从而达到了预测高炉热状态的目的。说明了该模型在对非线性时间序列预测精度和稳定性上具有明显的优越性,为稳定钢铁质量和生产工艺创造了良好条件。     

粗糙近似算子的拓扑性质

通过闭包与内部算子研究模糊粗糙集的拓扑结构,证明了自反、传递关系下的近似空间中模糊集的上、下近似算子分别为一个模糊拓扑的闭包、内部算子,且相应的模糊拓扑满足(TC)条件;反之,满足(TC)条件的模糊拓扑的闭包与内部算子也恰为一自反、传递关系下的近似空间中的上、下近似算子.     

复合时序事件及其基于Petri网的检测

主动数据库中的规则是由事件驱动的，事件与时间密切相关，然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子，将传统的事件表达式扩展到时序空间，并给出了时序事件表达式的时间语义。为实现对于复合时序事件的增量式检测，定义了标志取代Petri网(TR Petri net)，它可表示最近发生事件消耗语义，并在网上计算和传递事件发生时间、文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解，应用TR Petri网对复合时序事件建模和检测具有描述简洁和速度快的优点．     

最大Meta路及其在供应链建模与分析中的应用

对供应链建模与分析研究现状进行简述，并介绍笔者先前提出的基于Meta图的供应链建模方法；在此基础上提出最大Meta路的概念，并给出其数学定义；提出基于Meta图邻接矩阵传递闭包的最大Meta路的算法，并对其算法复杂度进行分析，结果表明该算法的复杂度为多项式的；通过实例对最大Meta路在供应链建模及其结构分析中的应用进行讨论，计算结果表明这是一种十分有效的供应链组建事前定量分析评价方法。     

一种基于元模型和多视图的企业目标建模方法

信息系统的成功研发很大程度上依赖于高质量的系统需求.企业建模可以析出目标模型,为系统需求提供依据.给出了反映企业本质属性的,具有严格语义的企业元模型.在元模型驱动下,用组织视图和业务视图对企业的组织结构和动态行为进行建模,并通过组织和业务视图建模间接地构建目标模型.这种方法使分析人员在实际建模时,能够有效地理解企业,构建目标模型.     

一种基于图的作战仿真需求模型

阐述了作战仿真需求的研究现状,分析了作战仿真需求开发过程,包括需求获取、需求分析、需求描述和需求验证.针对目前作战仿真需求开发方法的不足,提出了需求图模型,以定量的、结构化和形式化相结合的方法来获取、分析和描述作战仿真需求.最后以"光学成像侦察卫星仿真实验"为例进一步描述了需求图的建模过程.通过实例分析,验证了需求图模型的可用性.     

军事需求的多层次多视图描述框架

为解决对军事需求理解和描述不统一的问题,从一般意义上探讨了军事需求的概念和特点,并借鉴体系结构框架理论建立了军事需求的多层次多视图结构框架。给出了军事需求总体框架的形式化描述,依次建立了描述军事需求之使命的任务视图、能力视图、系统视图和技术视图的产品体系,最后对军事需求多层次多视图描述中涉及的关键问题进行了分析。建立的描述框架可为军事需求理论研究和实践提供有益的参考。     

略论思想政治理论课“行为目标导向教学法”

行为目标导向教学法是职业教育教学领域的一种新思潮,而创造性地把行为目标导向教学法与思想政治理论课相结合更是一种全新的实践。思想政治理论课行为目标导向教学法的设计要从教学内容、教学方式、活动项目、考核方式和三堂融合五个方面入手。行为目标导向教学法突破了传统的课堂模式,教学效果显著。     

基于系统需求数据库的BIT自动测试技术

根据飞控系统BIT检测系统需求和数据库适合规范及大规模处理的特点,考虑到将来飞控系统综合检测与诊断、综合诊断保障系统、综合诊断专家系统等技术发展需求,提出了基于系统需求数据库的BIT自动检测技术。本技术利用脚本的强大文档处理能力,将需求抽象为规范文档,以此作为为输入,生成测试数据库并将测试流程固化为数据库操作流程,实现了飞控系统BIT的自动化测试功能。目前,这一技术已应用于多个机种项目,为型号的研制和交付节省了宝贵的时间。     

武器装备能力需求论证的仿真实验分析方法

首先探讨了武器装备能力需求论证问题的基本类型,基本模型等。然后重点研究了基于计算机仿真实验关键技术,以及如何实现武器装备的能力需求论证的问题。这些关键的仿真实验技术包括了:实验设计技术、元模型技术、筛选技术、Bootstrap技术、支撑向量机技术等关键技术。最后,列出了一些需要深入研究的理论问题。     

磷化工企业生产分销计划的数学模型及其应用

基于磷化工企业的实际问题,研究了结合线性和动态目标规划的磷化工企业生产分销计划数学模型,模型的生产与分销两个子系统的有机结合,使企业总体的生产与销售计划得以平衡,也使企业计划达到最优实际运作状态。问题的实算结果证实了模型的可用性与正确性。     

信息熵理论在作战任务状态需求分析中的应用

提出一种用信息需求表征任务状态需求的方法,运用信息熵理论描述了目标信息的不确定性.在此基础上,分析了火控系统中探测、识别和跟踪任务状态的信息需求,并利用卡尔曼滤波器的目标状态估计能力对目标做IMM模型机动时的信息需求进行了研究.仿真结果表明该方法能够定量的描述出作战任务状态的信息需求,且具有一定的可行性和实用性.     

The Optimum of Structure of Agriculture-land Utilization in Qingchuan County

ＴｈｅＯｐｔｉｍｕｍｏｆＳｔｒｕｃｔｕｒｅｏｆＡｇｒｉｃｕｌｔｕｒｅ－ｌａｎｄＵｔｉｌｉｚａｔｉｏｎｉｎＱｉｎｇｃｈｕａｎＣｏｕｎｔｙＬＩＵＧｕａｎｇｚｈｏｎｇ；ＨＥＣｈａｎｇｚｈｅｎｇ；ＸＵＪｉｕｐｉｎｇ（Ｄｅｐｔ．ｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａ...     

模糊决策方法在茶叶经营中的应用

研究了茶叶经营过程中拼配的最优决策问题.首先建立了茶叶拼配的最优决策模型—广义目标规划问题.在该模型中,存在着决策者、茶叶经销商的不同等级的目标,已往人们凭经验给出了目标期望值,这缺乏科学性.而且决策者不同等级的目标在实现过程中往往是相互矛盾的,人为所限定的目标期望值就不一定能达到.本文我们应用模糊决策方法,用目标函数的满意度确定出了目标期望值,体现了决策者的主观意愿和偏好,科学而合理地解决了茶叶经营过程中拼配决策问题.其次对实际问题进行了求解.最后给出了茶叶拼配问题的模糊决策方法的有效性分析.