烹饪工艺与营养专业校内经营教学模式的构建与实践——以重庆旅游职业学院为例

烹饪工艺与营养专业的校内经营是通过学院提供校园餐厅,在课堂内完成专业培养方案的教学任务,组织学生进入校园餐厅顶岗实训,形成教学经营一体化校内经营运行模式。文章阐述了校内经营教学模式的基本思路、校内餐厅的要求和管理,总结了校内经营模式运行过程中出现的问题,并针对如何进一步完善校内经营模式提出新思路。     

A general framework and optimization models for the scheduling of continuous chemical processes

We present a framework for the formulation and solution of continuous process scheduling problems. We focus on modeling transient operations such as startups, shutdowns, and transitions between steady states. First, we show how the concept of processing tasks can be generalized to represent continuous processes, including their transient operations. Second, we discuss how to systematically calculate the parameters describing material consumption/production and utility consumption during transient operations. Finally, we present new mixed-integer linear programming formulations for the scheduling of continuous chemical production.     

商务策划学院专业导师制尝试--以2001级商务策划专业为例

本文阐述了重庆工商大学商务策划学院对大学本科学生实施专业导师制的尝试,包括对专业导师制的组织形式、任务、具体做法和实际效果,论述了专业导师制在大学本科教育中的地位和作用,提出了完善大学本科专业导师制的对策建议。     

Combined Effects of Reservoir Operations and Climate Warming on the Flow Regime of Hydropower Bypass Reaches of California's Sierra Nevada

Alterations to flow regimes from regulation and climatic change both affect the biophysical functioning of rivers over long time periods and large spatial areas. Historically, however, the effects of these flow alteration drivers have been studied separately. In this study, results from unregulated and regulated river management models were assessed to understand how flow regime alterations from river regulation differ under future climate conditions in the Sierra Nevada of California, USA. Four representative flow alteration metrics—mean annual flow, low flow duration, centroid timing and mean weekly rate of decrease—were calculated and statistically characterized under historical and future unregulated and regulated conditions over a 20‐year period at each of the eight regulated river locations below dams across the Sierra Nevada. Future climatic conditions were represented by assuming an increase in air temperature of 6 °C above historical (1981–2000) air temperatures, with no change in other meteorological conditions. Results indicate that climate warming will measurably alter some aspects of the flow regime. By comparison, however, river regulation with business‐as‐usual operations will alter flow regimes much more than climate warming. Existing reservoirs can possibly be used to dampen the anticipated effects of climate warming through improved operations, though additional research is needed to identify the full suite of such possibilities. Copyright © 2014 John Wiley & Sons, Ltd.     

Automating correctness verification of artifact-centric business process models

ContextThe artifact-centric methodology has emerged as a new paradigm to support business process management over the last few years. This way, business processes are described from the point of view of the artifacts that are manipulated during the process.ObjectiveOne of the research challenges in this area is the verification of the correctness of this kind of business process models where the model is formed of various artifacts that interact among them.MethodIn this paper, we propose a fully automated approach for verifying correctness of artifact-centric business process models, taking into account that the state (lifecycle) and the values of each artifact (numerical data described by pre and postconditions) influence in the values and the state of the others. The lifecycles of the artifacts and the numerical data managed are modeled by using the Constraint Programming paradigm, an Artificial Intelligence technique.ResultsTwo correctness notions for artifact-centric business process models are distinguished (reachability and weak termination), and novel verification algorithms are developed to check them. The algorithms are complete: neither false positives nor false negatives are generated. Moreover, the algorithms offer precise diagnosis of the detected errors, indicating the execution causing the error where the lifecycle gets stuck.ConclusionTo the best of our knowledge, this paper presents the first verification approach for artifact-centric business process models that integrates pre and postconditions, which define the behavior of the services, and numerical data verification when the model is formed of more than one artifact. The approach can detect errors not detectable with other approaches.     

基于RBAC模型的权限管理改进研究与实现

针对传统RBAC模型无法满足业务审批系统要求的权限可分级、能动态管理的新需求,提出一种改进后的基于角色的控制访问模型。该模型能够动态地创造权限、分配权限、撤销权限,达到资源分离、多级权限管理的目的。结合一个实际项目,采用脚本语言JS （JavaScript）和主流的SSH框架,给出该模型的实现过程,增强各类角色对权限的分级、动态管理,该模型的可行性由此得到验证。     

基于关键资源优先的三级装卸搬运分时协调策略

研究基于关键资源优先的单元化“装卸、搬运、装卸” 三级作业链的调度问题. 在已知关键资源调度方案的条件下, 将两个非关键各作业级的调度问题分别转化为最小单位流问题, 并建立相应的0/1 整数规划模型求解. 为求解大规模问题, 提出三级装卸搬运的分时协调策略. 参照宁波港码头数据, 设计面向集装箱码头的仿真算例, 实验结果验证了所提出模型和策略的有效性.

     

Apriori-Based算法改进在电力业务系统功能优化中的应用

提出一种针对电力业务系统功能优化算法.首先,从Web服务器和客户端采集用户日志数据;然后,对用户日志数据进行预处理,并将事务数据集转换为序列数据库;最后,采用改进的Apriori-based算法发现紧耦合的功能模块,进行功能之间的优化组合,提升业务人员的工作效率.实验表明该方法在揭示业务功能模块的耦合性方面的有效性.     

服务器日志挖掘在电力业务系统功能推荐中的应用

提出了一种基于服务器日志挖掘的电力业务系统功能推荐服务,首先从电力业务系统服务器日志中获取用户日志数据,然后对含有"脏"数据的用户日志数据进行预处理,以适应数据挖掘与处理;接着由待处理的数据计算用户访问兴趣度,并基于改进的K均值聚类算法将用户访问兴趣度数据集划分为多个具有相近兴趣度的用户集合,最终为用户提供功能个性化推荐服务.实验结果证明该方法在实现电力业务系统信息推荐方面具有较好的效果.