نتایج جستجو برای: واژههای کلیدی سیستمهای tlp

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

2004

In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in the field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal sp...

Journal: :Journal of the Japan Welding Society 1980

2014
X. B. Hu Y. L. Zhu N. C. Sheng X. L. Ma

Ni-based single superalloys play a crucial role in the hottest parts of jet engines. However, due to the complex geometry and macro-segregation during the solidification process, the cast defect such as stray grains is inevitable. Therefore, the transient liquid phase (TLP) bonding which can join several small single crystalline castings together is gradually believed to be an effective method ...

Journal: :Archives of gerontology and geriatrics 2006
Shu Abe Kazuyuki Ishihara Mieko Adachi Hidetada Sasaki Kouko Tanaka Katsuji Okuda

Influenza is a major cause of respiratory infection and has a high mortality rate in the elderly. Neuraminidase (NA) on the surface of the influenza virus and bacterial trypsin-like proteases (TLP) play key roles in influenza virus infections. We investigated the effects of oral care on influenza, evaluating in particular the activities of NA and TLP in saliva, as they may contribute to an incr...

Journal: :Occupational therapy international 2009
Amy J Nwora Bryan M Gee

The aim of this study was to determine the efficacy of The Listening Program (TLP) in treating a child with pervasive developmental disorder-not otherwise specified (PDD-NOS). Using a single-subject case study design, one child with PDD-NOS was administered a 20-week TLP intervention focused on improving sensory processing and language function. Data collection included pre- and post-evaluation...

Journal: :Journal of the Society of Naval Architects of Japan 1991

2004
Steve Roach Fares Fraij

In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal specif...

2008
Arlin P.S. Crotts

Transient lunar phenomena (TLPs) have been reported for centuries, but their nature is largely unsettled and remains controversial. In this Paper I the database of TLP reports is subjected to a discriminating statistical filter robust against sites of spurious reports, and produces a restricted sample that may be largely reliable. This subset is highly correlated geographically with the catalog...

Journal: :Lecture Notes in Computer Science 2021

Time-lock puzzles are elegant protocols that enable a party to lock message such no one else can unlock it until certain time elapses. Nevertheless, existing schemes not suitable for the case where server is given multiple instances of puzzle scheme at once and must them different points in time. If naively used this setting, then has start solving all as soon receives them, ultimately imposes ...

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

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