本书以ANSI C1990 (American National Standard for programming Language: -C)为基础,全面、详细地讲述了C语言各种成分的语法、语义和用法;用较丰富的程序实例说明了使用C语言进行程序设计的方法。全书讲述力求深入浅出,通俗易懂。 本书可以做为高等学校计算机软、硬件专业和其它专业的程序设计教学用书,也可以做为从事计算机应用的科技人员自学或培训教材。
本书比较全面、系统、深入地论述了在晶体管和集成电路(IC)发展的不同历史时期出现的典型微电子封装技术,着重论述了当前应用广泛的先进IC封装技术——QDP、BGA、FCB、MCM和3D封装技术,并指出了微电子封装技术今后的发展趋势。 全书共分8章,内容包括:绪论;芯片互连技术;插装元器件的封装技术;表面安装元器件的封装技术;BGA和CSP的封装技术;多芯片组件(MCM);微电子封装的基板材料、介质材料、金属材料及基板制作技术;未来封装技术展望。书后还附有微电子封装技术所涉及的有关缩略语的中英文对照等,以便读者查阅。 本书涉及的知识面广,又颇具实用性,适合于从事微电子封装研发、生产的科技人员及从事SMT的业界人士阅读,也是高校相关专业师生的一本有价值的参考书。
人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问,主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。 本讲义分别介绍了三种主要的人工智能逻辑:缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则,由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态,用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词,从而合理限定这样的谓词指称的类的外延以排除反常的对象,因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式,从而在直观上刻画了主体常识推理的能力。 本讲义内容丰富,知识面广,表
本书系统地介绍了用有限单元法及声固耦合原理在汽车的设计阶段预测汽车车内噪声水平的方法。内容包括:声学模态,结构模态的分析计算,作为振动源的悬架系统和发动机系统的建模,车内噪声的预估,结构板件的声学贡献分析及噪声品质的优化设计等。本书还介绍了汽车噪声预测的其他方法,如边界元法,统计能量分析法。书中以大量成功的工程实例说明了本书所阐述技术的应用方法,内容新颖、详实,是汽车虚拟设计的一个重要分支。
本书系统地介绍了用有限单元法及声固耦合原理在汽车的设计阶段预测汽车车内噪声水平的方法。内容包括:声学模态,结构模态的分析计算,作为振动源的悬架系统和发动机系统的建模,车内噪声的预估,结构板件的声学贡献分析及噪声品质的优化设计等。本书还介绍了汽车噪声预测的其他方法,如边界元法,统计能量分析法。书中以大量成功的工程实例说明了本书所阐述技术的应用方法,内容新颖、详实,是汽车虚拟设计的一个重要分支。
伊晓玲主编的《线性代数学习指导及习题解析》是《线性代数》(乔宝明主编,西安电子科技大学出版社)的配套辅导书。全书共5章:每章包含内容要点、解题方法、典型例题、习题详解、章节测试5个部分,这5个部分系统、精练地总结了教材各章节的重点、难点问题,并对教材各章后的习题加以详细解析,能帮助学生 快、 好地掌握教材中的知识;同时,增加了一些习题。以供学生巩固所学的知识。 本书内容全面、体系合理、逻辑性强、结构紧凑、文字简洁,可作为高等院校理工类、经管类专业学生学习线性代数的辅导用书,也可作为硕士研究生入学考试的复习用书及教师的教学参考书。
《自然地理学》运用系统科学的思想和方法,以全新的体系阐述自然地理学的研究对象:地球表层系统及其子系统的组成、结构、功能、空间特征、时间动态,以及各子系统之间相互作用的基本过程、驱动力量和基本规律。全书
自然地理学研究“气、水、土、生、地”组成的地理环境开放系统相关部分的物质、物质运动及其各部分之间互联、互动、正负反馈作用及其客观效应。本书把非常复杂的、人类赖以生存发展的地理环境系统,在横向上分成八大部分,在纵向上列为26章,构成符合客观实际的内容体系。每个章节的内容均引进了研究成果,特别注重全球环境与自然过程的分析研究,既有深度,又有广度,而且提供了进一步研究的方向、方法及可选择的途径。 本书可作为高等院校地理科学、地球科学、环境科学、土地科学、农林水利科学和工程建设各专业的教材,并可供各专业科学研究者参考。
本书全面、系统地讲解了32位嵌入式系统中各组成部分的原理和相关设计。书中对包括ARM、PowerPC在内的RISC处理器,常用嵌入式操作系统,以及嵌入式系统中常用的接口电路(如SDRM、DDR内存、各类Flash、硬盘、液晶、网络接口等)设计做了详细介绍。本书还结合硬件设计,给出了大量用于硬件调试的代码和驱动程序的编写方法。 本书适合于从事嵌入式系统硬件开发及嵌入式系统驱动软件编写的工程师。
本书根据工业设计专业的特点,着重于计算机辅助工业设计的系统性阐述,以三维建模、设计表达、虚拟工业设计以及虚拟展示的应用为重点,从而向设计师提示隐藏在造型背后的更为重要的CAID的标准和原则,以期达到树立工业设计师系统的CAID概念的目的。本书涉及的软件包括CorelDRAW、Rhinoceros、3Dmax、Cult3d等工业设计常用的数字化设计工具,每个软件通过一个设计实例来分析讲解,循序渐进,图文并茂,让读者真正掌握计算机表达工业设计概念的各种方法。 本书主要用于满足国内工业设计专业本科教学的需要,可以作为此类课程的教材;也可以作为设计爱好者进行自学的参考书。