Fuzzy multiple goal programming applied to TFT-LCD supplier selection by downstream manufacturers

In today’s highly competitive environment, a good supply chain relationship is essential for a company to survive and to acquire reasonable profit. While a few large companies may be able to vertically integrate from the design stage to the final distribution of the entire supply chain, most companies can only focus on their specialized functions and to cooperate with upstream or downstream companies. Supplier selection, as a result, is very important for maintaining strategic alliances. The objective of this paper is to develop a fuzzy multiple goal programming (FMGP) model to help downstream companies to select thin film transistor liquid crystal display (TFT-LCD) suppliers for cooperation. Fuzzy analytic hierarchy process (FAHP) is applied first to analyze the importance of multiple factors by incorporating experts’ opinion, and these factors include cost, yield and number of suppliers. Multi-choice goal programming is used next to consider the limits of various resources and to formulate the constraints. From the experimental design and examination, we can testify that the proposed model not only can consider multi-choice goals, decision-making behavior and limit of resources, it can also allocate the purchase among the selected supplier(s).     

Evaluation of terrain and canopy height products in central African tropical forests

Since the introduction of space-based altimetry data into the science community, global products associated with elevation and vegetation metrics have been heavily utilized for a variety of ecological applications. Satellite remote sensing enables the collection of global (or near-global), standardized data sets, which can be used in their original form or used as inputs along with other data sets in generating new products. Recent effort has focused on using available data to generate maps of tree heights at a global scale in the service of a better understanding of above ground biomass distribution and its effects on global carbon storage. However, global data sets, while validated at a global scale, often display local and regional variations in accuracy which must be quantified before applying those data sets to smaller scale studies. This work addresses the need for a better understanding of the quality of the Shuttle Radar Topography Mission (SRTM) 90 m digital elevation model and a global 1 km canopy height model in the dense tropical forests of Gabon by using a small-footprint airborne lidar survey and large-footprint, space-based waveform lidar data from teh National Air and Space Administration’s Ice, Cloud, and land Elevation Satellite (ICESat) for validation. As expected, the study found SRTM elevations to be heavily biased by vegetation in this biome, with elevations consistently located within the canopy volume. In addition, the global canopy height model consistently underestimates maximum canopy height at both local and regional scales.     

Supporting command and control training functions in the emergency management domain using cognitive systems engineering

The design and implementation of MERMAIDS, a computer-based training system in the domain of emergency command and control, is described. The research investigates the use of cognitive systems engineering and information management tools for modelling and representing training knowledge of emergency system operators. We propose a decision-centric human-computer interface as a new method of supporting computer-based modelling in the domain of emergency systems. Several interacting themes in information management relevant to emergency response planning are discussed.     

Implementing tactics and tacticals in a higher-order logic programming language

We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog.     

Hybrid

Combining higher-order abstract syntax and (co)-induction in a logical framework is well known to be problematic. We describe the theory and the practice of a tool called Hybrid, within Isabelle/HOL and Coq, which aims to address many of these difficulties. It allows object logics to be represented using higher-order abstract syntax, and reasoned about using tactical theorem proving and principles of (co)induction. Moreover, it is definitional, which guarantees consistency within a classical type theory. The idea is to have a de Bruijn representation of λ-terms providing a definitional layer that allows the user to represent object languages using higher-order abstract syntax, while offering tools for reasoning about them at the higher level. In this paper we describe how to use Hybrid in a multi-level reasoning fashion, similar in spirit to other systems such as Twelf and Abella. By explicitly referencing provability in a middle layer called a specification logic, we solve the problem of reasoning by (co)induction in the presence of non-stratifiable hypothetical judgments, which allow very elegant and succinct specifications of object logic inference rules. We first demonstrate the method on a simple example, formally proving type soundness (subject reduction) for a fragment of a pure functional language, using a minimal intuitionistic logic as the specification logic. We then prove an analogous result for a continuation-machine presentation of the operational semantics of the same language, encoded this time in an ordered linear logic that serves as the specification layer. This example demonstrates the ease with which we can incorporate new specification logics, and also illustrates a significantly more complex object logic whose encoding is elegantly expressed using features of the new specification logic.     

The implications of cross-regional differences for the design of In-vehicle Information Systems: a comparison of Australian and Chinese drivers

