《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。

《组合矩阵论（第2版）》介绍近20余年发展起来的一个新分支：组合矩阵论。内容包括矩阵和图的谱、矩阵的组合性质、非负矩阵的幂序列和矩阵方法与矩阵分析等。《组合矩阵论（第2版）》第一版是国内第一本介绍组合矩阵论的著作，填补了我国在这方面理论的空白。现在作为教育部审定的全国研究生教材重新出版，作者对原著作了增删，并补充了各章的习题和解答、必要的附录，更便于读者的教学和参考。《组合矩阵论（第2版）》适于作为信息科学、经济数学、计算机网络以及并行计算等方向的研究生教材，同时也是该方向科学工作者极好的参考用书。

内容简介目录本书共9章。第1章为信号与系统的基本概念；第2章为连续时间系统的时域分析；第3、4章为连续时间信号与系统的频域分析；第5、6章为连续时间系统的复频域分析；第7章为离散时间系统的时域分析；第8章为离散时间系统的Z域分析；第9章为状态变量分析法。各章均有大量精选例题及习题供参考，书后附有习题答案。本书可作为通信与电子类专业教师与学生的参考书，亦可作为自学、复习、考研的辅导材料。本书作为"信号与系统"课程的辅导资料，可供高等工科院校电子信息与通信工程等专业教师及学生使用。全书共9章，每章开始都给出了本章的重点与难点，然后围绕重点与难点列举了大量例题。每章最后有习题可供练习，书后有答案供参考。"信号与系统"作为理论基础课与数学密切相关，在掌握基本概念的同时进行解题训练是必不可少的。本书以主要篇幅给出了各种题型的解法，其目的就是要加强解题训练。本书的例题及习题部分选自二十几所院校近几年的研究生入学试题，部分是作者在多年教学中积累的习题及期末试题，还有部分是同类书刊中有代表性的例题。对例题的求解力求步骤清晰、简练，重要的例题，题后有讨论。在解题方法方面除通用的方法以外，在信号波形变换及信号的卷积运算方面给出了作者在多年教学实践中总结出来的独特的方法及论述。这些方法及论述是迄今为止同类书刊所没有提到的，但经实践证明这些方法和论述是正确的。本书由丁天昌主编，于莉娜参与了部分章节的审定，并对全书进行了校对。在编写过程中得到了燕山大学信息科学与工程学院电子信息与通信工程系的李英伟、肖丽萍、胡正平等许多教师的大力帮助和支持，在编写和出版过程中得到了国防出版社的大力支持，在此一并表示感谢。由于作者水平有限，书中难免有错误和不妥之处，恳切读者给予批评、指正。作者 第1章信号与系统的基本概念1.1重点与难点1.1.1信号的定义与分类1.1.2常用信号1.1.3信争的时域分解1.1.4信号的时域变换1.1.5信号的时域运算].1.6系统的定义与分类1.1.7线性时不变因果系统的性质1.1.8研究系统的方法1.2例题精选1.3习题第2章连续时间系统的时域分析2.1重点与难点2.1.1系统的数学模型：微分方程2.1.2微分方程的解：系统的全响应2.2例题精选2.3习题第3章连续信号频谱分析3.1重点与难点3.1.1正交函数集3.1.2周期信号的频域分析3.1.3非周期信号的频域分析3.1.4功率信号与能量信号3.1.5抽样信号与抽样定理3.2例题精选3.3习题第4章连续时间系统频域分析4.1重点与难点4.1.1非正弦周期信号激励下系统的稳态响应4.1.2频域系统函数"（joJ）4.1.3非周期信号激励下系统的零状态响应4.1.4系统无失真传输条件.4.2例题精选4.3习题第5章连续时间系统复频域分析5.1重点与难点5.1.1拉普拉斯变换5.1.2电路的复频域模型及复频域中的电路定律5.1.3线性时不变系统的复频域分析法5.2例题精选5.3习题第6章复频域系统函数与系统模拟6.1重点与难点6.1.1复频域系统函数6.1.2复频域系统函数与系统时域响应及频率特性的关系6.1.3系统函数与系统稳定性的关系6.1.4系统框图与信号流图6.2例题精选6.3习题第7章离散信号与系统的时域分析7.1重点与难点7.1.1离散信号及其时域特性分析7.1.2离散系统时域描述与用域模拟7.1.3线性时不变离散系统的性质7.1.4离散系统响应的求解7.2例题精选7.3习题第8章离散信号与系统Z域分析8.1重点与难点8.1.1Z变换8.1.2离散系统的Z域分析8.1.3离散系统的频率特性8.2例题精选8.3习题第9章状态变量法9.1重点与难点9.1.1基本概念与定义9.1.2连续系统状态方程与输出方程的列写9.1.3连续系统状态方程与输出方程的S域解法9.1.4连续系统状态方程与输出方程的时域解法9.1.5离散系统的状态变量分析9.1.6系统稳定性判断9.1.7系统可控性与可观测性判断9.2例题精选9.3习题习题答案参考文献

