多产品批处理过程调度的MILP建模

基于时间间隙的概念和连续时间描述，将设备、产品分配给时间间隙分别表达为两类0-1变量。采用一个时间轴，建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型。模型表达为一个混合整数规划（Mixed Integer Linear Programming,MILP)问题。相对于已有的基于时间间隙描述的调度模型，该模型0-1变量少，且能处理顺序相关建立时间。求解采用分支定界法（BAB）。计算表明，该模型求解速度快，松弛线性规划和MILP的最优解之差（Integraligy Gap)小，尤其对包含多个相同批次的调度问题求解效果更为显著。     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

网格结点中任务包批处理的性能分析

本文首先阐述了网格结点与计算单元之间的关系,然后对任务包到达网格结点后,被调度到计算单元的过程进行数学建模,并利用该数学模型对调度过程进行性能分析,得出系统中任务包的平均滞留量与批处理的规模成正比.该结果对提高网格中计算资源的利用率和服务性能有着重要意义.     

具有分解结构的多目的批处理过程短期调度模型

针对多目的批处理过程的短期调度问题,分析了基于设备独立事件触发的建模方法在描述存储过程的特点及局限性,建立了存储的时间函数来准确描述存储状态,并以此为基础,在不额外增加变量的情况下,建立了一种新的具有分解结构的调度模型,该模型由两个层次的优化问题构成。设计了基于分解的遗传算法求解模型。针对主要由处理任务的时间顺序约束和存储容量约束构成的子问题,通过松弛,给出了简单的递推算法求得最优解或近优解,然后返回主问题,采用遗传算法,使得搜索空间大为减小。仿真实例说明了模型和算法的有效性。     

基于遗传算法的模具电极调度问题求解

针对模具电极数控加工和电火花加工两个阶段的调度问题,建立了具有批处理和相关性特征的数学模型.以模具零件拖期量最小为目标,将模具电极调度问题的求解分为批处理和批调度两个层次,第1层提出根据相关性原则解决批处理问题,并设计出相关性优先分批算法;第2层提出采用遗传算法解决批调度问题,并提出一种基于动物配种的策略对传统的遗传算...     

多核平台下一种新的实时调度模型

针对当前嵌入式多核平台下的实时调度模型没有考虑实时周期任务之间的制约关系这一不足,提出了一种能够描述实时周期任务之间存在简单制约关系的任务时序图(TTOG)模型,该模型不仅能体现任务实时性需求,还能反映周期任务之间的依赖关系.根据该模型,提出了一种剩余执行时间越短越优先(RETSF)的调度方法.该方法将根据某个周期任务距离时限的剩余执行时间动态地调整调度方案,与先来先服务(FCFS)算法相比较,在提高系统利用率,以及降低时限丢失率方面有很大改善.     

元计算环境下阶段启发式任务分解与调度策略研究

提出了基于元计算环境下阶段启发式任务分解和调度的协同工作模型，给出了任务分解过程中任务间依赖关系的数学描述，通过任务粗粒度分解策略，探讨在分解算法中任务完全组合导致的开销指数递增问题。     

具有自适应特性的反射式动态弹性调度模型

针对负载可以弹性变化的实时系统,提出了一种两层结构的动态调度模型,实现具有自适应性的反射式弹性动态调度.上层调度采用弹性调度算法动态地调整实时任务的作业周期,底层调度采用MUF调度算法,保证实时任务的优先级次序.通过反馈控制,弹性调度器对实时系统的性能进行动态优化.在保证实时任务服务质量(Quality of Service QOS)要求的前提下,通过改变实时任务的运行周期,接纳尽量多的服务请求,以达到提高实时系统吞吐率的目的.模拟测试表明本模型适用于实时任务负载可以动态变化的实时系统中.     

多AGV群控调度的蚁群算法研究

本文对多AGV群控调度中的单车导航定位及其行走路径进行了研究,并分析了蚁群算法在调度中的可行性。为缩短自动导引车调度系统的研发周期、降低研发成本,寻求能适应不同环境的通用调度策略以及增强对实际调度任务和故障的鲁棒性。在多自动导引车群控调度中使用蚁群算法,建立了调度系统的数学模型,并通过MATLAB仿真验证了此方法的可行性,得到了最优的导航路径及调度方案。     

不确定条件下单阶段多产品批处理过程的调度

讨论了不确定条件下的单阶段多产品批处理过程，基于模糊理论建立了加工时间不确定和顺序相关建立时间不确定的调度模型。这里引用“中间值最大隶属度”算法将模糊的优化问题转换为普通的优化问题，然后结合遗传算法进行优化求解。最后仿真结果表明了所建模型及算法的有效性。     

用树表达法进行波形理解与释义

本文提出了一件波形的符号化方法——树表达法,利用这种方法可以将各种感知数据换成专家系统易于接受且便于推理的知识表达形式.文中讨论了树的性质,树结点的表达方法及树的生成算法;根据波形分析的特点,提出了一个层次模型,将波形分析过程分为5个步骤:a.信号检测;b.预处理;c.波形分段;d.波形识别;e.基于领域知识的波形解释.     

