Completeness of the Accumulation Calculus

The accumulation calculs(AC for short)is an interval based temporal logic to specify and reason about hybrid real-time systems.This paper presents a formal proof system for AC,and proves that the system is complete relative to that of Interval Temporal Logic(ITL for short)on real domain.     

Amygdala Inactivation Blocks Expression of Conditioned Memory Modulation and the Promotion of Avoidance and Freezing.

Rats were exposed to shock-paired cues immediately after training on an appetitive preference task. Elevated levels of freezing in and active avoidance of the shock-paired compartment were observed, and memory for the appetitive task was improved when tested 24 hr later. Intra-amygdala muscimol injected before the posttraining exposure eliminated freezing, avoidance, and memory modulation. The blockade of both freezing and active avoidance, which involve competing behavioral tendencies, makes it unlikely that the amygdala itself generates either behavior. The elimination of conditioned memory modulation suggests that conditioned neurohormonal responses were blocked. These conditioned internal responses may comprise the intervening variable of "conditioned fear" and may promote observable behaviors, the form of which is determined by the environment in which they occur. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Corticosterone Influences on Mammalian Neonatal Sensitive-Period Learning.

Infant rats exhibit sensitive-period odor learning characterized by olfactory bulb neural changes and odor preference acquisitions critical for survival. This sensitive period is coincident with low endogenous corticosterone (CORT) levels and stress hyporesponsivity. The authors hypothesized that low corticosterone levels modulate sensitive-period learning. They assessed the effects of manipulating CORT levels by increasing and removing CORT during (Postnatal Day 8) and after (Postnatal Day 12) the sensitive period. Results show that (a) exogenous CORT prematurely ends sensitive-period odor-shock-induced preferences; (b) adrenalectomy developmentally extends the sensitive period as indicated by odor-shock-induced odor-preference learning in older pups, whereas CORT replacement can reinstate fear learning; and (c) CORT manipulation modulates olfactory bulb correlates of sensitive-period odor learning in a manner consistent with behavior. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On Logical Foundations of Multilevel Secure Databases

It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt.The impetus for our current research is the need to provide an adequate framework for belief reasoning in MLS databases. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for MLS deductive databases for which a proof theoretic, model theoretic and fixpoint semantics exist. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we establish the equivalence of MultiLog's three logical characterizations—model theory, fixpoint theory and proof theory.     

A cross‐cultural comparison of colour emotion for two‐colour combinations

Psychophysical experiments were conducted in the UK, Taiwan, France, Germany, Spain, Sweden, Argentina, and Iran to assess colour emotion for two‐colour combinations using semantic scales warm/cool, heavy/light, active/passive, and like/dislike. A total of 223 observers participated, each presented with 190 colour pairs as the stimuli, shown individually on a cathode ray tube display. The results show consistent responses across cultures only for warm/cool, heavy/light, and active/passive. The like/dislike scale, however, showed some differences between the observer groups, in particular between the Argentinian responses and those obtained from the other observers. Factor analysis reveals that the Argentinian observers preferred passive colour pairs to active ones more than the other observers. In addition to the cultural difference in like/dislike, the experimental results show some effects of gender, professional background (design vs. nondesign), and age. Female observers were found to prefer colour pairs with high‐lightness or low‐chroma values more than their male counterparts. Observers with a design background liked low‐chroma colour pairs or those containing colours of similar hue more than nondesign observers. Older observers liked colour pairs with high‐lightness or high‐chroma values more than young observers did. Based on the findings, a two‐level theory of colour emotion is proposed, in which warm/cool, heavy/light, and active/passive are identified as the reactive‐level responses and like/dislike the reflective‐level response. © 2010 Wiley Periodicals, Inc. Col Res Appl, 2012     

Consumer valuation of the wearables: The case of smartwatches

