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