Tools for efficient analysis of concurrent software systems

The ever increasing use of distributed computing as a method of providing added computing power and reliability has sparked interest in methods to model and analyze concurrent hardware/ software systems. Efficient automated analysis tools are needed to aid designers of such systems. The Distributed Systems Project at UCI has been developing a suite of tools (dubbed the P-NUT system) which supports efficient analysis of models of concurrent software. This paper presents the principles which guide the development of P-NUT tools and discusses the development of one of the tools: the Reachability Graph Builder (RGB). The P-NUT approach to tool development has resulted in the production of a highly efficient tool for constructing reachability graphs. The careful design of data structures and associated algorithms has significantly enlarged the class of models which can be analyzed

Strainrange partitioning: A tool for characterizing high temperature low cycle fatigue

The basic concepts of strain range partitioning are reviewed and the areas requiring for expanded verification are detailed. A suggested cooperative evaluation program involves the verification of the four basic life relationships (for PP, CC, PC, and CP type inelastic strain ranges) for a variety of materials that are of direct interest to the participating organizations

Use of strainrange partitioning to predict high temperature low-cycle fatigue life

The fundamental concepts of the strainrange partitioning approach to high temperature, low low-cycle fatigue are reviewed. Procedures are presented by which the partitioned strainrange versus life relationships for any material can be generated. Laboratory tests are suggested for further verifying the ability of the method of strainrange partitioning to predict life

Ductility normalized-strainrange partitioning life relations for creep-fatigue life predictions

Procedures based on Strainrange Partitioning (SRP) are presented for estimating the effects of environment and other influences on the high temperature, low cycle, creep fatigue resistance of alloys. It is proposed that the plastic and creep, ductilities determined from conventional tensile and creep rupture tests conducted in the environment of interest be used in a set of ductility normalized equations for making a first order approximation of the four SRP inelastic strainrange life relations. Different levels of sophistication in the application of the procedures are presented by means of illustrative examples with several high temperature alloys. Predictions of cyclic lives generally agree with observed lives within factors of three

Motion of condensates in non-Markovian zero-range dynamics

Condensation transition in a non-Markovian zero-range process is studied in one and higher dimensions. In the mean-field approximation, corresponding to infinite range hopping, the model exhibits condensation with a stationary condensate, as in the Markovian case, but with a modified phase diagram. In the case of nearest-neighbor hopping, the condensate is found to drift by a "slinky" motion from one site to the next. The mechanism of the drift is explored numerically in detail. A modified model with nearest-neighbor hopping which allows exact calculation of the steady state is introduced. The steady state of this model is found to be a product measure, and the condensate is stationary.Comment: 31 pages, 9 figure

Summarizing Speech Without Text Using Hidden Markov Models

We present a method for summarizing speech documents without using any type of transcript/text in a Hidden Markov Model framework. The hidden variables or states in the model represent whether a sentence is to be included in a summary or not, and the acoustic/prosodic features are the observation vectors. The model predicts the optimal sequence of segments that best summarize the document. We evaluate our method by comparing the predicted summary with one generated by a human summarizer. Our results indicate that we can generate 'good' summaries even when using only acoustic/prosodic information, which points toward the possibility of text-independent summarization for spoken documents

Soundbite Detection in Broadcast News Domain

In this paper, we present results of a study designed to identify SOUNDBITES in Broadcast News. We describe a Conditional Random Field-based model for the detection of these included speech segments uttered by individuals who are interviewed or who are the subject of a news story. Our goal is to identify direct quotations in spoken corpora which can be directly attributable to particular individuals, as well as to associate these soundbites with their speakers. We frame soundbite detection as a binary classification problem in which each turn is categorized either as a soundbite or not. We use lexical, acoustic/prosodic and structural features on a turn level to train a CRF. We performed a 10-fold cross validation experiment in which we obtained an accuracy of 67.4 % and an F-measure of 0.566 which is 20.9 % and 38.6 % higher than a chance baseline. Index Terms: soundbite detection, speaker roles, speech summarization, information extraction

Social care and changes in occupational accidents and diseases - the situation in Eastern Europe in general and for skin diseases in particular

<p>Abstract</p> <p>Background</p> <p>As a consequence of the disintegration of the state systems and the expansion of the European Union, there have been marked changes in the political and social affiliations of the countries of Eastern Europe. Of the 22 countries in Northeastern, Centraleastern, Southeastern and Eastern Europe, 12 are now members and 10 are "new" neighbours of the European Union. The accident insurance systems and changes in occupational accidents and occupational diseases in eastern European countries are described. Changes since EU and visible differences from non-EU countries are analysed. Special emphasis is given to occupational skin diseases.</p> <p>Methods</p> <p>The available data from the European Union (MISSOC and MISSCEEC Studies on the Social Protection Systems), the database "Social Security Worldwide" (SSW) of the International Social Security Association (ISSA), the International Labour Office Database (LABORSTA), the World Health Organization (WHO) and the annual statistical reports of the different countries were analysed with respect to changes in occupational accidents and occupational diseases. To find missing data, 128 ministries and authorities in the 22 countries in eastern Europe were researched and 165 persons contacted.</p> <p>Results</p> <p>The social insurance systems were very different in the different countries and some were better established than others. Moreover, not all data were available. For these reasons, detailed comparison was not always possible. The occupational accident rates are decreasing in more than half the countries. In contrast, the fatal accident rates have increased in half the countries. The number of newly registered occupational diseases is decreasing in more than half the countries. The rates for occupational skin diseases in 2006 were particularly high in the Czech Republic, Poland and Slovakia. In half the countries (four out of eight), the number of occupational skin diseases is decreasing. A reliable analysis of any correlation between EU membership and the rates of occupational accidents and occupational diseases was not possible, because of missing current data.</p> <p>Conclusion</p> <p>Comparison of the social insurance systems and changes in occupational accidents and occupational diseases in 22 countries in eastern Europe makes it clear that further effort is needed to develop registration and notification procedures. Only then will it be possible to analyse changes, to map successes and problems and perhaps to initiate necessary improvements. Standardisation of the documents must also be improved, to allow international comparisons between the systems.</p

Intonational Phrases for Speech Summarization

Extractive speech summarization approaches select relevant segments of spoken documents and concatenate them to generate a summary. The extraction unit chosen, whether a sentence, syntactic constituent, or other segment, has a significant impact on the overall quality and fluency of the summary. Even though sentences tend to be the choice of most the extractive speech summarizers, in this paper, we present the results of an empirical study indicating that intonational phrases are better units of extraction for summarization. Our study compared four types of input segmentation: sentences, two pause-based segmentation, and intonational phrases (IP). We found that IPs are the best candidates for extractive summarization, improving over the second highest-performing approach, sentence-based summarization, by 8.2% F-measure