Properties of Distributed Time Arc Petri Nets

In recent work we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. This formalism enables to model e.g. hardware architectures like GALS. We give a formal definition of process semantics for our model and investigate several properties of local versus global timing: expressiveness, reachability and coverability

Identifying Unclear Questions in Community Question Answering Websites

Thousands of complex natural language questions are submitted to community question answering websites on a daily basis, rendering them as one of the most important information sources these days. However, oftentimes submitted questions are unclear and cannot be answered without further clarification questions by expert community members. This study is the first to investigate the complex task of classifying a question as clear or unclear, i.e., if it requires further clarification. We construct a novel dataset and propose a classification approach that is based on the notion of similar questions. This approach is compared to state-of-the-art text classification baselines. Our main finding is that the similar questions approach is a viable alternative that can be used as a stepping stone towards the development of supportive user interfaces for question formulation.Comment: Proceedings of the 41th European Conference on Information Retrieval (ECIR '19), 201

Backward-facing step measurements at low Reynolds number, Re(sub h)=5000

An experimental study of the flow over a backward-facing step at low Reynolds number was performed for the purpose of validating a direct numerical simulation (DNS) which was performed by the Stanford/NASA Center for Turbulence Research. Previous experimental data on back step flows were conducted at Reynolds numbers and/or expansion ratios which were significantly different from that of the DNS. The geometry of the experiment and the simulation were duplicated precisely, in an effort to perform a rigorous validation of the DNS. The Reynolds number used in the DNS was Re(sub h)=5100 based on step height, h. This was the maximum possible Reynolds number that could be economically simulated. The boundary layer thickness, d, was approximately 1.0 h in the simulation and the expansion ratio was 1.2. The Reynolds number based on the momentum thickness, Re(sub theta), upstream of the step was 610. All of these parameters were matched experimentally. Experimental results are presented in the form of tables, graphs and a floppy disk (for easy access to the data). An LDV instrument was used to measure mean velocity components and three Reynolds stresses components. In addition, surface pressure and skin friction coefficients were measured. LDV measurements were acquired in a measuring domain which included the recirculating flow region

Message Latency Characterization of a Distributed Live, Virtual, Constructive Simulation Environment

A distributed test environment incorporating Live, Virtual, Constructive, (LVC) concepts was developed to execute standalone and integrated simulations and flight-tests that support unmanned aircraft research for NASAs Unmanned Aircraft Systems (UAS) in the National Airspace System (NAS) Project. The LVC components form the core infrastructure that supports simulation of UAS operations by integrating live and virtual aircraft in a realistic air traffic environment. This LVC infrastructure enables efficient testing by leveraging the use of existing distributed assets. The LVC concepts used for the UAS in the NAS project include live aircraft, flight simulators, and virtual air traffic control assets operating at facilities distributed across multiple NASA Centers. With a distributed network, however, there is a concern that message latency could impact the realism of a simulation and its data. The latencies associated with sending data among these distributed facilities were, therefore, measured to ensure that they fall within acceptable parameters. Several live and virtual test assets were integrated into the LVC infrastructure including NASA Armstrongs Ikhana MQ-9 unmanned aircraft, NASA Glenns S3-B manned aircraft, and the B747 flight simulator at NASA Ames. Average latencies from 100 to 150 milliseconds were observed between the LVC System running at NASA Ames and each of the participating NASA Centers under a light-to-moderate (fifty aircraft) traffic sample

Electrochemical and wetting behavior of as-cast Sn-Zn-Sb lead free solders alloys

Ternary alloys SnZn12Sb8, SnZn10Sb10, SnZn8Sb12, SnZn6Sb14, and SnZn2Sb18 were prepared by induction melting. Electrochemical behavior and wetting (contact angle) of prepared as-cast samples were investigated using open circuit potential measurement and sessile drop technique. The results of electrochemical investigation show that open-circuit potential, few seconds after immersing of electrodes, shifts toward more negative values, indicating a relatively smaller rate of dissolution during the spontaneous dissolution process under the curentless conditions. After that period, the values of potential tend to be constant with time. It was found that all investigated alloys have poor wettability on copper substrate and the contact angle values decrease with increasing superheat temperature

A First Look at Rotation in Inactive Late-Type M Dwarfs

We have examined the relationship between rotation and activity in 14 late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M. Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey. Most were selected to be inactive at a spectral type where strong H-alpha emission is quite common. We used the cross-correlation technique to quantify the rotational broadening; six of the stars in our sample have vsini > 3.5 km/s. Our most significant and perplexing result is that three of these stars do not exhibit H-alpha emission, despite rotating at velocities where previous work has observed strong levels of magnetic field and stellar activity. Our results suggest that rotation and activity in late-type M dwarfs may not always be linked, and open several additional possibilities including a rotationally-dependent activity threshold, or a possible dependence on stellar parameters of the Rossby number at which magnetic/activity "saturation" takes place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap

Formal Model Engineering for Embedded Systems Using Real-Time Maude

This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can then use the code generation facilities of the tools for the modeling languages to automatically synthesize Real-Time Maude verification models from design models, enabling a formal model engineering process that combines the convenience of modeling using an informal but intuitive modeling language with formal verification. We give a brief overview six fairly different modeling formalisms for which Real-Time Maude has provided the formal semantics and (possibly) formal analysis. These models include behavioral subsets of the avionics modeling standard AADL, Ptolemy II discrete-event models, two EMF-based timed model transformation systems, and a modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Mechanical Properties of UV Cured Mixture of Linear and Hyperbranched Urethane Acrylates

Ispitivane su smeše uretan akrilata na bazi linearnog poliestra i dva uretan akrilata, sa istim stepenom akrilovanja, na bazi alifatskih hiperrazgranatih poliestara (HRP). Linearni poliestar sintetisan je od neopentil glikola i adipinske kiseline. HRP treće generacije dobijen je od 2,2- bis(hidroksimetil)propionske kiseline i di-trimetilol propana. Modifikacija 60 % završnih OH grupa HRP-a izvedena je masnim kiselinama sojinog ulja ili izononskom kiselinom. Linearni uretan akrilat (LUA) i hiperrazgranati uretan akrilat (HUA) na bazi HRP modifikovanog masnim kiselinama sojinog ulja i HUA na bazi HRP modifikovanog izononskom kiselinom dobijeni su reakcijom određenog poliestra i izocijanatnog adukta, prethodno dobijenog reakcijom ekvimolarnih količina izoforon diizocijanata i 2-hidroksietil akrilata. Procena mešljivosti smeša LUA i HUA izvršena je na osnovu viskozimetrijskih merenja koristeći metodu koju je ustanovio Chee. Ovako pripremljenim smešama dodato je 20 mas. % heksandioldiakrilata i 4 mas. % fotoinicijatora, Irgacure 184, i umrežene su pod dejstvom UV zračenja. Umreženi uzorci ispitivani su u ogledima dinamičkog uvijanja i jednoosnog istezanja. Mehanička svojstva umreženih uzoraka zavise od mešljivosti komponenata smeše i od njenog sastava.The mixtures of urethane acrylate resin based on linear polyester and two urethane acrylates, with the same degree of acrylation, prepared from partially modified aliphatic hyperbranched polyesters (HBP), were examined. Linear polyester was obtained from neopentil glycol and adipic acid. HBP of the third generation was synthesized from 2,2-bis(hydroxymethyl)propionic acid and ditrimethylol propane. The modification of 60 % OH end-groups of HBP was carried out with soybean fatty acids or isononanoic acid. Linear urethane acrylate (LUA) and hyperbranched urethane acrylate (HUA) based on the HBP modified with soy been faty acid and HUA based on the HBP modified with isononanoic acid were obtained by reaction of appropriate polyester and NCO adduct, previously obtained by reaction of equimolar amount of isophorone diisocyanate and 2-hydroxyethyl acrylate. The miscibility of the prepared mixtures of LUA and HUAs was estimated according to viscosity measurements using the approach developed by Chee. UV curable formulation was obtained by adding hexanediol diacrylate (20 wt. %) and photoinitiator, Irgacure 184, (4 wt. %) to the prepared LUA and HUA mixtures. The UV cured samples were examined by dynamic torsion and uniaxial tension. It was obtained that mechanical properties of the UV cured samples depend on miscibility of mixture’s constituents and on its composition

Pediatric and adult-onset HCM mutations in the myosin motor domain have similar properties

Hypertrophic Cardiomyopathy (HCM) is a common genetic disorder that typically involves left ventricular hypertrophy and abnormal cardiac contractility. Mutations in β-MyHC are a major cause of HCM and are typically characterized with cardiac hypercontractility, but the specific mechanistic changes to myosin function that lead to the disease remain incompletely understood. Predicting the severity of any single β-MyHC mutation is hindered by a lack of detailed evaluation at the molecular level. In addition, since the cardiomyopathy can take 20 - 40 years to develop, the severity of the mutations must be somewhat subtle. We hypothesized that mutations which result in childhood cardiomyopathies may show a more severe indication of molecular changes in myosin and be therefore easier to identify. In this work, we performed steady-state and transient kinetics analysis of the myosin carrying one of eight miss sense mutations in the motor domain. Five of these have been identified in childhood cardiomyopathies. The derived parameters were used to model the ATP driven cross bridge. Contrary to our hypothesis, the results show no clear differences between early and late onset HCM mutations. Despite the lack of distinction between early and late onset HCM, the predicted A·M·D occupancy for [A] = 3 Kapp along with the closely related Duty Ratio (DR) and the measured ATPases all change in parallel (in both sign and degree of change) compared to the WT values. Six of the eight HCM mutations are clearly distinct from a set of DCM mutations previously characterized