蒋慧
- 作品数：9 被引量：1H指数：1
- 供职机构：南京大学更多>>
- 发文基金：江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术政治法律更多>>
- 基于抽象解释的线性混成系统不变式的生成方法
- 本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成部分如下：1）转换模块基于面向线性混成系...
- 卜磊刘春能蒋慧李宣东
- 文献传递
- 面向线性混成系统的等价迁移系统构造方法
- 本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V<Sup>0</Sup>,...
- 卜磊蒋慧刘春能李宣东
- 文献传递
- 论不动产登记机构登记错误与赔偿责任
- 不动产登记错误不仅使真正权利人和善意第三人遭受重大的经济损失,也削弱了不动产登记机构的权威性,同时也影响了登记的公信力。而不动产登记机构造成的登记错误更是加重了对登记制度本身的冲击。因此,为了巩固和发挥登记机构与登记制度...
- 蒋慧
- 关键词：登记错误形式审查过错责任国家赔偿责任
- 基于迁移系统分析的线性混成系统安全性验证工具
- 混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度高，...
- 蒋慧卜磊李宣东
- 文献传递
- 信息技术 计算机视觉 术语
- 陈熙霖毋立芳马珊珊王亮王涛王聪马伟简萌卢汉清邓亚峰刘俊晖李实英黄严张晓垒索津莉刘烨斌杨巨峰程明明柴森春周全赵铁松牛玉贞殷绪成马占宇乔宇赵振兵翟永杰韦世奎金鑫王上飞姬艳丽谢玉凤欧阳建权钱晨蒋慧刘向增韩军伟刘海波苗启广葛仕明沈晶刘伟锋徐明亮吴月升刘文予冯镔黄小明曹刚王海棠马玉琨任桐炜杨丽芳李策马丙鹏李晖王少帆张文利李如玮王卓峥段立娟贾熹滨齐娜杨新武王瑾朱青付利华刘兆英虞晶怡何晖光谢凌曦文石磊乔利稳邓成王瑞平黄祥林肖长诗高永超张婷薛云志孟令中张媛许源蒲江波赵春昊任文奇浦世亮赵群徐圣普王珏韩霄朱亚军吴涛邹博傅建龙蒲亚坤资鑫斌王一鹤冯小雪曹晓琦张伊祎那崇宁魏晓明李军马彬田永会刘军丁雨罗家赛宋方方单海军宁皓欧阳马生朱贵波王金桥刘亦珩张磊杨春林张栋栋王长虎
- 基于迁移系统语义的线性混成系统分析
- 混成系统以核心控制器的形式广泛出现于航天运输、机械控制等安全攸关领域。因此，通过形式化验证对相关系统的质量保障进行研究十分重要。混成自动机是混成系统主要设计建模语言，因此现有研究主要集中于混成自动机安全性验证。然而由于混...
- 蒋慧
- 面向线性混成系统的等价迁移系统构造方法
- 本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V<Sup>0</Sup>,...
- 卜磊蒋慧刘春能李宣东
- 文献传递
- 基于抽象解释的线性混成系统不变式的生成方法
- 本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成部分如下：1）转换模块基于面向线性混成系...
- 卜磊刘春能蒋慧李宣东
- 文献传递
- 基于迁移系统分析的线性混成系统安全验证被引量：1
- 2013年
- 混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。
- 蒋慧卜磊李宣东
