نتایج جستجو برای: mu verification
تعداد نتایج: 95679 فیلتر نتایج به سال:
Scalable small signal and noise modeling for 90nm InP high electron mobility transistor (HEMT) is proposed in this paper. Analytical expressions the parameters of intrinsic part are derived from an accurate equivalent circuit model. The experimental theoretical results show that at same bias condition, good scaling can be achieved between HEMTs with different gate widths. Model verification car...
باکتری زانتوموناس کمپستریس xanthomonas campestris))، باکتری تولید کننده صمغ زانتان می باشد. زانتان یک پلیمر خارج سلولی است که در صنایع غذایی و صنایع نفت کاربردهای فراوانی به عنوان ویسکوز کننده و امولسیون کننده دارد. از آنجا که این باکتری به طور طبیعی قادر به مصرف لاکتوز نیست؛ زانتان نمی تواند از محیط های پایه حاوی لاکتوز نظیر آب پنیر ( پساب صنعتی ارزان قیمت) تولید شود. به منظور حل این مشکل، اوپ...
we show that when both sources ( lepton flavor violation sources and cp-violating phases) are present, the electric dipole moment of the electron, $d_e$, receives a contribution from the phase of the trilinear $a$-term of staus, $phi_{a_ au}$. for $phi_{a_ au}=pi/2$, the value of $d_e$, depending on the ratios of the lfv mass elements, can range between zero and three orders of magnitude a...
Independent verification of the MU settings and dose calculation of IMRT treatment plans is an important step in the IMRT quality assurance (QA) procedure. At present, the verification is mainly based on experimental measurements, which are time consuming and labor intensive. Although a few simplified algorithms have recently been proposed for the independent dose (or MU) calculation, head scat...
OBJECTIVE To make sure the feasibility with (18F)FDG PET/CT to guided dynamic intensity-modulated radiation therapy (IMRT) for nasopharyngeal carcinoma patients, by dosimetric verification before treatment. METHODS Chose 11 patients in III~IVA nasopharyngeal carcinoma treated with functional image-guided IMRT and absolute and relative dosimetric verification by Varian 23EX LA, ionization cham...
Java is largely used to develop distributed and concurrent systems, but testing multithreaded systems cannot guarantee the quality of the software; in contrast, verification techniques give us a higher confidence about the system and, among these, model checking methods automatically establish properties of complex systems. Such techniques are usually applied to specification languages, and sev...
The emerging technology of interacting systems calls for new verification methods to ensure their reliability. Concurrent Game Structures are expressive abstract models for which several logics have been studied. Yet, these logics are not sufficiently expressive to support certain strategic situation which arise naturally. We propose a second-order mu-calculus enabling a straightforward specifi...
Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also interesting from the theory perspective, because they are widely believed to admit a polynomial solution, but so far no such algorithm is known. We propose a new algorithm to solve parity games based on learning tangles, ...
We develop a situation calculus-based account of multi-player synchronous games. These are represented as action theories called situation calculus synchronous game structures (SCSGSs) that involve a single action tick whose effects depend on the combination of moves chosen by the players. Properties of games, e.g., winning conditions, playability, weak and strong winnability, etc. can be expre...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید