检索结果-内蒙古大学图书馆

丛书名：信息科学技术前沿丛书

2023年

作者：王伶俐

本书以两类典型的智能信息系统——智能在线学习系统和智能客户服务系统为例，介绍了借助智能技术支持学习系统实现游戏化设计、应用智能系统替代传统自助客服系统和应用智能系统替代人向用户提供学习任务反馈3类应用场景中用户与系统... 详细信息

ISBN: (纸本)9787563569359

本书以两类典型的智能信息系统——智能在线学习系统和智能客户服务系统为例，介绍了借助智能技术支持学习系统实现游戏化设计、应用智能系统替代传统自助客服系统和应用智能系统替代人向用户提供学习任务反馈3类应用场景中用户与系统的交互规律。以上3个研究分别揭示了系统外部时间线索、智能技术带来的服务流程灵活性以及用户对智能技术的主观感知如何影响用户行为和系统的应用效果。通过介绍这3个研究的开展过程。

关键词：人工智能

学校读者我要写书评

暂无评论

内部威胁分析与防御技术 1版

丛书名：信息科学技术前沿丛书

2023年

作者：李小勇李灵慧刘川意

本书主要对内部威胁的基本情况、发展现状、典型案例、研究前沿进行了介绍与论述。具体包括：内部威胁概述、内部威胁风险分析、数据泄露、内部入侵、云计算内部威胁、物联网内部威胁、内部威胁数据、内部威胁典型案例、总结与展望，共... 详细信息

ISBN: (纸本)9787563570164

本书主要对内部威胁的基本情况、发展现状、典型案例、研究前沿进行了介绍与论述。具体包括：内部威胁概述、内部威胁风险分析、数据泄露、内部入侵、云计算内部威胁、物联网内部威胁、内部威胁数据、内部威胁典型案例、总结与展望，共九章。

关键词：计算机网络

学校读者我要写书评

暂无评论

卫星地面融合信息网络 1版

丛书名：信息科学技术前沿丛书

2023年

作者：张兴张佳鑫胡月梅

本书可作为高等院校工科通信工程、电子信息工程等本科专业的参考阅读材料，也可作为卫星通信技术专业方向研究生的参考教材以及相关专业技术人员的参考书。

ISBN: (纸本)9787563568604

关键词：卫星通信系统信息网络研究

学校读者我要写书评

暂无评论

基于程序分析的软件测试与错误定位技术

丛书名：信息科学技术前沿丛书

2023年

作者：易秋萍

本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号... 详细信息

ISBN: (纸本)9787563569854

本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。

关键词：软件

学校读者我要写书评

暂无评论

多智能体系统的协调预见跟踪控制 1版

丛书名：信息科学技术前沿丛书

2023年

作者：卢延荣[等]

本书考虑到领导者将可预见参考轨迹通过网络中的有向路径回传给部分跟随者进而从预见控制的视角出发系统研究多智能体系统的协同预见控制问题，包括单个领导者下的分布式预见跟踪(分布式编队预见跟踪)控制问题、多个领导者下的分布式包... 详细信息

ISBN: (纸本)9787563570683

本书考虑到领导者将可预见参考轨迹通过网络中的有向路径回传给部分跟随者进而从预见控制的视角出发系统研究多智能体系统的协同预见控制问题，包括单个领导者下的分布式预见跟踪(分布式编队预见跟踪)控制问题、多个领导者下的分布式包围预见控制问题。利用预见控制中的状态增广技术，原问题可转化为含有邻居输出误差的增广系统的状态调节问题，再结合多智能体系统的领航跟随法、分布式输出调节技术以及通信解耦技术，本书提出满足协同目标所需要的充分条件以及具有积分补偿和预见前馈补偿的分布式动态控制策略。

关键词：计算机控制系统

互联网域间路由安全监测与防御=DETECTION AND DEFENSE OF INTERNET INTER-DOMAIN ROUTING SECURITY 1版

学校读者我要写书评

暂无评论

丛书名：信息科学技术前沿丛书

2023年

作者：张沛张晗黄小红马严

边界网关协议(BorderGatewayProtocol，BGP)是互联网标准域间路由协议。没有边界网关协议，就没有现代互联网。BGP在过去30年中发展成为连接世界的关键协议。作为当前域间路由协议的事实标准，BGP协议控制着域间流量转发路径，是互联网... 详细信息

