一种实现教学进程合理安排的计算机算法

安排教学进程是教务管理的重要环节,以往完全依靠人的智能,经过反复的推敲、权衡、尝试和调整,最后形成一种方案(安排).由于教学进程安排本身是比较复杂的问题,涉及面较广,牵涉的因素也多,这种完全人工的方法是有局限性的.为了实现教务管理的自动化,本文提出一种实现教学进程合理安排的计算机算法,能在给定的约束条件下,选取其中最合理的方案,这也是对拓扑排序和分枝-限界策略的综合运用和推广.     

扩充的状态转移网对话模型及其实现

给出了基于对象类的扩充的状态转移网对话模型，阐述了该模型使用的两种抽象方法：归纳与聚合，并讨论了从对话设计到程序设计语言的实现策略。     

MCAA-1:电子电路的微计算机直流和交流分析程序

本文提出的程序是在微计算机上执行的电子电路的非线性直流和交流分析程序。为了克服微计算机字长短、舍入误差大的缺点,程序中采用了B—D分块、不定导纳矩阵、二步牛顿迭代等算法,从而使程序虽基本采用单精度运算,但仍能得到令人满意的精度。一些实例的运算结果表明,几乎获得了全部6位有效数字。其次,程序合理使用稀疏技术以克服微计算机内存小的缺点。若内存容量允许(如有32K字节以上),程序还可以通过增加时间循环推广到应用于电路的瞬态分析。     

用户界面管理系统的现状与挑战

介绍了用户界面管理系统（ＵＩＭＳ）的一般结构，讨论了ＵＩＭＳ的特性和设计中存在的问题，比较了几种对话模型描述对话的能力，最后评价了现有的面向对象应用程序框架的性能     

宽带接入网中的安全认证协议Radius研究

主要介绍了宽带接入网和Radius协议,对协议的认证接入与计费功能进行了详细的分析,并讨论了它在宽带接入网中的应用。     

事件驱动用户界面的规范设计方法

给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上。人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

Internet 2中的新技术

介绍了Internet 2的结构，并依此结构从软件协议与技术角度对Internet 2中的保证服务质量(QoS)的新技术进行了探索，并简要介绍了反映新技术特征的测试平台——Qbone。     

共行面向对象用户界面分层体系结构

软件体系结构是交互系统的重要问题。提出一个基于窗口的共行面向对象用户界面分层体系结构：介绍了基于ＡＩＰ（应用语义、交互行为和表示）单元的用户界面应用程序的逻辑结构,讨论了从逻辑结构到模块结构的非一对一映射,指出了其运行时间结构与应用平台的相关性。采用谓词／转移网对话模型和从应用对象中分离同步约束的做法有助于实现并发、多线索用户界面应用程序,并避免由此引起的继承异常。