ELNF归约演算

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

A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.     

嵌套式移动Agent的形式化研究

应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法p演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.     

GPS高程测量的研究和应用

基于GPS高程信息的重要性,充分挖掘GPS测量的高程信息,建立GPS高程网,替代由水准测量才能完成的高程测量任务,从而更广泛地应用于测量领域,为我国的工程建设服务。目前从理论和实践均已证明,GPS测量不但可以解决高程问题,而且精度能够得到保证,它不但能够取代水准测量,而且能够快速准确的提高工作效率,投入与产出比会有很大的提高。     

一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．着重研究χ－进程的代数性质     

关于D∞的一个基本投射不等式

该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．     

科学发现的逻辑验证

R演算是一个关于逻辑连接词符号和量词符号的演算系统．它是一个根据事实反驳对科学理论进行修正的符号演算系统．文中以狭义相对论和生物进化论为例，使用R演算，对这两个科学理论的发现过程，在数理逻辑层面进行了验证．验证的结果表明：对Einstein时代的物理学而言，狭义相对论是唯一而且正确的选择．对Darwin时代的生物学而言，在接受自然选择原理等前提下，R演算可以推导出3种不同的，但逻辑上合理的进化论方案．Darwin提出的进化论是其中一种．有趣的是三者中的另一种，现在看来它具有一定的包容性．     

用半图解法推算建昌县流水沟水库泄洪流量过程线

本文以推算建昌县流水沟水库（小Ⅰ型）泄洪流量过程线为例，阐述半图解法在调洪算中的应用。     

异构服务聚合的协同访问控制算法研究

由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义了构成情景的不同要素;然后,提出了基于动态情景状态的状态演算和规则演算的机制,并给出了动态情景机约束下在服务聚合模型ACAHSP;其次,基于CP ABE算法提出了ACAHSP访问控制模型的安全验证算法,强有力的保证了ACAHSP模型在服务聚合中访问控制机制状态机转换、数据交互的安全性;最后,结合案例进行应用验证,并与已有模型进行对比.     

河道汇流演算方法对比分析与研究

分别采用分段马斯京根法、反映河道断面形状和水力特性的变动参数Muskingum-Cunge(MC)演算法和Muskingum-Cunge-Todini(MCT)可变参数法对沅水流域沅陵站—王家河站河段进行河道汇流演算,探讨了具有分布式参数的演算方法在实际河道的应用效果。结果表明,分段马斯京根法、MC演算法、MCT可变参数法均较好地模拟出洪水在河道的推移与坦化,模拟精度较高,且MC演算法和MCT可变参数法的确定性系数相对分段马斯京根法精度更高且更为稳定;MC演算法和MCT可变参数法对分段马斯京根法参数特性进行了较好的改进,并且MCT可变参数法解决了MC演算法蓄量和稳态不一致的问题。总体上看,3种方法对于洪水预报具有较强的适应性和可靠性,为实时洪水预报提供了新方法。