Automatic Translation of MSC Diagrams into Petri Nets

Development-engineers use in their work languages intended for software or hardware systems design, and test engineers utilize languages effective in verification, analysis of the systems properties and testing. Automatic interfaces between languages of these kinds are necessary in order to avoid ambiguous understanding of specification of models of the systems and inconsistencies in the initial requirements for the systems development. Algorithm of automatic translation of MSC (Message Sequence Chart) diagrams compliant with MSC’2000 standard into Petri Nets is suggested in this paper. Each input MSC diagram is translated into Petri Net (PN), obtained PNs are sequentially composed in order to synthesize a whole system in one final combined PN. The principle of such composition is defined through the basic element of MSC language — conditions. While translating reference table is developed for maintenance of consistent coordination between the input system’s descriptions in MSC language and in PN format. This table is necessary to present the results of analysis and verification on PN in suitable for the development-engineer format of MSC diagrams. The proof of algorithm correctness is based on the use of process algebra ACP. The most significant feature of the given algorithm is the way of handling of conditions. The direction for future work is the development of integral, partially or completely automated technological process, which will allow designing system, testing and verifying its various properties in the one frame.

Automatic Generation of Titles for a Corpus of Questions

This paper describes the followed methodology to automatically generate titles for a corpus of questions that belong to sociological opinion polls. Titles for questions have a twofold function: (1) they are the input of user searches and (2) they inform about the whole contents of the question and possible answer options. Thus, generation of titles can be considered as a case of automatic summarization. However, the fact that summarization had to be performed over very short texts together with the aforementioned quality conditions imposed on new generated titles led the authors to follow knowledge-rich and domain-dependent strategies for summarization, disregarding the more frequent extractive techniques for summarization.

Methodology for Language Analysis and Generation in Closed Domains: Pharmaceutical Leaflet

The best results in the application of computer science systems to automatic translation are obtained in word processing when texts pertain to specific thematic areas, with structures well defined and a concise and limited lexicon. In this article we present a plan of systematic work for the analysis and generation of language applied to the field of pharmaceutical leaflet, a type of document characterized by format rigidity and precision in the use of lexicon. We propose a solution based in the use of one interlingua as language pivot between source and target languages; we are considering Spanish and Arab languages in this case of application.

Eye movement analysis in congenital nystagmus:concise parameters estimation

Along with other diseases that can affect binocular vision, reducing the visual quality of a subject, Congenital Nystagmus (CN) is of peculiar interest. CN is an ocular-motor disorder characterized by involuntary, conjugated ocular oscillations and, while identified more than forty years ago, its pathogenesis is still under investigation. This kind of nystagmus is termed congenital (or infantile) since it could be present at birth or it can arise in the first months of life. The majority of CN patients show a considerable decrease of their visual acuity: image fixation on the retina is disturbed by nystagmus continuous oscillations, mainly horizontal. However, the image of a given target can still be stable during short periods in which eye velocity slows down while the target image is placed onto the fovea (called foveation intervals). To quantify the extent of nystagmus, eye movement recordings are routinely employed, allowing physicians to extract and analyze nystagmus main features such as waveform shape, amplitude and frequency. Use of eye movement recording, opportunely processed, allows computing "estimated visual acuity" predictors, which are analytical functions that estimate expected visual acuity using signal features such as foveation time and foveation position variability. Hence, it is fundamental to develop robust and accurate methods to measure both those parameters in order to obtain reliable values from the predictors. In this chapter the current methods to record eye movements in subjects with congenital nystagmus will be discussed and the present techniques to accurately compute foveation time and eye position will be presented. This study aims to disclose new methodologies in congenital nystagmus eye movements analysis, in order to identify nystagmus cycles and to evaluate foveation time, reducing the influence of repositioning saccades and data noise on the critical parameters of the estimation functions. Use of those functions extends the information acquired with typical visual acuity measurement (e.g., Landolt C test) and could be a support for treatment planning or therapy monitoring. © 2010 by Nova Science Publishers, Inc. All rights reserved.

BPMN Analysis of Public Procurement

ACM Computing Classification System (1998): D.0, D.2.11.

An analysis of police interview discourse and its role(s) in the judicial process

This study analyses the current role of police-suspect interview discourse in the England & Wales criminal justice system, with a focus on its use as evidence. A central premise is that the interview should be viewed not as an isolated and self-contained discursive event, but as one link in a chain of events which together constitute the criminal justice process. It examines: (1) the format changes undergone by interview data after the interview has taken place, and (2) how the other links in the chain – both before and after the interview – affect the interview-room interaction itself. It thus examines the police interview as a multi-format, multi-purpose and multi-audience mode of discourse. An interdisciplinary and multi-method discourse-analytic approach is taken, combining elements of conversation analysis, pragmatics, sociolinguistics and critical discourse analysis. Data from a new corpus of recent police-suspect interviews, collected for this study, are used to illustrate previously unaddressed problems with the current process, mainly in the form of two detailed case studies. Additional data are taken from the case of Dr. Harold Shipman. The analysis reveals several causes for concern, both in aspects of the interaction in the interview room, and in the subsequent treatment of interview material as evidence, especially in the light of s.34 of the Criminal Justice and Public Order Act 1994. The implications of the findings for criminal justice are considered, along with some practical recommendations for improvements. Overall, this study demonstrates the need for increased awareness within the criminal justice system of the many linguistic factors affecting interview evidence.

