نتایج جستجو برای: mechanized tunneling

تعداد نتایج: 24256  

2009
Casey W. Miller Dustin D. Belyea

We demonstrate that including continuous and discrete tunnel barrier height distributions in otherwise traditional tunneling formalisms enables straightforward modeling of several phenomena important to tunneling. Random barrier height inhomogeneities significantly impact the tunneling conductance, as evidenced by ideal tunneling models extracting faulty barrier parameters, with the incurred er...

Journal: :int. journal of mining & geo-engineering 2013
amir hossein haghi mohammad reza asef ali taheri mohsen mohkam

ground settlement is often the most serious concern when tunneling under an old city with numerous historic monuments. a successful engineering design under these conditions would require getting the most out of the ground strength parameters and avoiding any weakening maneuver throughout the operation. knowing that surface settlement is highly affected by tunneling parameters in epb shield tun...

2008
Saswat Sarangi Gary Shiu Benjamin Shlaer

Motivated by the possibility of a string landscape, we reexamine tunneling of a scalar field across single/multiple barriers. Recent investigations have suggested modifications to the usual picture of false vacuum decay that lead to efficient and rapid tunneling in the landscape when certain conditions are met. This can be due to stringy effects (e.g. tunneling via the DBI action), or by effect...

Journal: :مدیریت اطلاعات سلامت 0
فرخنده اسدی استادیار، مدیریت اطلاعات بهداشتی درمانی، دانشگاه علوم پزشکی شهید بهشتی حمید مقدسی استادیار، مدیریت اطلاعات بهداشتی درمانی، دانشگاه علوم پزشکی شهید بهشتی زهرا مستانه مربی، آموزش مدارک پزشکی، دانشگاه علوم پزشکی هرمزگان

introduction: hematology section provides valuable information for diagnosis and treatment of patients to improve the health of them. in this regard hematology information system led to deliver produced information accurately and timely. present study aimed to analyze the situation of hematology information systems in hospital laboratories. methods: in this descriptive study, 13 hematology info...

2004
Tjark Weber

Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap access and modification. Properties of separating conjunction and separating implication are mechanically verified and used to prove soundness and relative completeness of all three Hoare logics. The whole development, i...

1996
John M. Rushby

In the decade of the 1990s, formal methods have progressed from an academic curiosity at best, and a target of ridicule at worst, to a point where the leading manufacturer of microprocessors has indicated that its next design will be formally veri ed. In this short paper, I sketch a plausible history of the developments that led to this transformation, present a snapshot of the current state of...

Journal: :Artif. Intell. 1996
Fausto Giunchiglia Paolo Traverso

(51) We apply 8I to (51) and prove (49). P and t are deened inductively over the structure of sequent trees. In the base case, we have P and t such that (47) is 8x (T(x) T(x)). Consider now the step case. We write (47) in the following form. (52) where P x 1 ; :::; x n ] does not contain occurrences of T. We assume the hypotheses of (52) and derive Tac(x 1) ^ ::: ^ Tac(x m). From (29) we obtain...

2013
Francesco Bongiovanni Ludovic Henrio

Formal reasoning on Peer-to-Peer (P2P) systems is an intimidating task. This paper focuses on broadcast algorithms for Content Addressable Network (CAN). Since these algorithms run on top of complex P2P systems, finding the right level of abstraction in order to prove their functional correctness is difficult. This paper presents a mechanized model for both CAN and broadcast protocols over thos...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید