購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
Petri，Launiainen
”共有
37
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
柔性制造单元的智能控制技术
作者：米智伟、刘丽兰、方明伦 出版：清华大学出版社 日期：2021-10-01 全书分为两大部分：章和第二章为综述部分；第三章至第六章共四章为分述部分，详细阐述了基于Petri网的制造过程建模原理、FMC制造过程建模和性能分析的详细流程以及FMC的过程控制系统的实现；详细介绍了基于遗传算法的单目标和多目标FMC调度智能算法；详细阐述了深度学习的概念、发展历程以及深度学习模型的训练、评估与改进，重点 ... |
詳情>> | 售價：NT$ 215 
|
 |
融媒体服务模式与技术
作者：王永滨 著 出版：中国传媒大学出版社 日期：2021-09-01 本书从分析新媒体和融媒体的定义与特点出发，示例了融媒体服务模式的表示、分类、建模和评估方法，概括了多主体、多渠道的融媒体体系结构及其优化目标，基于Petri网给出了“中央厨房”这种典型融媒体服务模式的形式化建模和可视化仿真方法，后描述了传统音频广播融媒化的技术实现方法。本书可供高等院校本科生、研究生学习媒体融合相关课程 ... |
詳情>> | 售價：NT$ 381
|
 |
形式化方法导论
作者：张广泉 著 著 出版：清华大学出版社 日期：2015-12-01 形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。全书共12章，章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇：上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petr ... |
詳情>> | 售價：NT$ 301
|
 |
高速铁路列车运行控制过程脆性研究
作者：冯丽萍 出版：人民交通出版社 日期：2022-06-01 本书在宏观层次上以高速铁路列车运行控制的整体过程为研究对象，从系统内各子系统、子单元间的信息交互关系角度出发建立涉及计算机联锁子系统、调度指挥子系统和列控子系统的高速铁路列车运行控制信息传递过程模型，并基于复杂系统脆性理论内涵提出基于Petri网的系统脆性分析方法，从静态结构脆性的角度出发解释了系统脆性产生的根本原因， ... |
詳情>> | 售價：NT$ 296
|
 |
大数据环境下信息安全风险管理
作者：吕俊杰，王元卓，鲁小凡著 出版：中国财富出版社 日期：2022-06-01 本书主要研究大数据环境下的信息安全风险管理，首先介绍了信息安全风险管理的概念和信息安全风险管理的主要国际标准和国内标准；然后介绍了信息安全风险评估方法——随机博弈网模型；最后将随机博弈网应用于多种不同的场景，验证方法的 可行性和有效性，为大数据环境下信息安全风险评估提供指导。随机博弈网的基本思想是识别信息安全风险。这些 ... |
詳情>> | 售價：NT$ 388
|
 |
生鲜农产品冷链物流管理决策与优化
作者：陈久梅，但斌 出版：科学出版社 日期：2023-02-01 本书以生鲜农产品冷链物流为研究对象，构建生鲜农产品冷链物流服务商选择指标体系；建立基于熵权—模糊综合评价的生鲜农产品冷链物流服务质量评价模型；采用三阶段数据包络分析测算碳约束下生鲜农产品冷链物流效率；建立基于随机Petri网的生鲜农产品冷链物流配送流程优化模型；建立经典的、带时间窗的、考虑碳排放的生鲜农产品冷链物流配送 ... |
詳情>> | 售價：NT$ 653
|
 |
形式化方法导论（第2版）
作者：张广泉 出版：清华大学出版社 日期：2023-03-01 形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。 本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、 ... |
詳情>> | 售價：NT$ 352
|
 |
列车运行控制系统实时性的建模与验证
作者：[中国]谢雨飞 出版：中国铁道出版社 日期：2019-07-01 本书系统地介绍了列车运行控制系统实时性的特点，以及建模与验证方法。重点阐述了基于UML、CSP、时间自动机、着色Petri网、马尔可夫链等理论和方法的列控系统，探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面，介绍了支持相关研究方法的技术手段及其算法。本书适合作为高等院校铁路信号及相关专业的教学参考 ... |
詳情>> | 售價：NT$ 302
|
 |
云计算环境下服务等级协商与资源调度
作者：王春枝，陈宏伟，徐慧 著 出版：水利水电出版社 日期：2020-06-01 本书共6章，主要内容包括：云计算相关理论与技术概述；基于有色Petri网的SLA信任协商；基于博弈论的SLA协商机制；基于排队论的SLA服务监视；基于蚁群算法和DAG工作流的任务调度；基于蚁群算法和演化博弈的资源调度。本书可作为计算机科学与技术相关专业研究生及高年级本科生的教材，也可作为科研人员的参考书，同时可作为研究 ... |
詳情>> | 售價：NT$ 354
|
 |
