基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

基于博弈论视角的公共政策执行分析

如今在公共政策领域出现了大量的执行困境,有些公共政策名存实亡,有些则出现执行变异。在博弈论的视角下,公共政策执行存在着政策制定者、政策执行者、政策目标群体、公众、媒体等多个利益相关者。不同利益相关者的权衡与选择,直接影响公共政策执行效果。     

基于静态指令分配的多模块ROP自动构造方法

返回导向式编程(ROP)是一种可有效绕过数据执行保护(DEP)机制的技术.已有的ROP自动构造技术缺少对ROP模块转换过程的静态指令分配的优化,导致ROP载荷需占用大量内存空间.为解决这一问题,基于已有的ROP自动构造系统Q,针对多模块ROP的模块转换过程,设计了新的静态指令分配规则SIA.SIA通过静态指令分配,构造中间指令序列;通过动态数据填充,实现ROP模块转换过程中的寻址与指针修改.实验表明,相比已有技术,通过SIA规则构造的多模块ROP载荷降低了内存空间占有率,提高了ROP载荷的实用性.     

正念干预改善抑郁个体执行功能及其神经机制

抑郁症为危害大众身心健康的主要心理疾病.抑郁个体存在执行功能缺陷,而正念干预能有效改善抑郁个体的执行功能,缓解抑郁症状.根据抑郁认知理论、抑郁易感双重加工理论,本文认为抑郁个体的执行功能子成分工作记忆、认知灵活性、反应抑制能力存在缺陷,且保持与抑郁心境一致的认知加工偏差,导致增加负性自动化思维,削弱反思性加工;根据积极情绪构建扩展理论、正念的意义构建理论和监控接纳理论,认为正念干预能有效改善抑郁个体执行功能,减少执行功能缺陷导致的消极认知偏向.前额叶皮层、前扣带皮层、杏仁核、默认模式网络和额叶边缘系统的内在功能连接是正念干预抑郁个体执行功能缺陷的重要神经机制,影响抑郁个体对消极刺激的反应抑制、注意偏向和负性自动化思维.未来的研究应该着眼于深入探讨不同程度、不同类型的抑郁个体执行功能缺陷的差异性,阐明正念干预抑郁个体执行功能的内在机制,通过正念干预结合认知训练(例如工作记忆训练、记忆疗法或者认知控制训练)治疗抑郁.     

关于我国现有社区矫正对象的立法思考

在我国,社区矫正作为一种刑罚执行方式起步较晚,其各方面发展还有待完善。文章从我国现有立法规定出发,就社区矫正对象的立法问题进行探讨。在对我国现有社区矫正对象的有关法律规定做初步介绍的基础上,着重分析了我国社区矫正对象立法存在的问题,最后提出扩大我国社区矫正对象的范围,增设社区服务的刑事或行政处罚,加强地方立法以适应社区矫正发展的需要等立法认识。     

KIDD机组液压系统特点、维护和故障处理

<正>KIDD机组是金隆铜业有限公司2007年从加拿大引进的最先进的阴极板剥离装置,自动化程度比较高,配置了装载机器人、卸载机器人、90度搬运机器人和堆垛机器人等。整套装置应用了大量液压系统,包括执行元件油缸和液压马达,各种方向控制阀、流量控制阀、压力控制阀等,系统由液压泵站集中供油。虽然液压系统比机械和电子系统故障发生率低,但如果使用管理维护不当,     

试论科技政策执行的柔性模式

科技政策执行是一个具有多主体、多因素和多信息反馈途径的复杂过程,虽然这一过程从本质上讲不可能有完全确定的规律和固定的模式。但作为一个复杂系统,随内外环境的变化,科技政策执行不仅需要建立合理的系统结构和规范的运行模式,还需要具有相当的柔性以适应变化。柔性模式从政策工具的灵活应用、随机多路径的信息反馈、危机管理和政策学习等方面来保证科技政策的柔性执行。     

基于动态目标遗传算法的云计算工作流调度方法

针对云工作流资源调度直接关系到云计算的成本和效率的问题,提出一种基于动态目标遗传算法(DTGA)的成本最小化和期限约束的云计算工作流调度方法.该方法使用云计算资源的索引来编码染色体,采用动态目标策略(DTS)算法解决严格的期限约束,当没有获得可行解时,算法专注于优化执行时间以满足期限约束,一旦获得可行解后,则侧重于优化在期限约束内的执行成本.实验结果表明在不同规模数据调度和不同的期限约束下,相比改进量子遗传算法(IQGA),提出方法具有更高的适应性,能够在更严格的期限约束条件下以更低的执行成本找到云计算资源调度的更优解.     

外刊概要

<正>1欧洲央行或将迎投票新规【英】《经济学人》2013年12月14日~20日2014年初,拉脱维亚将成为欧元区第18个成员国。届时,欧洲央行管理委员会将拥有24个投票席位(18国央行行长和六强执行委员会成员),每一个成员都对欧洲央行货币政策和银行监管拥有同等投票权,虽然德国经济量是拉脱维亚的100多倍。然而,如果事如预期,在立陶宛2015年加入欧元区