Linux中基于Agent的进程迁移

探讨在Linux操作系统中基于代理的进程迁移方法,包括代理的组织、代理的通讯方式、迁移进程信息的获取及进程迁移后未完成报文和打开文件的处理等.     

Authorware制作课件解疑及操作技巧

介绍了Authorware软件使用过程中的一些常见问题并给出了具体的解决方案 ;说明了在Au thorware软件使用过程中如何利用一些操作技巧     

产品数据管理（PDM）在制造业中的应用与发展

在计算机技术快速发展的今天，许多企业的软件使用者和领导者开始体会到新技术带来的效益和进一步发展的必要性，认为到企业信息化的基础是产品数据管理（PDM）从PDM的产生、特点、结构、应用和发展等方面，详细地介绍了PDM的功能及其地位，以及在实施中要注意的事项。     

基于MATLAB的控制系统CAI设计

基于MATLAB开发平台，利用其可视化编程能力的GUI，对控制系统进行分析、设计与仿真，开发了控制系统CAI应用软件，它具有较强的教学、实验、工程应用价值。     

基于智能代理的计算机辅助教学探讨

本文分析了计算机辅助教学的现状;提出了存在的若干问题;阐述了基于智能代理的计算机辅助教学系统的内容;分析了开发智能计算机辅助教学系统的发展方向.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

激光调Q CAI

从激光调Q速率方程出发,分析推导了激光调Q过程中,腔内光子数与工作物质内反转粒子数间的关系.再根据激光调Q的过程中,对腔Q值控制方式不同,将激光调Q技术分为:转镜调Q、声光调Q、电光调Q、饱和吸收调Q和脉冲透射式调Q.用C语言进行了激光调Q CAI软件的开发研制,获得了将文学、图形、动画和计算融为一体的,直观而生动地将调Q的理论和过程再现于屏幕的CAI课件.介绍了课件的内容、结构及其特点.     

非网络版软件在Novell网上运行环境的设计

本文通过对非网络版软件在单机上运行环境分析，找出了一套调整此类软件使其在Ｎｏｖｅｌｌ网上运行的方法，并提出了非网络软件在Ｎｏｖｅｌｌ网上运行环境的设计的观点，具有较大的意义。     

MIS新思维软件工具的设计与实现

本文针对目前陈旧的管理软件的设计方法提出了一种新的观点,同时探讨了为实现这种新观点而研制的软件工具的设计方法和实现技巧。     

计算机辅助教学在生理学实验教学中的应用

随着计算机科学技术的迅猛发展,计算机辅助教学已成为一种教学新技术,有力地促进了教学内容、教学方法甚至教学模式的改革。本文论述了计算机辅助教学在生理学实验教学中的作用,分析其应用的可行性和优越性,并对出现的问题进行了初步探讨。