复杂仿真系统概念模型评估技术研究

复杂仿真系统概念模型(CSSCM)是对复杂仿真对象的静态特性和动态特性进行首次抽象所获得的模型,用来指导仿真系统的设计、开发、评估和分析,因此必须对CSSCM进行充分的评估,以保证其正确性。探讨了CSSCM的评估技术,建立了评估CSSCM所依据的原则,归纳了评估CSSCM的三类指标,分析了评估CSSCM的三类方法,最后给出一种具有层次化结构的形式化CSSCM,并举例说明层次化评估方法在CSSCM评估中的应用。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于TU模式的历史关系数据库的研究

给出了TU模式的形式化定义，结合实例对该模式进行了深入的分析和研究，指出了其优缺点，并提出了对该模式的下一步研究思想。     

“文法革新讨论”前后的汉语语法研究

本文着重论述３０年代末发生的“文法革新讨论”的主要贡献和历史意义，扼要比较“文法革新讨论”前后的汉语语法研究状况，有助于人们了解解放前汉语语法研究的发展脉络     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

分离机制下一种互联网安全接入方法

重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知

由中国计算机学会Petri网专业委员会主办的第十次全国Petri网学术年会暨形式化方法学术讨论会将于2005年10月在镇江召开(江苏大学承办)，会议将对Petri网理论及应用，以及并行处理的形式化方法开展广泛、深入的讨论。现发出征文通知。     

一种基于顺序图的软件性能分析方法

软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SPT）却未给出顺序图到执行图的具体转化方法，在实际应用特别是自动实现时存在一定的困难，文中通过对模型图的形式化定义，提出了一种顺序图转换为执行图的基本算法，并给出了一种基于顺序图的软件性能评价方法。