约束语言相关论文
文章针对机群保障资源配置问题的结构特性和逻辑关系进行详细地分析,基于自然约束语言(NCL)对机群保障资源配置问题进行建模,模......
生产排程问题是工业生产和实际生活中常见的一类问题。该类问题绝大多数都是复杂的NP-hard问题,求解这些问题非常困难。本文使用自......
面向服务的软件架构已逐渐成为计算机领域内的研究热点,本文所研究的是其中的一个问题--服务约束。服务并不仅仅是简单的程序调用,它......
事件与状态为离散事件动态系统的二特征量,状态的逻辑演化关系可用有限自动机模型来描述,系统的逻辑运行特性则为事件集上的事件串(序......
RASA是2007年Tim Miller提出的一个MAS(Multi-agent System)交互协议框架,这个框架已被证明可以更好地促进MAS的交互,但此框架并不支......