ISBN: (纸本)9787563570065

边界网关协议(BorderGatewayProtocol，BGP)是互联网标准域间路由协议。没有边界网关协议，就没有现代互联网。BGP在过去30年中发展成为连接世界的关键协议。作为当前域间路由协议的事实标准，BGP协议控制着域间流量转发路径，是互联网的中枢神经系统，对整个互联网的稳定性和可靠性起着至关重要的作用。然而由于BGP在设计初期并未过多考虑安全问题，已有研究表明，BGP协议在安全上存在着明显的风险。本书重点介绍了域间路由寻址方面的安全监测和防御技术。首先系统化地介绍了边界网关协议的基本原理和互

关键词：计算机网络网络安全安全监测研究

学校读者我要写书评

暂无评论

第三类产品制造调度模式:综合调度

第三类产品制造调度模式:综合调度

丛书名：信息科学技术学术著作丛书

2023年

作者：谢志强

本书按综合调度解决的大问题分类，即一般综合调度篇、特殊产品综合调度篇和特殊设备综合调度篇。一般综合调度篇介绍一般单件复杂产品、多件不同小批量产品和多件不同小批量产品动态分批制造的调度算法。特殊产品综合调度篇介绍存在工... 详细信息

ISBN: (纸本)9787030752253

本书按综合调度解决的大问题分类，即一般综合调度篇、特殊产品综合调度篇和特殊设备综合调度篇。一般综合调度篇介绍一般单件复杂产品、多件不同小批量产品和多件不同小批量产品动态分批制造的调度算法。特殊产品综合调度篇介绍存在工序间紧密衔接加工和工序间固定延迟加工的调度算法。特殊设备综合调度篇介绍存在相同设备、柔性设备和瓶颈设备的调度算法。

关键词：产品生产调度研究

基于集合理论的约束不确定系统鲁棒模型预测控制

学校读者我要写书评

暂无评论

丛书名：信息科学技术学术著作丛书

2022年

作者：秦伟伟 ... [等]

本书介绍基于集合理论的模型预测控制保性能、保稳定性、保可行性设计理论与方法，包括约束多胞不确定线性系统鲁棒模型预测控制、约束干扰有界线性系统鲁棒模型预测控制、混合目标鲁棒模型预测控制、约束非线性系统鲁棒非线性模型预测... 详细信息

ISBN: (纸本)9787030720467

本书介绍基于集合理论的模型预测控制保性能、保稳定性、保可行性设计理论与方法，包括约束多胞不确定线性系统鲁棒模型预测控制、约束干扰有界线性系统鲁棒模型预测控制、混合目标鲁棒模型预测控制、约束非线性系统鲁棒非线性模型预测控制，以及基于线性变参数的约束非线性系统鲁棒模型预测控制等。

关键词：鲁棒控制研究

学校读者我要写书评

暂无评论

可证明安全公钥签密理论

丛书名：信息科学技术学术著作丛书

2022年

作者：俞惠芳张文波

本书共有11章，内容包含绪论、无证书门限签密、无证书代理签密、无证书环签密、乘法群上的无证书盲签密、无证书椭圆曲线盲签密、无证书椭圆曲线聚合签密、通用可复合身份代理签密、通用可复合广播多重签密、通用可复合自认证盲签密、... 详细信息

ISBN: (纸本)9787030733771

本书共有11章，内容包含绪论、无证书门限签密、无证书代理签密、无证书环签密、乘法群上的无证书盲签密、无证书椭圆曲线盲签密、无证书椭圆曲线聚合签密、通用可复合身份代理签密、通用可复合广播多重签密、通用可复合自认证盲签密、总结与展望。本书详细阐述了每章内容，力求做到让读者能直观理解每部分的知识，让读者深入理解和掌握公钥签密体制的设计和安全性证明方法。

关键词：公钥密码系统研究

学校读者我要写书评

暂无评论

高级语言程序变换的机械化证明导论

丛书名：信息科学技术学术著作丛书

2022年

作者：何炎祥江南

本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

ISBN: (纸本)9787030731678

关键词：高级语言程序设计