知识改变命运方法决定成败在考研中取得成功是改变人生轨迹的重要途径；在词汇量上胜人一筹，是在考研大战中脱颖而出的决定性因素。如何应对表面上不考词汇题，实质上对词汇的要求更高的命题趋势是本书的研究课题。本书的编写思路就是要给大家提供一套省时、高效的词汇学习方法。本书特色1.分层记忆，将5610个考研词汇划分为三个层次，三个部分，即新义词（216个）、核心词（3249个）、认知词（1059个），另加超纲词（911个）。新义词（216个）对于此部分词汇，读者可能觉得有些不解，怎么中学或大学四级已学过的这么简单的词汇还要再学习呢？但是读者朋友不知在英语阅读中有没有遇到这样的情况：明明是组成一句话的所有单词都认识，但就是无法理解整个句子的意思！其原因之一就是这些熟词的“生义”在“作祟”。鉴于此，编者从十四套考研真题中提炼了783个新义词供读者来学习，并对每个词的新义作了特殊的标注和详细的例解。相信可以一扫考生的这一障碍。核心词（3249个）本部分词汇是考生所必须掌握的核心词汇，是编者通过对1990－2005年的考研试卷中出现的所有词汇进行电脑分类、频率统计而筛选出来的，要求考生认真掌握这些词的各种用法，以达到成功应试的目的。考虑到考生的学习需求，词条下列有单词助记、短语、搭配、范例等内容，以帮助读者对单词进行全方位的学习。为了增加学习的趣味性，提高学习效率，本书在“联想记忆”一项中，把要求考生随词条词一并掌握的近形词通过设定一定的语境，用一、两句话串接起来，达到了寓学于乐的目的。同时，为了达到应试的目的，本书在“出题方式”一项中，再现历年阅读真题中词汇的应用，以使考生更好地把握词汇在试题中的变化规律。认知词（1059个）阅读的基础是词汇量。认知词虽然义项较少，用法简单，但在阅读理解中也发挥着重要的作用，因为它们往往与文章的主题相关，如果不熟悉该部分词汇也会成为阅读理解的一大障碍。但此部分词汇不要求全部掌握，只要掌握到遇到该词时脑中能浮现出该词的意思即可。超纲词（911个）大纲规定阅读理解文章中允许出现不超过3%的超纲词，其目的是要求考生通过上、下文的语境来推测其含义。本书编者结合词汇重现的规律、常用词的使用频率及历年考研真题中超纲词的出现情况，挑选了近1000个超纲词，目的是让考生有所印象，在考试时不致于面对生词而一筹莫展。2.单元划分单词，便于制定学习计划我们将核心词汇每20个左右单词划为一个单元，全部考研词汇分别归纳在不同的WordList当中。每个同学应根据自己的英语基础来确定每天学习的数量，然后通过词汇自测来时时检测自己的学习效果。3．使用多种刺激手段，强化记忆效果我们在核心词汇部分安排了如下内容：【助记】，剖析单词的构造规律。英语单词中的词根和词缀，如同汉字的偏旁部首，知道了一部分就可以推知单词的全部意思，从而达到“秀才识字认半边”的效果。【搭配及短语】，广泛联系其搭配词，以彻底歼灭考点。通过搭配记忆的内容总是完整的，而不是孤立的词，且本书中把搭配词标为绿色，以突出重点，从而产生很强的视觉效果，以引起考生的高度重视。【范例】及其汉语译文，再现语境，强化记忆。值得引起考生注意的是，本书的多处范例是从历年阅读理解的原文中摘取的例句，再现真题语境，以体会该词在上、下文语境中的具体用法及相应释义，这样考生在考试时就会更加自如地做好阅读理解，同时也可培养考生对长难句的理解能力及翻译能力。因为阅读理解的例句有的晦涩难懂，为了达到复习巩固的效果，有的真题范例可能不只出现在一个词下。【出题方式】，一语点破考试规律。通过试题与真题例句的有机衔接，来帮助考生了解阅读理解中的考点及命题方式，这样考生在实际做题时就会胸有成竹。【联想记忆】中链接了单词的同义词、反义词，形似词等，达到通过记忆一个核心词，熟悉一串词的效果。编者用妙趣横生、独具风格、奇思妙想的中英文例句把这一串词连接成一句或几句地道的英语，使考生在背词的过程中其乐无穷。【辨析】，具体地分析了各个同义词之间在用法上及释义上的细微差别，加深考生对词汇的理解与记忆。【总频】，给出了该核心词在从1990年到2005年的考研试题中出现的总次数，帮助学生了解词汇考核的重点所在。另外，本书精选了近500幅图片形象地体现了核心词的内涵意义，便于考生形象记忆，加强记忆。4.本书有配套磁带，全部考研单词配有录音完全听懂考研词汇是听力部分的基本要求。通过听音记单词还能调动听觉功能参与词汇记忆，增加单词记忆的牢固性。春天是孕育着希望的季节，春天是立志发奋的大好时机。愿广大考生朋友以百倍的信心、勇气、毅力和智慧去博取明天的辉煌。祝大家如愿以偿！

