数据库服务——安全与隐私保护

主要从数据的机密性、数据的完整性、数据的完备性、查询隐私保护以及访问控制策略这5 个关键技 术,综述国际上在数据库服务——安全与隐私保护方面的研究进展.数据的机密性主要从基于加密和基于数据分布 展开分析;数据的完整性和完备性主要从基于签名、基于挑战-响应和基于概率的方法展开分析;查询隐私保护和访 问控制策略主要从目前存在的问题展开分析.最后展望了数据库服务——安全与隐私保护领域未来的研究方向、存 在的问题及面临的挑战.     

Note on “The induced continuous ordered weighted geometric operators and their application in group decision making”

In this short communication, we will show that the condition of the theorem does not hold in general cases in a recent paper “The induced continuous ordered weighted geometric operators and their application in group decision making” [Computers & Industrial Engineering 56 (2009) 1545–1552] by Wu et al., and also illustrate an example to show that we cannot construct a consistent interval multiplicative preference relation according to the condition of theorem in general case. Furthermore, we present a more reasonable condition to satisfy Theorem 1 so that we can construct a consistent interval multiplicative preference relation.     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.     

智能空间中的用户饮食偏好获取与推荐系统

对用户饮食偏好获取技术进行研究,建立基于相似度的食物分类模型,在此基础上设计智能空间中的用户饮食偏好获取及饮食推荐系统。该系统通过压力传感器采集用户饮食数据,利用动态分割数据的方法获取用户饮食偏好上下文,根据食物分类模型进行饮食推荐。实验结果证明了该系统的有效性。     

On group decision making with four formats of incomplete preference relations

In this paper, a new approach is proposed to solve group decision making (GDM) problems where the preference information on alternatives provided by decision makers (DMs) is represented in four formats of incomplete preference relations, i.e., incomplete multiplicative preference relations, incomplete fuzzy preference relations, incomplete additive linguistic preference relations, incomplete multiplicative linguistic preference relations. In order to make the collective opinion close each decision maker’s opinion as near as possible, an optimization model is constructed to integrate the four different formats of incomplete preference relations and to compute the collective ranking values of the alternatives. The ranking of alternatives or selection of the most desirable alternative(s) is directly obtained from the derived collective ranking values. A numerical example is also used to illustrate the applicability of the proposed approach.     

Understanding risk-taking behavior of groups: A “decision analysis” perspective

Past research has extensively investigated the effect of media, especially focusing on how anonymity increases risk-related behaviors of groups when using computer-mediated communication (CMC). This study extends prior research by examining the differences in group risk-taking behaviors between face-to-face groups and completely non-anonymous CMC groups (i.e., groups working in a fully identified, synchronous CMC environment similar to popular instant messaging systems utilized widely within organizations). Drawing on the “decision analysis” perspective, a key framework for understanding organizational decision-making, the study also examines the effects of the firm's risk preferences as well as the type of information distribution among group members (i.e., full information known to all group members versus partial information know by only some of the members) on the groups' risk-taking behaviors. Results from a laboratory experiment using student subjects found no differences in risk-taking behaviors between CMC and face-to-face groups; additionally, no differences were found related to how information was distributed among group members. A significant effect was found, however, for the risk preference of the firm, showing that risk-neutral firms influenced groups to make riskier decisions than groups from risk-averse firms. Finally, groups within risk-neutral firms receiving partial information made riskier decisions than groups receiving full information. The implications of these results for future research and practice are examined.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

Interface feature prioritization for web services: Case of online flight reservations

Acceptance, utility, and usability of system designs have become a focal interest in human–computer interaction (HCI) research, yet at present there is a lack detailed understandings of which system design features influence them. The purpose of the study is to examine the effects of five product design features; customization, adaptive behavior, memory load, content density, and speed on user preference through an experimental study by using conjoint analysis. In experimental study, instead of classical conjoint cards, prototypes were generated for products. Besides, desirability and market segments of product prototypes were identified. In line with the results, among the five product design features, speed is the most and customization is the least important features that affect user preference. Contrary to the expectations, customization has a relatively small importance value in this research. Subsequent design features that influence user preference after speed are minimal memory load, adaptive behavior, and content density, respectively. According to findings, interfaces that have high-speed, minimal memory load, adaptive behavior, low content density, and customization features are more preferable than those that do not.     

Leveraging technological knowledge transfer by using fuzzy linear programming technique for multiattribute group decision making with fuzzy decision variables

Despite the importance of knowledge transfer for firms involved in foreign direct investment activities, this area has not received appropriate attention from the perspectives of both the knowledge transferor (i.e., MNC parent) and the knowledge recipient. To fill in the gap in the current literature we propose a model to understand the links between criteria complicating the transfer of knowledge and preferences that the company has to focus. This model is based on both the existing literature as well as views of company representatives and provides a useful methodology for identifying decision making problems on the transfer of knowledge. In this paper, we investigate the fuzzy linear programming technique (FLP) to analyze these links and for multiple attribute group decision making (MAGDM) problems with preference information on criteria. To reflect the decision maker’s subjective preference information and to determine the weight vector of attributes, the technique for order preference by similarity to ideal solution (TOPSIS) developed by Hwang and Yoon (1995) and the linear programming technique for multidimensional analysis of preference (LINMAP) developed by Sirinivasan and Shocker (Psychometrica 38:337–369, 1973) are used.     

一种Agent的偏好系统及其建立

受到Agent偏好模型的启发,提出了一个新的描述人们行为的偏好系统称为AF系统,它将Michael Freund的理性偏好推理与Adams提出的经典的归纳逻辑和概率逻辑相结合,即借助经典的逻辑系统,把人们的逻辑推理和以人们的偏好取向为基础的常识性推理以及以主观愿望为基础的意向推理结合在一起成为一个有机系统,并且在这个系统下提出Agent的理性偏好的建立方法以及推理步骤.最后给出一个实例,说明它能根据人们的部分愿望,全面估计人们的偏好走向,而且一旦人们的基本态度有所转向,偏好结构也可做相应调整,无需做根本改动,因此它具有鲁棒性和实用价值.