函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

内含定理证明器的程序开发系统

提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明,是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期．     

B类Kadomtsev-Petviashvili非线性系统的弦方程和Virasoro约束

主要研究B类Kadomtsev-Petviashvili(BKP)非线性系统的弦方程以及弦方程加在该系统τ函数上的约束所形成的Lie代数.首先，通过对现有文献分析，发现BKP系统弦方程的定义会产生数学上的矛盾，因此在现有文献的基础上重新优化了BKP系统弦方程的定义.然后从此定义出发重新计算了弦方程的附加对称算子表达式，进一步算出弦方程约束在BKP系统波函数和τ函数上的表达式.由于p约化的约束需要去掉冗余变量，因此给出了弦方程加在p约化BKP系统的τ函数上所生成的无冗余变量的约束算子.最后，通过复杂的计算，低阶弦方程无冗余约束算子恰好能形成一个被广泛研究的经典无穷维Lie代数，即非负的Virasoro代数和W代数.其展现了BKP系统良好的代数结构，与现有经典结果相容.     

一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.     

基于修正网重写系统的制造系统动态重构

智能制造模式要求制造系统能够快速动态重构以及时响应多品种、小批量产品的客户化、个性化定制的需求。本文从生产制造流程出发,针对不同输入输出函数下非托肯守恒复杂制造系统一般PN模型,在网重写系统的基础上提出修正网重写系统。修正网重写系统依据产品制造流程聚类对规则类库中重构单元子类进行系统的模块化封装,并制定相应的重构区域边界耦合约束与内部结构使能规则。构建的修正网重写系统重构单元类库具有行为特性继承的特点,保证局部区域重构后制造系统的活性、有界性及可逆性,根据制造系统修正网重写系统重写规则与重构步序可实现制造系统自主快速的动态重构。仿真结果与应用实例验证了修正网重写系统的可用性。     

代数迭代映射分支值的优化算法

以代数迭代映射动力系统的倍周期分叉问题为背景,研究出较精确计算代数迭代系统分支值的优化方法·以分支值为设计变量,映射点的最大开口量为目标函数,以映射点周期关系为等式约束和分支值分布范围为不等式约束,建立了关于分支值计算的新方法·通过两个代数迭代系统分支值实例分析计算,获得较高精度的结果·     

模糊推理算法在FMS故障诊断与维修系统中的应用

结合ＦＭＳ故障诊断与维修系统,利用模糊数学的有关概念和方法,对ＦＭＳ故障诊断与维修系统故障规则库中模糊规则的模糊前提和模糊匹配等概念进行了定义和说明。提出了ＦＭＳ故障诊断与维修系统应采用肯定后件式的反向模糊推理形式。给出了一种模糊隶属度函数的计算方法,并解决了如何确定证据的不确定性测度问题。利用多重阈值将证据的不确定性测度隶属区间进行划分,并用语言变量形式将不确定性测度表示出来。     

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

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

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

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

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

Logistic映射分支值的最优化算法

以具有生态特征的代数迭代系统Logistic映射动力系统的倍周期分叉问题为例,研究了精确计算迭代系统分支点的方法·以迭代过程关系构成目标函数,参数为设计变量,迭代变量的边界为约束,建立关于分支值计算的新方法含约束条件的最优化程序算法·这种方法将约束转化为惩罚项,采用惩罚函数法巧妙地对所建立的最优化问题求解,并获得了较为精确的结果·提出了快速精确计算代数迭代系统分支值的思想·这将是通向混沌的快速之路     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

面向复杂网络的威胁度量及聚合方法

在复杂网络中,威胁模型结构庞大、行为复杂,不利于建模后的威胁分析。该文从实现的角度出发,针对一类利用C程序实现的威胁对象及威胁,在已有的威胁建模理论的基础上,基于代数系统理论提出威胁对象及威胁的代数化刻画框架。基于该框架,采用代数簇理论建立威胁行为相似度度量函数,通过矩阵理论及非线性约束求解理论进行函数求解,从而实现相似行为的代数化判定。最后,针对判定后的相似行为,基于并发系统等价关系构建威胁行为聚合规则,实现威胁模型优化,减少威胁分析复杂度优化。     

对象式软件需求定义及其自动转换的研究

在面向对象构架之下研究了软件需求定义及其自动转换问题,提出了层次化对象式软件需求模型ＮＤＨＯＲＭ;定义了图形化对象式需求定义语言ＮＤＯＲＬ;探讨了从半形式需求定义到形式功能规约的转换技术;介绍了对象式软件需求分析支撑系统ＮＤＯＲＡＳＳ的设计与实现,该系统支持用户借助ＭＮＤＨＯＲＭ模型及ＮＤＯＲＬ语言来构件软件需求定义,并实现到形式功能规约ＯＯＺＥ的自动转换。     

开发中文函数式数据库语言的探讨

函数式数据库语言是一种新颖的数据库语言,它提供统一的计算模型和数据模型。数据库的定义、操作、查询都基于Lambda表达式和计算。函数式数据库语言继承了函数语言的杰出优点:高阶函数、惰性计算、抽象机制、模式匹配。本文讨论开发并行函数数据库语言的前景,探讨一些实现要素。     

有序类代数的操作语义

本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义。     

多工况下复杂杆系结构的截面优化研究

根据复杂杆系结构的特点，将约束函数分为局部约束和全局约束，提出了一种用于约束函数处理的简化方法，该方法是利用约束违反程度系数将约速函数归一化，并形成统一约束函数，然后用相对差商法求解经过简化后的数学模型。通过对结构优化算例的计算，说明雇中大幅度提高算效率。     

基于DATL的信息物理融合系统安全性建模与验证

为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性.     

代数体函数的唯一性定理

定义了代数体函数的加法及乘法,并证明了运算后的结果仍是代数体函数. 并应用新定义的加法,将联系重值的唯一性定理推广到多值的代数体函数.     

基于场地约束的PDMS查询优化技术

基于视图的查询求解是解决PDMS(Peer Data Management Systems)中数据共享的一个重要手段.基于成熟的Datalog技术,设计了基于场地约束的Datalog扩展技术用于解决PDMS环境下的查询优化问题.研究在数据密集型和逻辑上紧耦合的PDMS中存在的查询优化问题,提出了PDMS视图定义语言PView,局部约束和分布式约束的定义、及基于视图与约束的查询重写的优化方案,并给出性能分析.测试结果证明,基于约束的查询重写优化算法AffixC可以显著地提高查询处理效率,适用于逻辑上具有紧耦合关系的信息集成处理.