电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

供应链系统的跨国网络设计及协调仿真优化

在跨国供应链网络设计研究中，首先探讨了供应链网络设计基本模型研究，分析了最基本的单链节单产品的供应链网络设计。其次，研究基于交叉合作的跨国供应链网络设计，分别从跨国供应链横向合作网络设计、跨国供应链...

复杂物流网络系统建模与仿真

本书主要介绍了复杂网络以及复杂性理论在物流网络中的应用，复杂自适应系统及其应用，基于不标度网络的物流网络，基于SIR模型的物流配送网络的Agent的物流仿真研究等内容。...

金融计算机网络应用层通信协议工程

基于复杂网络的供应链建模与仿真研究

本书从供应链自身的特点出发，通过对供应链中不同对象和它们之间业务联系的抽象进行供应链网络的建模与仿真，并结合复杂网络理论与方法，对供应链网络的拓扑结构、形成机制、节点分布、鲁棒性等进行了详细研究，试...

电子商务核心技术 安全电子交易协议的理论与设计

本书以SET协议为线索，分为七个部分：电子商务和支付介绍；网络安全和密码理论；SET系统设计综述；SET协议证书管理；SET支付系统；SET协议的外部接口指导；电子商务支付系统探讨。...

高等学校创业教育系列规划教材 创业设计与实验 企业运营仿真综合实验

循环经济模拟仿真系统设计与开发

本书详细介绍生命周期评价的应用步骤，并对常用的简式LCA进行说明，提出工业园发展循环经济的模型应以环境与经济的协调发展为核心，以物流、能流和经济数据为基础，建立多目标优化模型，指出城市发展循环经济的模型...

项目管理组织设计与性能测试模拟研究

项目管理方面的方法主要有项目评审技术和关键路径法。但是这些方法都是直接把任务的工期期望作为任务的工期指标，从而把任务工期确定化，再来计算整个项目的关键路径和工期。从理论上讲，这样得到的项目工期既不...

自动化立体仓库规划设计、仿真与绩效评估

全书从实用角度出发，理论联系实际，图文并茂，从自动化立体仓库设计的实战角度进行循序渐进的编写。首先给出了自动化立体仓库的概念、构造与布局设计，其次给出了自动化立体仓库的设设备和相关技术，然后给出了自动...