北京知识管理研究报告.2016
作者：葛新权 著 出版：经济科学出版社 日期：2018-03-01 此书为北京市知识管理研究基地2016年研究成果，包括基于时间Petri网的循环物质流动态投入建模与仿真优化、北京市居民生活垃圾按量缴费行为意愿调查报告、流程型制造业的动态物质流反馈模型研究、煤矿隐患与煤炭产量的作用关系研究基于T型关联度分析、绿色智慧城市时代的中国特色垃圾分类等16篇文章，主要涉及制造业集群、居民生活垃 ... |
詳情>> | 售價：NT$ 260
|
 |
装备维修性设计与分析技术
作者：杨拥民，葛哲学，罗旭 出版：科学出版社 日期：2019-11-01 全书围绕装备维修性设计与分析理论与技术，重点从基础、维修性设计与维修分析三个方面开展研究，旨在改变传统依赖于经验的设计模式，着重从数学模型和知识工程的角度探索新的维修性设计理论与方法，以提升维修性量化、可视化与自动化设计能力。基础理论主要介绍维修性设计与分析的基本知识与基本方法，并采用Petri网进行维修过程建模。维修 ... |
詳情>> | 售價：NT$ 806
|
 |
复杂系统可靠性建模与分析
作者：金光 著 出版：国防工业出版社 日期：2015-01-01 金光编著的《复杂系统可靠性建模与分析》讨论 复杂系统可靠性建模与分析问题，介绍了目前比较典 型的模型和比较 有效的分析方法。其中，主要包括基于BDD的复杂系 统可靠性组合分析方法、基于 Petri网的动态系统可靠性建模与分析方法、基于 Ba ... |
詳情>> | 售價：NT$ 714
|
 |
公共服务外包——政府购买服务的理论与实践
作者：刘波 彭瑾 李娜 出版：清华大学出版社 日期：2016-05-01 本书从我国地方政府公共服务外包实践出发，通过对公共服务外包多案例质性研究，概括公共服务外包的一般性规律，构建地方政府公共服务外包的基本流程框架，并运用Petri网进行流程建模与优化； 在此基础上，分设6章对公共服务外包流程中的外包 ... |
詳情>> | 售價：NT$ 368
|
 |
中国应急管理中的组织协调与联动机制研究
作者：郭雪松 朱正威 出版：中国社会科学出版社 日期：2016-04-01 本书以跨域危机整体性治理为着眼点，从组织、流程等层面对应急管理组织协调和联动机制问题展开探讨。在组织层面，主要借鉴网络分析方法，深入分析应急管理组织协调问题。在流程层面，运用Petri网等模型重点对碎片化环节识别与消除等问题进行探讨，并提出 ... |
詳情>> | 售價：NT$ 360
|
 |
资源循环型生产过程的物质流建模与仿真
作者：张健 出版：经济科学出版社 日期：2017-03-01 在对循环经济领域的量化与仿真建模相关理论方法进行系统地查阅与梳理基础上，研究流程型制造企业的物质循环仿真问题。在物质流分析方法的基础上，结合混杂Petri网方法给出了适合于流程型制造企业物质循环研究的逐步形式化建模方法，并将提出的建模方法应 ... |
詳情>> | 售價：NT$ 281
|
 |
经营性公共基础设施TOT特许经营期研究
作者：沈俊鑫，王松江 著 出版：科学出版社 日期：2014-01-01 《经营性公共基础设施 TOT特许经营期研究》在研究项目融资理论、特许经 营期决策方法及高级Petri网的基础上，完成经营性 公共基础设施TOT项目融资风险的分析及评估，并且 运用高级Petri网理论构建特许经营期决策模型，最 后通过实际案例 ... |
詳情>> | 售價：NT$ 504
|
 |
软件测试基础与测试案例分析（普通高等教育“计算机类
作者：张坤 等主编 出版：清华大学出版社 日期：2014-09-01 《软件测试基础与测试案例分析》从多个视角对软件测试技术与方法进行阐述，内容涵盖软件测试基础、测试用例设计、集成测试、系统测试、测试文档写作、黑盒测试与白盒测试、UML建模、有限状态机、Petri网和状态图等。全书内容综合全面，理论性强，体系 ... |
詳情>> | 售價：NT$ 266
|
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2026 （香港）大書城有限公司 All Rights Reserved. | |