نتایج جستجو برای: واژههای کلیدی سیستمهای tlp
تعداد نتایج: 47047 فیلتر نتایج به سال:
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...
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 ...
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...
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...
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...
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...
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 ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید