基于目标递进的Web服务组合方法

单个Web服务难以满足实际应用需求,如何组合已有服务形成新服务成为该领域的研究热点.现有的组合方法仅依靠输入和输出参数组合相关服务,很少考虑前提和后置条件的语义相关性.为此,提出一种基于目标递进的Web服务组合方法,采用前向链的搜索策略,建立基于条件的有向无环图,可有效利用输入、输出参数和前提、后置条件确定服务组合顺序...     

基于扩展卡尔曼滤波器的AUV导航定位数据融合

导航定位是AUV(自主式水下潜器)自动化受限的关键技术.GPS等单独的定位方式又存在缺陷.故采用低成本罗经-DVL-GPS组合导航定位.因为导航定位观测的非线性关系,设计了基于扩展卡尔曼滤波器的导航定位数据融合算法.针对扩展卡尔曼滤波器存在的滤波发散现象,引入机动目标模型抑制滤波发散,研究并仿真了AUV的两种运动方式,实现了覆盖四个象限运动的导航定位仿真,结果表明算法能有效进行数据融合,提高状态估计精确度.     

Multi-objective analysis for assessing simultaneous changes in regional spinal curvatures under backpack carriage in young adults

Change in sagittal spinal curvature from the neutral upright stance is an important measure of the heaviness and correctness of backpack use. As current recommendations, with respect to spinal profile, of backpack load thresholds were based on the significant curvature change in individual spinal region only, this study investigated the most critical backpack load by assessing simultaneously the spinal curvature changes along the whole spine. A motion analysis system was used to measure the curvature changes in cervical, upper thoracic, lower thoracic and lumbar regions with backpack load at 0, 5, 10, 15 and 20% of body weight. A multi-objective goal programming model was adopted to determine the global critical load of maximum curvature change of the whole spine in accordance with the maximum curvature changes of the four spinal regions. Results suggested that the most critical backpack load was 13% of body weight for healthy male college students.

Practitioner Summary: As current recommendations of backpack load thresholds were based on the significant curvature change in individual spinal region only, this study investigated the backpack load by considering simultaneously the spinal curvature changes along the whole spine. The recommendation, in terms of the global critical load, was 13% of body weight for healthy male college students.     

The role of goal awareness and information technology self-efficacy on job satisfaction of healthcare system users

This paper investigates the influence of goal awareness and IT self-efficacy on job satisfaction based on the motivation sequence model, goal-setting theory, and social cognitive theory. Using a large-scale field survey of healthcare enterprise resource planning (ERP) system users (n?=?352), this study investigates these relationships and provides important insight to healthcare ERP system researchers and managers. Both goal awareness and IT self-efficacy influence positive job satisfaction of healthcare ERP system users, as expected. Furthermore, the influence of goal awareness is stronger when the role of ERP systems is highly perceived for decision-making of the job. There was no interaction effect between goal awareness and IT self-efficacy in the post hoc analysis. The model is significantly supported by the empirical test with the large number of field data from healthcare ERP system users in the healthcare company. Practical and academic implications are discussed in the paper.     

基于时间的角色动作调整方法

针对目前基于运动捕捉的角色运动控制方法中动作的不可调整问题,提出一种基于时间的角色动作调整方法。利用角色模型已有的基本动作,通过分析这些动作的时空特性得到动作各个阶段的时间参数;然后根据控制信息和环境约束,实时计算角色运动过程中的目标位置,再结合基本动作的时空特性,实时计算出运动关节参数,最终使角色能够在基本动作的基础上根据需要做出新动作。最后利用Unity平台加载角色模型,仿真实现了角色在转向和上台阶时腿部动作的调整过程。     

非完整约束下的机器人运动规划算法

由非完整约束定义提出一种改进RRT(快速搜索随机树)算法,解决受动力学约束的移动机器人运动规划问题.该算法将移动机器人的非完整约束条件与RRT搜索算法相结合.针对RRT算法在全局状态空间均匀随机搜索导致算法无谓耗费代价大的缺陷,引入目标偏向思想,并选择计算复杂度低的距离参数提高求解速度.通过几类典型的非完整约束下的机器...     

Towards a Possibilistic Logic Handling of Preferences

The classical way of encoding preferences in decision theory is by means of utility or value functions. However agents are not always able to deliver such a function directly. In this paper, we relate three different ways of specifying preferences, namely by means of a set of particular types of constraints on the utility function, by means of an ordered set of prioritized goals expressed by logical propositions, and by means of an ordered set of subsets of possible choices reaching the same level of satisfaction. These different expression modes can be handled in a weighted logical setting, here the one of possibilistic logic. The aggregation of preferences pertaining to different criteria can then be handled by fusing sets of prioritized goals. Apart from a better expressivity, the benefits of a logical representation of preferences are to put them in a suitable format for reasoning purposes, or for modifying them.     

Goal Change in the Situation Calculus

Although there has been much discussion of belief change (e.g.[4, 21]), goal change has not received much attention. In thispaper, we propose a method for goal change in the frameworkof Reiter's; [12] theory of action in the situation calculus[8, 10], and investigate its properties. We extend the frameworkdeveloped by Shapiro et al. [17] and Shapiro and Lespérance[16], where goals and goal expansion were modelled, but goalcontraction was not.     

Towards a goal‐driven approach to action selection in self‐adaptive software

Self‐adaptive software is a closed‐loop system, since it continuously monitors its context (i.e. environment) and/or self (i.e. software entities) in order to adapt itself properly to changes. We believe that representing adaptation goals explicitly and tracing them at run‐time are helpful in decision making for adaptation. While goal‐driven models are used in requirements engineering, they have not been utilized systematically yet for run‐time adaptation. To address this research gap, this article focuses on the deciding process in self‐adaptive software, and proposes the Goal‐Action‐Attribute Model (GAAM). An action selection mechanism, based on cooperative decision making, is also proposed that uses GAAM to select the appropriate adaptation action(s). The emphasis is on building a light‐weight and scalable run‐time model which needs less design and tuning effort comparing with a typical rule‐based approach. The GAAM and action selection mechanism are evaluated using a set of experiments on a simulated multi‐tier enterprise application, and two sample ordinal and cardinal action preference lists. The evaluation is accomplished based on a systematic design of experiment and a detailed statistical analysis in order to investigate several research questions. The findings are promising, considering the obtained results, and other impacts of the approach on engineering self‐adaptive software. Although, one case study is not enough to generalize the findings, and the proposed mechanism does not always outperform a typical rule‐based approach, less effort, scalability, and flexibility of GAAM are remarkable. Copyright © 2011 John Wiley & Sons, Ltd.     

房地产估价实务课程理实一体化改革探讨

为培养适应房地产估价行业发展的高端技能型估价人才,对"房地产估价实务"课程进行理实一体化改革势在必行.在分析课程改革的行业及专业背景基础上,基于房地产估价员岗位内容及培养目标,从课程设计、教学内容、教学方式及考核方法等方面对"房地产估价实务"课程理实一体化改革进行了探讨.