OCCAM语言中PAR构造的使用

ＰＡＲ构造是Ｏｃｃａｍ语言中最具特点的构造之一。本文就它的使用，ＰＡＲ和ＳＥＱ构造间的转换以及ＰＲＩ ＰＡＲ的特点作一分析和讨论。     

UNIX系统发展综述

本文首先分析ＵＮＩＸ的４个发展阶段以及各阶段取得成功的原因，然后在安全性，多处理机，实时处理，微内核，国际化和流机制等几个方面说明ＵＮＩＸ在技术上的发展近况，指出要解决的问题，最后说明了它面临的新挑战。     

计算机集成制造系统（CIMS）国际发展动态

ＣＩＭＳ（计算机集成制造系统）是世界上高技术开发项目之一．ＣＩＭＳ是涉及广泛技术领域的复杂系统，当前的研究课题覆盖了ＣＩＭ中方法学、技术和应用领域的部分内容．本文简要讨论ＣＩＭＳ的国际发展动态．     

多机UNIX核心中的指令流控制结构—thread

Ｔｈｒｅａｄｓ－指令流结构成为多处理机ＵＮＩＸ操作系统中的一个基本结构。随着ＵＮＩＸ在多机环境下的不断开发，细颗粒开发，或者说指令级并发对提高系统的总处理能力显得越来越重要，并已从传统ＵＮＩＸ中的进程概念，发展为多处理机ＵＮＩＸ中的指令流／进程的概念。本文介绍了ｔｈｒｅａｄ的基本概念，ｔｈｒｅａｄ的构造，ｔｈｒｅａｄ的各种操作和多机ＵＮＩＸ中的一些实现算法。     

UNIX系统V中的STREAMS机制

STREAMS机制是操作系统设计和实现中使用的一种重要新技术.本文说明这种机制的主要优点、它的基本结构和工作原理,包括:队列、消息、流首、模块、流量控制和基于流的管理等.     

RPC研究及其在UNIX系统中的实现

远程时程调用是网络高层的一种通信机制。它的实现使得在一个计算机上运行的用户调用网络系统中其它机器上的过程如同使用本地过程调用一样方便。本文着重阐述远程过程调用的基本模式及其在ＵＮＩＸ系统中的实现。     

基于J2EE的Web教务管理系统的研究与设计

教务管理系统是整个校园信息化建设的核心部分，针对目前高校教务管理系统的特点和发展现状．从功能与业务等方面进行分析，阐述了基于J2EE架构和组件对象技术的特点和优势，结合基于Web应用的多层架构系统的开发模式。提出一个基于J2EE的Web教务管理系统的实现方案，并对相关技术进行研究。     

C/DS/C网络计算模型的提出及其应用研究

本文阐明了网络计算模型的演变及C/DS/C模型的提出,详细给出了基于C/DS/C的企业级信息交互系统模型,其中包括客户/分布式服务器/客户结构的提出,企业级信息交互系统模型的组成,以及客户间通信应该解决的问题。最后阐述了它的实现。     

AChE/PAMAM-Au/CNTs/GC传感器用于有机磷农药检测的研究

该文制备了一种多层AChE/PAMAM-Au/CNTs/GC乙酰胆碱酯酶的酶抑制电流型传感器应用于有机磷农药的检测,主要利用碳纳米管良好的导电性和吸附性,以及PAMAM(G4)-Au树枝状复合物特殊的结构及导电性能,利用有机磷农药对乙酰且日碱酯酶的抑制作用,以硫代乙酰胆碱(ATCh)为底物,实现了对有机磷农约的检测.实验表明,该方法快速简单,线性范围宽,灵敏度高.固定在传感器上的乙酰胆碱酯酶具有良好的酶动力学响应,其米氏常数(KMapp)为1.66 mmol/L.对有机磷农药呋喃丹的最低检测限达到4.0 nmol/L.     

IISMOC模型及其动态调度策略的提出与实现

详细给出了基于广域网的企业级信息交互系统模型，其中包括客户／分布式服务器／客户模型的提出、企业级信息交互系统模型的组成，以及客户间通信应该解决的问题。最后阐述了它的动态调度策略实现。     

心电图的微机检测与智能诊断系统的实现原理

本文介绍了一个心电图的微机自动检测与智能诊断系统的实现原理。该系统能对心电信号实现计算机自动检测，显示及存储，并利用人工智能的自动推理技术，对所获心电信号进行解释，分析和诊断。并还可直接给出诊断结果。     

基于NMI特征的目标识别与跟踪

本文提出一种全新的图像分割方法——连通线多级切割方法，并在此基础上建立图像NMI特征的目标识别与跟踪算法。文章给出了运用连通线多级切割方法实现阈值求取、图像分割、目标识别与跟踪的技术技巧。通过实验验证了NMI特征的缩放不变性、旋转不变性和平移不变性以及不同物体的NMI特征差异，表明本文算法具有良好的实时性和精确的目标识别与跟踪效果。     

一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。