信息科学技术学术著作丛书 共有68条记录 共耗时[0.000]秒
页码:1/7    每页显示:10 记录 9 1 2 3 4 5 6 7  : 跳转:
  • 正在加载图片,请稍后......

    形式概念分析中的知识表示与推理:翟岩慧

    作者:翟岩慧 出版社:科学出版社 出版时间:20230101 ISBN:978-7-03-075702-9
    索书号:TP274/1651 分类号:TP274 页数:172页 价格:CNY98.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书具体内容包括: 决策蕴涵、模糊决策蕴涵和可变决策蕴涵的逻辑理论, 决策蕴涵规范基和模糊决策蕴涵规范基的逻辑理论, 决策蕴涵规范基的生成方法和性能分析, 决策蕴涵的知识表示能力及其与概念规则和粒规则的比较, 模糊属性约简等。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    复杂部分可观测系统维修决策建模与优化技术:樊红东 ...

    作者:樊红东 ... 出版社:科学出版社 出版时间:20230101 ISBN:978-7-03-076984-8
    索书号:TP393.02/95 分类号:TP393.02 页数:165页 价格:CNY98.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书汇集了作者在寿命预测、维修决策方面的最新研究成果。第1章对维修决策建模与优化技术进行整体概述, 重点对部分可观测系统的研究现状进行总结。第2章、第3章利用可观测Markov决策过程相关理论对维修效果不完美情形下部分可观测系统的最优维修问题进行研究。第4章、第5章针对失效模式相互影响、性能数据随机丢失等情形, 研究如何利用性能退化数据进行剩余寿命预测、进行维修决策的问题。第6章研究维修决策和备件定购联合决策问题。第7章研究多部件系统的分组视情维修问题。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    连杆机构非整周期设计要求尺度综合的输出小波特征参数法:孙建伟, 刘文瑞, 褚金奎

    作者:孙建伟, 刘文瑞, 褚金奎 出版社:科学出版社 出版时间:20220101 ISBN:978-7-03-071356-8
    索书号:TH112.1/15 分类号:TH112.1 页数:193页 价格:CNY108.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书借助小波分解理论, 提出利用一维小波系数和二维小波系数描述连杆机构输出曲线(包括输出函数曲线和连杆轨迹曲线)的方法, 同时给出连杆机构输出曲线小波系数的几何意义。在此基础上, 重点分析连杆机构输出曲线与对应小波系数的关系, 建立连杆机构输出小波特征参数的级数选取机制。以典型的平面四杆机构、平面五杆机构、平面六杆机构, 以及球面四杆机构、空间RCCC机构和空间RRSS机构为应用对象, 详细讨论多位置、非整周期设计要求的函数综合、轨迹综合和刚体导引综合方法, 并进行设计, 给出相应的综合公式、步骤、算例。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    软件定义网络:汪文勇, 郑成渝, 唐勇

    作者:汪文勇, 郑成渝, 唐勇 出版社:科学出版社 出版时间:20220101 ISBN:978-7-03-071244-8
    索书号:TP393/1288 分类号:TP393 页数:257页 价格:CNY130.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书分为理论篇、实践篇。理论篇从传统网络面临的问题出发,介绍SDN的基本概念和原理、OpenFlow协议,以及交换机的原理与配置,讨论SDN相关的安全问题。实践篇讨论基于Floodlight控制器的开发技术,展示若干典型实例和应用场景。附录介绍SDN的标准化组织、标准化进程,并给出相关实例的关键代码。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    可证明安全公钥签密理论:俞惠芳, 张文波

    作者:俞惠芳, 张文波 出版社:科学出版社 出版时间:20220101 ISBN:978-7-03-073377-1
    索书号:TN918.4/18 分类号:TN918.4 页数:176页 价格:CNY108.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书共有11章,内容包含绪论、无证书门限签密、无证书代理签密、无证书环签密、乘法群上的无证书盲签密、无证书椭圆曲线盲签密、无证书椭圆曲线聚合签密、通用可复合身份代理签密、通用可复合广播多重签密、通用可复合自认证盲签密、总结与展望。本书详细阐述了每章内容,力求做到让读者能直观理解每部分的知识,让读者深入理解和掌握公钥签密体制的设计和安全性证明方法。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    高级语言程序变换的机械化证明导论:何炎祥, 江南

    作者:何炎祥, 江南 出版社:科学出版社 出版时间:20220101 ISBN:978-7-03-073167-8
    索书号:TP311.1/503 分类号:TP311.1 页数:223页 价格:CNY120.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    Hadoop/Spark大数据机器学习:翟俊海, 张素芳

    作者:翟俊海, 张素芳 出版社:科学出版社 出版时间:20210101 ISBN:978-7-03-066687-1
    索书号:TP274/1080 分类号:TP274 页数:240页 价格:CNY128.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书重点介绍基于这两种大数据开源平台的机器学习, 包括机器学习概述、大数据与大数据处理系统、Hadoop分布式文件系统HDFS、Hadoop并行编程框架MapReduce、Hadoop大数据机器学习和Spark大数据机器学习。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    OQAM/FBMC通信系统原理与技术:江涛, 陈达, 屈代明

    作者:江涛, 陈达, 屈代明 出版社:科学出版社 出版时间:20210101 ISBN:978-7-03-067757-0
    索书号:TN914/133 分类号:TN914 页数:xi, 282页 价格:CNY138.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书共有12章。第1-3章介绍移动通信的发展过程、信道模型,以及调制技术的演进过程。第4章介绍OFDM调制技术。第5章详细讲述OQAM/FBMC的基本原理,包括符号模型、快速实现等。第6-11章讲述OQAM/FBMC通信中的原型滤波器设计。第12章讲述OQAM/FBMC在多点协作中的传输实例。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    深度学习神经网络设计及案例研究:(美)Daniel Graupe, 周志杰

    作者:(美)Daniel Graupe, 周志杰 出版社:科学出版社 出版时间:20210101 ISBN:978-7-03-069765-3
    索书号:TP183/156 分类号:TP183 页数:10, 253页 价格:CNY130.00
    丛书:信息科学技术学术著作丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书主要对深度学习神经网络模型的设计与应用进行研究。首先对深度学习神经网络理论的发展历史、基本概念进行回顾。然后对深度学习神经网络衍生出的反向传播神经网络、卷积神经网络、大内存存储与检索神经网络进行深入分析。通过20个实际应用案例, 对不同结构深度学习神经网络的优缺点进行比较, 总结这些神经网络在不同领域的应用优势。最后给出所有应用案例的核心代码, 方便读者在这些代码的基础上, 完成相应深度学习神经网络模型的设计和重构。
    详细信息
    索书号 展开
缩小检索范围
信息科学技术学术著作丛书 共有68条记录 共耗时[0.000]秒
页码:1/7    每页显示:10 记录 9 1 2 3 4 5 6 7  : 跳转: