Informal and formal requirements specification languages: bridgingthe gap

The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal and formal languages, respectively, two approaches are presented for integrating the two. The first approach uses the SA model of a system to guide the analyst's understanding of the system and the development of the VDM specifications. The second approach proposes a rule-based method for generating VDM specifications from a set of corresponding SA specifications. The two approaches are illustrated through a simplified payroll system case. The issues that emerge from the use of the two approaches are reported     

Computer aided decision support system for mitral valve diagnosis and classification using depthwise separable convolution neural network

Multimedia Tools and Applications - The significance of mitral valve (MV) treatment is increasing recently because of an aging population. The computer vision-based acquisition and quantification...     

Long Duration Persistent Photocurrent in 3 nm Thin Doped Indium Oxide for Integrated Light Sensing and In-Sensor Neuromorphic Computation

Miniaturization and energy consumption by computational systems remain major challenges to address. Optoelectronics based synaptic and light sensing provide an exciting platform for neuromorphic processing and vision applications offering several advantages. It is highly desirable to achieve single-element image sensors that allow reception of information and execution of in-memory computing processes while maintaining memory for much longer durations without the need for frequent electrical or optical rehearsals. In this work, ultra-thin (<3 nm) doped indium oxide (In₂O₃) layers are engineered to demonstrate a monolithic two-terminal ultraviolet (UV) sensing and processing system with long optical state retention operating at 50 mV. This endows features of several conductance states within the persistent photocurrent window that are harnessed to show learning capabilities and significantly reduce the number of rehearsals. The atomically thin sheets are implemented as a focal plane array (FPA) for UV spectrum based proof-of-concept vision system capable of pattern recognition and memorization required for imaging and detection applications. This integrated light sensing and memory system is deployed to illustrate capabilities for real-time, in-sensor memorization, and recognition tasks. This study provides an important template to engineer miniaturized and low operating voltage neuromorphic platforms across the light spectrum based on application demand.     

An Efficient Security Framework for Trusted and Secure Routing in MANET: A Comprehensive Solution

Wireless Personal Communications - Secure routing of data in MANET (Mobile Ad-hoc Network) is an important concern to save the network from various attacks such as blackhole attack, wormhole...     

Characterization and properties of metallic iron nanoparticles: spectroscopy, electrochemistry, and kinetics

There are reports that nano-sized zero-valent iron (Fe0) exhibits greater reactivity than micro-sized particles of Fe0, and it has been suggested that the higher reactivity of nano-Fe0 may impart advantages for groundwater remediation or other environmental applications. However, most of these reports are preliminary in that they leave a hostof potentiallysignificant(and often challenging) material or process variables either uncontrolled or unresolved. In an effort to better understand the reactivity of nano-Fe0, we have used a variety of complementary techniques to characterize two widely studied nano-Fe0 preparations: one synthesized by reduction of goethite with heat and H2 (Fe(H2)) and the other by reductive precipitation with borohydride (Fe(BH)). Fe(H2) is a two-phase material consisting of 40 nm alpha-Fe0 (made up of crystals approximately the size of the particles) and Fe3O4 particles of similar size or larger containing reduced sulfur; whereas Fe(BH) is mostly 20-80 nm metallic Fe particles (aggregates of <1.5 nm grains) with an oxide shell/coating that is high in oxidized boron. The FeBH particles further aggregate into chains. Both materials exhibit corrosion potentials that are more negative than nano-sized Fe2O3, Fe3O4, micro-sized Fe0, or a solid Fe0 disk, which is consistent with their rapid reduction of oxygen, benzoquinone, and carbon tetrachloride. Benzoquinone-which presumably probes inner-sphere surface reactions-reacts more rapidly with FeBH than Fe(H2), whereas carbon tetrachloride reacts at similar rates with FeBH and Fe(H2), presumably by outer-sphere electron transfer. Both types of nano-Fe0 react more rapidlythan micro-sized Fe0 based on mass-normalized rate constants, but surface area-normalized rate constants do not show a significant nano-size effect. The distribution of products from reduction of carbon tetrachloride is more favorable with Fe(H2), which produces less chloroform than reaction with Fe(BH).     

Separation of nickel from copper in ammoniacal/ammonium carbonate solution using ACORGA M5640 by selective stripping

Separation of nickel from copper in ammoniacal/ammonium carbonate solution using ACORGA M5640 by selective stripping was carried out. The influence of equilibration time, equilibrium pH and extractant concentration on the extraction of both the metals was studied. It was found that the copper extraction equilibrium was reached in a shorter time than the nickel extraction equilibrium. Nickel extraction decreases above an equilibrium pH of 9.0, while the extraction of copper remains unaffected by the changes in the equilibrium pH range of 7–10. Co-extraction, ammonia scrubbing and the selective stripping of copper and nickel were performed for a solution containing 3 g/l each of copper and nickel and 60 g/l ammonium carbonate. The extraction and the percentage stripping of copper and nickel were almost quantitative.     

An approach to a unified theory of grammar and L forms

We present one approach within which the dissimilar developments of the grammar form and the L form theories can be unified. Our results also shed light on the inherent differences of parallel and sequential rewriting.     

Multiple mapping conditioning of velocity in turbulent jet flames

Multiple mapping conditioning (MMC) has emerged as a new approach to model turbulent reacting flows. This study revises the standard MMC closure for velocity in turbulent jet flows from linearity in the reference space to linearity in the composition space. This modeling amendment ensures that the standard velocity model in conditional moment closure studies can now be used for MMC computation as well. A simplified model for the velocity-dependence of MMC drift coefficients is derived without loss of generality and is implemented for the revised velocity closure. Modeling results have been corroborated against the Direct Numerical Simulation database of a spatially evolving, planar turbulent jet flame. The revised model shows marked improvement over standard MMC closure in predicting velocity statistics close to the nozzle.     

Bacterial enterotoxins

Thirty dry adult bony specimens and eight embalmed cadavers were used to report on the morphological data of the ischial tuberosity and to determine the most optimal technique for ischial tuberosity screw placement for open reduction and internal fixation of posterior acetabular fractures. The average width, height, and depth of the ischial tuberosity were 27.0 mm, 32.2 mm, and 32.4 mm, respectively. The average angles between the posterior and medial aspects and between the posterior and lateral aspects of the ischial tuberosities were 79.5 degrees, and 111.5 degrees, respectively. The risk to the internal pudendal neurovascular bundle increases with either a more medially placed screw or a laterally placed screw that is angled medially. The tendinous origin of the hamstrings becomes quite substantial (7-10 mm thick) at a point 2 cm distal to the inferior acetabular margin. The exposure of the ischial tuberosity should therefore be restricted to this level. The entry point of the screws should be 5 mm or 10 mm medial to the lateral margin of the ischial tuberosity, and the screws should be directed 35-40 degrees, 45-50 degrees, and 50-55 degrees caudally at the level of the inferior acetabular margin and 1 cm and 2 cm below it, respectively, to obtain the most favorable bony purchase.