检索结果-南通市图书馆

第40届中国控制会议

作者： Daohua Wu Jintao Liu National Research Center of Railway Safety Assessment Beijing Jiaotong University

In this paper, we propose a model-based approach to qualitative safety analysis. With this approach, paths that lead to hazardous events or accidents can be automatically identified. Moreover, further quantitative analysis is possible on the basis of the established system model. The approach is implemented by the formal modelling language of coloured petri nets and illustrated by analysing the safety of the CTCS-3. The analysis result shows the feasibility of the approach.

关键词： Safety Analysis Failure Injection Train Control Systems coloured petri nets

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Modeling and Analyzing of Breast Tumor Deterioration Process with petri nets and Logistic Regression

引用

Complex System Modeling and Simulation 2022年第3期2卷 264-272页

作者： Xuyue Wang Wangyang Yu Zeyuan Ding Xiaojun Zhai Sangeet Saha Key Laboratory of Intelligent Computing and Service Technology for Folk Song Ministry of Culture and Tourismand School of Computer ScienceShaanxi Normal UniversityXi’an 710100China School of Computer Science Shaanxi Normal UniversityXi’an 710100China School of Computer Science and Electronic Engineering University of EssexColchesterCO43SQUK

It is important to understand the process of cancer cell metastasis and some cancer characteristics that increase disease *** the occurrence of the disease is caused by many factors,and the pathogenesis process is also *** is necessary to use interpretable and visual modeling methods to characterize this complex *** learning techniques have demonstrated extraordinary capabilities in identifying models and extracting patterns from data to improve medical prognostic ***,in most cases,it is *** formal methods to model can ensure the correctness and understandability of prediction decisions in a certain extent,and can well visualize the analysis *** petri nets(CPN)is a powerful formal *** paper presents a modeling approach with CPN and machine learning in breast cancer,which can visualize the process of cancer cell metastasis and the impact of cell characteristics on the risk of *** evaluating the performance of several common machine learning algorithms,we finally choose the logistic regression algorithm to analyze the data,and integrate the obtained prediction model into the CPN *** method allows us to understand the relations among the cancer cell metastasis and clearly see the quantitative prediction results.

关键词： coloured petri nets visual modeling machine learning breast cancer

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

HMIPv6协议形式化建模及测试例生成方法研究

HMIPv6协议形式化建模及测试例生成方法研究

引用

作者：杨蒙内蒙古大学

学位级别：硕士

随着网络通信技术的高速发展,网络协议标准也不断地更新和完善。如何更有效地保证网络协议的实现质量,已成为网络协议工程领域的关键问题之一。实践证明,以合理有效的方式将形式化方法应用于协议研发实践中,可以有效提高协议设计、实现... 详细信息

随着网络通信技术的高速发展,网络协议标准也不断地更新和完善。如何更有效地保证网络协议的实现质量,已成为网络协议工程领域的关键问题之一。实践证明,以合理有效的方式将形式化方法应用于协议研发实践中,可以有效提高协议设计、实现、测试的效率,最大程度地保证协议实现的正确性。协议一致性测试用于检查协议实现是否符合协议设计的要求,是保障协议实现质量的有效方法。 HMIPv6协议作为移动IPv6协议的优化,在行为特性、安全性等方面采用了新的技术。如何借助于形式化方法对此协议进行有效的一致性测试成为亟待解决的问题。本文采用coloured petri nets对HMIPv6协议进行形式化建模,并且使用了层次化的建模方法,将HMIPv6协议按节点类型抽象成若干层,层次化的模型不但更能体现不同节点间的交互属性,而且由于层次间的相对独立性,使得模型的开发更加模块化。此类通信协议的特点是并发度较高,且交互行为较多,coloured petri nets非常适合于描述具有这些特点的系统。CPN tools还支持模型相关性质的分析,从而保证了模型的正确性。在一致性测试方法上,本文提出了由协议属性指导的测试例生成。文中对属性也采用coloured petri nets进行形式化描述,给出了基于属性的测试例生成算法。该算法使得测试例的生成过程简单,直接,且针对性强。算法的提出使得测试例自动生成成为可能,本文作者开发了基于CPNs的测试例生成工具,重点实现了本文提出的属性指导的测试例生成算法,实现了测试例生成的自动化,取得了良好的测试效果。

关键词： HMIPv6协议形式化建模 coloured petri nets 属性测试例生成

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于属性的层次移动IPv6（HMIPv6）协议的验证

基于属性的层次移动IPv6（HMIPv6）协议的验证

引用

作者：康智辉内蒙古大学

学位级别：硕士

随着互联网的高速发展,网络协议标准也不断地更新和完善。如何更有效地提高网络服务,已成为网络协议工程领域的关键问题之一。层次移动IPv6协议作为移动IPv6协议的扩展,在移动IPv6的基础上对移动节点在小范围内快速切换作出了改进。CPN ... 详细信息

随着互联网的高速发展,网络协议标准也不断地更新和完善。如何更有效地提高网络服务,已成为网络协议工程领域的关键问题之一。层次移动IPv6协议作为移动IPv6协议的扩展,在移动IPv6的基础上对移动节点在小范围内快速切换作出了改进。CPN (coloured petri nets)是一种形式化建模语言,适用于通信和并发系统。CPN为使用者提供了直观的图形化的形式化描述方法,并且CPN的模型语言是通用目的的建模语言。本文通过形式化方法对自然语言描述的HMIPv6 (RFC5380)协议规范进行建模,并对HMIPv6协议的基本属性进行形式化验证。由于协议并发行为引发的状态爆炸问题严重影响了验证工作的进行,本文提出了模型化简和抽象的方法,化简法将模型化检为多个并发子模型,抽象法将并发子模型进行抽象层次的提升,合并一些库所和变迁,以减少状态空间规模,保证属性验证工作的效果。最后,本文将以上方法应用于HMIPv6协议模型,验证了方法的有效性。

关键词： HMIPv6协议形式化建模 coloured petri nets 属性形式化验证模型检测

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：