国家自然科学基金(61173042)
- 作品数:5 被引量:6H指数:1
- 相关作者:丁志军潘美芹韩耀军陈闳中王鹏伟更多>>
- 相关机构:同济大学上海外国语大学更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学自然科学总论更多>>
- 管理类信息管理与信息系统专业运筹学教学改革探讨
- 2019年
- 运筹学是管理类信息管理与信息系统专业的主干课程,在培养方案的课程体系中占据重要的地位与作用。本文从教学内容、教学手段、教学实验、考核体系等方面提出了改善管理类信息管理与信息系统专业运筹学教学效果和质量的相应措施,消除了学生的畏惧抵触心理,提高了学习积极性和学习兴趣,取得了良好的效果。
- 潘美芹丁志军韩耀军
- 关键词:运筹学案例教学
- 双向Web服务自动组合
- 2013年
- Web服务的自包含、自描述和模块化的特性使之迅速受到工业界和学术界的极大关注,其中,服务组合是研究的热点和难点.然而Web服务的海量性、服务描述的异构性以及服务的动态变化性等因素决定了Web服务组合的困难性.本文提出了一种能够求出满足用户请求的所有组合方案的Web服务组合算法-双向算法,且算法的时间复杂度控制在多项式级别.通过预处理,该算法首先建立了输入参数与Web服务之间的关联关系,然后根据用户输入通过前向搜索,找出所有可能参与组合的服务,并建立了他们之间的可达关系,最后根据用户期望的输出,结合前向搜索得到的服务及可达关系,通过后向搜索得到所有的组合方案.
- 邓晓栋王鹏伟丁志军
- 关键词:WEB服务WEB服务组合
- Property analysis of logic Petri nets by marking reachability graphs被引量:6
- 2014年
- Yuyue DU Yuhui NING
- 关键词:PETRI网性能分析逻辑计算复杂度
- Petri网弱公平性和公平性关系的进一步研究
- 2014年
- 在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系。这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题。文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性。并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性。
- 施洲琪丁志军陈闳中
- 关键词:PETRI网有界性
- 对偶关系的进一步思考
- 2019年
- 每个线性规划问题总有一个与它对应的对偶线性规划问题。基于对偶关系表,可以由原问题得出对偶问题,但由于变量、约束的复杂关系而使对应关系容易出错。为此,论文总结了"大约变,小约不变,变化仅一次,等号与无约束关联"的口诀,使得能准确无误地写出对偶问题。
- 潘美芹丁志军韩耀军傅军和
- 关键词:原问题对偶问题对偶关系