materials exhibit significant creep behavior at temperatures above 40% of their absolute melt temperature. lead, tin and their alloys are such materials which experience significant creep behavior in room temperature. one of the most important applications of the tin-lead alloys is soldering electronic circuits in electronic industry, and for lead are isolation walls and wet batteries. room tem...

Within the Rayleigh-Helmholtz model of active Brownian particles, activity is due to a nonlinear velocity-dependent force. In the presence of external trapping potential or constant force, the steady state of the system breaks detailed balance producing a net entropy. Using molecular dynamics simulations, we obtain the probability distributions of entropy production in these steady states. The ...

A novel simulation-based semi-formal verification method for sequential circuits described at the register-transfer level is presented. The method consists of an iterative loop where coverage analysis guides input pattern generation. An observability-based coverage metric is used to identify portions of the circuit that are not adequately exercised during simulation. A heuristic algorithm then ...

We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where coverage analysis guides input pattern generation. An observability-based coverage metric is used to identify portions of the circuit not exercised by simulation. A heuristic algorithm then selects probability distributions...

The coefficient of determination (CoD) has been used to infer Boolean networks (BNs) from steady-state data, in particular, to estimate the constituent BNs for a probabilistic BN. The advantage of the CoD method over design methods that emphasise graph topology or attractor structure is that the CoD produces a network based on strong predictive relationships between target genes and their predi...

In this paper, we model DCCP congestion control mechanism and RED as independent discrete-time systems using fluid-flow approximation. By interconnecting DCCP connections and RED routers, we model the entire network as a feedback system called DCCP/RED. We then analyze the steady state performance and the transient state performance of DCCP/RED. Specifically, we derive the packet transmission r...

We study the change in the steady state probabilities as the controller of a Markov Decision Process (MDP) shifts from one deterministic policy to another by gradually changing the selected action in a single state. We prove that the steady state probability for each state-action pair is a hyperbolic Möbius transformation. In particular, this implies that the change is monotone. The same holds ...

Interference graphs are used for performance analysis of multiprocessor interconnection networks. In order to model blocked transmissions, nodes can have three states: idle, active or blocked. The resulting steady state probability distribution has a non-product form. Macro states are introduced to calculate performance measures, and the corresponding macro state probability distribution is app...