摘要：介绍了在并发系统中对实时数据快速处理的方法。设计中采用的各种技术为实时处理高密度、大流量的数据提供了一种高效。

摘要：针对并发系统的死锁现象 ,通过原系统 Petri网模型的状态可达图和行为规范 ,产生目标系统的可达图 ,进一步生成控制器的 Petri网模型 .由此为这类问题的控制器 Petri网模型的生成提供一条有效途径 .

摘要：本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。

摘要：本文回顾了分布式数据库管理系统 C-POREL 的十年研制过程,介绍了 C-POREL 的设计思想及其演变。通过 C-POREL 与国际著名先驱系统的比较,指出了 C-POREL 的特色,分析和探讨了 C-POREL 的实现策略,并讨论了它的测试支撑环境的设计、实现以及一般并发系统问题。

摘要：基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。

摘要：安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析。

摘要：基于面向侧面(Aspect-Oriented)技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状态迁移系统(Modular Transition System)作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义。实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。

摘要：随着网络用户的飞速增长,互联网的应用需求也越来越多,面对大量的用户请求,网络应用需要做到快速,准确地响应,并确保通信的质量和系统数据的安全。Linux系统作为开源,免费,稳定的操作系统,已经占领了服务器市场,基于Linux的网络应用也越来越多。该文探讨了基于Linux的网络服务器的架构方式,深入TCP/IP协议分析底层数据包的传输机理,同时分析了目前主流的服务器设计思路,在分析的过程中,阅读研究与调试相关服务器源代码,领悟其中的设计思想,并最终实现了一个小型的IM服务器系统,通过功能测试和压力测试,可以确定系统的并发可达几万,后期优化部分还需要完善。

摘要：1986年,我执笔编写的计算机系研究生教学和学位工程计划(共124页),经过1987—1988年的不断充实,课程设置已初步成龙配套,1985年以来,本人为计算机软件专业研究生连续开出四门新课,包括两门专业基础课:《高级操作系统》,《软件工程》