Trace,failure and testing equivalences for communicating processes

A basic question in the theory of communicating processes is “When should two processes be considered equivalent?”. Attempts to answer this question have led to the concepts of observation equivalence, bisimulations, testing equivalence, failure equivalence, etc. The main point of this paper is to increase the understanding and motivation for two of these equivalences, namely failure and testing equivalences. The approach starts with the idea that the equivalence of processes should be reducible to the visible sequences of actions which a process performs in various contexts. This idea is implemented by a string-based semantic order for communicating processes where divergence is catastrophic. Under some assumptions about contexts, the resulting semantics is shown to be equivalent to theimproved failure semantics of Brookes and Roscoe⁽¹⁾ and also to themust testing-semantics of Hennessy and DeNicola.^(2–4) This characterization gives independent support for the appropriateness of failures and testing.     

Pain drawings in the assessment of nerve root compression: a comparative study with lumbar spine magnetic resonance imaging

STUDY DESIGN: Prospective comparative study of pain drawings with findings on lumbar spine magnetic resonance imaging. OBJECTIVES: To assess the ability of the pain drawing to predict the presence of nerve root compression. SUMMARY OF BACKGROUND DATA: Most research work has concentrated on the ability of the pain drawing to act as a screening method for psychological distress with less work directed at the influence the anatomic abnormality has on the pain drawing. METHODS: One hundred thirty-four consecutive outpatients attending for lumbar magnetic resonance imaging in the investigation of back and leg pain completed pain drawings and psychological testing immediately before the examination. The pain drawing was analyzed by previously reported criteria, and the magnetic resonance imaging was assessed independently for the presence of nerve compression by three radiologists. Multivariate stepwise discriminant analysis was used to identify patients with nerve compression on the basis of their pain drawing. RESULTS: Nerve compression was predicted by numbness in the anterolateral aspect of the foot. There was considerable overlap in the appearances of the pain drawings between patients with and without nerve compression, and the pain drawing correctly classified only 58% of patients with nerve compression. CONCLUSIONS: The pain drawing is not a good predictor of nerve compression on magnetic resonance imaging in a group of patients investigated for back and leg pain. It should be interpreted with caution and in light of the full clinical picture.     

Occupational stress and dentistry: theory and practice. Part II. Assessment and control

Since dentistry has been identified as being a stressful profession, dentists, with the help of the members of the dental team, must attempt to achieve a relatively stress-free working environment. In addition to recognising potential occupational stressors it is important for dentists to be able to assess their emotional responses to the practice of dentistry and to arrange their daily working lives in such a way as to reduce occupational stress. This paper examines the means by which dentists may assess occupational stress as well as person-centred and/or situation-centred strategies of coping with and controlling occupational stress in general dental practice.     

Cumulative trauma disorders among apparel manufacturing employees in the southeastern United States

Factors associated with cumulative trauma disorders (CTDs) of the upper extremities were studied retrospectively, using data from three apparel manufacturing plants in the southeastern United States. Reported CTDs among the employees at risk during fiscal years 1991 and 1992 were analyzed focusing on individual and plant variables. Results showed that CTD rates increased from 1991 to 1992 and fluctuated in a cyclical pattern each year, peaking during January, March, and August. Employee age and duration of employment were associated with CTD rates. Employees aged 45 to 49 had higher CTD rates than those in any other age groups. Employees with 1 to 3 years' experience had higher CTD rates than employees with more years of service.     

嵌入式LwIP协议栈的移植与测试研究

为实现将协议栈移植于资源有限的嵌入式系统,论文讨论了LwIP各模块的工作机制,详细设计了LwIP的移植过程,最后设计了一个微型的嵌入式Web服务器,测试LwIP的通行功能,测试结果证明移植成功.     

AE energy analysis on concrete bridge beams

Concrete bridges were built originally to have a cost-effective maintenance free life of 120 years, however both in Europe and the USA this has proved to the totally optimistic. Concrete bridges require major maintenance after twenty to thirty years in order to extend their life The Acoustic Emission technique has been successfully applied to monitor and provide information on the safety of concrete bridges, but the processing of the AE data is often not trivial. This paper proposes a method of AE analysis to assess concrete bridges based on the fact that the AE energy is one of the effective parameters to evaluate the damage of a concrete structure. Results from experiments on concrete beams with different design and loading configurations are presented. It is argued that in some cases the state of damage of bridge beams can be estimated from the AE energy analysis when approximately 45% of the ultimate load has been applied.     

