国家高技术研究发展计划(2008AA04Z102)
- 作品数：9 被引量：90H指数：5
- 相关作者：郑力肖建黄毅向晴肖岚更多>>
- 相关机构：清华大学东莞理工学院南佛罗里达大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金清华大学基础研究基金资助更多>>
- 相关领域：自动化与计算机技术经济管理机械工程更多>>
- 基于复杂事件处理的RFID辅助实时生产监控被引量：19
- 2013年
- 将RFID(radio-frequency identification)技术应用于生产现场监控有2个关键:信息实时性,即如何将大量标签原始数据高效地转化为对企业有用的复杂事件信息;逻辑复杂性,即如何适应监控业务逻辑的复杂多变。目前缺乏系统性的设计和实现方法兼顾这2点,因此该文面向实时生产监控中RFID技术的各种应用模式,提出一种RFID实时事件处理系统的设计方法及其实现案例。一方面提供一套形式化的复杂事件建模语言以编程式的方法定义源自生产监控任务的事件逻辑,支持复杂的时间和空间语义,并提供事件层级体系降低建模复杂度,提高重构效率;另一方面基于复杂事件处理(CEP)等方法实现复杂事件的提炼和推理,及时挖掘潜在的生产状态或异常。据此开发的原型系统,在生产现场监控实践测试中表现出较好性能。
- 黃毅郑力向晴
- 关键词：物联网
- 基于增强学习的半导体测试调度研究被引量：2
- 2009年
- 采用Sarsa(λ,k)学习算法求解、产品、测试机、测试工具包、使能器部件对应关系非常复杂的半导体测试调度问题。针对测试调度,通过定义系统状态的表示方式、构造行为和报酬函数把调度问题转化为增强学习问题,并把Sarsa(λ,k)算法和梯度下降径向基神经网络函数泛化器结合使用。实验验证了Sarsa(λ,k)算法解决半导体测试调度问题的有效性。Sarsa(λ,k)算法通过反复解决调度问题来调整调度策略,能克服单个行为策略短视的缺点,综合利用各个行为策略的优点,从而找到较优的调度方案。
- 张智聪郑力翁小华
- 关键词：调度半导体测试
- 基于空间可信性聚类的图像分割算法被引量：3
- 2010年
- 为解决噪声图像分割问题,提出了基于可信性测度并利用局部空间连续性的模糊聚类算法。采用可信性测度描述隶属度,去除了模糊c均值聚类中各像素对于所有类的隶属度之和为1的约束;并利用相异指标将局部空间信息引入聚类从而增强了抑制噪声的能力。隶属函数的参数可由数据集特点计算,削弱了参数选择的影响。提出预选准则以提高模糊聚类的稳定性。计算复杂度分析和实验验证了算法的可行性与实用性。结果表明:该算法在分割质量和效率等方面优于现有算法,适用于各种噪声图像的分割。
- 温沛涵周建郑力
- 关键词：图像识别图像分割模糊聚类
- 基于Bayes方法的炼油厂采购策略被引量：1
- 2012年
- 国际原油现货市场价格剧烈波动,炼厂常用的采购策略不能应对由此产生的价格风险,该文针对这一问题提出了采购策略。以最小化总成本现值的期望为目标,根据原油采购的特点建立了动态规划模型,采用随机微积分方法分析了最优静态策略,并引入Bayes决策方法得到了动态策略。利用国际石油市场中某种基准原油近26年的历史价格数据,验证了模型的可行性和有效性。结果表明:基于Bayes方法的采购策略相比炼厂目前使用的策略能显著降低总成本,适用于原油采购问题。
- 谢智雪郑力
- 关键词：延迟支付库存管理
- Horn-Extended DL的Tableau算法研究
- 2009年
- 描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给出了一种DL-safe规则。在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率。
- 肖岚郑力肖建黄毅
- 关键词：描述逻辑逻辑程序HORN子句TABLEAU算法
- 支持跨粒度重构的制造执行系统体系结构被引量：7
- 2011年
- 为保持制造执行系统与生产系统同步,以响应更密集、更复杂的制造执行系统重构需求,提出一套支持跨粒度重构的制造执行系统体系结构。该结构基于重构需求细节,使用领域驱动设计、模块化设计等技术,将制造执行系统解构为职责明确、粒度相异的模块层级,一方面归纳通用的上层模块主体框架以有效分割制造执行系统的复杂度,另一方面归纳标准的下层模块以支持高内聚、低耦合的模型复用。通过在实际案例中的应用,验证了所提体系结构的有效性。
- 黄毅郑力向晴危凯权
- 关键词：制造执行系统模块化软件架构
- 检修备品库的货位优化模型被引量：18
- 2008年
- 为了对货位进行合理分配，以提高检修备品库的领料效率，分析了检修用料的特点，并综合生产环境和分销环境下仓库货位优化的思想，提出检修物料的确定相关性和统计相关性这两个概念。根据物料相关性及用料频率，建立了检修备品库货位分配的多目标优化数学模型。模型的优化目标是，既要尽量将关系密切的物料聚集摆放，又要尽量将使用频率高的物料靠近出入库口存储。最后采用蚁群算法求解了该NPC（non—deterministic polynomial complete）问题，与采用随机分配策略的仿真结果相比，领料效率提高了23％～28％。
- 肖建郑力
- 关键词：货位优化多目标优化蚁群算法
- 基于领域本体的业务组件描述与组合匹配被引量：6
- 2009年
- 为支持各类业务组件的有效共享和快速检索,提出了一种基于领域本体的业务组件描述语言,并从领域标准中提炼了业务术语和业务数据,分别作为定义功能语义和数据语义的规范,以解决组件之间的语义异构问题。为满足业务流程活动的需求,通过功能语义匹配和数据语义匹配的结合,对业务组件进行检索,特别是针对数据语义存在的分解和组合关系,提出了基于概念集合关联度的启发式算法进行组件组合匹配。实验表明,该算法具有较高的效率。
- 肖建肖岚黄毅郑力
- 关键词：领域本体业务组件语义组件组合
- 考虑需求相关性的多巷道仓库货位分配问题被引量：37
- 2008年
- 根据物料相关性及需求频率,建立了多巷道仓库中货位分配的优化数学模型。模型的优化目标是,既要尽量将关系密切的物料聚集摆放,又要尽量将需求频率高的物料靠近出入库口存储。为求解这一NP问题,提出一种结合启发式算法的混合遗传算法。数值实验表明,该模型与不考虑需求相关性的分配策略相比,可以得到更好的结果,并且随着需求相关性水平的提高,效果更加明显。
- 肖建郑力
- 关键词：货位分配遗传算法
