陈东
- 作品数：7 被引量：3H指数：1
- 供职机构：西华大学更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术农业科学经济管理电子电信更多>>
- 基于Petri网B/S体系架构的在线评测系统建模与验证被引量：2
- 2009年
- 在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。
- 陈晓亮宋文陈东
- 关键词：PETRI网在线评测B/S架构
- 一种履带式石榴套袋机及其套袋方法
- 本申请提供一种履带式石榴套袋机及其套袋方法。用于解决现有技术中石榴套袋效率低且人工劳动强度大的问题，包括履带式车体，所述履带式车体上设置有用于储存若干层叠放置石榴果袋的储袋盒，所述储袋盒内侧顶端设置有转动的送料辊，所述储...
- 孙曼兮万源程莉陈东周少驰黄红键卢劲竹
- 基于Petri网的网上商城订单处理模拟与验证
- 用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S_不变量给出订单后台处理模型的验证。
- 陈东宋文陈晓亮
- 关键词：订单处理PETRI网网上商城
- 文献传递
- 信道复用的发送-接收问题的建模与应用
- 发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道的策略,给出了一个实用性较强,复用信道的Petri网模型。基于改进的模型,利用带抑制弧的增广P...
- 陈晓亮宋文陈东
- 关键词：PETRI网信道复用双向信道
- 文献传递
- 基于Petri网的网上商城订单处理模拟与验证被引量：1
- 2008年
- 用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S?不变量给出订单后台处理模型的验证。
- 陈东宋文陈晓亮
- 关键词：订单处理
- 信道复用的发送-接收问题的建模与应用
- 2008年
- 发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道的策略,给出了一个实用性较强,复用信道的Petri网模型。基于改进的模型,利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后对模型进行了验证。
- 陈晓亮宋文陈东
- 关键词：PETRI网信道复用
- Petri网混惑结构研究及应用
- Perti网采用可视化图形描述但被形式化的数学方法所支持，表达离散事件动态系统的静态结构和动态变化。它是一种结构化的离散事件动态系统描述工具，对于具有异步并发、分布、不确定性和随机性的系统，都可以利用这种工具构建模型，然...
- 陈东
- 文献传递
