MSVL线性约束系统及其执行方法专利登记公告

专利名称：MSVL线性约束系统及其执行方法

摘要：本发明公开了一种MSVL线性约束系统及其执行方法，属形式化建模与约束求解技术领域。MSVL线性约束系统包括约束定义子系统和求解子系统，约束定义子系统中的各语句模块的语法结构适用于约束求解子系统中的语义等价规则和状态迁移规则。MSVL线性约束系统执行方法是选择相应的语句模块将待解问题建模为MSVL程序M；用语义等价规则将M化简为w∧q的形式，用状态迁移规则在当前状态执行状态程序w，之后用状态间迁移规则将时序程序q化简到下一状态继续执行，最后给出解决方案。本发明是在区间逻辑语言中扩展了线性约束结构，具有强大的

专利类型：发明专利

专利号：CN201210118809.5

专利申请（专利权）人：西安电子科技大学

专利发明（设计）人：段振华;马倩;王小兵;田聪

主权项：一种MSVL线性约束系统，是针对科学研究和工业应用中具有线性约束的问题而提出的建模和求解系统，其特征在于：该系统包括有约束定义子系统和约束求解子系统；约束定义子系统是定义在线性表达式基础上的线性约束语句模块，包括有等词语句模块(＝)，正瞬时赋值语句模块大于等于语句模块(≥)，小于等于语句模块(≤)和其它语句模块；约束求解子系统包括有用于MSVL程序等价变换的语义等价规则模块和用于求解线性约束的状态迁移规则模块；语义等价规则模块又包括有线性表达式代数规则模块、线性等词语义等价规则模块和线性不等式语义等价规则

专利地区：陕西