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.

Extended Algorithm for Translation of MSC-diagrams into Petri Nets

The article presents an algorithm for translation the system, described by MSC document into Petri Net modulo strong bisimulation. Obtained net can be later used for determining various systems' properties. Example of correction error in original system with using if described algorithm presented.

On some Properties of Boolean Functions and Their Binary Decision Diagrams

Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.

Automated Equation Formulation for Causal Loop Diagrams

The annotation of Business Dynamics models with parameters and equations, to simulate the system under study and further evaluate its simulation output, typically involves a lot of manual work. In this paper we present an approach for automated equation formulation of a given Causal Loop Diagram (CLD) and a set of associated time series with the help of neural network evolution (NEvo). NEvo enables the automated retrieval of surrogate equations for each quantity in the given CLD, hence it produces a fully annotated CLD that can be used for later simulations to predict future KPI development. In the end of the paper, we provide a detailed evaluation of NEvo on a business use-case to demonstrate its single step prediction capabilities.

Studies on terpenes solubility in water and deep eutectic solvents diagrams for biomedical applications

The main objectives of this work are the measurement of terpenes solubility in water at different temperatures, and the formulation of Deep Eutectic Solvents based on choline chloride and polycarboxylic acids, that can be used as hydrotropes of aqueous solutions in terpenes, replacing conventional organic solvents. In this work a new experimental methodology was implemented, using dialysis membranes, for the measurement of terpenes solubility in water. Concerning the deep eutectic diagrams formulation, the determination of the melting points of the eutectic mixtures was performed using a visual method. The method used for determining solubilities was previously validated using a well-studied model compound, toluene. The experimental results of terpenes solubilities in water resulted in a very satisfactory coefficients of variation, always below 6%. The experimental solubility data were analysed and the temperature dependence is also studied in a thermodynamic perspective. The compound with the largest solubility dependence with the temperature is geraniol, while thymol presents the smallest. The phase diagrams of DES formulated were quite satisfactory, presenting always eutectic points below to 373.15 K. For some compositions, the systems composed by choline chloride and lactic, or malonic, or myristic acid were liquid at room temperature. In the case of monocarboxylic acids, eutectic is formed at 60% mol of the acid, to dicarboxylic acid is formed at 50% mol of the acid and for tricarboxylic acid these point is formed at 30% mol of the acid. In the future, it will be important to study the effect of DES as hydrotropes in aqueous solutions of terpenes. Furthermore, it would be interesting to study more terpenes in order to assess the effect of the size of the alkyl chain and the structures of the compounds.

Chatter avoidance in the milling of thin floors with bull-nose end mills: Model and stability diagrams

The milling of thin parts is a high added value operation where the machinist has to face the chatter problem. The study of the stability of these operations is a complex task due to the changing modal parameters as the part loses mass during the machining and the complex shape of the tools that are used. The present work proposes a methodology for chatter avoidance in the milling of flexible thin floors with a bull-nose end mill. First, a stability model for the milling of compliant systems in the tool axis direction with bull-nose end mills is presented. The contribution is the averaging method used to be able to use a linear model to predict the stability of the operation. Then, the procedure for the calculation of stability diagrams for the milling of thin floors is presented. The method is based on the estimation of the modal parameters of the part and the corresponding stability lobes during the machining. As in thin floor milling the depth of cut is already defined by the floor thickness previous to milling, the use of stability diagrams that relate the tool position along the tool-path with the spindle speed is proposed. Hence, the sequence of spindle speeds that the tool must have during the milling can be selected. Finally, this methodology has been validated by means of experimental tests.

The manual of chess: containing the elementary principles of the game; illustrated with numerous diagrams, recent games and original problems.

Mode of access: Internet.

The Crystal-t Algorithm: A New Approach To Calculate The Sle Of Lipidic Mixtures Presenting Solid Solutions.

