本书全面系统地介绍了PC机的基础知识和基本操作技术，详细地介绍了PC机的组成结构、基本配置和安装技术，讲述了Windows 98操作系统的主要特点和用法，以及Windows平台上的常用汉字输入法，系统地说明了功能强大的Office 97办公应用软件的主要组成部分Word 97文字处理系统、Excel 97电子表格的使用方法，以及连接和使用Internet的基本方法，还介绍了常用工具软件的使用技术和PC机常见故障的诊断与排除方法。本书是个人计算机爱好者的入门教程，也适合作大中专院校学生的计算机应用普及教材，对于办公自动化操作人员，也是一本难得的循序渐进的学习教材。

图文结合、简洁直观、阅读轻松、易于掌握、精选最实用的主流软件、学了就用得上、详细讲述技能相关用途、并解说原理、学习不再一知半解。一本书让你赢得整个电脑世界，电脑知识，操作方法，上网，写报告一学就会。Windows Me使用——最新！电脑使用的必学常识，Windows最新个人版Windows Me的操作方法，把你的电脑打扮得更有个性。高效上网——最时尚！用IE在Internet中高速航行，国内外搜索引擎使用技巧详解；收发电子邮件从入门到精通，十分钟掌握最时尚的交往方式。用电脑做报告——最专业！一步一学，让你轻松使用最有名的办公软件Office 2000；添加页眉页脚，自动生成目录，写论文电脑帮大忙。维护电脑自己来——最简单！解说电脑使用注意事项，清除电脑体内垃圾一学就会。

本书是美国多所知名大学仿真类课程普遍采用的教材，也是该领域研究人员的一本必备参考书。该书（第三版）分为13章。从体系结构上可分为四部分。第一部分（第1—3章）从系统角度介绍了离散事件系统仿真的概念、建模方法以及实现技术（商用仿真软件），使读者不但对这类系统的仿真建模有一个总体了解，并从应用角度掌握这门技术。为使读者深入系统地理解与掌握离散事件系统仿真技术，第二部分（第4—8章）讨论离散事件系统仿真建模的基础理论和方法，包括数学基础（概率与数理统计），如何由观测数据确定随机变量模型，如何产生仿真模型中的随机变量等。离散事件系统仿真输出分析一直是该书的最具特色的内容，这反映在第三部分（第9—12章）。由于离散事件系统的随机性，任何一次仿真运行只是随机系统随机动态过程的一次模拟。该部分首先讨论了所谓“单系统”的输出数据分析，然后讨论了所谓“多系统”的分析比较技术，进而讨论就该类系统仿真的实验设计技术。第四部分（第13章）是综合应用，以制造系统为例，讨论如何将前面各章讨论的内容用于制造系统的仿真。

浙江大学是我国较早从事计算机动画理论与算法研究的单位之一，多年来，一直围绕二维、三维景物的变形（deformation）和渐变（mor：phing）展开研究，在国内外核心期刊和国际学术会议上发表了相关论文20余篇。与此同时，参与制作了一大批优秀的电视节目片头和三维动画广告。1994年，为研究生开设了（电脑动画与仿真＞课程（54学时）。本书即是依据我们多年的教学经验和研究实践编写而成的。全书共分8章。作为引言，第1章简述了计算机动画的发展历史和国内外的应用现状，介绍了目前常用的计算机动画制作商业软件。考虑到单帧画面的绘制是生成计算机动画的基础，本书第2章、第3章分别介绍了三维场景几何造型技术和真实感画面的绘制技术。动画是运动中的艺术，变化是动画的灵魂，本书第4章介绍了计算机动画制作中常用的关键帧插值技术，包括参数关键帧技术、样条驱动动画技术、动态景物方位和朝向插值技术等。本书第5章介绍了过程动画技术，即如何依据一定的物理规律或数学函数，描述景物在运动变化过程中每一瞬间的位置和形态。该章特别讨论了气体、流体、火焰、云彩等不断变幻的景物的三维形态表示和动态生成。在动画中，除了景物位置、朝向的变化外，还经常通过形变赋予角色以灵性，渲染某种夸张的效果。本书第6章详细介绍了各种二维、三维的形变和渐变算法，包括整体变形、自由变形（FFD）、轴变形和基于广义元球的一量约束变形等。关节动画和表情动画是计算机动画技术描写一个角色不可或缺的环节，计算机动画的最大挑战是如何用虚拟的人代替真实的演员在舞台上进行生动传神的表演，本书第7章介绍了这方面团基本露念和算法；而第8章则讨论了基于物理的动画技术。这样，只需给出动画中景物的质量、弹性、转动惯量及所受外力，即可依据一定的动力学方程，求解物体在运动中每一瞬间的位置、方向和形状。本书的特点是取材全面，内容系统，注重对计算机动画基础理论和各类实用算法的介绍和分析，既可作为大专院校计算机系学生的教学用书，对从事计算机动画技术研究和开发的工程技术人员、电脑动画制作人员，也有较大的参考价值。

暂缺简介...

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group， TYPES 2000， held in Durham， UK in December 2000.The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming， systems design， and proof theory are addressed.

Daily life relies more and more on safety critical systems， e.g. in areas such as power plant control， traffic management， flight control， and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking， Theorem Proving， Composition and Abstraction Techniques， and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts， Industrial Applications of Model Checking， and the use of Formal Methods in Security. Finally， four annotated bibliographies give an overview of Infinite State Space Systems， Testing Transition Systems， Fault-Model-Driven Test Derivation， and Mobile Processes.

本书是关于现代故障诊断与容错控制技术的一本专著，主要汇集了作者近年来在故障诊断、容错控制以及安全控制领域的新理论与新方法、应用系统开发与系统实现技术方面的研究成果，同时也集中介绍了近年来国内外一些热点研究领域的基本技术原理和主要方法。本书涉及到的理论方法有：遗传算法、小波变换、神经元网络、强跟踪滤波器、主元分析、模糊系统、定性推理等。本书可作为自动控制专业研究生的教学参考书，同时对从事自动化系统研究、设计、开发和应用的广大工程技术人员也具有一定的参考价值。

本书从操作系统使用技巧、备份与恢复完整方案、加密解密技术和电脑安全4个方面进行了介绍，全书文章落脚于实际应用，突出技巧方法，在每一部分文章中，都有一个对读者有用的方案，能让读者根据实际情况，选择自己需要的解决方案，从而有效地提高电脑的实际使用效率。

本书以Office97为主，结合计算机在办公自动化方面的应用。详细讲解了Word、PowerPoint、Excel的用法。Word部分讲解如何制作各种形式的文档；PowerPoint部分讲解如何制作具有多媒体功能的演示文稿；Excel部分讲解如何制作各种形式的电子表格，对表中的数据进行计算，以及图表功能、数据库功能等。为使读者更快地掌握Office的精髓，本书在每一个知识点都提供了例题，并且在每章之后都配有思考和练习题。本书适合作为中小学教师学习计算机应用知识的教材，也适合作为电脑爱好者自学计算机应用知识的参考书。