Scenario-based specifications such as message sequence charts (MSC) offer an intuitive and visual way to describe design requirements. MSC-graphs allow convenient expression of multiple scenarios, and can be viewed as an early model of the system that can be subjected to a variety of analyses. Problems such as LTL model checking are undecidable for MSC-graphs in general, but are known to be dec...

[1] To better inform the subsurface scientist on the expected performance of parallel simulators, this work investigates performance of the reactive multiphase flow and multicomponent biogeochemical transport code PFLOTRAN as it is applied to several realistic modeling scenarios run on the Jaguar supercomputer. After a brief introduction to the code's parallel layout and code design, PFLOTRAN's...

The Holevo bound is a keystone in many applications of quantum information theory. We propose " maximal Holevo quantity for weak measurements" as the generalization of the maximal Holevo quantity which is defined by the optimal projective measurements. The scenarios that weak measurements is necessary are that only the weak measurements can be performed because for example the system is macrosc...

Fully non-inductive discharge having relaxed current profile and high bootstrap current fraction fBS=0.5 has been realized in the highp ELMy H-mode discharge with weak magnetic-shear satisfying q95=5.8, qmin=2.1, and q(0)=2.4, where qmin and q(0) are the safety factor q at the minimum and the plasma center, respectively. The rest of the plasma current is externally driven by neutral beams (NBs)...

Introduction In recent years methods based on radio frequency waves have been used for detecting breast cancer. Using theses waves leads to better results in early detection of breast cancer comparing with conventional mammography which has been used during several years. Materials and Methods In this paper, a new method is introduced for detection of backscattered signals which are received by...

C/N0 Estimation: Design Criteria and Reliability Analysis under GNSS Weak Signal Scenarios Shashank Satyanarayana, Daniele Borio and Gérard Lachapelle [email protected], [email protected], [email protected] Position Location And Navigation (PLAN) Group, Department of Geomatics Engineering, University of Calgary, 2500 University Dr NW Calgary, Alberta T2N 1N4 Canada. Abstract This pap...

Choice functions on tournaments always select the maximal element (Condorcet winner), provided they exist, but this property does not hold in the more general case of weak tournaments. In this paper we analyze the relationship between the usual choice functions and the set of maximal elements in weak tournaments. We introduce choice functions selecting maximal elements, whenever they exist. Mor...

The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...

In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and preserves the feasibility state only with respect to a subset of the constraints. Therefore, breaking weak symmetries with standard techniques would lead to a loss of solutions. This article presents also a modelling technique whic...

In this paper, we classify all generalized quadrangles weakly embedded of degree 2 in projective space. More exactly, given a (possibly infinite) generalized quadrangle Γ = (P,L, I ) and a map π from P (respectively L) to the set of points (respectively lines) of a projective space PG(V ), V a vector space over some skew field (not necessarily finite-dimensional), such that: (i) π is injective ...