Automatic Classification of Bulgarian Adjectives on Emotional Semantic Axes

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2014

Analysis and identification of spamming behaviors in Sina Weibo microblog

Spamming has been a widespread problem for social networks. In recent years there is an increasing interest in the analysis of anti-spamming for microblogs, such as Twitter. In this paper we present a systematic research on the analysis of spamming in Sina Weibo platform, which is currently a dominant microblogging service provider in China. Our research objectives are to understand the specific spamming behaviors in Sina Weibo and find approaches to identify and block spammers in Sina Weibo based on spamming behavior classifiers. To start with the analysis of spamming behaviors we devise several effective methods to collect a large set of spammer samples, including uses of proactive honeypots and crawlers, keywords based searching and buying spammer samples directly from online merchants. We processed the database associated with these spammer samples and interestingly we found three representative spamming behaviors: Aggressive advertising, repeated duplicate reposting and aggressive following. We extract various features and compare the behaviors of spammers and legitimate users with regard to these features. It is found that spamming behaviors and normal behaviors have distinct characteristics. Based on these findings we design an automatic online spammer identification system. Through tests with real data it is demonstrated that the system can effectively detect the spamming behaviors and identify spammers in Sina Weibo.

Performance analysis of polymer optical fibre based Fabry-Perot sensor formed by two uniform Bragg gratings

The stress sensitivity of polymer optical fibre (POF) based Fabry-Perot sensors formed by two uniform Bragg gratings with finite dimensions is investigated. POF has received high interest in recent years due to its different material properties compared to its silica counterpart. Biocompatibility, a higher failure strain and the highly elastic nature of POF are some of the main advantages. The much lower Young’s modulus of polymer materials compared to silica offers enhanced stress sensitivity to POF based sensors which renders them great candidates for acoustic wave receivers and any kind of force detection. The main drawback in POF technology is perhaps the high fibre loss. In a lossless fibre the sensitivity of an interferometer is proportional to its cavity length. However, the presence of the attenuation along the optical path can significantly reduce the finesse of the Fabry-Perot interferometer and it can negatively affect its sensitivity at some point. The reflectivity of the two gratings used to form the interferometer can be also reduced as the fibre loss increases. In this work, a numerical model is developed to study the performance of POF based Fabry-Perot sensors formed by two uniform Bragg gratings with finite dimensions. Various optical and physical properties are considered such as grating physical length, grating effective length which indicates the point where the light is effectively reflected, refractive index modulation of the grating, cavity length of the interferometer, attenuation and operating wavelength. Using this model, we are able to identify the regimes in which the PMMA based sensor offer enhanced stress sensitivity compared to silica based one.

Information theory analysis of regenerative channels

In this paper we summarize our recently proposed work on the information theory analysis of regenerative channels. We discuss how the design and the transfer function properties of the regenerator affect the noise statistics and enable Shannon capacities higher than that of the corresponding linear channels (in the absence of regeneration).

Is pregnancy a teachable moment for diet and physical activity behaviour change? An interpretative phenomenological analysis of the experiences of women during their first pregnancy

