模糊推理的反向三I约束算法

提出了基于蕴涵算子R0的反向三I约束算法的理论，分别得到了α－反向三I约束算法的FMP的下确界与FMT的上确界的一般计算公式。     

解决非可微凸优化问题的次梯度反馈神经网络

发展了Leung等人所提出的解决非线性凸规划问题的动态反馈神经网络模型, 引入基于次梯度动态反馈神经网络模型解决非可微凸优化问题. 对于无约束非可微凸优化问题, 假定目标函数是强迫性的凸函数, 证明了由投影次梯度构造的反馈神经网络轨道从任意初值点出发都收敛于一个渐近稳定的平衡点, 该平衡点为原无约束问题的最优解. 对于约束非可微凸优化问题, 在目标函数是强迫性的凸函数, 约束函数也具有凸性的假定下, 依次造构能量函数序列和相应的基于次梯度的动态反馈子网络的模型, 建立了收敛定理并给出了停时条件. 最后, 设计了两种有效的算法并结合一些实例进行了仿真验证.     

Associating Memory Through Case-Based Immune Mechanisms for Dynamic Job-Shop Scheduling

Knowledge plays an active role in job-shop scheduling, especially in dynamic environments. A novel case-based immune framework was developed for static and dynamic job-shop problems, using the associative memory and knowledge reuse from case-based reasoning (CBR) and immune response mechanisms. A 2-level similarity index which combines both job routing and problem solution characteristics based on DNA matching ideas was defined for both the CBR and immune algorithms. A CBR-embedded immune algorithms (CBR-IAs) framework was then developed focusing on case retrieval and adaptation methods. In static environments, the CBR-IAs have excellent population diversity and fast convergence which are necessary for dynamic problems with jobs arriving and leaving continually. The results with dynamic scheduling problems further confirm the CBR-IAs effectiveness as a problem solving method with knowledge reuse.     

一种基于工作流技术的调度方法

针对传统调度模型在描述复杂生产过程时所面临的模型规模庞大,模型可读性差等问题,提出了一种基于工作流技术的调度模型(WTSM),它通过基于活动的建模并在活动定义中内嵌事件—条件—行为(ECA)规则来达到缩小模型规模,增强模型动态描述能力的目的。同时WTSM定义了独立的资源模型,使之能够更好的支持资源定义以解决资源调度问题。然后采用工作流技术建立相应的调度系统(WTSS),法跟引擎与调度器集成并通过运行模型实例来获得调度方案。实例表明该方法具有模型规模小和调度速度快等优点。     

基于概念关联程度的网格服务组合方法

为克服自动服务组合在网格环境下性能低下的弱点,提出了基于领域本体的两阶段法(two phases method,TPM)。首先根据聚类规则将同类网格服务归并为一个抽象服务类,针对服务类进行组合;然后选择具体的网格服务替换第一阶段生成的组合方案中相应的服务类。TPM定义了基于领域本体的服务类关联程度,并根据关联关系构建服务组合图,将服务组合问题转化为最短路径问题,给出了基于Dijkstra贪婪搜索的组合算法及服务选择策略。通过实验与同类方法在计算效率、服务满意度和服务质量上进行了对比,实验结果证明TPM规模扩展性良好,并能提供一定的QoS保障。     

面向制造业的CIMS应用集成平台

介绍了计算机集成制造系统应用集成平台的产生背景和基本概念.给出了CIMS应用集成平台的定义、基本特性和功能需求.重点介绍了制造业CIMS应用集成平台的系统体系结构、功能、软件开发环境和设计开发方法.所设计和开发的集成平台以多种服务和集成工具的方式为企业的CIMS应用提供了有力的支持,为实现制造业企业CIMS的快速实施提供了良好的应用开发、集成和运行环境.     

带有供需双方促销努力的供需链合同问题研究

为了研究分布决策对供需链性能的影响,对单销售商、单制造商、单一产品、一次采购、需求为随机变量且供应商制造商均可以通过促销努力扩大需求的报童模型进行了讨论,提出了一种形式化的合同策略,多种简单合同形式均可以纳入其中。证明了对于该问题,简单合同无法使供需链达到协调状态。但适当的合同参数下,使用这种形式化策略,通过供需双方博弈供需链能够达到稳定状态。数值分析表明,恰当地使用该合同策略,在稳定状态下供需链系统的性能优于使用普通合同的结果。