Na+-K+-ATP酶的π-演算语义及验证

给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性.      

地理信息系统中的设计模式——以过滤和精化为例

归纳了GIS中的一个设计模式——过滤和精化,并进行了描述,然后实现了该设计模式的一种变化,并测试了其效率和开销。旨在使GIS研究中更加注重设计模式,使GIS软件的开发更加规范化,提高软件开发效率。     

服务驱动的制造网格系统

就服务在制造网格系统的应用层面上的行为特性展开研究,提出基于工艺信息的制造网格服务的静态结构和动态过程,分析了制造网格服务的服务请求与响应过程,以及制造网格服务的分裂和衍生过程,设计了相应的制造网格服务结构演算算子,并就制造网格系统服务响应流程与企业的实际业务处理之间的集成进行了描绘和实例说明.     

防洪堤对洪水的归槽影响研究

基于河道洪水演算原理,建立符合河流水力特性及其变化规律的流量和水位演算模型,利用实测洪水和防洪堤资料进行洪水演算,经洪水水文要素变化变化规律及其合理性的综合分析,确定防洪堤对洪水的归槽影响。应用实例的多方案演算成果表明:保护区滞洪容积占次洪水总量最大比重为9.50%的浔江防洪堤对西江中下游洪水过程的归槽影响大于对洪峰的归槽影响,而且洪水类型和干支流组合不同,影响程度也不相同:对流量过程、洪峰流量影响的最大归槽流量、最大归槽流量比重为36 200 m3/s、9.50%,2 600 m3/s、5.78%,对水位过程、洪峰水位影响的最大水位变幅为0.58 m、0.21 m;洪水归槽并未显著改变西江中下游洪水特性,干支流洪水遭遇、区间降雨和雨洪重叠仍然是形成西江中下游大洪水的主要因素;多方案演算成果相互参证,可减少误差、提高成果精度。大江大河洪水频繁并非归槽影响的结果,应结合气候和土地利用及覆被变化对水文循环影响的研究,探索流域变化环境下的洪水形成机理和演变规律。     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

基于网络演算的有损分形整形器及其性能模型

为改善Internet流量自相似等突发特征给网络性能带来的影响,提出了一种适合自相似突发流量的有损分形整形器的数学模型,分析了有损分形整形器的队列长度与延迟等性能,讨论了有损分形整形器的引入对端到端延迟、数据丢失总数以及平均包丢失率等的影响,得到了各性能指标上界与流量自相似参数的关系,给出了允许最大平均包丢失率下的最小缓存容量.这对基于分形整形器的拥塞和流量控制策略的评价、分形整形器自身参数的设计具有参考作用.     

基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

精化杂交法及精化平面四边形单元

基于新的泛函、合理的变量假设及应变正交化，提出了称之为精化杂交 元的方法。精化杂交法可以使单元的应变能按假定的应变模式分解，由此得 到相应的分解的单元刚度矩阵，而且常常可以推出显式。精化杂交法有效地 提高了杂交应力元或广义杂交元的精度和计算效率。所建立的平面四边形精 化杂交元，可以作为对著名的Ｐｉａｎ单元的改进。算例表明，所建立的四边形 单元较已有的各类平面四边形单元具有更高的精度和计算效率。     

ELNF归约演算

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

系统Z上的谓词演算

本文在非经典形式系统Ｚ（它用来刻划辩证否定的特有性质）之上，引入若干条公理，建立一个谓词演算系统ＺＱ，并把系统Ｚ的语义推广到系统ＺＱ中去。附带地，也在系统ＺＴ上建立了谓词演算系统ＺＱＴ（但ＺＱ的成立不依赖于ＺＱＴ成立与否）。