The phase diagram of hydrogen is one of the most important challenges in high-pressure physics and astrophysics. Especially, the melting of dense hydrogen is complicated by dimer dissociation, metallization and nuclear quantum effect of protons, which together lead to a cold melting of dense hydrogen when above 500 GPa. Nonetheless, the variation of the melting curve at higher pressures is virt...

This paper presents an approach to generating tests for adequately exercising interaction between aspects and classes based on aspect-oriented UML models. In this approach, an aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. Since methods of classes and advices of aspects are both specified by sequence diagrams, the advices on a given method can be weave...

A software organization of a new circuit simulator, SAMOC (Switchedcapacitor Analysis of MOs Circuit) is presented in this paper. SAMOC employs extremely simplified, piecewise linear, resistive models to represent the semiconductor devices such as MOS transistors and ideal diodes in the simulated circuits. SAMOC also supports ideal switches and ideal capacitors for analyzing switched-capacitor ...

Passive quasi-one-dimensional random media are known to exhibit one of the three regimes of transport – ballistic, diffusive or localized – depending on the system size. In contrast, in non-conservative systems, the physical parameter space also includes the gain/absorption length scale. Here, by studying the relationships between the transport mean free path, the localization length, and the g...

Increasingly, object-oriented technology, specifically the Unified Modeling Language (UML), is being used to develop critical embedded systems. There have been several efforts to translate UML models into formal specification languages, thus enabling the models to be analyzed by model checkers. Unfortunately, the complexity and volume of the analysis results often prevents developers from fully...

When binary decision diagrams are formed from uniformly distributed Monte Carlo data for a large number of variables, the complexity of the decision diagrams exhibits a predictable relationship to the number of variables and minterms. In the present work, a neural network model has been used to analyze the pattern of shortest path length for larger number of Monte Carlo data points. The neural ...

Information about the distribution of path-lengths in a Binary Decision Diagrams (BDDs) representing Boolean functions is useful in determining the speed of hardware and software implementations of the circuit represented by these Boolean functions. This study presents expressions produced from an empirical analysis of a representative collection of Boolean functions. The Average Path Length (A...

Tree based methods in S or R are extremely useful and popular. For simple trees and memorable variables it is easy to predict the outcome for a new case using only a standard decision tree diagram. However, for large trees or trees where the variable description is complex the decision tree diagram is often not enough. This article describes pinktoe: a tool that converts S tree objects into web...

Bases are exhibited for Kn, Kp,q, and Qd, and it is shown how each cycle of the various graphs can be built as a hierarchical ordered sum in which all of the partial sums are (simple) cycles with each cycle from either the basis or one of the hierarchically constructed cycle-sets meeting the partial sum of its predecessors in a nontrivial path. A property that holds for this “connected sum” of ...

Current work presents a set of fault models allowing high coverage for sequential cores in Systems-on-aChip. We propose a novel approach combining a hierarchical fault model for functional blocks, a functional fault model for multiplexers and a mixed hierarchical-functional fault model for comparison operators, respectively. The fault models are integrated into a fast high-level decision diagra...