Wearable devices indicate objects encompassing both mobile computing and fashion characteristics. Although the combination of the two characteristics is relatively new, consumers’ recognition of smartwatches, one type of wearable, is increasing. However, despite the heightened interest in smartwatches, sales are growing more slowly than expected. In order to comprehend this, we should understand potential consumers’ perceptions of smartwatches. This study explored how much potential consumers value various smartwatch attributes by examining their preference structure of the wearable. The preference structure was generated from a conjoint analysis including five smartwatch attributes: brand, price, standalone communication, display shape, and display size. We also compared findings by user group (current wristwatch users vs. non-users). Results showed that display shape and standalone communication are more critical factors influencing respondents’ smartwatch choices than brand and price for both types of users. Results also revealed that a curved display shape is most preferred.     

Supply chain configurations: a model to evaluate performance in customised productions

This paper describes an approach used to evaluate the performance of different supply chain configurations in customised contexts. Based on historical data collected from the supply chain of a shoe producer, different configurations are evaluated based on a discrete-event simulation by highlighting the performance of the supply chain (in terms of supply chain order lead-time and inventory volume) when the production switched from standard production (characterised by batches of large quantities of the same product) to customised production (characterised by a small of series batches with high product variability). The simulation approach relies on experimentation through executable configurations, which enables the creation of different scenarios, and is then applied to the case of an actual firm in the footwear industry. The managerial implications of these findings are discussed.     

考虑决策者时序偏好的时域证据融合方法

针对时域不确定信息的融合难题，为充分体现时域信息融合的动态性特点和时间因素对融合的影响，在证据理论的基础上，提出一种考虑决策者时序偏好的时域证据融合方法。首先将决策者对时序的偏好融入时域证据融合，通过分析时域证据序列的特点，在定义时序记忆因子的基础上，对决策者的时序偏好进行度量；然后通过构建优化模型求解时序权重，再结合证据信任度的概念，对证据源进行修正；最后利用Dempster组合规则对修正后的证据进行融合。数值算例表明，与没有考虑时间因素的融合方法相比，考虑决策者时序偏好的证据融合方法可以有效处理时域信息序列中的冲突信息，得到合理的融合结果；同时，所提方法充分考虑了时域证据序列的信任度和决策者的主观偏好，可以反映决策者主观因素对时域证据融合的影响，较好地体现了时域证据融合的动态性特点。     

An approach to group decision making with heterogeneous incomplete uncertain preference relations

For practical group decision making problems, decision makers tend to provide heterogeneous uncertain preference relations due to the uncertainty of the decision environment and the difference of cultures and education backgrounds. Sometimes, decision makers may not have an in-depth knowledge of the problem to be solved and provide incomplete preference relations. In this paper, we focus on group decision making (GDM) problems with heterogeneous incomplete uncertain preference relations, including uncertain multiplicative preference relations, uncertain fuzzy preference relations, uncertain linguistic preference relations and intuitionistic fuzzy preference relations. To deal with such GDM problems, a decision analysis method is proposed. Based on the multiplicative consistency of uncertain preference relations, a bi-objective optimization model which aims to maximize both the group consensus and the individual consistency of each decision maker is established. By solving the optimization model, the priority weights of alternatives can be obtained. Finally, some illustrative examples are used to show the feasibility and effectiveness of the proposed method.     

Levels of incomplete information in group decision models – A comprehensive simulation study

We present a comprehensive computational study on the effects of providing different forms of incomplete preference information in additive group decision models. We consider different types of information on individual preferences, and on weights of the group members, and study their effects on conclusiveness, efficiency and fairness of outcomes at the group level. Furthermore, we analyze possible violations of the axiom of independence of irrelevant alternatives (IIA) as well as the impact of problem characteristics, in particular initial agreement between group members. Our results indicate that providing information in the form of a ranking of differences between consecutive alternatives comes close to providing exact cardinal preference information in several outcome dimensions. However, group decision procedures based on incomplete preference information also show a significant amount of violations of the IIA axiom.