欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
针对离散事件系统（DES）建模和设计中的"维数灾"问题，研究了DES基于对象的分层模型。构建DES基于对象的分层模型，将系统的对象按照组成关系划分为多个部分和多个层次，系统的控制任务被划分为多个子任务，分布到组成系统的各层对象中。遵循"高内聚、低耦合"的原则对系统进行划分，同时也将系统的整个状态空间划分为多个子空间，从而可以有效地降低问题求解的复杂性，避免"维数灾"问题。基于产生式规则表示知识的方法和产生式规则系统求解问题的逻辑推演方法，提出了对DES进行设计的规则化描述方法。产生式规则表示法形式单一，便于理解和解释，规则之间相互独立，规则的结构化较好，有利于形式化。构建了逻辑规则描述语言（LRDL）的语法语义体系，用EBNF定义了LRDL的形式语法，基于Hoare逻辑的公理系统，形式化地给出并证明了LRDL的公理语义。提出了采用规则化描述方法的规则匹配算法，大大提高了规则匹配的效率。将规则化描述方法应用于矿井移动目标安全监控、汽车车身控制系统、皮带机群控制系统、纺织生产调度、网络协议设计等。
结论摘要：
英文主题词Discrete Event Systems; Rule Description; Hierarchical Model; Formal Method
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
韩江洪的项目