Automated extraction and classification of thunderstorm and non-thunderstorm wind data for extreme-value analysis

Design wind loads are partly based on extreme value analyses of historical wind data, and limitations on the quantity and spatial resolution of wind data pose a significant challenge in such analyses. A promising source of recent wind speed and direction data is the automated surface observing system (ASOS), a network of about 1000 standardized US weather stations. To facilitate the use of ASOS data for structural engineering purposes, procedures and software are presented for (a) extraction of peak gust wind data and thunderstorm observations from archived ASOS reports, (b) classification of wind data as thunderstorm or non-thunderstorm to enable separate analyses, and (c) construction of data sets separated by specified minimum time intervals to ensure statistical independence. The procedures are illustrated using approximately 20-year datasets from three ASOS stations near New York City. It is shown that for these stations thunderstorm wind speeds dominate the extreme wind climate at long return periods. Also presented are estimates based on commingled data sets (i.e., sets containing, indiscriminately, both non-thunderstorm and thunderstorm wind speeds), which until now have been used almost exclusively for extreme wind speed estimates in the US. Analyses at additional stations will be needed to check whether these results are typical for locations with both thunderstorm and non-thunderstorm winds.     

Size-dependent absorption and defect states in CdSe nanocrystals in various multilayer structures

GeS2-CdSe superlattices and composite films are prepared by consecutive thermal evaporation of CdSe and GeS2 in vacuum. CdSe layer thickness varies between 1 and 10 nm, while the thickness of GeS2 layers is either equal (in superlattices) to or 20 times greater (in composite films) than that of CdSe layers. Standard spectral photocurrent measurements and various constant photocurrent methods are used to study optical absorption of all samples. An overall blueshift is observed with decreasing CdSe layer thickness of superlattices. This shift is related to a size-induced increase of the optical band gap of CdSe due to one-dimensional carrier confinement in the continuous nanocrystalline CdSe layers. A number of features are observed in the absorption spectra of composite films containing CdSe nanocrystals with average radii of approximately 2.5 and approximately 3.3 nm. They are discussed in terms of three-dimensional carrier confinement and are considered a manifestation of excited electron states in CdSe nanocrystals embedded in GeS2 thin film matrix. In addition to these discrete features, the exponential dependence of the optical absorption (Urbach) edge indicates a distribution of "valence band" tail states associated with disorder. Transient photoconductivity measurements made on similarly prepared SiOx-CdSe superlattices exhibit a rapid fall in photocurrent by a power law decay over several orders of magnitude of time, which is consistent with multi-pletrapping transport via an extensive distribution of deep defects.     

鄂黄长江大桥主桥施工阶段横向应力研究

通过模拟鄂黄长江公路大桥主桥梁段悬浇施工过程,建立梁段有限元各阶段应力分析模型,探讨不同施工阶段梁段横向应力增长规律,并将几种横梁预应力筋施工方案作分析比较,提出合理的预应力筋张拉次序.     

A study of the vascular and acid-secretory responses of the rat gastric mucosa to histamine

1. The effects of histamine on gastric mucosal blood flow in the presence and absence of gastric acid secretion were studied in the rat. 2. Histamine, in doses greater than those required to stimulate maximal acid secretion, caused a small increase in mucosal blood flow per unit acid output. 3. When acid secretion was inhibited by methyl analogues of prostaglandin E2, histamine reduced arterial blood pressure and gave a dose dependent rise in mucosal blood flow. 4. When acid secretion was inhibited by the histamine H2-receptor antagonists, burimamide and metiamide, histamine still increased mucosal blood flow. 5. The use of H1-receptor antagonists to inhibit the histamine-induced hyperaemia was made difficult by their vasodilator actions. 6. The selective histamine H2-receptor agonist, 4-methyl histamine, had no effect on arterial blood pressure in doses which stimulated acid secretion. The increase in mucosal blood flow which accompanied the stimulation of acid secretion was inhibited by the anti-secretory prostaglandins and H2-receptor antagonists. 7. The selective histamine H1-receptor agonist, 2-pyridyl ethylamine, had no effect on acid output but increased resting mucosal blood flow. 8. These results suggest that histamine H2-receptors, primarily concerned with acid secretion, and H1-receptors concerned with vasodilatation are both present in the rat gastric mucosa.