Lipidic mixtures present a particular phase change profile highly affected by their unique crystalline structure. However, classical solid-liquid equilibrium (SLE) thermodynamic modeling approaches, which assume the solid phase to be a pure component, sometimes fail in the correct description of the phase behavior. In addition, their inability increases with the complexity of the system. To overcome some of these problems, this study describes a new procedure to depict the SLE of fatty binary mixtures presenting solid solutions, namely the Crystal-T algorithm. Considering the non-ideality of both liquid and solid phases, this algorithm is aimed at the determination of the temperature in which the first and last crystal of the mixture melts. The evaluation is focused on experimental data measured and reported in this work for systems composed of triacylglycerols and fatty alcohols. The liquidus and solidus lines of the SLE phase diagrams were described by using excess Gibbs energy based equations, and the group contribution UNIFAC model for the calculation of the activity coefficients of both liquid and solid phases. Very low deviations of theoretical and experimental data evidenced the strength of the algorithm, contributing to the enlargement of the scope of the SLE modeling.

Diagramas de Ellingham e de Van't Hoff: algumas considerações

The main subject of this article is to show the parallelism betwen the Ellingham and Van't Hoff diagrams. The first one is a graphic representation of the changes in the standard Gibbs free energy (deltarGtheta) as a function of T and was introduced by Ellingham in 1944, in order to study metallurgic processes involving oxides and sulphides. On the other hand, the Van't Hoff diagram is a representation of the function ln K versus (1/T). The equivalence between both diagrams is easily demonstrated, making simple mathematical manipulations. In order to show the parallelism between both diagrams, they are presented briefly and two examples are discussed. The comparison of the both diagrams surely will be helpful to students and teachers in their learning and teaching activities, and will certainly enrich important aspects of chemical thermodynamics.

Acidentes de trânsito no Brasil: um atlas de sua distribuição

O Atlas foi concebido para colocar à disposição do usuário os dados disponíveis sobre acidentes de trânsito no Brasil, já trabalhados sob forma de indicadores e apresentados predominantemente como mapas, gráficos, quadros e tabelas. Neste artigo, são apresentados os principais resultados obtidos, bem como, algumas conclusões, considerações, ponderações e possíveis explicações quanto aos problemas e questões relacionadas a este importante agravo à saúde

New constraints on the chemical evolution of the solar neighbourhood and Galactic disc(s) Improved astrophysical parameters for the Geneva-Copenhagen Survey

We present a re-analysis of the Geneva-Copenhagen survey, which benefits from the infrared flux method to improve the accuracy of the derived stellar effective temperatures and uses the latter to build a consistent and improved metallicity scale. Metallicities are calibrated on high-resolution spectroscopy and checked against four open clusters and a moving group, showing excellent consistency. The new temperature and metallicity scales provide a better match to theoretical isochrones, which are used for a Bayesian analysis of stellar ages. With respect to previous analyses, our stars are on average 100 K hotter and 0.1 dex more metal rich, which shift the peak of the metallicity distribution function around the solar value. From Stromgren photometry we are able to derive for the first time a proxy for [alpha/Fe] abundances, which enables us to perform a tentative dissection of the chemical thin and thick disc. We find evidence for the latter being composed of an old, mildly but systematically alpha-enhanced population that extends to super solar metallicities, in agreement with spectroscopic studies. Our revision offers the largest existing kinematically unbiased sample of the solar neighbourhood that contains full information on kinematics, metallicities, and ages and thus provides better constraints on the physical processes relevant in the build-up of the Milky Way disc, enabling a better understanding of the Sun in a Galactic context.

Discovery of VVV CL001 A low-mass globular cluster next to UKS 1 in the direction of the Galactic bulge