模型管理系统中问题求解策略的研究

本文将半结构化或非结构化问题的求解策略与模型单元的管理方式有机地结合起来,提出了基于不精确推理的问题求解策略以及相应的模型描述与操作机制。文中还提出了基于问题求解目标树型分解的问题结构化方法。     

基于描述逻辑的可扩展的案例表示及检索研究

案例推理(CBR)与领域知识的结合是CBR近年来的研究热点之一,不同的知识表示方式对CBR系统性能产生不同的影响。在分析传统知识表示与CBR结合不足的基础上,提出了一种可扩展的基于描述逻辑(DL)的案例表示模型,并给出了相应的案例检索算法。此模型强调在CBR系统中领域知识主要是为案例检索及修正服务,对领域知识的使用程度应根据CBR的实际需求和应用背景来确定,在保持了CBR系统优点的同时,也提供了一种灵活使用领域知识的手段。     

复合粒子表象~(20)O基态波函数

讨论复合粒子表象理论（CPRT）的波函数，并计算20O基态CPRT的波函数，结果表明，其费米子空间部分就是壳模型波函数．由此进一步表明复合粒子表象完全等价于通常的量子力学表象。     

MDR概念系统注册及本体表示标准化研究

随着大数据与人工智能在各个领域的深入应用，知识表示的标准化问题被提到了重要的日程。为实现知识表示的标准化，引入了现实世界、概念世界与计算机世界3个世界模型，明确阐述了将现实世界中的事物通过抽象，将其转化为概念世界中的概念系统模型，依据标准将其转化为计算机世界中的信息模型，从而实现知识表示。为了使概念系统模型表示规范化，重点研究了ISO/IEC 11179 MDR系列标准，剖析了其中的概念系统注册元模型规范，构建了MDR概念系统的七元组模型，同时还定义了概念间关系表示方法，为概念系统模型的表示奠定了基础。为了将注册在MDR中的概念系统模型转为计算机世界中的OWL本体表示模型，定义了将MDR概念系统向OWL本体映射的规则。最后，设计并开发了概念系统注册原型系统，验证了MDR概念系统和本体表示的可行性。研究成果为领域知识表示的标准化提供了方法论。     

λ模糊测度及其Mbius变换和关联系数间关系的推导

λ模糊测度常用于基于关联的多属性决策(multiple attribute decision making, MADM)问题中的属性和属性集重要程度建模,为了能充分地利用决策者可能提供的各类信息辅助多属性决策分析行为,在Grabisch给出的一般有限离散集上模糊测度与其Mbius变换和关联系数间相互转换关系的基础上,定义了λ模糊测度的Mbius变换和关联系数并研究了三者间的相互转换关系,最后给出算例解释λ模糊测度及其Mbius变换和关联系数间转换关系在实际MADM问题中的应用.     

突发事件模型库中模型的层次网络表示方法

模型表示方法是突发事件模型库中模型管理和操纵的基础。该文综合分析突发事件模型的自身特征和辅助,将关系框架和模型网络的表示方法有机地结合起来,提出了一种适合突发事件模型知识表示和模型操纵需求的层次网络模型表示方法。该方法可以根据突发事件不同的辅助决策流程框架,动态地生成相应的模型网络,然后在模型网络中根据决策目标选择出一条或多条模型链。层次网络表示法具有很好的灵活性和智能性,很好地实现了突发事件模型根据不同决策环境和决策对象的模型求解。     

融合属性信息的知识表示方法

现有的联合知识表示学习模型使用实体描述作为辅助信息来提升表示效果,忽略了互联网中大量有价值的信息。为此,提出一种融合属性信息的知识表示学习方法(AIKR)。首先抓取实体的不同属性,并通过莱文斯坦距离从语料库中匹配属性对应的说明文本;然后利用卷积神经网络对说明文本进行编码;最后将得到的实体属性表示与翻译模型生成的结构表示相结合进行联合学习。实验结果表明,相比仅利用实体描述的方法,融合属性信息的知识表示方法可以学习到更多的语义信息,取得了更好的表示效果。     

面向对象的优化数学模型的建模方法

文章将面向对象技术应用于优化方法程序设计中．提出了面向对象的优化设计数学模型的建模方法．给出了优化设计数学模型类定义。该数学模型具有较强的问题的描述能力和柔性，解决了面向对象的优化方法程序中的一大难题。     

A NAM Representation Method for Data Compression of Binary Images

A representation method using the non-symmetry and anti-packing model (NAM) for data compression of binary images is presented.The NAM representation algorithm is compared with the popular linear quadtree and run length encoding algorithms.Theoretical and experimental results show that the algorithm has a higher compression ratio for both lossy and lossless cases of binary images and better reconstructed quality for the lossy case.