线性逻辑导论

1.从古典逻辑到线性逻辑1986年,法国巴黎第七大学 J。Y.Gi-rard 教授在研究二阶λ-演算的指称语义时发现古典逻辑中的隐含连接词 A(?)B 可以分解成更基本的线性运算!A(?)B,在此基础上,一个与证明论及计算机科学密切相关的新型逻辑系统——线性逻辑(LL)诞生了。由于古典逻辑缺乏切实的方式把证明看成算法,因此是不可构造的,除了不存在任何非平凡的指称语义外,矢列演算中 Cut 的消去也不满足 CR 性质。为了避免这些缺点,     

一种增量式的社区发现算法研究

传统社区发现算法基本上属于静态的分析算法,其计算复杂性使其难以适应目前网络结构的频繁变化.为了改善静态算法的这一局限性,通过对Radiechi静态算法进行扩展,提出一种增量式的社区发现算法,并将其应用于MSN Space链接结构分析上.该算法能在网络结构变化频繁时进行增量式计算并保证社区发现的实时性.实验结果表明,该增量式算法在处理网络结构变化时的效率相对传统算法有显著提高,尤其对小规模频繁变化的网络有很强的适应力.     

线性逻辑和逻辑式程序设计

所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的，我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发，研究PROLOG目标求解成功或失败的公理性，并说明对任一给定的程序P，可定义一个线性理论LT（P），关于该理论，PROLOG目标求解是正确且完备的。     

人工智能在故障诊断中的应用

文章提出的基于规则的故障诊断专家系统,采用CLIPS语言实现其主体结构,结合面向对象语言和网络编程技术,具备非常友好的用户界面和良好的使用性能,可以作为企业的故障与技术信息中心.     

Unix上基于事务的中间件(VP)的时钟管理方案

详细地阐述了VP的时钟管理方案的原理和具体实现，从算法的时间和空间的开销角度对该时钟管理方案进行了分析，从而表明该方案能够较好地解决VP的时钟管理问题。该时钟管理方案的突出特点是：巧妙地将物理时钟算法和向量逻辑时钟算法融合在一起，相辅相成，而且采用HOT—STANDBY设计思想提高了时钟管理的系统可靠性。     

自适应近似树

在大规模多媒体数据库中进行基于内容的检索，高维数据牵引结构的研究是重要问题，提出了一种有效的高维索引结构－自适应近似树，阐述了它的结构，给出了构建和检索算法，它结合了树结构和顺序检索的共同优点，针对不同的数据分布情况可以自适应地调整结构，维数较低或数据分布偏斜较大时它呈现树的结构，高维或数据分布密集时呈现顺序扫描的结构，以达到更优的检索效率，在结构上，对MBR使用了压缩存储的方法以节省存储空间，在算法中充分利用了空间划分是MBS和MBR共存的特点，减少了大量复杂的计算，从而大大提高检索效率。     

事务控制的面向服务系统的动态更新协调

就面向服务的分布式系统中多服务动态更新的协调问题,提出基于事务控制的更新协调策略,包括安全更新时机的选择策略、使用2PC(two-phase-commit)协调多服务更新的控制策略.根据更新实施的各步操作时间开销,提出分别采用更新短事务控制基本更新操作(包括创建服务实例、顺序实施运行时状态转换、重定向服务请求和新服务的...     

基于概率模型的个性化算法及其在证券业的应用

传统的信息检索技术满足了人们一定的需要,但由于其通用的性质,仍不能满足客户不同背景、不同目的和不同时期的查询要求.该文提出了一种基于概率模型的个性化信息搜索算法以提高搜索的速度和精度,最大限度地满足了客户的需要.