洪泽湖调洪演算计算方法探讨

洪泽湖是淮河中游最大的平原水库,它承担着淮河上中游下泄的洪水,如何科学地对入库洪水进行调度,关系到淮河下游地区的安全,同时还对下游泄洪工程规模的确定起决定性的作用,本文针对洪泽湖的调洪演算方法进行了探讨。     

语句的逻辑概率演算

概率演算已成为逻辑推理的一个重要内容,着重介绍关于语句的概率演算方法及规则,以期补充在现行逻辑教材中缺少的内容.     

ELNF归约演算

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

Ambient演算的框架设计

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.     

基于分子生物技术的DNA计算系统

为解决DNA计算模型随机初始化过程存在的问题,提出数据初始化模型,保证了初始数据的完整性,减少了计算过程中参与筛选的DNA链的数量,提高了计算精度。针对生物实验反应时间较长,活性DNA材料成本高的现状,开发了仿生DNA计算系统,通过仿真实验解决了哈密顿问题。     

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

DNA计算在图论中的应用

介绍了DNA计算在图论中应用的一些结果.如中国邮递员问题的DNA计算模型;0-1规划的DNA计算模型最大团问题;图着色问题和最小覆盖问题的表面DNA计算模型等.     

组合逻辑中的抽象运算Ⅱ

本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相应的问题。     

基于分子信标的逻辑门的计算模型

基于DNA计算的布尔电路的模拟是DNA计算研究中的一个非常具有应用前景的潜在的研究方向。利用分子信标和三链核酸分子的高度特异性及稳定性,提出了一个逻辑与、逻辑或门的DNA计算模型。基于分子信标的二种状态,将逻辑门的信息处理过程分为计算和输出二个子过程,从而使得这种基于DNA分子的逻辑门具有重复可用性,为构建基于DNA分子的大规模集成电路奠定了基础。     

刑事侦查与逻辑推理

刑事查离不开逻辑推理。侦理人员在掌握案件事实材料的基础上，运用逻辑推理，可以对案件的性质、犯罪人作案的手段、动机、时间和地点等进行推测和断定，有助于侦破工作的展开。     

几个逻辑推理带来的启示

通过4个逻辑推理的例子来说明做理论研究应该采用的思维方法。     

基于粒计算Rough集模型的逻辑推理应用研究

讨论了粒计算理论信息粒子的构成,结合Rough集知识模型给出了信息决策系统不确定性推理的粒计算公式及其过程.针对水产养殖中鱼病诊断信息的模糊性、随机性等不确定特点,通过鱼病症状集形成条件属性粒子、疾病集形成决策粒子而构成的模糊信息决策表,描述出主要逻辑推理算法,即鱼病诊断的规则获取过程,促进粒计算理论应用,同时也为鱼病诊断领域提供了新方法.     

分布式计算系统中逻辑时钟的研究

主要论述了逻辑时钟在调试分布式系统领域的应用。首先讨论了逻辑时钟方法及逻辑时钟的修改算法 ,然后介绍了自行研制的分布式 S4系统中逻辑时钟监控器模块的实现方法。     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

DNA粘接计算模型及其应用

DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。     

浅谈合情推理在大学数学中的应用

论述了合情推理的两种常用方法：归纳推理和类比推理在大学数学中的应用．     

浅析艺术设计中的逻辑思维方法的运用

逻辑思维方法是人类思维的一种基本的主要的方法，在思维活动中也是一个不容忽视的因素．它将在人类思维活动中发挥重要作用。作为人类思维活动的重要载体之一，艺术设计实践活动也不例外。其逻辑思维方法的成功运用将会在艺术设计领域中发挥更大的作用。本文就分析与综合、定量与定性分析和归纳与演绎等部分逻辑思维方法在艺术设计中的运用谈谈看法。     

云计算及其在测试领域的应用探索

云计算是传统计算机技术和网络技术发展融合的产物,其核心思想是将大量用网络连接的计算资源统一管理和调度,构成一个计算资源池向用户提供按需服务。云计算的出现和快速发展为测试领域带来了新的机遇。首先介绍了云计算的定义和基本特征、服务模型及部署模型,划分了体系结构;其次从软件测试、硬件测试和自动测试系统3个方面,论述云计算在测试领域的应用需求及优势特点,给出一种基于云计算的自动测试系统架构方案;最后展望云计算在测试领域的应用前景,并提出了所面临的安全性、服务模式及适用范围等需要解决的问题。     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.