نتایج جستجو برای: philips model
تعداد نتایج: 2106642 فیلتر نتایج به سال:
Uppaal is a new tool suit for automatic verification of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its usefulness through the debugging of (a version of) the Philips Audio-Control Protocol. Together with a graphical interface of Uppaal this diagnostic feature allows for a number of errors to be more easily detected and c...
We present an analysis of a protocol developed by Philips to connect several com ponents of an audio system The veri cation of the protocol is carried out using the timed I O automata model of Lynch and Vaandrager The veri cation has been partially proof checked with the interactive proof construction program Coq The proof checking revealed an error in the correctness proof not in the protocol
PURPOSE To evaluate the platform and reader reproducibility of quantitative carotid plaque measurements. MATERIALS AND METHODS A total of 32 individuals with >or=15% carotid stenosis by duplex ultrasound were each imaged once by a 1.5T General Electric (GE) whole body scanner and twice by either a 1.5T Philips scanner or a 1.5T Siemens scanner. A standardized multisequence protocol and identi...
In this paper, we propose a new optimized PID controller to stabilize the synchronous machine connected to an infinite bus. The model for the synchronous machine is 4-ordered linear Philips-Heffron synchronous machine. In this research, the parameters of the PID controller are optimally achieved by minimizing a definite fitness function to removes the unstable Eigen-value to the left side of im...
Finding a balance between the time-to-market and quality of a delivered product is a daunting task. The optimal release moment is not easily found. We propose to use historical project data to monitor the progress of running projects. From the data we inferred a formula providing a rough indication of the number of defects given the effort spent thus far (effort-to-defect formula). Furthermore ...
During the last decade, several studies have argued that sticky information model proposed by Mankiw and Reis (2002), in which firms update their information occasionally rather than instantaneously, explains some stylized facts about the inflation dynamics. Sticky information pricing model successfully captures the sluggish movement of aggregate prices in response to monetary policy shocks. De...
In this paper, we propose a new optimized PID controller to stabilize the synchronous machine connected to an infinite bus. The model for the synchronous machine is 4-ordered linear Philips-Heffron synchronous machine. In this research, the parameters of the PID controller are optimally achieved by minimizing a definite fitness function to removes the unstable Eigen-value to the left side of im...
abstract the present study was conducted to investigate the effect of using model essays on the development of writing proficiency of iranian pre-intermediate efl learners. to fulfill the purpose of the study, 55 pre- intermediate learners of parsa language institute were chosen by means of administering proficiency test. based on the results of the pretest, two matched groups, one as the expe...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید