软件工程及软件方法学
-
软件质量保证与测试技术研究张浩华,赵丽,王槐源《软件质量保证与测试技术研究》是对软件质量保证与测试技术的研究,主要内容包括:软件质量概述,软件质量标准,软件质量控制、改进与度量,软件质量保证方法,软件质量保证技术,软件测试概述,软件测试策略,黑盒测试与白盒测试,国际化测试与本地化测试,测试计划与测试文档,软件调试与维护。《软件质量保证与测试技术研究》力求做到逻辑严谨、结构合理、简明易懂。在编撰《软件质量保证与测试技术研究》时,作者将软件质量保证与软件测试的新概念、新方法、新技术融入其中,在内容的安排上注重由易到难、深入浅出,方便理解与实践应用。《软件质量保证与测试技术研究》可供软件企业主管、项目经理、系统集成和软件开发工程师以及过程改进工作者参考,尤其可供软件测试产业从业人员参考。 -
现代软件测试技术与管理研究赵仕波,魏生斌,罗耀华《现代软件测试技术与管理研究》共10章,以软件测试技术和管理为主要研究对象,介绍了软件测试的相关技术和策略,包括黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试,以及面向对象测试、软件自动化测试、国际化测试和本地化测试、测试计划、测试文档、缺陷测试、测试评估,并对软件测试管理、软件质量保证与过程改进等知识点也进行了相关阐述。《现代软件测试技术与管理研究》内容丰富、取材先进、文字表述简单扼要,是一本比较适合软件测试爱好者的实用性强的学术著作类图书,对相关领域的研究人员也是一本颇为有益的参考书。 -
单目视觉城市建筑物参数化三维建模杨淼《单目视觉城市建筑物参数化三维建模》是一部关于单目视觉建筑物三维重建方法的研究成果的系统专著,结合作者对图像处理、分析和三维重建等进行的研究,对从数码相机拍摄的建筑物图像中以参数化建模的方法恢复建筑物的三维几何结构进行了论述和探讨。《单目视觉城市建筑物参数化三维建模》内容完整、理论与实践相结合、阐述清晰、图文并茂,可供从事信号与信息处理、通信工程、信息工程、计算机科学与技术、电子科学与技术等领域的大学教师和科研工作者、研究生、大学本科高年级学生及工程技术人员参考使用。 -
信息处理集对分析蒋云良,赵克勤,刘以安,杨晓华《信息处理集对分析》是在作者已有工作的基础上,总结计算机领域在有关信息处理过程中应用集对分析和汇编2014年集对分析湖州会议交流论文写就的专著,共3篇15章。第1篇(第1章和第2章)为集对分析基本知识和集对分析进展篇,着重介绍集对分析的基本概念和赵森烽克勤概率的由来,以及基于联系数的绿色智能计算;第2篇(第3章~第12章)为集对分析在计算机信息处理中的应用篇,着重介绍集对分析在计算机网络计算与信息安全、软件质量评价、集对分析在粗糙理论和专家系统中的应用,以及集对分析在雷达数据与图像分析中的应用等;第3篇(第13章~第15章)介绍集对分析在环境、卫生、育种、非传统安全、科技信息交流等不同信息处理中的应用,全书提供了大量的应用实例。《信息处理集对分析》可作为高等院校计算机、软件工程、信息工程、自动控制以及数学与统计等专业、研究生和本科生的教材,对于环境、卫生、军事,以及其他科技领域中与各种信息处理有关的各类科技人员也有重要参考价值。 -
软件接收机原理及多径误差研究程兰《软件接收机原理及多径误差研究》采用软件接收机的观点,详细介绍了GPS软件接收机原理,并对多径误差进行了深入研究。软件接收机原理方面的内容涉及GPS时间系统、坐标系统、信号结构、定位原理、射频前端、信号的捕获与跟踪和影响定位精度的误差源。多径误差研究方面的内容包括多径误差研究现状、多径误差建模以及多径误差消除算法。 -
软件工程师可信计算基础(美)莱特《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》为美国弗吉尼亚大学JohnKnight教授的最新著作,是计算机系统可信性领域的前沿著作。书中提出了一套完整的计算机系统可信性概念和术语体系,介绍了可信性需求、可信性分析、可信性评估的基本方法,并重点对错误、故障、威胁等相关概念进行了阐述和区分,详细讨论了故障避免、故障消除、容错和故障预测这四种故障处理措施,并配以大量的案例进行说明和分析。《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》不仅详细介绍了计算机系统可信性领域的相关概念、技术和方法.完整得提出了一套计算机系统可信性术语体系,还凝聚了作者多年从事软件可信性研究工作所获得的宝贵经验,对于国内正在兴起的可信性研究具有重要的指导意义和参考价值。 -
精通MATLAB图像处理刘成龙《精通MATLAB图像处理》采用最新版本的MATLAB R2014a为平台,由浅入深地全面讲解了MATLAB软件在图像处理方面的知识。本书理论结合实践,自始至终采用实例论述,内容完整且每章相对独立,是一本实用性极强的MATLAB参考书。《精通MATLAB图像处理》分为三个部分共14章。第一部分为MATLAB及图像处理基础,涵盖的内容有MATLAB基础知识、MATLAB矩阵及其运算、MATLAB图像处理基础; 第二部分为基于MATLAB的常见图像处理技术,涵盖的内容有MATLAB图像的绘制、图形用户界面、图像的基本运算、图像的变换、图像压缩编码、图像的增强、图像的复原; 第三部分为基于MATLAB的高级图像处理技术及其应用,涵盖的内容有图像分割与区域处理、图像的数学形态学、MATLAB图像处理综合应用等。本书以实践为目标,深入浅出,实例引导,讲解翔实,适合作为理工科高等院校本科生、研究生教学参考用书,也可作为广大科研工程技术人员的案头工具。 -
精通MATLAB智能算法温正《精通MATLAB智能算法》以最新推出的MATLAB 2014a软件为基础,详细介绍了各种智能算法的原理及其MATLAB在智能算法中的应用,是一本MATLAB智能算法设计的综合性参考书。《精通MATLAB智能算法》以智能算法原理及MATLAB应用为主线,结合各种应用案例实例,详细讲解了智能算法的MATLAB实现。全书共分为两部分共13章,第一部分首先从人工智能简介开始,详细介绍了神经网络算法、粒子群算法、遗传算法、模糊逻辑控制、免疫算法、蚁群算法、小波分析算法及其MATLAB的实现方式等内容; 第二部分详细介绍了智能算法在工程中的应用问题,包括模糊神经网络在工程中的应用、遗传算法在图像处理中的应用、神经网络在参数估计中的应用、智能算法在PID控制器设计中的应用和智能算法的综合应用等。本书以工程应用为目标,内容深入浅出,讲解循序渐进,既可以作为高等院校理工科相关专业研究生、本科生的教材,也可作为广大科研工程技术人员的参考用书。 -
软件工程简明教程余久久暂缺简介... -
MATLAB优化算法案例分析与应用余胜威《MATLAB优化算法案例分析与应用(进阶篇)》是深受广大读者欢迎的《MATLAB优化算法案例分析与应用》一书的姊妹篇,即进阶篇。本书全面、系统、深入地介绍了MATLAB算法及案例应用。书中结合算法分析的理论和流程,详解了大量的工程案例及其具体的代码实现,让读者可以深入学习和掌握各种算法在相关领域中的具体应用。本书共分两篇。第1篇为MATLAB常用算法应用设计,包括贝叶斯分类器的数据处理、背景差分的运动目标检测、小波变换的图像压缩、BP的模型优化预测、RLS算法的数据预测、GA优化的BP网络算法分析、分形维数应用、碳排放约束下的煤炭消费量优化预测、焊缝边缘检测算法对比分析、指纹图像细节特征提取、多元回归模型的矿井通风量计算、非线性多混合拟合模型的植被过滤带计算、伊藤微分方程的布朗运动分析、Q学习的无线体域网路由方法和遗传算法的公交排班系统分析。第2篇为MATLAB高级算法应用设计,包括人脸检测识别、改进的多算子融合图像识别系统设计、罚函数的粒子群算法的函数寻优、车载自组织网络中路边性能及防碰撞算法研究、免疫算法的数值逼近优化分析、启发式算法的函数优化分析、一级倒立摆变结构控制系统设计与仿真研究、蚁群算法的函数优化分析、引力搜索算法的函数优化分析、细菌觅食算法的函数优化分析、匈牙利算法的指派问题优化分析、人工蜂群算法的函数优化分析、改进的遗传算法的城市交通信号优化分析、差分进化算法的函数优化分析和鱼群算法的函数优化分析。《MATLAB优化算法案例分析与应用(进阶篇)》既适合所有想全面学习MATALB算法开发的人员阅读,也适合各种使用MATALB进行开发的工程技术人员阅读。对于相关高校的教学与研究,本书也是不可或缺的参考书。另外,对于MATLAB爱好者,本书也对网络上讨论的大部分疑难问题给出了解答,值得一读。本书涵盖的内容基于贝叶斯分类器的数据处理与MATLAB实现基于背景差分的运动目标检测与MATLAB实现基于小波变换的图像压缩与MATLAB实现基于BP的模型优化预测与MATLAB实现基于RLS算法的数据预测与MATLAB实现基于GA优化的BP网络算法分析与MATLAB实现分形维数应用与MATLAB实现碳排放约束下的煤炭消费量优化预测焊缝边缘检测算法对比分析与MATLAB实现指纹图像细节特征提取与MATLAB实现基于多元回归模型的矿井通风量计算基于非线性多混合拟合模型的植被过滤带计算基于伊藤微分方程的布朗运动分析基于Q学习的无线体域网路由方法基于遗传算法的公交排班系统分析人脸检测识别与MATLAB实现基于改进的多算子融合的图像识别系统设计基于罚函数的粒子群算法的函数寻优车载自组织网络中路边性能及防碰撞算法研究基于免疫算法的数值逼近优化分析基于启发式算法的函数优化分析一级倒立摆变结构控制系统设计与仿真研究基于蚁群算法的函数优化分析基于引力搜索算法的函数优化分析基于细菌觅食算法的函数优化分析基于匈牙利算法的指派问题优化分析基于人工蜂群算法的函数优化分析基于改进的遗传算法的城市交通信号优化分析基于差分进化算法的函数优化分析基于鱼群算法的函数优化分析
