多Transputer网络拓扑可重构系统的设计与实现

本文论述多Transputer网络拓扑可重构系统的设计与实现．提出了多Transputer网络拓扑可重构的技术途径、基本配置和重构软件的设计．着重论述重构软件中模块设置，通信协议，重构互连配置命令的格式，网络信息通信及有关重构命令各进程的CSP形式化描述．该重构软件能根据用户需求，快速重构所需的拓扑，并且直接支持Transputer上配置的各种语言编制的并行计算应用程序．最后给出一个实例．     

交互作用网理论分析

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.     

可预测并行性能的并行程序设计

研究具有可预测并行性能又独立于体系结构的可扩展并行软件的开发方法和工具当前并行计算领域的研究重点和执点。本文基于ＢＳＰ模型提出了两阶段ＢＳＰ并行程序设计方法。     

一种基于组合Monad的纯函数式通道系统操作

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。     

互模拟与逻辑

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。     

基于Monad的纯函数式语言通道系统设计

本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程同，从而给出了通道系统的语义。     

声电联合技术氧化降解2-氯酚的研究

在优化电解（EC）条件的基础上，以2-氯酚（2-CP）为模拟污染物，研究了超声（US）-电解（EC）联合技术氧化降解的性能，并初步探讨了其降解过程．结果表明：电解质Na2SO4浓度和pH是影响声电组合技术的重要因素，当pH〉9，电解质Na2SO4浓度大于0．15mol／L时，声电组合降解2-CP的效率最高．US—EC降解2-CP的动力学方程符合拟一级动力学关系，其表观反应速率常数（0．0096min^-1）大于EC（0．0055min^-1）和US（0．0034min^-1）两种单因素作用之和，表明超声与电解组合降解2-CP时，对电解产生显著的协同效应。通过LC／MS检测，2-氯-1，4-对苯醌为2-CP降解中间产物，说明2-CP的降解经历了羟基对位氧化、开环等过程．     

基于HMM的分布式拒绝服务攻击检测方法

文章根据分布式拒绝服务攻击（DDoS）的本质特点，提出了一种基于隐马尔可夫模型（HMM）的DDoS攻击检测方法。该方法通过IP地址信息库．保存当前常用服务的源IP地址，然后对新到数据包的IP地址用HMM建模。通过离线训练，更新IP地址信息库，优化HMM参数。在线检测时，IP地址信息库在线学习更新，HMM实时检测．并根据检测结果通过边界路由器进行积极响应。实验结果显示，该方法具有很好的检测效果，并能及时响应，保持常用服务的延续性。     

Verilog操作语义研究

提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.     

项重写的图实现

图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写对一切项重写下正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的。