OBJECTIVES: Pregnancy may provide a 'teachable moment' for positive health behaviour change, as a time when women are both motivated towards health and in regular contact with health care professionals. This study aimed to investigate whether women's experiences of pregnancy indicate that they would be receptive to behaviour change during this period. DESIGN: Qualitative interview study. METHODS: Using interpretative phenomenological analysis, this study details how seven women made decisions about their physical activity and dietary behaviour during their first pregnancy. RESULTS: Two women had required fertility treatment to conceive. Their behaviour was driven by anxiety and a drive to minimize potential risks to the pregnancy. This included detailed information seeking and strict adherence to diet and physical activity recommendations. However, the majority of women described behaviour change as 'automatic', adopting a new lifestyle immediately upon discovering their pregnancy. Diet and physical activity were influenced by what these women perceived to be normal or acceptable during pregnancy (largely based on observations of others) and internal drivers, including bodily signals and a desire to retain some of their pre-pregnancy self-identity. More reasoned assessments regarding benefits for them and their baby were less prevalent and influential. CONCLUSIONS: Findings suggest that for women who conceived relatively easily, diet and physical activity behaviour during pregnancy is primarily based upon a combination of automatic judgements, physical sensations, and perceptions of what pregnant women are supposed to do. Health professionals and other credible sources appear to exert less influence. As such, pregnancy alone may not create a 'teachable moment'. Statement of contribution What is already known on this subject? Significant life events can be cues to action with relation to health behaviour change. However, much of the empirical research in this area has focused on negative health experiences such as receiving a false-positive screening result and hospitalization, and in relation to unequivocally negative behaviours such as smoking. It is often suggested that pregnancy, as a major life event, is a 'teachable moment' (TM) for lifestyle behaviour change due to an increase in motivation towards health and regular contact with health professionals. However, there is limited evidence for the utility of the TM model in predicting or promoting behaviour change. What does this study add? Two groups of women emerged from our study: the women who had experienced difficulties in conceiving and had received fertility treatment, and those who had conceived without intervention. The former group's experience of pregnancy was characterized by a sense of vulnerability and anxiety over sustaining the pregnancy which influenced every choice they made about their diet and physical activity. For the latter group, decisions about diet and physical activity were made immediately upon discovering their pregnancy, based upon a combination of automatic judgements, physical sensations, and perceptions of what is normal or 'good' for pregnancy. Among women with relatively trouble-free conception and pregnancy experiences, the necessary conditions may not be present to create a 'teachable moment'. This is due to a combination of a reliance on non-reflective decision-making, perception of low risk, and little change in affective response or self-concept.

Better queue management in a busy public hospital of a developing country without appointment system::an application using data envelopment analysis

Queuing is a key efficiency criterion in any service industry, including Healthcare. Almost all queue management studies are dedicated to improving an existing Appointment System. In developing countries such as Pakistan, there are no Appointment Systems for outpatients, resulting in excessive wait times. Additionally, excessive overloading, limited resources and cumbersome procedures lead to over-whelming queues. Despite numerous Healthcare applications, Data Envelopment Analysis (DEA) has not been applied for queue assessment. The current study aims to extend DEA modelling and demonstrate its usefulness by evaluating the queue system of a busy public hospital in a developing country, Pakistan, where all outpatients are walk-in; along with construction of a dynamic framework dedicated towards the implementation of the model. The inadequate allocation of doctors/personnel was observed as the most critical issue for long queues. Hence, the Queuing-DEA model has been developed such that it determines the ‘required’ number of doctors/personnel. The results indicated that given extensive wait times or length of queue, or both, led to high target values for doctors/personnel. Hence, this crucial information allows the administrators to ensure optimal staff utilization and controlling the queue pre-emptively, minimizing wait times. The dynamic framework constructed, specifically targets practical implementation of the Queuing-DEA model in resource-poor public hospitals of developing countries such as Pakistan; to continuously monitor rapidly changing queue situation and display latest required personnel. Consequently, the wait times of subsequent patients can be minimized, along with dynamic staff scheduling in the absence of appointments. This dynamic framework has been designed in Excel, requiring minimal training and work for users and automatic update features, with complex technical aspects running in the background. The proposed model and the dynamic framework has the potential to be applied in similar public hospitals, even in other developing countries, where appointment systems for outpatients are non-existent.

Analysis and intuition in strategic decision making. The case of California

Many management scholars believe that the process used to make strategic decisions affects the quality of those decisions. However several authors have observed a lack of research on the strategic decision making process. Empirical tests of factors that have been hypothesized to affect the way strategic decisions are made notably are absent. (Fredrickson, 1985) This paper reports the results of a study that attempts to assess the effects of decision making circumstances focusing mainly on the approaches applied and the managerial skills and capabilities the decision makers built on during concrete strategic decision making procedures. The study was conducted in California between September 2005 and June 2006 and it was sponsored by a Fulbright Research Scholarship Grant.

E-learning Skill and Use in EU Countries – A Statistical Analysis

The article investigates the division between member states of the European Union considering the aspect of their level of information and communication technology (ICT) development focusing on e-learning. With the help of discriminant analysis the countries are categorized into groups based on their ICT maturity and e-learning literacy level of development. Making a comparison with a benchmarking tool, the ITU (International Telecommunication Union)’s ICT Development Index (IDI) the results are confirmed partly correct. The article tries to find economical explanations for the re-grouping of the countries ranking. Finally the author examines the reliability of Hungary’s ranking results and the factors which may affect this divergence from the real picture.

Can the Paks-2 Nuclear Power Plant operate without State aid? A business economic analysis

Many studies have investigated the prospects for returns, the budgetary and financing background and energy management effects of the new nuclear power plant units to be built at Paks. This document seeks to complement previous economics-based studies by adding a new criterion. The key question in our analysis is whether the power plant company will be capable of independent operations in an economic sense - or will its survival depend on further additional aid by the owner, i.e. via the central budget, after its commissioning? We shall examine from a corporate perspective in what ways the already disclosed financing terms and conditions may affect the everyday operations of the power plant company.