插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

教学动画制作系统Movie-Maker

Ｍｏｖｉｅ－Ｍａｋｅｒ是一个集成化的适合于结构化图形的教学动画制作工具，它具有较强的功能和通用友好的用户界面，可望为ＣＡＩ的发展作出较大贡献。本文主要阐述该系统的设计思想和总体结构。     

脉冲序列的快速搜索法及可信度分析

对于周期脉冲序列的信号分选识别，可采用序列搜索的时域方法[1，2]。本文将大周期内完全重复的脉冲序列分解为多个“单周期信号”．并把它们均定义为周期性信号．同时，提出了序列搜索的一种软件实现方法及密集视频脉冲信号分选的变步长、信步长快速搜索法．在此基础上，本文针对序列搜索分选法的可信度计算公式进行了推导和分析，证实了这种方法的可行性和有效性．     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

建筑工程投标报价优选模型

通过建立区间二次规划数学模型、灰色模型、多目标规划等模型，建立材料价格和用量的选择模型，提供投标单位一种便捷的调整工程造价和控制造价的手段。     

评定飞航导弹单发命中概率的方法研究

通过对抽样检验方法的研究,确立了区间估计的下限公式,用来在已知样本值的情况下确定导弹单发命中概率出现在该区间内的置信水平和精确度。     

A computational framework for representing authors'' courseware models*

Abstract This paper looks at some of the problems of existing courseware authoring systems, and advocates the use of knowledge-based techniques to resolve these problems and to form the basis of future authoring environments. The prototype knowledge-based representation language, GTE, is presented as an example of a knowledge-based language which might form the basis of such environments. The final part of the paper discusses some of the developments in GTE which must take place if it is to be used within a full and flexible authoring environment. The paper will focus particularly on the question of instructional strategies, but many of the observations can be taken as relevant to all the knowledge involved in a teaching interaction.     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Robustness analysis of responses of vibration control structures with uncertain parameters using interval algorithm

Variations in system parameters due to uncertainties may result in system performance deterioration. Uncertainties in modeling of structures are often considered to ensure that control system is robust with respect to response errors. Hence, the uncertain concept plays an important role in vibration control of the engineering structures. The paper discusses the robustness of responses of vibration control systems with the uncertain parameters. The vibration control problem of an uncertain system is approximated by a deterministic one. The uncertain parameters are described by interval variables. The uncertain state matrix is constructed directly using system physical parameters and avoided to use bounds in Euclidean norm. The feedback gain matrix is determined based on the deterministic systems, and then it is applied to the actual uncertain systems. A method to calculate the upper and lower bounds of responses of the closed-loop system with uncertain parameters is presented. The upper bounds of responses can be used to estimate the robustness of responses of the controlled system with uncertain parameters. Two numerical examples are given to illustrate the applications of the present approach.