We present an algorithm for checking CTL formulas in Kripke structures with side conditions, where the side conditions define new variables in terms of path formulas. Given any CTL formula where the defined variables may occur, the presented algorithm will determine the set of states where the CTL∗ formula holds that is obtained by replacing each new variable defined by a side condition by its ...

A new derivative of Cyclotriphosphazene with xanthydrol as the oxygen-containing ligand was synthesized. Firstly Hexaclorocyclotriphosphazene was obtained Hexaclorocyclotriphosphazene from ammonium chloride and phosphorus pentachloride reaction and then the deprotonated xanthydrol was reacted with Hexaclorocyclotriphosphazene in the ratio of 6:1 in dry toluene as the solve...

abstract this study investigates casual relationship between co2 emission and gross domestic product per capita in five different country groups, using cross- country data for the period 1960-2007. to achieve the purpose, the co- integration test and error correction models are applied. results confirm casual relationships between the two variables. a unilateral relationship between gdp and co2...

We describe how to use propositional model counting for a quantitative analysis of product configuration data. Our approach computes valuable meta information such as the total number of valid configurations or the relative frequency of components. This information can be used to assess the severity of documentation errors or to measure documentation quality. As an application example we show h...

Starting with a carefully formulated Dirichlet process (DP) mixture model, we derive a generalized product partition model (GPPM) in which the partition process is predictor-dependent. The GPPM generalizes DP clustering to relax the exchangeability assumption through the incorporation of predictors, resulting in a generalized Pólya urn scheme. In addition, the GPPM can be used for formulating f...

The input to the freeform fabrication process is essentially geometric data, raw material, material data and process parameters. Optimal process parameters depend upon current material and the part geometry. This paper describes an research approach in which all necessary input including process parameters are obtained or derived from the product model. The part geometry with its process parame...

new product development (npd) is one of the key factors for achieving competitive advantage and maintaining firm growth. therefore, given the importance of this type of projects, this paper is an endeavor to make these projects more successful by effectively managing their risks in the conceptual design phase of new product development. for this purpose, a multi-objective model, with three obje...

Aptamers are short RNA or DNA oligonucleotides which can bind with different targets. Typically, they are selected from a large number of random DNA sequence libraries. The main strategy to obtain aptamers is systematic evolution of ligands by exponential enrichment (SELEX). Low efficiency is one of the limitations for conventional PCR amplification of random DNA sequence library in aptamer sel...

As technology increases and performance requirements continually tighten, the cost and required precision of assemblies increase as well. There exists a strong need for increased attention to tolerance design to enable high-precision assemblies to be manufactured at lower cost. For automotive and aircraft industries, the tolerancing process has become an important issue in product and process d...