工具书
-
复杂软件系统可信性分析与验证方法符宁以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面,成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂,随着人们对功能需求的不断增加,软件系统变得日趋庞大和难以驾驶,缺陷和漏洞难以避免,系统越来越脆弱,很多时候不以人们期望的方式工作,经常发生各种故障和失效,直接或间接地给用户带来损失。在开放动态网络环境中,如何保证复杂软件系统的可信性是近年来学术界和工业界非常关注的问题。本书以开放网络环境下复杂软件的可信性需求为背景,系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。论著以国家关键应用领域中复杂软件系统的可信性主题为主攻目标,分析、研究和解决相关科学问题,旨在为提高国家重大工程中的软件可信度提供科学支撑。著述从可信性分析的角度入手系统论述复杂软件系统的分析与验证方法;系统的论述了形式化方法在复杂软件系统中建模、分析与验证的理论和方法;所论述的理论和方法具有一定的理论创新性;并结合航空电子软件系统这一典型的复杂软件系统进行所论述方法的实例分析,具有较高的理论意义和应用价值。本书面向软件工程、软件可信性方向的研究人员,软件工程方向的高年级研究生,和工业界对软件产品高可靠性有要求的技术人员。
-
你好,ChatGPT通证一哥人工智能(AI)时代已经来临,AIGC(人工智能生成内容)正在进一步激活人类的创造力。作为AIGC领域的标志性产品,ChatGPT问世即成为焦点,受到了市场广泛关注和赞誉。了解AI、AIGC,让我们从ChatGPT开始! 本书从基础概念、技术原理、应用领域、未来展望四大维度深度阐述了ChatGPT“从何而来?”“怎么工作?”“能做什么?”和“如何发展?”的问题,梳理了AI及AIGC的发展脉络,描述了ChatGPT的诞生过程,分析了ChatGPT的技术实现原理,讲解了ChatGPT的使用方法、基于API的用例以及在Web3和元宇宙领域的应用,最后对ChatGPT和AI的未来进行了展望。 全书采用通俗易懂的语言,由浅入深、层层递进,全面展现了ChatGPT的全貌及其背后AI技术的神奇之处,适合广大AI爱好者、从业者、创业者及投资者阅读。
-
2022中非纺织服装国际论坛论文集邱夷平暂缺简介...
-
非常规天然气开发原理与方法.富媒体赖枫鹏,李治平暂缺简介...
-
高分辨率内镜与窄带成像图谱邵晓冬暂缺简介...
-
河南土地整理20年杨新民本书内容共分八章。第一章为土地整理理论基础,梳理了海内外土地整理的内涵及其演化、发展历程,总结了海外土地整理经验启示,分析了土地整理的基本属性等基础理论。第二章为河南省土地整理分区与模式,介绍了河南省自然和经济条件等概况,在此基础上划分土地整理工程类型区和工程模式。第三章至第六章是本书的主要内容,分四个时期阐述了河南省土地整理在各个阶段的时代背景和目标任务、理论探索、主要工作、形成的典型案例及取得的实践成效。第三章为“十五”以补充耕地为主的土地整理。第四章为“十一五”以耕地质量建设为主的土地整理,第五章为“十二五”以规模化整治为主的土地整理,第六章为“十三五”以全要素整治为主的土地整理。第七章为河南土地整理20年总结,对河南省土地整理20年来在机制、模式以及理论与实践等方面形成的创新做法和取得的成果进行了全面、系统总结。第八章为新时代河南省土地整理发展展望,结合机构改革后的业务格局和当前经济社会发展新态势,对河南省土地整理的发展进行深入思考,提出新时代河南省土地整理发展的机遇、导向和总体任务。
-
2022年CPA注册会计师审计5年真题3套模拟斯尔教育2022年CPA注册会计师审计5年真题3套模拟
-
普通话培训测试技法暂缺作者本书依据国家语委颁布的《普通话水平测试大纲》,由湖北省普通话培训测试中心组织国家级普通话水平测试员及经验丰富的普通话培训老师编写而成,并由湖北广播电视台播音指导示范朗读。全书包括单音节字词、双音节词语、朗读短文、命题说话的培训方法和测试技巧等内容;每一个部分均对易错点、失分点、需要掌握的重点做了分析,并提出了可行性的训练方法,同时在每一章节之后还附带了模拟演练试题,针对性强,可操作性强。
-
2022年CPA注册会计师税法5年真题3套模拟斯尔教育2022年CPA注册会计师税法5年真题3套模拟
-
2022年中级财务管理5年真题3套模拟斯尔教育2022年中级财务管理5年真题3套模拟