The increasing global distribution of automobiles necessitates that the design of In-vehicle Information Systems (IVIS) is appropriate for the regions to which they are being exported. Differences between regions such as culture, environment and traffic context can influence the needs, usability and acceptance of IVIS. This paper describes two studies aimed at identifying regional differences in IVIS design needs and preferences across drivers from Australia and China to determine the impact of any differences on IVIS design. Using a questionnaire and interaction clinics, the influence of cultural values and driving patterns on drivers' preferences for, and comprehension of, surface- and interaction-level aspects of IVIS interfaces was explored. Similarities and differences were found between the two regional groups in terms of preferences for IVIS input control types and labels and in the comprehension of IVIS functions. Specifically, Chinese drivers preferred symbols and Chinese characters over English words and were less successful (compared to Australians) at comprehending English abbreviations, particularly for complex IVIS functions. Implications in terms of the current trend to introduce Western-styled interfaces into other regions with little or no adaptation are discussed.     

Extending the Fatigue Life of Riveted Coped Stringer Connections

Fatigue cracking occurs at the copes of stringer–floorbeam connections of older, riveted steel bridges. Some cracks are quite long and raise serious questions regarding the remaining fatigue life of the subject bridges. Damage limitation methods (DLMs) have been used to increase the fatigue life of these stringers, but the effectiveness of the DLMs for these riveted connections had never been evaluated by tests. Therefore, tests were conducted to evaluate the fatigue life of coped, riveted stringer–floorbeam connections, and the effectiveness of DLMs. Fatigue cracks in the coped stringer–floorbeam connection were initially developed to establish crack initiation requirements and the rate and extent of crack growth. Once a significant crack was noted, one of several DLMs was applied, and the specimens were retested to determine the effectiveness of the DLM in controlling cracking. These DLMs included the drilled hole, the inserted bolt and the removed rivet methods. The relative effectiveness of the methods is described, and a design procedure is proposed for improving their performance.     

Resolving Ambiguity: The Effect of Experience on Interpretation of Ambiguous Events in Generalized Social Phobia.

The authors examined the effect of learning on multiple encounters with sources of social ambiguity in individuals with generalized social phobia (GSP). The authors modified G. B. Simpson and H. Kang's (1994) paradigm and presented prime-target word pairs to individuals with GSP and nonanxious controls (NACs) to prime threat and nonthreat meanings of homographs and examine the effect of this priming on later encounters with that homograph. Consistent with previous research, NACs showed faster response latencies naming a target primed by a homograph with the same meaning activated in two successive trials than naming the same target primed by an unrelated word. Furthermore, NACs showed slower response latencies naming a target when a different meaning of the homograph prime was activated in successive trials than naming a target primed by an unrelated word. GSP participants did not show this pattern in learning a nonthreat meaning of a homograph. These results support the hypothesis that a faulty learning mechanism may be involved in social anxiety. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Self-determination and conflict in romantic relationships.

Four studies examined associations between E. L. Deci and R. M. Ryan's (1985, 2000) construct of autonomy, responses to relationship disagreements, and dissatisfaction after conflict. In Study 1, diary data showed that trait autonomy predicted relationship autonomy, which in turn predicted relative satisfaction after disagreements. In Study 2, trait autonomy predicted relationship autonomy, which was associated with less defensive and more understanding responses to conflict. Studies 3 and 4 examined whether one's partner's relationship autonomy uniquely predicted reported and observed behavior during conflict. Autonomous reasons for being in the relationship (of both self and partner) predicted both reported and observed responses to conflict and feelings of satisfaction. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Intelligence and Leadership: A Quantitative Review and Test of Theoretical Propositions.

Meta-analysis was used to aggregate results from studies examining the relationship between intelligence and leadership. One hundred fifty-one independent samples in 96 sources met the criteria for inclusion in the meta-analysis. Results indicated that the corrected correlation between intelligence and leadership is .21 (uncorrected for range restriction) and .27 (corrected for range restriction). Perceptual measures of intelligence showed stronger correlations with leadership than did paper-and-pencil measures of intelligence. Intelligence correlated equally well with objective and perceptual measures of leadership. Additionally, the leader's stress level and the leader's directiveness moderated the intelligence-leadership relationship. Overall, results suggest that the relationship between intelligence and leadership is considerably lower than previously thought. The results also provide meta-analytic support for both implicit leadership theory and cognitive resource theory. (PsycINFO Database Record (c) 2010 APA, all rights reserved)