This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate comp...
详细信息
Fuzzy Extension Matrix induction is an extraction technique of fuzzy rules, which can be used in handling ambiguous classification problems related to human's thought and sense. The entire process of building heur...
详细信息
ISBN:
(纸本)0780384032
Fuzzy Extension Matrix induction is an extraction technique of fuzzy rules, which can be used in handling ambiguous classification problems related to human's thought and sense. The entire process of building heuristic algorithm based on Fuzzy Extension Matrix is dependent of three specified parameters that seriously affect the computational effort and the rule extraction accuracy. Since the value of three parameters is usually given in terms of human experience or real requirements, it is very difficult to determine its optimal value. This paper makes an initial attempt to give some guidelines of how to automatically choose these parameters by analyzing the relationship between the values of parameters and the number of rules generated.
Decision trees and extension matrixes are two methodologies for (fuzzy) rule generation. This paper gives an initial study on the comparison between the two methodologies. Their computational complexity and the qualit...
详细信息
ISBN:
(纸本)0780384032
Decision trees and extension matrixes are two methodologies for (fuzzy) rule generation. This paper gives an initial study on the comparison between the two methodologies. Their computational complexity and the quality of rule generation are analyzed. The experimental results show that the number of generated rules of the heuristic algorithm based on extension matrix is fewer than the decision tree algorithm. Moreover, regarding the testing accuracy (i.e., the generalization capability for unknown cases), experiments also show that the extension matrix method is better than the other.
作者：
K.L. ManFormal Methods Group
Department of Mathematics and Computer Science Eindhovan University of Technology Eindhoven Netherlands
Based on process algebra, the formal language SystemC/sup FL/ has been developed that is the formalization of SystemC. The language semantics of System C/sup FL/ is formally defined in a standard structured operationa...
详细信息
Based on process algebra, the formal language SystemC/sup FL/ has been developed that is the formalization of SystemC. The language semantics of System C/sup FL/ is formally defined in a standard structured operational semantics (SOS) style.
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generaliz...
详细信息
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that both qualitative and quantitative model checking for this class of properties and pPDA is decidable. Then, we show that model checking for the qualitative fragment of the logic PCTL and pPDA is also decidable. Moreover, we develop an error-tolerant model checking algorithm for general PCTL and the subclass of stateless pPDA. Finally, we consider the class of properties definable by deterministic Buchi automata, and show that both qualitative and quantitative model checking for pPDA is decidable.
Decision trees and extension matrixes are two methodologies for (fuzzy) rule generation. This paper gives an initial study on the comparison between the two methodologies. Their computational complexity and the qualit...
详细信息
ISBN:
(纸本)0780384032
Decision trees and extension matrixes are two methodologies for (fuzzy) rule generation. This paper gives an initial study on the comparison between the two methodologies. Their computational complexity and the quality of rule generation are analyzed. The experimental results have shown that the number of generated rules of the heuristic algorithm based on extension matrix is fewer than the decision tree algorithm. Moreover, regarding the testing accuracy (i.e., the generalization capability for unknown cases), experiments have also shown that the extension matrix method is better than the other method.
Fuzzy extension matrix induction is an extraction technique of fuzzy rules, which can be used in handling ambiguous classification problems related to human's thought and sense. The entire process of building heur...
详细信息
ISBN:
(纸本)0780384032
Fuzzy extension matrix induction is an extraction technique of fuzzy rules, which can be used in handling ambiguous classification problems related to human's thought and sense. The entire process of building heuristic algorithm based on fuzzy extension matrix is dependent of three specified parameters that seriously affect the computational effort and the rule extraction accuracy. Since, the value of three parameters is usually given in terms of human experience or real requirements, it is very difficult to determine its optimal value. This paper makes an initial attempt to give some guidelines of how to automatically choose these parameters by analyzing the relationship between the values of parameters and the number of rules generated.
Question of the study The aim was to study sleep macrostructure, sleep breathing, periodic limb movements in sleep (PLMS) and fasciculations in amyotrophic lateral sclerosis (ALS). Patients and methods Nocturnal polys...
详细信息
Question of the study The aim was to study sleep macrostructure, sleep breathing, periodic limb movements in sleep (PLMS) and fasciculations in amyotrophic lateral sclerosis (ALS). Patients and methods Nocturnal polysomnography (PSG) was performed in 18 patients with ALS (11 men, 7 women), aged 58.4 (SD = ±6.6) years, Norris score 67.1 (±18.7), and in age- and sex-matched volunteers. Results The patients' PSG parameters exhibited the following significant differences from those of the controls: total sleep time reduction, 2NREM and REM reduction, prolonged wakefulness duration, reduced sleep efficiency, and number of sleep cycles. Fasciculations in anterior tibial muscles were found significantly more often in the patients and were equally represented in all stages. Conclusions The study found that sleep worsened in ALS patients, mainly as regards REM sleep-shortening and lower sleep efficiency. In contrast, there was no proof of any significantly deteriorated breathing in the ALS patients' sleep or increased occurrence of PLMS.
This work presents a formal Petri net-based approach to behaviour modeling for mobile agent systems. Generic agent templates, formalized in Petri net semantics, are proposed to model the components of a distributed mo...
详细信息
This work presents a formal Petri net-based approach to behaviour modeling for mobile agent systems. Generic agent templates, formalized in Petri net semantics, are proposed to model the components of a distributed mobile agent system. A generic agent template is conceptualized as an entity consisting of a set of actions, a set of rules which govern the agent communications and an event that captures the agent migration. The communication rules determine the Petri net structures which act as connectors in the proposed approach. The behaviour of the mobile agent is linked to both architectural and structural specifications based on system requirements. After providing certain formal definitions we present a theoretical formal model for designing and describing the behaviour of mobile agent systems for distributed asynchronous applications. It supports formal reasoning based on Petri nets.
The role of Virginia Tech's College of Engineering (COE) in providing education to the freshman engineering students and its perspective in developing engineering programs was discussed. A number of learning initi...
详细信息
The role of Virginia Tech's College of Engineering (COE) in providing education to the freshman engineering students and its perspective in developing engineering programs was discussed. A number of learning initiatives have been undertaken by Virginia Tech's COE such as web based tool that allows faculty in other departments to provide their perspective on the General Engineering (GE) program. It was observed that classroom and program assessments were being improved through the use of e-portfolios, minute papers and team developer software. It was suggested that this GE integration program would serve as a model for other engineering departments both at Virginia Tech and nationwide.
暂无评论