在电脑病毒的始祖C－Brain甫一出现之际，张明正偶然从专业杂志上看到了相关报道，立即产生了好奇。他千方百计地设法得到这一种病毒，并与同仁们一起对之展开分析。一场与电脑病毒持续12年的大战由此拉开了序幕。在大多数业内人士还根本没有认识到电脑病毒的危害性之时，张明正和他的一群志同道合之士就敏锐地看到了蕴藏在其中的科技和商业前景，不仅创造了PC－cillin等一系列举世闻名的防病毒软件，更开创了信息业的一个全新领域——防病毒软件业。如今，趋势科技公司已成为业务遍及全球的跨国企业，并由软件公司转变为互联网防毒服务公司。这是一个互联网时代的造梦故事。它向我们展示了新时代的造梦英雄所必备的品性：洞察商机的敏锐眼光、料敌于机先的快速应变能力、倾全力于一个特定领域的专注性、团队协作精神以及“乐在工作”的热情和爱心。

在信息技术飞速发展的今天，计算机在社会科学领域中的应用发展十分迅速，影响十分深远，其重要性决不亚于计算机在自然科学领域中的应用，只是领域不同、对象不同、特点不同而已。全国高等院校计算机基础教育研究会文科专业委员会，制定了文科计算机教学大纲，以推动高校文科的计算机教育。根据当前情况，高校文科专业一般按两个层次进行计算机课程设置，第一层次是计算机公共基础阶段，学习计算机的基本知识和基本操作；第二层次是提高阶段，结合本专业的需要，进一步学习计算机应用知识。高校文科专业计算机课程应当以应用为目的，强调学以致用；而不应该以学习理论知识为主要内容，尤其没有必要去学习那些现在用不到、将来也用不到的内容，决不能照搬计算机专业的体系和内容。大学文科一年级的计算机基础课应该包括哪些内容呢？我们组织首都部分高校从事文科计算机教育的老师进行了座谈，大家认为：根据当前计算机技术的发展和大多数高校的情况，从需要与可能出发，大学一年级的计算机课程应该安排以下三部分内容：（1）计算机的基础知识；（2）办公软件的使用；（3）计算机网络的初步知识和应用。应该说，这些内容是最基本的，是每一个人都必须掌握的，学了以后能消除对计算机的神秘感，能立竿见影地进行计算机的初步应用，也可以为以后进一步学习和提高打下基础。根据这一思路，首都部分重点高校在教学第一线的教师编写了这套教材。为方便教学，教材分为三个分册。第一分册分为两篇。第一篇讲述了计算机基础知识，内容主要包括：计算机（特别是微型机）系统的组成、计算机信息处理与工作原理、计算机操作系统的主要功能、系统的安全使用和“病毒”防治以及计算机应用的发展趋势；第二篇用大量的示例讲解了Windows98的基本操作并简单介绍了Windows2000。第二分册主要讲述Word2000，Excel2000，PowerPoint2000，WPS2000等四个软件的功能与使用。书中针对文科专业的教学要求，以应用为目的，结合实例讲解了计算机办公软件的基本操作方法和实用技能。第三分册共分8章。书中除了介绍计算机网络的基础知识、Internet以及如何接入Internet外，还介绍了如何通过Internet提供的服务——远程登录（Telnet）、文件传输（FTP）、电子邮件（E-mail）、WWW浏览器（IE）和电子公告牌（BBS）服务获取信息、交换信息、发布信息，以及如何用FrontPageExpress和HTML制作网页。本套书每章均附有习题，便于教学使用，既适用于高等院校文科专业的计算机基础教学，也可作为培训与自学教材。三个分册的内容可以在两个学期内学完。如果有些学校由于条件限制，只有一个学期的学时，可以重点学好前两个分册，然后简要地介绍有关网络的基础知识。三个分册分别有配套电子教案。

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

本书通过回顾计算机发展的历史，将有关信息时代的些大感觉串联起来，由此勾画出今天我们所能想像的未来信息时代的轮廓。

浙江大学是我国较早从事计算机动画理论与算法研究的单位之一，多年来，一直围绕二维、三维景物的变形（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.

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

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

电脑配件知识与安装基本技能；电脑选购方略，配件安装大法，为外设安装上必备的驱动程序。图文件结合，简洁直观，阅读轻松，易于掌握。精选最实用的主流软件，学了就用得上。详细讲述技能相关用途，并解说原理，学习不再一知半解。人人看得懂的采购指南，一辈子好用的电脑安装知识，轻松拥有自己的超级电脑。选购必学：品牌机还是DIY？告诉你最有用的选购策略。产品信息、价格的收集与解读，让你节省最多的钱。安装总员：一步一图，连接电脑不求人；安装调制解调器、打印机、扫描仪、游戏摇杆、轻松容易。探索PC奥秘：打开机箱看周全；解说主板、内存、各种外设，让你成为电脑硬件高手。精彩收录：详细讲解你最常用到的电脑外设知识，使你的电脑应用水平更上一层楼。