为了帮助广大考生顺利通过中级财务管理的考试，我们精心编写了这本辅导教程。本书内容全面、凝练，重点突出，由四大部分组成： 命题规律总结及应试技巧分析、同步辅导及强化训练、跨章节综合演练和全真模拟测试题及参考答案。本书第一部分对2002年、2003年、2004年的考试命题规律进行了科学的总结和分析；第二部分严格按照2005年最新考试指定教材的框架和体系编写，与教材章节完全同步，对考试大纲所规定的考点进行了总结性的讲解；第三部分专门为考生精心编写了跨章节综合题；第四部分为考生准备了两套题型、题量、难易程度均与实际考试相仿的综合性全真模拟测试题。 相信考生通过本书的复习，能够掌握重点、难点和疑点，把握答题技巧及命题规律，在考试中赢得好成绩。 本书适用对象： 参加2005年中级财务管理考试的广大考生。

本书依据教育部考试中心最新发布的2004年版《全国计算机等级考试大纲》编写而成，一方面结合命题规律，对重要考点进行分析、讲解，并选取经典考题深入剖析；另一方面配有同步练习、模拟试题和上机试题、逐步向考生详尽透析考试中的所有知识要点。可谓“一书在手，通关无忧”。本书光盘配有“全国计算机等级考试模拟软件”，其中智能化的答题系统按照教材的顺序循序渐进、逐步编排，模拟试卷和上机内容与形式完全模拟真实考试，考试步骤、考试界面、考试方式、题目形式与真实考试完全一致。书+光盘，物超所值。本书适合于作为全国计算机等级考试考前培训班辅导用书，也可作为应试人员的自学用书。

本书按照教育部考试中心主编的《全国的计算机等级考试考试大纲（2004年版）》和《全国计算机等级考试三级教程——数据库技术》编写。书中将典型考题按全国计算机等级考试最新指定教程分类编排，并进行详细解析，同时配有同步练习。主要内容包括：三级数据库技术、上机考试指导、达标试卷及解析，具有考题典型、分析透彻、练习丰富等特点。 本书配有上机模拟盘，盘中含有数套全真上机达标试题，上机题的整个考试过程与真实考试完全相同，便于读者进行考前上机演练。 本书非常适合准备参加全国计算机等级考试的人员使用，也可作为高等院校或各类全国计算机等级考试培训班的教材。

本书是依据教育部制定的“高等工科院校电路分析课程基本要求”，参考国内一些重点教材和辅导教材，收集了近几年一些高校研究生入学电路试题，并结合作者多年的教学和研究成果而精心编写的。内容有：电路模型和电路定律、电阻电路的等效变换、电阻电路的一般分析方法、电路定理、含运算放大器的电阻电路、正弦稳态电路的分析、含有耦合电感的电路、三相电路、非正弦周期电流一阶和二阶电路、拉普拉斯变换和网络函数、电路方程的矩阵形式、二端口网络、非线性电路和一个附录（硕士研究生入学电路试题选）。书末附有各章习题参考答案。 本书是“电路理论”学习者和考研者的参考资料，也可供教师和科技人员参考。

本书作者根据自己多年的研究生入学考试辅导经验，围绕着为考研服务的原则，对生物化学和分子生物学的基本原理、基本概念和研究方法进行了归纳和总结。第二版中在内容上注重了近年来有关研究生入学的考试动向，并增加了多所高等院校和研究单位近几年的研究生入学试题，并给出了详尽的解答。本书内容言简意赅、层次分明、针对性强，不失为一本不错的考研辅导用书。本书适合于高等院校生命科学、医学、农学各专业报考硕士研究生的本科生学习和参考。

本书是基础专业课西方经济学（宏观部分）各个高校考研真题与典型题详解的复习资料，是参考西方经济学权威教材、最新金融学硕士研究生联考大纲及全国各大院校西方经济学考卷的结构和内容来编著的。本书是西方经济学的宏观部分，共11章。每章由三部分组成：第一部分为本章考点难点归纳；第二部分是考研真题与典型题部分，按概念题、简答题、计算题、论述题等形式对各章的考研真题与典型题进行了整理；第三部分为考研真题与典型详解部分，对第二部分的所有考研真题进行了详细的解答。本书特别适用于硕士研究生入学考试中西方经济学科目的考生，也适用于各大院校学习西方经济学的师生参考，对于参考经济学职称考试、自考及其他相关专业人员来说，也是学习西方经济学的一本很好的复习资料。