系统生物模型转换研究--从SBML到 Stochastic Pi Calculus

分析了系统生物标记语言（SBML）模型和用随机Pi演算对生物建模（BioSPI）的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程,提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想。     

一种基于符号形式文法的三维建模方法

在虚拟场景中模型数量激增的情况下,现有建模技术的生产代价随之大幅上升。基于符号形式文法的三维建模是一种新颖的建模方法,该方法从现实世界抽象出模型的文法产生式规则,通过产生式规则的叠加演算,提供一种从基础几何形状迭代生成目标模型的过程。实现产生式规则的模型生成器允许用户采用CGA脚本描述规则,脚本为输入,三维模型为输出。实验证明:基于该方法的模型生成器其输出具有较高质量可视化效果和模型细节,其实现原理有利于模型的重用与重构;在批量三维场景建模场合,该方法有较高生产效率。     

温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

面向方面程序的精化演算框架

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.     

物联网服务的π-演算建模与验证

针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列。针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时间约束三个性质,为物联网服务建模和验证提供了参考。     

并发计算的元模型Ⅰ.图模型

借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径     

并发计算的元模型Ⅰ.图模型

借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .本文用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径 .     

过程蓝图支撑环境构建方法的研究

根据过程蓝图所具有的三层描述二级映射的形式特点,提出了一种基于Java的过程蓝图支撑环境构建方法.过程蓝图支撑环境由过程蓝图模型模块、良构规则模块和代码生成模块等3个部分构成,过程蓝图模型数据与良构规则相互独立,使过程蓝图支撑环境具有更好的灵活性和适应性.实验证明,该方法能够正确支持过程蓝图建模并生成程序代码,能够实现过程蓝图建模工具的主要功能.     

λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

网上拍卖系统的π演算建模

在分析了基于WEB的网上拍卖系统的需求基础上,针对具有多进程并发通讯特点的该类电子商务系统,采用π演算对系统进行结构和功能建模．本文在简单介绍π演算的语法和语义基础上,用进程表达式对整个系统软件结构框架进行了形式化描述,并分析了π演算的建模能力．结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点,尤其适合这类电子商务系统的分析与设计。     

一类新型的模块化高级Petri网--π-网

π-网是一类新型的模块化的高级Petri网．π-网有机地结合了两类并发模型Petri网和π-演算，π-网既可称为Petri网中的π-演算，又是π-演算的Petri网形式的体现，从而在语义上实现了从π-演算到Petri网的一种自动翻译，较完整地解决了π-演算的分布式语义问题．在π-网中，任一π-网都可由五类基本π-网：Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成，这一结果不仅使得一个π-进程能够在π-网中得到自动的演进，也使π-网自身具有了极大的可操作性和可计算性．     

基于Pi-演算的集成P2P模式的网格形式化建模

为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性.结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求.     

扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

生物软组织超声背向散射信号的仿真

生物组织超声背向散射信号的建模与仿真在超声散射分析与组织定征和超声成像等方面具有十分重要的意义。在对超声背向散射信号建模的基础上,提出了一种生物组织超声背向散射信号仿真的新方法,这种方法的特点是综合考虑了散射元空间分布与组织中的超声衰减现象这两种不同类型的效应,同时还考虑了肝脏组织不同类型的散射模式,即规则散射与弥漫散射这两种类型的散射。规则散射信号振幅服从Ｋ分布,散射元间距服从Ｇａｍｍａ分布。弥     

神经网络方法求解多目标多加工工艺的柔性制造系统散件调度

针对多目标、多加工路径选择的柔性制造系统 ( FMS)散件调度特点 ,提出一种带可控因素的神经网络模型 .用灵活的规则推理体现 FMS的系统目标 ,用可靠的神经网络演算解决非线性问题的优化组合 ,达到以较少的代价同时获得系统的完备性和适应性的效应     

基于π演算的云服务安全检测

利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性.     

面向智能化信息系统的信息模型

本文研究将人工智能引入计算机信息系统的问题,提出一种能综合运用知识推理、模型演算和数据管理技术的信息处理模型.文中讨论了信息表达模型、信息处理模型以及信息处理模型的动态建模、运行与控制问题.     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

应用聚类和模糊神经网络方法设计模糊规则库

基于聚类技术和模糊神经网络提出一种新的自动生成模糊系统规则库的设计方法.采用结构辨识和参数辨识相结合的方法,构造模糊系统完善的模糊规则库.用此设计方法对函数逼近问题进行仿真,结果表明该方法具有规则数目少、学习速度快、建模精度高等特点.