模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

手写笔电子白板系统中协同工作机制的研究实现

讨论了手写笔电子白板系统中协同工作开发需要解决的并发控制、协同感知和协同记录与再现问题及解决途径,在系统实现中使用有人管理的悲观加锁并发控制、光标标识法协同感知和基于手写笔交互参数的协同记录再现及截图记录归档,较好地完善了手写笔电子白板系统中协同工作机制．     

反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。     

在局域网上进行较大型应用软件设计的实用技术研究

针对网络环境下应用软件编制过程中容易出现的问题，提出了几种实用的处理技术，如数据库应用的一致性、层次分配合理性、并发控制措施、避免幽灵问题以及文件属性控制等．对一些仍然困扰数据库应用方面的问题，探索了解决途径．     

基于多起讫点最大流理论的城市排水系统优化改进策略

随着全球极端气候的频发与城镇化进程的快速推进,城市排水难题日益突出。近些年我国所发生的一定数量淹城事件,说明了部分城市在排水网络设计方面所存在的缺陷。本文利用线性规划基本理论,提出了具有多起讫点的并入式最大流模型,解决了城市排水系统最优设计及其现有排水系统的优化改进问题,并提供了相关模型的求解算法。这些方法在设计、改进及监测网络最大流方面具有普遍的推广价值。     

浅谈数据库中的锁

锁是数据库中的一个非常重要的概念,它主要用于多用户环境下保证数据库完整性和一致性。我们知道,多个用户能够同时操纵同一个数据库中的数据,会发生数据不一致现象。如果没有锁定且多个用户同时访问一个数据库,当他们的事务同时使用相同的数据时就可能会发生问题。     

并发一致性问题及解决办法

维持系统的一致性是使系统正常运行的前提。该文叙述了面向对象分布式计算系统在引入并发之后可能带来的不一致问题及解决办法，从一致性理论出发，全面探讨了维持并发一致性的各种方案，提出了一套维持一致性的管理策略，设计并实现了一个并发控制算法。     

预创建代理服务器的分析与设计

为了加强校园网WWW服务的安全性，需要实现一个既能稳定运行效率又比较高的代理服务器．在对HTTP协议进行详细分析的基础上，对代理服务模型和常用的实现方式的优缺点进行了详细的分析，最后对基于线程预创建WWW代理服务器做了详细的设计，并在Linux环境下加以实现．该系统已经完成了一系列的测试，测试表明采用预创建技术．提高了代理服务器的运行效率．目前该系统已经在Internet上运行，并能稳定地为校园网及学校近10个部门提供WWW代理服务，取得了良好的效果，满足了校园网的需求．     

并发进程中信号量使用的技巧

着重讲述了利用信号量实现的并发进程的互斥与同步控制，并列举了三个具有典型性的例题，由此总结出在并发进程编程中信号量使用的技巧。     

关于三点测交基因连锁作图的注记

就三点测交的计算方法进行了数学分析，提出了原有方法的不足，给出了修正方法中各估计值及标准误的计算公式，并就该方法进行了Fisher信息测度分析。