Context. It is not known how many globular clusters may remain undetected towards the Galactic bulge. Aims. One of the aims of the VISTA Variables in the Via Lactea (VVV) Survey is to accurately measure the physical parameters of the known globular clusters in the inner regions of the Milky Way and search for new ones, hidden in regions of large extinction. Methods. From deep near-infrared images, we derive deep JHK(S)-band photometry of a region surrounding the known globular cluster UKS 1 and reveal a new low-mass globular cluster candidate that we name VVV CL001. Results. We use the horizontal-branch red clump to measure E(B-V) similar to 2.2 mag, (m - M)(0) = 16.01 mag, and D = 15.9 kpc for the globular cluster UKS 1. On the basis of near-infrared colour-magnitude diagrams, we also find that VVV CL001 has E(B-V) similar to 2.0, and that it is at least as metal-poor as UKS 1, although its distance remains uncertain. Conclusions. Our finding confirms the previous projection that the central region of the Milky Way harbours more globular clusters. VVV CL001 and UKS 1 are good candidates for a physical cluster binary, but follow-up observations are needed to decide if they are located at the same distance and have similar radial velocities.

A NEW DIAGNOSTIC OF THE RADIAL DENSITY STRUCTURE OF Be DISKS

We analyze the intrinsic polarization of two classical Be stars in the process of losing their circumstellar disks via a Be to normal B star transition originally reported by Wisniewski et al. During each of five polarimetric outbursts which interrupt these disk-loss events, we find that the ratio of the polarization across the Balmer jump (BJ+/BJ-) versus the V-band polarization traces a distinct loop structure as a function of time. Since the polarization change across the Balmer jump is a tracer of the innermost disk density whereas the V-band polarization is a tracer of the total scattering mass of the disk, we suggest that such correlated loop structures in Balmer jump-V-band polarization diagrams (BJV diagrams) provide a unique diagnostic of the radial distribution of mass within Be disks. We use the three-dimensional Monte Carlo radiation transfer code HDUST to reproduce the observed clockwise loops simply by turning ""on/off"" the mass decretion from the disk. We speculate that counterclockwise loop structures we observe in BJV diagrams might be caused by the mass decretion rate changing between subsequent ""on/off"" sequences. Applying this new diagnostic to a larger sample of Be disk systems will provide insight into the time-dependent nature of each system's stellar decretion rate.

VLT-FLAMES analysis of 8 giants in the bulge metal-poor globular cluster NGC 6522: oldest cluster in the Galaxy? Analysis of 8 giants in NGC 6522

Context. NGC 6522 has been the first metal-poor globular cluster identified in the bulge by Baade. Despite its importance, very few high-resolution abundance analyses of stars in this cluster are available. The bulge metal-poor clusters may be important tracers of the early chemical enrichment of the Galaxy. Aims. The main purpose of this study is to determine metallicity and elemental ratios in individual stars of NGC 6522. Methods. High-resolution spectra of 8 giants of the bulge's globular cluster NGC 6522 were obtained at the 8m VLT UT2-Kueyen telescope with the FLAMES+GIRAFFE spectrograph. Multiband V, I, J, K(s) photometry was used to derive effective temperatures as reference values. Spectroscopic parameters were derived from Fe I and Fe II lines, and adopted for the derivation of abundance ratios. Results. The present analysis provides a metallicity [Fe/H] = -1.0 +/- 0.2. The alpha-elements oxygen, magnesium and silicon show [O/Fe] = +0.4 +/- 0.3, [Mg/Fe] = [Si/Fe] = +0.25 +/- 0.15, whereas calcium and titanium show shallower ratios of [Ca/Fe] = [Ti/Fe] = +0.15 +/- 0.15. The neutron-capture r-process element europium appears to be overabundant by [Eu/Fe] = +0.4 +/- 0.4. The neutron-capture s-elements lanthanum and barium are enhanced by [La/Fe] = +0.35 +/- 0.2 and [Ba/Fe] = +0.5 +/- 0.5. The large internal errors, indicating the large star-to-star variation in the barium and europium abundances, are also discussed. Conclusions. The moderate metallicity combined to a blue horizontal branch (BHB), are characteristics similar to those of HP 1 and NGC 6558, pointing to a population of very old globular clusters in the Galactic bulge. Also, the abundance ratios in NGC 6522 resemble those in HP 1 and NGC 6558. The ultimate conclusion is that the bulge is old, and went through an early prompt chemical enrichment.