2. 您的位置
3. 首页
4. 会议论文
5. 部分状态空间的建模及其验证

部分状态空间的建模及其验证

来源 :2005年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户：fengyunlcj

【摘 要】

：

本文对部分状态空间的建模及其验证进行了研究.文章提出了一个统一的框架,在一个维度上扩充Krinke结构,一个维度上扩充LTS,另一个维度上扩充到部分状态空间.文章选择u演算为

【作 者】

：

韩婷婷 陈韬略 颜锋 吕建 

【机 构】

：

南京大学计算机软件新技术国家重点实验室,南京,210093

【出 处】

：

2005年全国理论计算机科学学术年会

【发表日期】

：

2005年期

【关键词】

：

状态空间 建模 检测问题 模型 扩充 解释 演算 完全空间 规约语言 部分空间 等价性 转化 证明 语义 验证 选择 系统 框架 结构 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文对部分状态空间的建模及其验证进行了研究.文章提出了一个统一的框架,在一个维度上扩充Krinke结构,一个维度上扩充LTS,另一个维度上扩充到部分状态空间.文章选择u演算为系统的规约语言并给出了针对PKMTS模型的u演算的三值解释和musVmay解释语义,证明了其等价性.文章利用must／may解释将部分空间上的模型检测问题转化为两个完全空间上的模型检测问题.

其他文献

基于阶段事件驱动架构的TPC-C测试工具实现

本文介绍了一种基于SEDA的TPC-C性能测试工具实现,分析了这种设计方法与传统多线程模型设计的优缺点,并给出了实验结果和结果分析.

会议

事件驱动架构性能测试多线程模型设计设计方法结果分析工具实现实验

上海自贸区倒逼改革

在上海自贸区金融开放战略进入到一个全面推动阶段之际,我们进行了大量的国际经验比较,从中得出了最明确的政策建议就是:金融自由化的“顺序”安排不是最重要的因素,而最最关

期刊

上海金融开放国际经验比较实体经济金融自由化政策建议微笑曲线全面推动开放战略经济强国经济发展金融资源金融机构金融服务中国梳理清单

一种基于工作流日志的人力资源业绩评价模型

人力资源业绩评价可基于其执行任务实例的行为过程,也可基于行为结果.本文所阐述的业绩评价模型是指基于人力资源执行任务的行为结果记录—工作流日志来对人力资源业绩做定量

会议

工作流日志人力资源业绩评价模型行为结果行为过程定量评价

数据流上的自适应连接算法

本文考察了数据流上的连接算法,在前人关于连接算法研究的基础上提出了一种具有自适应性的数据流连接算法,并讨论了相关负载丢弃等问题.实验证明了算法的有效性.

会议

数据流自适应性连接算法算法研究负载丢弃证明实验考察基础

基于UML技术为XML建模的方法

XML已经成为Internet上数据交换的标准方式,创建简洁且通用的XML文档是必不可少.相对于传统的设计方法来说,UML更加适合于构建复杂的应用程序,通过使可视图转化为XML及其模式

会议

技术建模方法应用程序文档结构数据交换设计方法可视图转化质量通用模式开发构建标准

废都

翻过废都亨比的一座座山丘，远远近近，高处上如希腊神殿一般的12座残存殿堂，依然留下了挺拔的石柱和墙壁，在石山和椰林中，仿佛天外战场的遗留。　　亨比是印度毗奢耶那伽罗（Vijayanagara）帝国最后的首都遗址。离亨比最近的火车站是霍斯佩特（Hospet），我搭乘17225次阿玛拉瓦蒂特快，花了一宿来到这里。我见识到了印度南方不同于北方的一面：开往亨比巴士的售票员是年轻的小姐，而在广阔的北方，这种

期刊

Google2008年垃圾场北京城摄影师

船舶工程图纸的语义分类与查询

本文通过建立船舶制造业领域本体库,消除船舶概念语义上的分歧,并根据分类标准的不同建立多棵分类树,形成分类树森林实现船舶工程图纸的语义分类管理与条件查询.本文定义船舶

会议

数据流上的并行决策树构成算法

决策树分类算法是数据挖掘中的一个重要问题.本文提出了一个基于数据流的并行决策树分类算法.使用了抽样的方法来构造决策树,对数值属性的处理使用了数值间隔剪枝策率,并在准

会议

数据流并行决策树构成决策树分类算法分布式环境数值属性数据挖掘方法处理使用并行算法准确性概率性缩短实验界限间隔构造抽样

奥尼尔：花旗新帅

金融巨头花旗集团的董事长即将更换，接任者是迈克尔·奥尼尔（MichaelO’Neill）。这位曾在2000年--2004年担任夏威夷银行《BankofHawaiiCorp）CEO的银行家，预计将在4月接替已在花旗

期刊

奥尼尔花旗集团百年老店董事长银行家迈克尔夏威夷帕森斯

农场进化

30多年来,中国农业的经营体制一直以家庭承包为主.近年,随着城镇化和农地流转速度的加快,中国的种植业一直存在着走向规模、集约还是维持农户经营的争论.rn3月末,总理李克强

期刊

家庭农场经营体制国务院常务会议适度规模经营李克强专业合作社股份合作社中国生产新农业农户经营面积龙头企业经营主体家庭承包合作经营种