Design concept evaluation based on rough number and information entropy theory

Concept evaluation at the early phase of product development plays a crucial role in new product development. It determines the direction of the subsequent design activities. However, the evaluation information at this stage mainly comes from experts' judgments, which is subjective and imprecise. How to manage the subjectivity to reduce the evaluation bias is a big challenge in design concept evaluation. This paper proposes a comprehensive evaluation method which combines information entropy theory and rough number. Rough number is first presented to aggregate individual judgments and priorities and to manipulate the vagueness under a group decision-making environment. A rough number based information entropy method is proposed to determine the relative weights of evaluation criteria. The composite performance values based on rough number are then calculated to rank the candidate design concepts. The results from a practical case study on the concept evaluation of an industrial robot design show that the integrated evaluation model can effectively strengthen the objectivity across the decision-making processes

Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection

Formal methods have been applied widely to verifying the safety requirements of Communication-Based Train Control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in Zone Controller, a sub-system of a typical CBTC. We achieve the simplification goal by reducing the total number of device variables. To do this, two projection methods are proposed based on Problem Frames and constraints, respectively. The Problem Frames based method decomposes the system according to sub-properties through functional decomposition, whilst the constraints based projection method removes redundant variables. Our industrial case study demonstrates the feasibility though an evaluation, confirming that these two methods are effective in reducing the state spaces of complex verification problems in this application domain

The Mechanism of Knowledge Associated Integration of Interdisciplinary Research Team Based on Absorption Ability

Interdisciplinary research team (IDRT) to solve complex, major multidisciplinary problem, is an important organization form. Members thought fusion and multidisciplinary knowledge integration is the key of implementing interdisciplinary team sustainable competitive advantage. According to the theory of knowledge absorptive capacity, this paper has analyzed knowledge associated integration mechanism of interdisciplinary team. First, the paper analyses the characteristics of absorbing ability cognitive mediation, subject link together mechanism, dimension conversion mechanism and reciprocal decision mechanism. Second, this paper builds an absorption evolution model of knowledge associated integration of interdisciplinary research team. Finally, it simulates and analyzes the evolution characteristics of interdisciplinary team knowledge network, and proposes management strategy

Modeling Timing Requirements in Problem Frames Using CCSL

International audienceAs the embedded systems are becoming more and more complex, requirements engineering approaches are needed for modeling requirements, especially the timing requirements. Among various requirements engineering approaches, the Problem Frames(PF) approach is particularly useful in requirements modeling for the embedded systems due to the characteristic that PF pays special attention to the environment entities that will interact with the to-be software. However, no concern is given on timing requirements of PF at present. This paper studies how to add timing constraints on problem domains in PF. Our approach is to integrate the problem representation frame in PF with the timing representation mechanism of MARTE(Modeling and Analysis of Real Time and Embedded systems). A unified problem frame modeling process integrated with timing constraints is provided, and problem frame requirements with timing constraints expressed by MARTE/CCSL (Clock Constraint Specification Language) and clock construction operators are obtained

Detection of circulating IgG antibodies to apolipoprotein B100 in acute myocardial infarction

AbstractA number of studies have reported an association between increased levels of antibodies against oxidized low-density lipoprotein (oxLDL) and cardiovascular disease, but the anti-oxLDL antibody has not been confirmed to serve as an effective biomarker for prediction of acute myocardial infarction (AMI). Apolipoprotein B100 (ApoB100)-derived peptide fragments generated by proteolytic degradation and aldehyde modification are the major antigens in oxLDL, and so the present work was undertaken to detect circulating IgG for Apo-B100-derived peptide antigens. An in-house enzyme-linked immunosorbent assay (ELISA) was developed with eight ApoB100-derived peptide antigens (Ag1–Ag8) to detect circulating anti-ApoB100 IgG levels in 267 patients with AMI and 201 control subjects. Binary logistic regression analysis revealed that circulating IgG for Ag1 was significantly higher in the patient group than the control group (P<0.001) after adjustment for age, gender, smoking, hypertension, diabetes and circulating levels of cholesterol, HDL, LDL, ApoA and ApoB100. None of the other seven antigens detected an increase in IgG levels in AMI patients compared with control subjects. Spearman correlation analysis showed no correlation between IgG antibody for Ag1 and clinical characteristics. In conclusion, the linear peptide antigens derived from ApoB100 may be suitable for the development of an ELISA antibody test for prediction of AMI, although further confirmation is still needed in large-scale clinical studies

A systematic study on explicit-state non-zenoness checking for timed automata

Zeno runs, where infinitely many actions occur within finite time, may arise in Timed Automata models. Zeno runs are not feasible in reality and must be pruned during system verification. Thus it is necessary to check whether a run is Zeno or not so as to avoid presenting Zeno runs as counterexamples during model checking. Existing approaches on non-Zenoness checking include either introducing an additional clock in the Timed Automata models or additional accepting states in the zone graphs. In addition, there are approaches proposed for alternative timed modeling languages, which could be generalized to Timed Automata. In this work, we investigate the problem of non-Zenoness checking in the context of model checking LTL properties, not only evaluating and comparing existing approaches but also proposing a new method. To have a systematic evaluation, we develop a software toolkit to support multiple non-Zenoness checking algorithms. The experimental results show the effectiveness of our newly proposed algorithm, and demonstrate the strengths and weaknesses of different approaches.No Full Tex

Dynamic model for piezotronic and piezo-phototronic devices under low and high frequency external compressive stresses (Featured)

In this work, we aim to establish a theoretical method for modelling the dynamic characteristics of piezotronics and piezo-phototronic devices. By taking the simplest piezotronic device, PN junction as an example, we combine the small signal model and the unified approach to investigate its diffusion capacitance and conductance when it is under both low and high frequency external compressive stresses. This approach is different from the traditional considerations that treat the piezopotential as a static value. Furthermore, we expand the theory into piezo-phototronic devices, e.g., a light emitting diode. The dynamic recombination rate and light emitting intensity are quantitatively calculated under different frequencies of external compressive stresses