LOTOS渐进细化设计方法在互斥访问系统中的应用

在复杂系统的设计流程中，每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念，并将其应用于互斥访问系统中，同时用LOTOS规范进行描述。     

Estelle中的通道扩展及广播通道

广播通道（点到多点通道）是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术（FDT）标准之一的Estelle，其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展，使其能够描述广播通道。通过分析Estelle通道的3种扩展方案，引入了虚拟转发接口模块（VFNM）的概念。在尽可能保持与原版本的兼容性和一致性的基础上，对新的基于VFNM的广播通道扩展模型的语法和语义进行修订说明，从而扩展了Estelle对广播通道的描述能力。     

基于TurboGears快速构建在线评测系统原型

作业和考试始终是教学过程中两个重要的教学评测环节,是沟通教与学的重要手段。在线评测系统以其良好的交互性、自动组卷和评估统计功能等优点,正日益成为众多高校教学评测的首选。本文利用TurboGears框架快速开发在线评测系统原型,较为详细的阐述了TurboGears在Web系统中快速开发的思想和技术。     

基于VPython的机构运动仿真研究及实现

近年来有许多针对机构运动学虚拟仿真技术的研究,用来辅助教学。其中,采用VPython对机构运动学教学进行三维图形编程是一种易学易用、功能强大的选择。通过建立机构运动的数学模型和参数化绘图,实现了常用平面连杆机构的运动分析和仿真,展示了VPython用于辅助教学的设计思想与实现方法,从而降低仿真开发难度,提高了机构研究设计的效率和效果。