(意)格涅斯,(意)玛格丽特著2015 年出版228 页ISBN:9787111485216
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效的描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。本书记录和展示了作者关于形式...
鲁强主编2018 年出版110 页ISBN:9787303230778
本书以设计并实现一个具有较高并发性能的Web服务器系统为目标,将操作系统各个部分的理论和算法知识逐步地、有机地融入到此服务器系统的设计和开发过程中,使得学生学习到知识能够作用于一个完整的系统,使得他...
徐泽水,赵华著2018 年出版476 页ISBN:9787030362759
犹豫模糊集作为模糊集的一种最新拓展,其基本组成为犹豫模糊元素,每个犹豫模糊元素是由若干个可能的数值构成的集合。因此,犹豫模糊集比其它模糊集的拓展形式能够全面细致地刻画决策者的犹豫信息。自从西班牙学...
孙冰,徐晓菲,田胜男等著2018 年出版234 页ISBN:9787030567000
本书按照”理论基础-机理分析-模型仿真-政策研究”的脉络展开研究。首先,对制造业企业技术创新生态系统、创新生态位进行界定,进而描述生态系统创新扩散的复杂网络特性;其次,根据系统主体间的互动关系甄选制造......
中广上洋广电产品事业部主编2017 年出版368 页ISBN:9787830024437
本书基于性能卓越的非线性编辑软件U-EDIT,深入讲解U-EDIT软件的基本操作方法和使用技巧。全书共分8章,第1~7章介绍U-EDIT概述、资源的获取与管理、剪辑制作、特技制作、字幕制作、音频处理和节目输出,第8章安排...
许林滔,盛丕根主编2017 年出版150 页ISBN:9787111565352
近年来,随着人们生活水平的不断提高,速冻水产、肉类食品的消费快速发展,对冷链物流的要求进一步日益提高,冷冻企业的速冻机数量也随之大幅增加。而氨制冷系统的工作温度越来越低,并且为了提高生产效率系统普遍带...
中国华电工程(集团)有限公司,上海发电设备成套设计研究院编著2009 年出版200 页ISBN:9787508390932
为了全面介绍国内火电设备制造的最新技术和产品,进一步提升电力工程建设质量和水平,中国华电工程(集团)有限公司和上海发电设备成套设计研究院依据当前电力企业和广大电力用户的需求,在各相关主机、辅机设备制造...
马秀坤等编著2009 年出版410 页ISBN:9787118057416
本书主要从理论联系实际应用的角度,介绍了西门子S7-200、基于PC-based软PLC自动化技术及应用;介绍了MM440变频器、590P直流调速器的原理、工程应用设计;并重点介绍了PLC与数字调速等技术相结合的综合应用系统...
燕庆明主编2013 年出版397 页ISBN:9787040340457
本书是为电子、电气信息类专业本科生编写的教材。内容既符合教育部颁布的《高等学校信号与系统课程教学基本要求》,又特别适合应用型人才的需要。全书共9章:信号与系统导论、连续系统的时域分析、信号与系统...
周志敏著;纪爱华著2013 年出版256 页ISBN:7121213400
本书结合我国十二五节能减排工程计划与国内外太阳能光伏发电技术的发展动态,以从事太阳能光伏发电系统设计人员为读者对象,选取国内外太阳能光伏发电系统的典型应用实例,系统、全面地讲解在太阳能光伏发电系统...