Science.gov (United States)

Symplectic integrators designed for simulating soft matter at constant temperature and constant pressure (or constant surface tension) are presented. In addition to the well-known merits of symplectic integrators, such as long time stability, these methods allow the estimation of thermal heat production/absorption and thus entropy differences through a simple function of the time scaling factor ?. The relative entropy estimation around crystal-liquid phase transition is given for systems with soft core repulsive potential.

CERN Document Server

Modern Formal Methods and Applications

International Nuclear Information System (INIS)

One of the hallmarks of linear coupling is the resonant exchange of oscillation amplitude between the horizontal and vertical planes when the difference between the unperturbed tunes is close to an integer. The standard derivation of this phenomenon (known as the difference resonance) can be found, for example, in the classic papers of Guignard [1, 2]. One starts with an uncoupled lattice and adds a linear perturbation that couples the two planes. The equations of motion are expressed in hamiltonian form. As the difference between the unperturbed tunes approaches an integer, one finds that the perturbing terms in the hamiltonian can be divided into terms that oscillate slowly and ones that oscillate rapidly. The rapidly oscillating terms are discarded or transformed to higher order with an appropriate canonical transformation. The resulting approximate hamiltonian gives equations of motion that clearly exhibit the exchange of oscillation amplitude between the two planes. If, instead of ...

UK PubMed Central (United Kingdom)

The product-operator formalism is the most commonly used tool for describing and designing multidimensional NMR experiments. In spite of its relative simplicity and sound theoretical underpinnings,...Full Text Available

International Nuclear Information System (INIS)

Despite the widely recognized usefulness of the AAPM TG-43 brachytherapy dose calculation formalism, a straightforward application of this approach to describe the dose distribution about intravascular line sources as proposed by TG-60 may be difficult or even impossible, especially when these line sources emit low-energy photons or beta particles. The causes of these limitations are investigated and illustrated by means of some numerical examples. In order to solve the observed limitations an adapted formalism is proposed, intended specifically for the description of the dose rate distribution about line sources but conceptually similar to the TG-43/TG-60 formalism. Several examples are presented to illustrate the usefulness of the proposed line source dose calculation formalism.

Science.gov (United States)

Page 1. Towards Formalizing the Java Security Architecture of JDK 1.2 Lora L. Kassab1 and Steven J. Greenwald2 ... 4 Java Access Model ...

International Nuclear Information System (INIS)

The systems for which the algebra of gauge transformations in the lagrangian formalism is closed, are considered. The hamiltonian BRST charge and the BRST-invariant hamiltonian are found explicitly. Their expansions in powers of the ghost variables contain, in general, an infinite number of terms. (orig.).

Energy Technology Data Exchange (ETDEWEB)

We develop a systematic framework for studying target space duality at the classical level. We show that target space duality between manifolds M and M-tilde arises because of the existence of a very special symplectic manifold. This manifold locally looks like MxM-tilde and admits a double fibration. We analyze the local geometric requirements necessary for target space duality and prove that both manifolds must admit flat orthogonal connections. We show how abelian duality, nonabelian duality and Poisson-Lie duality are all special cases of a more general framework. As an example we exhibit new (nonlinear) dualities in the case M=M-tilde=R{sup n}.

International Nuclear Information System (INIS)

We describe in detail the space of the two Kaehler parameters of the Calabi-Yau manifold P_4"("1","1","1","6","9")[D. R. Morrison, 1993] by exploiting mirror symmetry. The large complex structure limit of the mirror, which corresponds to the classical large radius limit, is found by studying the monodromy of the periods about the discriminant locus, the boundary of the moduli space corresponding to singular Calabi-Yau manifolds. A symplectic basis of periods is found and the action of the Sp(6, Z) generators of the modular group is determined. From the mirror map we compute the instanton expansion of the Yukawa couplings and the generalized N=2 index, arriving at the numbers of instantons of genus zero and genus one of each bidegree. We find that these numbers can be negative, even in genus zero. We also investigate an SL(2, Z) symmetry that acts on a boundary of the moduli space. ((orig.)).

CERN Document Server

The ubiquitous presence of mobile communication devices and the continuous development of mo- bile data applications, which results in high level of mobile devices' activity and exchanged data, often transparent to the user, makes privacy preservation an important feature of mobile telephony systems. We present a formal analysis of the UMTS Authentication and Key Agreement protocol, using the applied pi-calculus and the ProVerif tool. We formally verify the model with respect to privacy properties. We show a linkability attack which makes it possible, for individuals with low-cost equipment, to trace UMTS subscribers. The attack exploits information leaked by poorly designed error messages.

UK PubMed Central (United Kingdom)

Purpose:Formal presentations are a common requirement for students in health professional programs, and evaluations are often viewed as subjective. To date, literature describing...Full Text Available

Science.gov (United States)

... Topics includes: Formal methods in information engineering, Electronic documents and digital libraries Autonomous robots in embeded systems ...

CERN Document Server

It is well known that if one integrates a Schur function indexed by a partition $\\lambda$ over the symplectic (resp. orthogonal) group, the integral vanishes unless all parts of $\\lambda$ have even multiplicity (resp. all parts of $\\lambda$ are even). In a recent paper of Rains and Vazirani, Macdonald polynomial generalizations of these identities and several others were developed and proved using Hecke algebra techniques. However at $q=0$ (the Hall-Littlewood level), these approaches do not work, although one can obtain the results by taking the appropriate limit. In this paper, we develop a direct approach for dealing with this special case. This technique allows us to prove some identities that were not amenable to the Hecke algebra approach, as well as to explicitly control the nonzero values. Moreover, we are able to generalize some of the identities by introducing extra parameters. This leads us to a finite-dimensional analog of a recent result of Warnaar, ...

CERN Document Server

The billiard motion inside an ellipsoid $Q \\subset \\Rset^{n+1}$ is completely integrable. Its phase space is a symplectic manifold of dimension $2n$, which is mostly foliated with Liouville tori of dimension $n$. The motion on each Liouville torus becomes just a parallel translation with some frequency $\\omega$ that varies with the torus. Besides, any billiard trajectory inside $Q$ is tangent to $n$ caustics $Q_{\\lambda_1},...,Q_{\\lambda_n}$, so the caustic parameters $\\lambda=(\\lambda_1,...,\\lambda_n)$ are integrals of the billiard map. The frequency map $\\lambda \\mapsto \\omega$ is a key tool to understand the structure of periodic billiard trajectories. In principle, it is well-defined only for nonsingular values of the caustic parameters. We present four conjectures, fully supported by numerical experiments. The last one gives rise to some lower bounds on the periods. These bounds only depend on the type of the caustics. We describe the geometric ...

Science.gov (United States)

Examines the potential of the World Bank scheme, outlined in its 1980 Education Sector Policy Paper, for helping Bangladesh achieve universal basic education. Considers such issues as formal vs. nonformal schooling, costs, and teacher training. Part of a theme issue on the World Bank Paper and Third World educational development. (SJL)

International Nuclear Information System (INIS)

We present a development of the use of the AAPM TG-43 dose formalism applied to "1"3"7Cs gynecological implant sources. The geometry factor, radial dose function, and anisotropy function of a "1"3"7Cs source modeled after the Nuclear Associates 67-809 series stainless steel jacketed tube source were derived following the AAPM TG-43 formalism. The dose rate distribution through the center of the source using the AAPM TG-43 dose formalism is calculated and compared with the calculations obtained using the Sievert summation and Monte Carlo simulation. The three methods resulted in an agreement within less than 5%, or an isodose rate line agreement within 2 mm. We demonstrate that the AAPM TG-43 formalism can be applied to "1"3"7Cs linear sources and is capable of serving as a "1"3"7Cs dose calculation algorithm that can be used for treatment planning purpose.

British Library Electronic Table of Contents (United Kingdom)

The Jewish philosopher and educator Martin Buber (1878-1965) is considered one of the twentieth century's greatest contributors to the philosophy of religion and is also recognized as the pre-eminent scholar of Hasidism. He has also attracted considerable attention as a philosopher of education. However, most commentaries on this aspect of his work have focussed on the implications of his philosophy for formal education and for the education of the child. Given that much of Buber's philosophy is based on dialogue, on community and on mutuality, it is puzzling that relatively little has been written on the implications of Buber's thought for the theory and practice of non-formal adult education. The article provides a discussion of the philosophy underpinning this aspect of Martin Buber's l...

British Library Electronic Table of Contents (United Kingdom)

Although a large number of different organisations offer various forest education programmes within Germany, specific information (i.e., sectoral and programme content and provision at a state level) is lacking. This study used a survey of all 61 forest education organisations (43 respondents) in the state of North Rhine-Westphalia, Germany, to evaluate its forest education sector, with a specific focus on the organisations, demand for its services, forest educational programmes and framework conditions. Input from expert interviews was also used to develop recommendations. The study indicates that, especially with children as the main target group, many non-formal programmes are offered to support the formal environmental education sector and to promote leisure activities in the forest. Y...

International Nuclear Information System (INIS)

We present a new relativistic bound-state formalism for two interacting Fermi-Dirac particles. The kernel of the integral equation for the bound-state system is generated by summing Feynman scattering amplitudes and multiplying by a bound-state amplitude. The method is illustrated through calculations of the hyperfine and fine splittings of positronium up to order #alpha#"5. Our calculations of the one-loop contributions are carried out in the explicitly covariant Feynman gauge. We also present new results for the hyperfine and fine splittings in positronium to order #alpha#"5 for arbitrary principal quantum number n, which are easily obtained owing to the virtue of conceptual and calculational simplicity of our formalism. In addition, we present the one-loop renormalization scheme in our formalism. (author).

Science.gov (United States)

... NE Mall Room B-607, EPA Headquarters, 401 M ... formally adopted and initiated a joint strategy for ... CLI kick-off Partner and Task Force meeting. ...

Energy Technology Data Exchange (ETDEWEB)

It is shown that within the framework of the Kershaw stochastic model generalized by the author to the relativistic case a Feynman-type process may be constructed which can formally be understood as a diffusion phenomenon in Euclidean space. This makes it possible to introduce a real probability measure in the scheme of quantum mechanics proposed by Feynman.

Science.gov (United States)

ful application of the network technique, GERT, to the analysis of a terminal ... GERT Networks, Mr. David Gallagher-The Use of GERT in Studying Queueing Problems, ... Smith, R. L., "Stochastic Analysis of Personnel Movement in Formal ...

UK PubMed Central (United Kingdom)

PurposeTo study informal skill transfer via staff networks as a complement to formal training among afterschool childcare providers implementing a health promotion...Full Text Available

UK PubMed Central (United Kingdom)

BackgroundSeveral diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which cases...Full Text Available

Energy Technology Data Exchange (ETDEWEB)

It is urged that the lesson of gauge invariance in quantum electrodynamics implies the irrelevance of `Schwinger term` difficulties in current algebra. The divergence equations of Veltman form the basis of a gauge-variation formalism in which these questions are avoided. (author). 9 refs.

Energy Technology Data Exchange (ETDEWEB)

The authors extend the Fermilab formalism for heavy quarks to develop an {Omicron}(a{sup 2}) improved relativistic action. They discuss their construction of the action, including the identification of redundant operators and the calculation of the improvement coefficients.

CERN Document Server

What makes teamwork tick?. Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules!. Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams often consist of autonomous software agents, various types of robots and human beings. Teamwork in Multi-agent Systems: A Formal Approach explains teamwork rules in terms of agents' attitudes and their complex interplay. It provides the first comprehe

CERN Document Server

It is proved the mathematical theorem, that the wave function describes the statistical ensemble of particles, but not a single particle. Supposition, that the wave function describes a single particle appears to be incompatible with formalism of quantum mechanics. One discusses the reasons, why this very simple statement has not been proved mathematically for many years. The reason lies in application of the trial and error methods for construction of the quantum mechanics. Application of this method as the main tool of investigation during eighty years generated "fitting mentality" of all microwold researchers.

International Nuclear Information System (INIS)

We describe in a comprehensive fashion the Los Alamos second-generation system for passive and active neutron assays of drum-size containers. The developmental history of this 7-year project is presented with emphasis on the pulsed active neutron technique (differential dieaway), which has achieved milligram levels of assay sensitivity for both plutonium and uranium wastes. We describe in detail the matrix effects for both passive and active neutron assays. We present in a thorough fashion our novel approach to achieving comprehensive corrections for these matrix effects using measurements made during the assays. We develop a matrix correction formalism based on separate neutron absorption and moderator indices determined from these measurements. These are presented as a series of analytic functions fitted to the data. Absolute calibrations and calibration standards are discussed, as is a practical means (pink drum measurements) of achieving routine calibration ...

International Nuclear Information System (INIS)

One of the central issues in radiation protection consists in determining what weight should be given to individual doses in relation to collective or aggregated doses. A mathematical framework is introduced in which such assessments can be made precisely in terms of comparisons between alternative distributions of individual doses. In addition to evaluation principles that are well known from radiation protection, a series of principles that are derived from parallel discussions in moral philosophy and welfare economics is investigated. A battery of formal properties is then used to investigate the evaluative principles. The results indicate that one of the new principles, bilinear prioritarianism, may be preferable to current practices, since it satisfies efficiency-related properties better without sacrificing other desirable properties.

British Library Electronic Table of Contents (United Kingdom)

Abstract Four stratigraphic sections in the southern part of the Columbia Basin preserve a sequence of aeolian and non-aeolian sediments ranging in age from 943 to >470 14C ka based on accelerator mass spectrometry radiocarbon dating of fossil molluscs, geochemistry of Cascade Mountain-sourced tephra and association with formally recognized pedostratigraphic units (the Washtucna and Old Maid Coulee soils). Study sections are interpreted as representing concurrent deposition of loess and distal Missoula Flood rhythmites in valleys tributary to main drainages backflooded during the Missoula Floods, and formation of carbonate and iron-rich soils. Sediments belong to the formally recognized L-1 and L-2 loess units established for the Palouse loess, which were deposited in the Columbia Basin su...

Energy Technology Data Exchange (ETDEWEB)

The Weyl-Wigner prescription for quantization on Euclidean phase spaces makes essential use of Fourier duality. The extension of this property to more general phase spaces requires the use of Kac algebras, which provide the necessary background for the implementation of Fourier duality on general locally groups. Kac algebras - and the duality they incorporate are consequently examined as candidates for a general quantization framework extending the usual formalism. Using as a test case the simplest non-trivial phase space, the half-plane, it is shown how the structures present in the complete-plane case must be modified. Traces, for example, must be replaced by their noncommutative generalizations - weights - and the correspondence embodied in the Weyl-Wigner formalism is no more complete. Provided the underlying algebraic structure is suitably adapted to each case, Fourier duality is shown to be indeed a very powerful guide to the quantization ...

CERN Document Server

Graphical Business Process Modelling Languages (BPML) like Role Activity Diagrams (RAD) provide ease and flexibility for modelling business behaviour. However, these languages show limited applicability in terms of enactment over distributed systems paradigms like Service Oriented Architecture (SOA) based grid computing. This paper investigates RAD modelling of a Scientific Publishing Process (SPP) for Digital Libraries (DL) and tries to determine the suitability of Pi-Calculus based formal approaches to enact SOA based grid computing. In order to achieve this purpose, the Pi-Calculus based formal transformation from a RAD model of SPP for DL draws attention towards a number of challenging issues including issues that require particular design considerations for appropriate enactment in a SOA based grid system.

Energy Technology Data Exchange (ETDEWEB)

The authors calculate the effective potential for the bosonic sector of eleven-dimensional supergravity on the background (Minkowski) x (sphere). No tachyons are found, and it is shown that the antisymmetric tensor field does not threaten graviton dominance when the Freund-Rubin parameter (m) vanishes. The general case (m not = O) seems untractable in the present formalism.

Energy Technology Data Exchange (ETDEWEB)

We apply the framework developed in Target space duality I: general theory. We show that both nonabelian duality and Poisson-Lie duality are examples of the general theory. We propose how the formalism leads to a systematic study of duality by studying few scenarios that lead to open questions in the theory of Lie algebras. We present evidence that there are probably new examples of irreducible target space duality.

International Nuclear Information System (INIS)

We consider gauge theories in a string field theory-inspired formalism. The constructed algebraic operations lead, in particular, to homotopy algebras of the related Batalin-Vilkovisky theories. We discuss an invariant description of the gauge fixing procedure and special algebraic features of gauge theories coupled to matter fields.

Energy Technology Data Exchange (ETDEWEB)

In calculating the strengths of depolarizing resonances it may be convenient to reformulate the equations of spin motion in a coordinate system based on the actual trajectory of the particle, as introduced by Kondratenko, rather than the conventional one based on a reference orbit. It is shown that resonance strengths calculated by the conventional and the revised formalisms are identical. Resonances induced by radiofrequency dipoles or solenoids are also treated; with rf dipoles it is essential to consider not only the direct effect of the dipole but also the contribution from oscillations induced by it.

Energy Technology Data Exchange (ETDEWEB)

This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, as well as proceedings of conferences and workshops. The entries in the compilation are indexed for access by title and abstract, contractor report number, personal author, subject, NRC organization, contractor, and licensed facility.

Science.gov (United States)

We introduce a discrete multiplicative process as a generic model of competition. Players with different abilities successively join the game and compete for finite resources. Emergence of dominant players and evolutionary development occur as a phase transition. The competitive dynamics underlying this transition is understood from a formal analogy to statistical mechanics. The theory is applicable to bacterial competition, predicting novel population dynamics near criticality.

CERN Document Server

In this paper, we show how to calculate analytically the one-loop helicity amplitudes for the process $q\\bar{q} rightarrow t\\bar{t}$ induced by KK gluon, using the spinor-helicity formalism. A minimal set of Feynman rules which are uniquely fixed by gauge invariance and the color representation of the KK gluon are derived and used in the calculation. Our results can be applied to a variety of models containing a massive color octet vector boson.

Wastenet

... Longer residence times attain finer grinds while shorter residence times attain higher outputs. Accordingly, the ATTOMILL can be set up to achieve optimum efficiency for individ ual applications. VENDOR INFORMATION: Peterson Machine Inc. www.microgrind.com/peterson/tech.htm Peterson Machine Inc. (formally Peterson North) was created under D. Peterson Machine & Fabrication Ltd. in 1994 after two years of successful ...

International Nuclear Information System (INIS)

The W_3"2 algebra is deduced by the Marsden-Ratiu reduction in the bi-Hamiltonian framework proposed by Magri et al and compared with the usual derivations via the Drinfeld-Sokolov formalism. It is observed that the choice of A in the first Poisson tensor must be different for W_3"2 algebra. (orig.).

International Nuclear Information System (INIS)

In recent years there has been a renewed interest in the treatment of quantum mechanics in terms of joint distribution functions, i.e. functions of momentum and position coordinates p and q. The author considers j.d.f. in the sense of classical probability theory of a stochastic variable. The j.d.f. is then interpreted as the probability that the variables p and q have certain values, the variables being considered as a property possessed by the object system. This formalism is used to provide a unified description of bradyons and tachyons. (Auth.).

Energy Technology Data Exchange (ETDEWEB)

We investigate theories of gravitation, in which spacetime is non-Riemannian and the metric g/sub munu/ is nonsymmetric, for ghosts and tachyons, using a spin-projection operator formalism. Ghosts are removed not by gauge invariance but by a Lagrange multiplier W/sub ..mu../, which occurs due to the breaking of projective invariance in the theory. Unified theories based on a Lagrangian containing a term lambdag/sup munu/g/sub / are proved to contain ghosts or tachyons.

International Nuclear Information System (INIS)

We have used an extension of the BFFT formalism presented by Banerjee et al. in order to gauge the nonlinear sigma model by means of a non-Abelian algebra. we have considered the supersymmetric and the usual cases. We have shown that the supersymmetric case is only consistently transformed in a first-class theory by means of a non-Abelian algebra. The usual BFFT treatment leads to a nonlocal theory. (author)

Energy Technology Data Exchange (ETDEWEB)

Straightforward, though formal, arguments are presented to establish that the effective action and potential are gauge covariant at the symmetry-breaking point. We establish that in certain classes of gauge, covariant and axial gauges for Abelian theories and axial gauges for non-Abelian theories, the Nielsen equation for the effective potential can be put into closed form. Scalar electrodynamics is presented in detail in covariant and axial gauges.

International Nuclear Information System (INIS)

By revisiting previous definitions, we show that one can define an energy current operator that satisfies the continuity equation for a general Hamiltonian in one dimension. This expression is useful for studying electronic, phononic and photonic energy flow in linear systems and in hybrid structures. The definition allows us to deduce the necessary conditions that result in current conservation for general-statistics systems. The discrete form of the Fourier's law of heat conduction naturally emerges in the present definition.

International Nuclear Information System (INIS)

The projector augmented-wave (PAW) method was developed by Bloechl as a method to accurately and efficiently calculate the electronic structure of materials within the framework of density-functional theory. It contains the numerical advantages of pseudopotential calculations while retaining the physics of all-electron calculations, including the correct nodal behavior of the valence-electron wave functions and the ability to include upper core states in addition to valence states in the self-consistent iterations. It uses many of the same ideas developed by Vanderbilt in his open-quotes soft pseudopotentialclose quotes formalism and in earlier work by Bloechl in his open-quotes generalized separable potentials,close quotes and has been successfully demonstrated for several interesting materials. We have developed a version of the PAW formalism for general use in structural and dynamical studies of materials. In the present paper, we ...

International Nuclear Information System (INIS)

Calculations of the Compton profiles for the transition metals Ta and W are performed, using electron wave functions obtained from self-consistent augmented plane wave (APW) band structure calculations within the local density formalism of Hedin-Lundqvist. Relativistic effects are included except for the spin-orbit interaction. The observed structures of the Compton profiles in these metals are understood in terms of the topology of their Fermi surfaces. (author).

Energy Technology Data Exchange (ETDEWEB)

Using the manifestly causal gluon propagator in the light-cone gauge, we evaluate two one-loop Feynman integrals which appear in the computation of the three-gluon vertex correction in the two-component formalism of the Yang-Mills gauge fields. We conclude that they both are finite for {omega} -> 2, where {omega} is the dimensional regulator. They belong to a class of finite one-loop light-cone integrals. (author). 7 refs.

CERN Document Server

MHV diagrams give an efficient Feynman diagram-like formalism for calculating gauge theory scattering amplitudes on momentum space. Although they arise as the Feynman diagrams from an action on twistor space in an axial gauge, the main ingredients were previously expressed only in momentum space and momentum twistor space. Here we show how the formalism can be elegantly derived and expressed entirely in twistor space. This brings out the underlying superconformal invariance of the framework (up to the choice of a reference twistor used to define the axial gauge) and makes the twistor support transparent. Our treatment is largely independent of signature, although we focus on Lorentz signature. Starting from the N=4 super-Yang-Mills twistor action, we obtain the propagator for the anti-holomorphic Dolbeault-operator as a delta function imposing collinear support with the reference twistor defining the axial gauge. The MHV vertices are also ...

Energy Technology Data Exchange (ETDEWEB)

The fundamental tasks of the Oak Ridge Y-12 Plant maintenance operations are planning, scheduling, executing, postmaintenance testing, completing the maintenance job, and supporting these activities with administrative and technical assistance. The Department of Energy (DOE) ``Maintenance Management Program`` guidelines require that we use a graded approach for applying formality and documentation to these maintenance operations. The most-rigorous controls should be placed on maintaining the most-vital systems, structures, and components (SSCs). We must understand risk assessments in order to evaluate which SSCs are most vital. The product of this assessment process is a well-developed understanding of where to apply the most rigor, formality, and documentation. Once we have determined where, we must determine how to apply maintenance so as to mitigate risk. Fundamental to determining how to apply it is an understanding of the main difference ...

Science.gov (United States)

All African Nations belong to the category of third world underdeveloped countries of the world. UNDP Human Development Index uses factors like per capita income, health of the people, and educational attainment to classify countries. Adult literacy and gross enrolment ratios are indicators of education status. This paper uses Nigeria, a typical African country, to illustrate the problems posed by adult illiteracy to national development. Statistical data are used to show the low levels of adult literacy with disparities between males and females; urban and rural areas, and between different zones of Nigeria and the continent. Enrolments and completion rate in adult literacy programmes are presented. Nigeria's policy on adult and non formal education as reflected in the Nigerian constitution (1999), National Policy on Education (2004 edition), Decree 17 on the National Commission for Mass Literacy, Adult and Non formal education (1990), and the ...

British Library Electronic Table of Contents (United Kingdom)

A standing challenge for the science of mind is to account for the datum that every mind faces in the most immediate - that is, unmediated - fashion: its phenomenal experience. The complementary tasks of explaining what it means for a system to give rise to experience and what constitutes the content of experience (qualia) in computational terms are particularly challenging, given the multiple realizability of computation. In this paper, we identify a set of conditions that a computational theory must satisfy for it to constitute not just a sufficient but a necessary, and therefore naturalistic and intrinsic, explanation of qualia. We show that a common assumption behind many neurocomputational theories of the mind, according to which mind states can be formalized solely in terms of instan...

Energy Technology Data Exchange (ETDEWEB)

Vibrational dephasing in condensed phases is studied from both a theoretical and experimental standpoint. A theory is presented which describes the dynamics of motional or exchange processes in weakly perturbed systems. This general formalism, which has been previously used to describe motional narrowing in magnetic resonance, is applied to vibrational spectroscopy. The model treats the case of a high frequency vibration anharmonically coupled to a low-frequency vibration. Intermolecular exchange of low frequency vibrational quanta results in a temperature dependent broadening and frequency shift of the high frequency vibration. Analysis of experimental data by this model yields both the exchange rates and the anharmonic couplings.

Energy Technology Data Exchange (ETDEWEB)

This paper presents a decision approach, and associated computer software tools, for prioritizing and selecting among technology development activities. The approach elicits and then summarizes technology development preferences from stakeholders, and then integrates preferences into a set of funding recommendations. By formalizing the technology review process, the decision approach builds consensus and clarifies the basis for final budget decisions. The software development was conducted jointly by Pacific Northwest Laboratory and Decisions Science Associates, Incorporated. The Underground Storage Tank Integrated Demonstration funded the task; however, the approach should also be valuable to the US Department of Energy Office of Technology Development, the Office of Waste Management, and the Office of Environmental Restoration.

CERN Document Server

Let (X,O) be a real analytic isolated surface singularity at the origin o of a real analytic manifold M equipped with a real analytic metric g. Given a real analytic function f:(M,O) --> (R,0) singular at O, we prove that the gradient trajectories for the metric g|(X,O) of the restriction f|X escaping from or ending up at the origin O do not oscillate. Such a trajectory is thus a sub-pfaffian set. Moreover, in each connected component of X\\O where the restricted gradient does not vanish, there is always a trajectory accumulating at O and admitting a formal asymptotic expansion at O

Energy Technology Data Exchange (ETDEWEB)

The author discusses in detail the following topics: Compensation for domestic nuclear damage and for transfrontier nuclear damage - rule of formal equality of parties which belongs to the basic rule of civil law considering the position of domestic and foreign victims of a grave accident-juridical consequences of the preponderant role played by the state in the promotion, development and supervision of the nuclear industry-rationale for applying the concept of global limitation of liability in the law on nuclear liability and compensation - financial consequences of uncompensated nuclear damage, borne by the victims directly affected or spread over the whole community of the affected state? (HP)

International Nuclear Information System (INIS)

A method based on path integral formulation is given for obtaining exact solution of the s states for the Bargmann potentialV(r)=1ka"2#beta#(#beta#-1)e"-"2"r"/"a1-e"-"r"/"a"2-Ae"-"r"/"a1-e"-"r"/"a,where #beta# and k are parameters. The exact energy spectrum and the normalised s-state eigenfunctions are obtained from the poles of the Green function and their residues, respectively. The results are compared with their of Schrodinger formalism, special cases are also discussed.

CERN Document Server

An effective formalism for quantum constrained systems is presented which allows manageable derivations of solutions and observables, including a treatment of physical reality conditions without requiring full knowledge of the physical inner product. Instead of a state equation from a constraint operator, an infinite system of constraint functions on the quantum phase space of expectation values and moments of states is used. The examples of linear constraints as well as the free non-relativistic particle in parameterized form illustrate how standard problems of constrained systems can be dealt with in this framework.

International Nuclear Information System (INIS)

This paper is concerned with the determination of a unique scaling parameter in complex scaling analysis and with accurate calculation of dynamics resonances. In the preceding paper we have presented a theoretical analysis and provided a formalism for dynamical resonance calculations. In this paper we present accurate numerical results for two non-trivial dynamical processes, namely, models of diatomic molecular predissociation and of barrier potential scattering for resonances. The results presented in this paper confirm our theoretical analysis, remove a theoretical ambiguity on determination of the complex scaling parameter, and provide an improved understanding for dynamical resonance calculations in rigged Hilbert space.

International Nuclear Information System (INIS)

Direct nuclear reactions are commonly understood in terms of distorted wave (DW) formalisms. In the case of a single nucleon knockout or transfer reaction the DW analysis provides a reasonable understanding of the observed data. On the other hand the predictions based on different available information inputs have been verified with the observations consistently. In the case of direct reactions involving nuclear clusters however, the DW predictions have been found to disagree with the observations in most cases. The outcome of these and other improvements in the intermediate energy nuclear phenomena involving direct reactions are highlighted. (author). 13 refs., 18 figs.

Energy Technology Data Exchange (ETDEWEB)

Close coupled expressions for phenomenological cross sections which describe transport properties of atom--diatom mixtures are obtained in the total-J coupling scheme and are related to the bracket integrals of kinetic theory. Coupled states and infinite order sudden expressions for the generalized phenomenological cross sections using initial, final, and average l-labeling are also given. Particular care is taken to use a phase convention for the CS and IOS approximations which is consistent with the Arthurs--Dalgarno formalism and which gives the correct behavior of degeneracy averaged differential cross sections.

Energy Technology Data Exchange (ETDEWEB)

We perform a complete analytical reduction of general one-loop Feynman integrals with five and six external legs for tensors up to rank R=3 and 4, respectively. An elegant formalism with extensive use of signed minors is developed for the cancellation of inverse Gram determinants. The 6-point tensor functions of rank R are expressed in terms of 5-point tensor functions of rank R-1, and the latter are reduced to scalar four-, three-, and two-point functions. The resulting compact formulae allow both for a study of analytical properties and for efficient numerical programming. They are implemented in Fortran and Mathematica. (orig.)

Science.gov (United States)

Groups are assigned or formed to perform tasks that one person cannot accomplish alone. This lesson describes the classification of work groups, group unity, leadership, motivation, recognition, conflict resolution, and remediation associated with managing groups and their activities. Advantages associated with group process include 1) the generation of better ideas, 2) ability to assume greater risks; make fewer errors; 3) the capacity for greater knowledge and 4) information, and for some problems, production of better decisions. Groups may be formal or informal. Formal groups may be organic, task-directed, or committees. Informal groups arise when it becomes obvious that a group will work better or may be formed by a discipline within the organization or through friendships. The size of the group its status within the organization, the goals established, and the dependence of the members on the group all may affect the cohesiveness of the ...

CERN Document Server

The paper considers software development issues for large-scale enterprise information systems (IS) with databases (DB) in global heterogeneous distributed computational environment. Due to high IT development rates, the present-day society has accumulated and rapidly increases an extremely huge data burden. Manipulating with such huge data arrays becomes an essential problem, particularly due to their global distribution, heterogeneous and weak-structured character. The conceptual approach to integrated Internet-based IS design, development and implementation is presented, including formal models, software development methodology and original software development tools for visual problem-oriented development and content management. IS implementation results proved shortening terms and reducing costs of implementation compared to commercial software available.

Energy Technology Data Exchange (ETDEWEB)

We develop the formalism of a unified semi-microscopic description of low-energy proton and {alpha}-particle interaction with nuclei. We analyze elastic and inelastic proton scattering at the energy 25.05 MeV and {alpha}-particle scattering at the energy 104 MeV by the {sup 90}Zr nucleus. Information is obtained on differences in the deformation of the proton and neutron distributions. We study the energy dependence of the semi-microscopic {alpha}-particle potential including the energy dependence of the potential geometry.'' We analyze the change in angular distributions of elastically scattered {alpha} particles with increase of energy and the contribution to the scattering cross section from nucleon-nucleon correlations.

British Library Electronic Table of Contents (United Kingdom)

The utilization of thermal fluctuations or Johnson/Nyquist noise as a spectroscopic method to determine transport properties in conductors or semiconductors is developed. The autocorrelation function is obtained from power spectral density measurements thus enabling electronic transport property calculation through the Green-Kubo formalism. This experimental approach is distinct from traditional numerical methods such as molecular dynamics simulations, which have been used to extract the autocorrelation function and directly related physics only. This work reports multi-transport property measurements consisting of the electronic relaxation time, resistivity, mobility, diffusion coefficient, electronic contribution to thermal conductivity and Lorenz number from experimental data. Double va...

CERN Document Server

We provide a quantitative assessment of the probability distribution function of the concentration parameter of galaxy clusters. We do so by using the probability distribution function of halo formation times, calculated by means of the excursion set formalism, and a formation redshift-concentration scaling derived from results of N-body simulations. Our results suggest that the observed high concentrations of several clusters are quite unlikely in the standard Lambda CDM cosmological model, but that due to various inherent uncertainties, the statistical range of the predicted distribution may be significantly wider than commonly acknowledged. In addition, the probability distribution function of the Einstein radius of A1689 is evaluated, confirming that the observed value of ~45" +/- 5" is very improbable in the currently favoured cosmological model. If, however, a variance of ~20% in the theoretically predicted value of the virial radius is assumed, than the ...

International Nuclear Information System (INIS)

A new formulation of the theory of tachyons using the same two postulates as in special relativity is applied to the electrodynamics of material media. A discussion of Lagrange's equations and Hamilton's equations for 'classical' charged tachyons shows that such a formalism is a viable approach. An essay is included on why tachyons can be considered to be localised particles for the purpose of calculations. Tachyonic transformations of the electromagnetic fields D, P, H and M are shown to be the same as for bradyonic transformations. Examples discussed include the electric dipole moment of a tachyonic current loop, constitutive equations, polarisation in tachyonic dielectric materials and the velocity of light in tachyonic dielectric media. This is followed by discussions of the collision energy loss for charged tachyons interacting with a material medium and a mathematical proof that tachyons cannot emit Cherenkov radiation when passing through a bradyonic ...

British Library Electronic Table of Contents (United Kingdom)

Abstract An important aspect of Chinese academic health science libraries is their involvement in teaching medical information retrieval courses as part of the medical curriculum. Health science librarians in China have a more formal teaching role than is generally found in Western countries, including many full time teaching positions. This article provides a case study of Kunming Medical University Library, where courses are provided as credit units at both undergraduate and postgraduate levels. The teaching practices of Chinese health science libraries are compared with teaching experiences reported in Western countries. It is noted that Chinese government s educational policy is similar to that of the United States in promoting the role of the library in teaching subjects as part of th...

British Library Electronic Table of Contents (United Kingdom)

This article explores the extent to which and how non-formal education (NFE) contributes to the development of a more diversified basic education system and thus to the achievement of EFA. It outlines the current nature of NFE, the frameworks provided by the EFA movement, and the evolution of reflection, policies and practices in NFE in relation to basic education as a whole. Based on significant developments in various countries across the South, the article also discusses some key challenges that ministries of education and their partners need to face in moving towards relevant and equitable diversity in education. The article posits that, despite the many problems faced by NFE, there is justification for building on its experiences and integrating these within a larger policy and system...

Energy Technology Data Exchange (ETDEWEB)

A large set of data on proton-proton differential cross sections, analyzing powers and the double-polarization parameter A{sub NN} is analyzed employing the Regge formalism. We find that the data available at proton beam momenta from 3GeV/c to 50GeV/c exhibit features that are very well in line with the general characteristics of Regge phenomenology and can be described with a model that includes the {rho}, {omega}, f{sub 2}, and a{sub 2} trajectories and single-Pomeron exchange. Additional data, specifically for spin-dependent observables at forward angles, would be very helpful for testing and refining our Regge model. (orig.)

British Library Electronic Table of Contents (United Kingdom)

Although managing fisheries is complex, policymakers must make decisions daily that affect the future of aquatic resources. To make these decisions, they often combine a mental model with lessons learned from formal models such as computer models. While such computer models are frequently interpreted as predictors of the future, they are often more valuable when used as tools for learning about fisheries and options for management. This approach, looking at computer simulations as learning laboratories, is what this study is all about since its objective is to investigate by means of a microworld if policymakers in Belgian fisheries have the policy instruments at hand to align the real fisheries world with their often completely different desired fisheries worlds. This study illustrates ba...

CERN Document Server

One of the most important aspects of security organization is to establish a framework to identify security significant points where policies and procedures are declared. The (information) security infrastructure comprises entities, processes, and technology. All are participants in handling information, which is the item that needs to be protected. Privacy and security information technology is a critical and unmet need in the management of personal information. This paper proposes concepts and technologies for management of personal information. Two different types of information can be distinguished: personal information and nonpersonal information. Personal information can be either personal identifiable information (PII), or nonidentifiable information (NII). Security, policy, and technical requirements can be based on this distinction. At the conceptual level, PII is defined and formalized by propositions over infons (discrete pieces of information) that ...

International Nuclear Information System (INIS)

The Lorentz and coordinate covariant calculus of spinors in Riemannian spacetime, which is the mathematical model for the description of the quantum mechanics of elementary particles with spin interacting with the classical gravitation field, is explored. The Dirac equation describing the interaction of neutrinos with the gravitational fields of the Robertson-Walker cosmological world models is separated, and the spectrum of eigenfunctions and eigenvalues for particular choices of the set of quantum numbers is given explicitly for the k = 0 and k = +1 models, although only the radial equations determining the final quantum number are given for the k = -1 model. The mathematical theory of the motion of a perfect fluid whose elements interact via long-range neutrino-exchange forces, as well as gravitationally, is developed. The formalism for calculating, by calculating the Bogoliubov transformation of the Fock space operators that instantaneously diagonalize their ...

British Library Electronic Table of Contents (United Kingdom)

While substantial research has examined the control of information systems (IS) projects, most studies in this area have only examined how one controller manages a single group of controllees. However, many IS projects, especially enterprise systems projects (often initiated by an organization's corporate headquarters, and involving business unit users and consultants), have multiple stakeholders. The corporate headquarters (the project's principal controller) must simultaneously ensure that the various stakeholders are aligned with the project's goals despite their diverse motivations, and that the stakeholders collaborate with each other to achieve project success. Behavior control theory argues that the controller enacts a control portfolio of formal and informal controls. However, the ...

British Library Electronic Table of Contents (United Kingdom)

Abstract The aim of this paper is to provide an explanation to why the degree of informal employment may vary substantially between different regions within a country. In Brazil, 45% of workers in the urban labor force are employed informally. The degree of informal employment, however, varies substantially across regions, with some cities having 20% and others having 80% or more of their labor force in the informal sector. The hypothesis assessed here is that the quality of local governance-or government effectiveness-affects the decisions of workers and businesses as to whether to participate in the formal or the informal sector. The empirical analysis, based on data from 5500 Brazilian municipalities, shows that informal employment is lower in regions with better governance, higher aver...

CERN Document Server

The notion of group entropy is proposed. It enables to unify and generalize many different definitions of entropy known in the literature, as those of Boltzmann-Gibbs, Tsallis, Abe and Kaniadakis. Other new entropic functionals are presented, related to nontrivial correlation laws characterizing universality classes of systems out of equilibrium, when the dynamics is weakly chaotic. The associated thermostatistics are discussed. The mathematical structure underlying our construction is that of formal group theory, which provides the general structure of the correlations among particles and dictates the associated entropic functionals. As an example of application, the role of group entropies in information theory is illustrated and generalizations of the Kullback-Leibler divergence are proposed. A new connection between statistical mechanics and zeta functions is established. In particular, Tsallis entropy is related to the classical Riemann zeta function.

International Nuclear Information System (INIS)

For pt.I see ibid., vol.516, p.426-48, 1998. Manifest N=2 supersymmetric hypermultiplet mass terms can be introduced in the projective N=2 superspace formalism. In the case of complex hypermultiplets, where the gauge covariantized spinor derivatives have an explicit representation in terms of gauge prepotentials, it is possible to interpret such masses as vacuum expectation values of an Abelian vector multiplet. The duality transformation that relates the N=2 off-shell projective description of the hypermultiplet to the on-shell description involving two N=1 chiral superfields allows us to obtain the massive propagators of the N=1 complex linear fields in the projective hypermultiplet. The N=1 massive propagators of the component superfields in the projective hypermultiplet suggest a possible ansatz for the N=2 massive propagator, which agrees with an explicit calculation in N=2 superspace. (orig.).

International Nuclear Information System (INIS)

Extraction of hafnium by 1-phenyl-3-methyl-4-benzoyl-5-pyrazolone (HL) in benzene, toluene, chloroform and tetrachloromethane from aqueous-alcoholic solutions of the formal acidity of 2M-HClO_4 was studied. Methyl, ethyl, n- and isopropyl, tert-butyl and allyl alcohol as well as ethylene glycol monomethyl ether and propylene glycol were used as organic components of the mixed aqueous-organic phase. Their presence in some cases resulted in a synergic increase in the distribution ratio of hafnium. The increase is interpreted using the results of a slope analysis and measurements of the alcohol distribution and the relative permittivity of the organic phase. It is suggested that HfL_4 molecules were solvated by alcohol molecules in the organic phase. At high alcohol concentration synergism changed into antagonism. This was caused by changes in the distribution of HL and its interaction with the alcohol in the organic phase. (author).

CERN Document Server

In this report we focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems . These models encompass a broad range of styles, characteristics, and application domains and include the extensions of finite state machines, data flow graphs, communication processes and Petri nets. In this report, we have used a PRES+ model (Petri net based Representation for Embedded Systems) as an extension of classical Petri net model that captures concurrency, timing behaviour of embedded systems; it allows systems to be representative in different levels of abstraction and improves expressiveness by allowing the token to carry information. Modeling using PRES+, as discussed above, may be convenient for specifying the input behaviour because it supports concurrency. However, there is no equivalence checking method reported in the literature for PRES+ models to the best of our knowledge. In ...

Science.gov (United States)

In the first paper of this series a formal theory of atomic scattering of electrons in the presence of an intense electromagnetic field was given. Cross sections, near the forward direction, between atomic states (modified by the laser) were obtained. However, it was assumed that the atom could not emit spontaneous radiation. In this paper the effect of spontaneous radiation is included, and it is shown that in most cases the measured cross section will be a weighted average of the two different cross sections starting from the two different initial states which are those atomic states resonantly linked by the laser. The Born approximation for the scattering is obtained, and it is shown that for the simplest description of the spontaneous radiation field the effect of the laser on the cross sections is simply to multiply them by a factor which depends upon the laser detuning. (AIP)

International Nuclear Information System (INIS)

The Effective Dose Equivalent Concept defined by the International Commission on Radiological Protection in 1977 considers the risk from irradiation including both hereditary and somatic effects. This paper will deal with the definition of a concept for somatic effects only, the somatically significant dose equivalent. This is defined as the dose equivalent which if received by every member of the population, would be expected to produce the same total somatic injury to the population as does the actual dose equivalent received by various individuals. The somatically effective dose equivalent for a particular radiopharmaceutical is the weighted sum of the average dose equivalent to various organs. The dose equivalent to various organs can be derived from an extended MIRD formalism also considering the rest of body excluding the source volumes and the re iden e times in total body and the target organs. Examples are given for the calculation of somatically effective ...

International Nuclear Information System (INIS)

The energy, angular momentum, and distance (measured from the center of mass of the nucleus) distributions of the effective number of 6q-fluctons are investigated and it is shown that many of the characteristics of these distributions are universal, i.e., independent of the flucton size. ''Saturation'' of the flucton density in nuclei with mass A approx > 80 and certain other features that determine the difference between the behaviors of the effective numbers of fluctons and deuterons are reported. This is used to explain the well known underestimation (by a factor of 1.5--6) of the cross section for the hard inclusive (p, p'd) process on nuclei calculated in the quasielastic formalism. See S. G. Kadmenskii and V. I. Furman, Alpha decay and elated nuclear reactions (in Russian), Energoatomizdat, Moscow, 1985.

CERN Document Server

The invention of non-Euclidean geometries is often seen through the optics of Hilbertian formal axiomatic method developed later in the 19th century. However such an anachronistic approach fails to provide a sound reading of Lobachevsky's geometrical works. Although the modern notion of model of a given theory has a counterpart in Lobachevsky's writings its role in Lobachevsky's geometrical theory turns to be very unusual. Lobachevsky doesn't consider various models of Hyperbolic geometry, as the modern reader would expect, but uses a non-standard model of Euclidean plane (as a particular surface in the Hyperbolic 3-space). In this paper I consider this Lobachevsky's construction, and show how it can be better analyzed within an alternative non-Hilbertian foundational framework, which relates the history of geometry of the 19th century to some recent developments in the ?eld.

British Library Electronic Table of Contents (United Kingdom)

This article analyses the prevalent situation of the formal Financial Institutions (FIs) in rural India using data from National Sample Survey 54th Round (January-June, 1998). We use sample selectivity model to examine the sanction of the loan by the FIs as a two-stage process. We model the choice of the household's credit requirement using an unordered choice model, namely, a multinomial logit model. Our results reveal that the rural households are considerably credit constrained. The households who do not have an account in a FI have a lower chance of obtaining the loan and households who are credit constrained have relatively lower land holding and they do not possess livestock. Households who borrow for nonfarm purpose exhibit a lower chance of obtaining credit compared to those househ...

CERN Document Server

{The determination of cluster masses is a complex problem that would be aided by information about the cluster shape and orientation (along the line-of-sight).} {It is in this context, that we have developed a scheme for identifying the intrinsic morphology and inclination of a cluster, by looking for the signature of the true cluster characteristics in the inter-comparison of the different deprojected emissivity profiles (that all project to the same X-ray brightness distribution) and by using SZe data when available.} {We deproject the cluster X-ray surface brightness profile under the assumptions of four different geometry and inclination configurations for the observed system; these 4 configurations correspond to four extreme geometry+inclination scenarios. The deprojection in question is performed by the non-parametric algorithm DOPING. The formalism is tested with model systems and then is applied to a sample of 24 clusters. While the shape determination is ...

CERN Document Server

We consider the simplest scenario when black strings (cigars) penetrate the cosmological brane. As a result, the brane has a Swiss-cheese structure, with Schwarzschild black holes immersed in a Friedmann-Lema\\^{\\i}tre-Robertson-Walker brane. There is no dark radiation in the model, the cosmological regions of the brane are characterized by a cosmological constant $\\Lambda$ and flat spatial sections. Regardless of the value of $\\Lambda$, these brane-world universes forever expand and forever decelerate. The totality of source terms in the modified Einstein equation sum up to a dust, establishing a formal equivalence with the general relativistic Einstein-Straus model. However in this brane-world scenario with black strings the evolution of the cosmological fluid strongly depends on $\\Lambda$. For $\\Lambda$ less or equal to zero it has positive energy density $\\rho$ and negative pressure $p$ and at late times it behaves as in the Einstein-Straus model. For ...

International Nuclear Information System (INIS)

We investigate the quantum cosmology of spatially homogeneous models with compact spatial sections admitting a u(2) isometry algebra. The metric ansatz in these models is that of Bianchi type IX with two scale factors set to be equal. We apply the Hartle-Hawking no-boundary path integral prescription and find the semi-classical contributions to the wave function. Exact formulae are obtainable for certain contributions and otherwise the limits of large and small anisotropy (for the pure vacuum case) and large spatial volume or small anisotropy (for the case with a positive cosmological constant) are considered. For the pure vacuum case we find no semiclassical components which would correspond to Lorentzian universes. For the case with a cosmological constant the Hartle-Hawking boundary conditions formally constrain one of the parameters in the Lorentzian solutions to be purely imaginary. Possible interpretations of this imaginary parameter are discussed. 27 refs.

International Nuclear Information System (INIS)

The dynamical effects of spatially homogeneous electromagnetic fields on anisotropic Bianchi type-IX models are studied. The Lagrangians and Hamiltonians affecting the evolution of anisotropy (including the gravitational and electromagnetic potentials) are obtained for very general spatially homogeneous metrics by means of the Arnowitt-Deser-Misner Hamiltonian formalism. For models having diagonal metrics an exact solution for the electromagnetic fields is obtained. This solution allows a qualitative solution for the gravitational variables. The total solution is similar to that of Brill. For Bianchi type-IX models having symmetric and general metrics, a discussion of the qualitative behavior of the universe point under the influence of the above potentials is given. In particular, it is shown that in some cases the presence of the electromagnetic potential inhibits some types of singularities.

Energy Technology Data Exchange (ETDEWEB)

Sandia National Laboratories has the qualification evaluation responsibility for the design of certain components intended for use in nuclear weapons. Specific techniques in assurance and assessment have been developed to provide the quality evidence that the software has been properly qualified for use. Qualification Evaluation is a process for assessing the suitability of either a process used to develop or manufacture the product, or the product itself The qualification process uses a team approach to evaluating a product or process, chaired by a Quality Assurance professional, with other members representing the design organization, the systems organization, and the production agency. Suitable for use implies that adequate and appropriate definition and documentation has been produced and formally released, adequate verification and validation activities have taken place to ensure proper operation, and the software product meets all requirements, explicitly or ...

Energy Technology Data Exchange (ETDEWEB)

The goals of the program include predicting the impact of proposed new generating facilities, evaluating proposed high voltage transmission lines, assessing the impact of existing generating facilities, forecasting future demand for electric power, and investigating numerous information gaps through a long-range research program. The Power Plant Assessment Division (PPAD) is responsible for all PSC licensing support, site specific research, and radiological monitoring. The list of reports summarizes information of over 190 technical publications that represent the Program`s formalized research and monitoring efforts over the last five years. Reports are listed in chronological order by topical heading.

CERN Document Server

We obtain an elegant and useful description of the dynamics of Szekeres dust models (in their full generality) by means of "quasi--local" scalar variables constructed by suitable integral distributions that can be interpreted as weighed proper volume averages of the local covariant scalars. In terms of these variables, the field equations and basic physical and geometric quantities are formally identical to their corresponding expressions in the spherically symmetric LTB dust models. Since we can map every Szekeres model to a unique LTB model, rigorous results valid for the latter models can be readily generalized to a non--spherical Szekeres geometry. The new variables lead naturally to an initial value formulation in which all scalars are expressed as scaling laws in terms of their values at an arbitrary initial space slice. These variables also yield a significant simplification of numerical work, since the fluid flow evolution equations become a system of ...

Energy Technology Data Exchange (ETDEWEB)

This report is the culmination of approximately three and one-half years of research on the design and demonstration of a mineral endowment appraisal system which has as its foundation a formalization of geological decisions within a probabilistic framework. Basically, the probabilistic decision structure of a geologist or team of geologists is captured in a system of computer programs which can be used by a geologist for the estimation of the magnitude of uranium endowment by providing information to this system about the states of earth processes and geologic conditions that pertain to that region being evaluated. Research performed under this contract had two main objectives: demonstration of the endowment appraisal system on the San Juan Basin of New Mexico; a comparison of estimates by the appraisal system with estimates made using other methodologies. The scope of this report is restricted to a demonstration of the appraisal system and the comparison of ...

International Nuclear Information System (INIS)

Spectral room temperature photoluminescence (pl) of polycrystalline Cu(In,Ga)Se2 films (CIGSe) is evaluated with respect to optoelectronic properties and in particular for the determination of the splitting of quasi-Fermi levels (EFn - EFp). For lateral resolution of ? 1 ?m a confocal pl-setup is used. The depth profile of the excess carrier densities determining the rates of radiative transitions strongly govern the spectral pl-shape which has been numerically modeled with a matrix transfer formalism. In this optical approach we discriminate for wave propagation and attenuation in a multilayer system between a plane-wave ansatz and a 3D-spherical formalism, depending on excitation area large or small/similar compared to the thickness of the absorber. In both cases re-absorption of photons in energetic regimes with absorption approaches unity, from which the splitting of the quasi-Fermi levels is preferentially deduced, substantially influence ...

International Nuclear Information System (INIS)

The error estimation for calculated quantities relies on nuclear data uncertainty information available in the basic nuclear data libraries such as the U.S. Evaluated Nuclear Data File (ENDF/B). The uncertainty files (covariance matrices) in the ENDF/B library are generally obtained from analysis of experimental data. In the resonance region, the computer code SAMMY is used for analyses of experimental data and generation of resonance parameters. In addition to resonance parameters evaluation, SAMMY also generates resonance parameter covariance matrices (RPCM). SAMMY uses the generalized least-squares formalism (Bayes' method) together with the resonance formalism (R-matrix theory) for analysis of experimental data. Two approaches are available for creation of resonance-parameter covariance data. (1) During the data-evaluation process, SAMMY generates both a set of resonance parameters that fit the experimental data and the associated ...

Energy Technology Data Exchange (ETDEWEB)

The aim of this work was to develop a method to distinguish between different ion formation processes and to determine the influence of these processes on the total number of detected monatomic ions of a certain element. A vector/matrix-formalism was developed, which describes the physical processes of sputtering, ion formation, mass separation and detection in laser-SNMS. In the framework of the method developed, based on this theoretic formalism, changes in the secondary flux contribution of the respective element were observed by comparing the detected monatomic ion yield obtained in specifically aligned (SIMS and) laser-SNMS experiments. The yields resulting from these experiments were used to calculate characteristic numbers to compare the flux composition from different surfaces. The potential of the method was demonstrated for the elements boron, iron and gadolinium by investigating the changes in the flux composition of secondary ...

Energy Technology Data Exchange (ETDEWEB)

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing of checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase[1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2 (SDS1,2) for Wolsung 2,3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Boars(AECB). Software verification methodology applied to SDS1 for Wolsung 2,3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. ...

Energy Technology Data Exchange (ETDEWEB)

This paper is concerned with the validation of the 3D deterministic neutral-particle transport theory code EVENT for shielding applications. The code is based on the finite element-spherical harmonics (FE-P{sub N}) method which has been extensively developed over the last decade. A general multi-group, anisotropic scattering formalism enables the code to address realistic steady state and time dependent, multi-dimensional coupled neutron/gamma radiation transport problems involving high scattering and deep penetration alike. The powerful geometrical flexibility and competitive computational effort makes the code an attractive tool for shielding applications. In recognition of this, EVENT is currently in the process of being adopted by the UK nuclear industry. The theory behind EVENT is described and its numerical implementation is outlined. Numerical results obtained by the code are compared with predictions of the Monte Carlo code MCBEND and also with the results ...

CERN Document Server

We use a superspin Hamiltonian defined on an infinite-dimensional Fock space with positive definite scalar product to study localization and delocalization of noninteracting spinless quasiparticles in quasi-one-dimensional quantum wires perturbed by weak quenched disorder. Past works using this approach have considered a single chain. Here, we extend the formalism to treat a quasi-one-dimensional system: a quantum wire with an arbitrary number of channels coupled by random hopping amplitudes. The computations are carried out explicitly for the case of a chiral quasi-one-dimensional wire with broken time-reversal symmetry (chiral-unitary symmetry class). By treating the space direction along the chains as imaginary time, the effects of the disorder are encoded in the time evolution induced by a single site superspin (non-Hermitian) Hamiltonian. We obtain the density of states near the band center of an infinitely long quantum wire. Our results agree with those based ...

International Nuclear Information System (INIS)

The Advanced CANDU Reactor (ACR"T"M) is the 'Next Generation' CANDU"R reactor, aimed at safe, reliable power production at a capital cost significantly less than that of current reactors such as the very successful CANDU 6 reactors (e.g., Wolsong 1-4). The Wolsong 1-4 units are being joined by the Qinshan Phase 3 units in China as the current successful examples of CANDU technology. The ACR design builds on this knowledge base, adding a selected group of innovations to obtain substantial cost reduction while retaining a proven design basis. The ACR maximizes the use of components and equipment applications that are well proven through CANDU and other nuclear experience. Joint development of equipment designs and specifications with manufactures has been emphasized. Similarly, the ACR design emphasizes constructability, and takes advantage of inherent CANDU features to enable short project and construction schedules. Overall, the ACR design represents a balance of proven design basis ...

CERN Document Server

Numerical simulations predict that a large number of baryons reside in intergalactic space at temperatures between 10^5-10^7 K. Highly-ionized metals, such as O VII and O VIII, are good tracers of this ``warm-hot intergalactic medium'', or WHIM. For collisionally-ionized gas, the ionization fraction of each ion peaks at some particular temperature (``peak temperatures''), so different ions can therefore trace the IGM at different temperatures. We performed a hydrodynamic simulation to study the metal distributions in the IGM. We then draw random lines-of-sight across the simulated region and synthesize resonance absorption line spectra in a similar way to simulating the Ly-alpha forest. By studying the distribution functions of H- and He-like O, Si and Fe in a collisionally-ionized IGM and comparing with semi-analytic results based on the Press-Schechter formalism, we find: (1) ions with higher peak temperatures (for instance, Fe XXVI) tend to concentrate around ...

CERN Document Server

We study the evolution of an isolated, spherical halo of self-interacting dark matter (SIDM) in the gravothermal fluid formalism. We show that the thermal relaxation time, $t_r$, of a SIDM halo with a central density and velocity dispersion of a typical dwarf galaxy is significantly shorter than its age. We find a self-similar solution for the evolution of a SIDM halo in the limit where the mean free path between collisions, $\\lambda$, is everywhere longer than the gravitational scale height, $H$. Typical halos formed in this long mean free path regime relax to a quasistationary gravothermal density profile characterized by a nearly homogeneous core and a power-law halo where $\\rho \\propto r^{-2.19}$. We solve the more general time-dependent problem and show that the contracting core evolves to sufficiently high density that $\\lambda$ inevitably becomes smaller than $H$ in the innermost region. The core undergoes secular collapse to a singular state (the ...

International Nuclear Information System (INIS)

Several nuclear power plant sites have been wounded in the crossfire between two distinct corporate cultures. The traditional utility culture lies on one side and that of the nuclear navy on the other. The two corporate cultures lead to different perceptions of open-quotes safety culture.close quotes This clash of safety cultures obscures a very important point about nuclear plant operations: Safety depends on organizational learning. Organizational learning provides the foundation for a perception of safety culture that transcends the conflict between utility and nuclear navy cultures. Corporate culture may be defined as the knowledge, attitudes, and beliefs shared by employees of a given company. Safety culture is the part of corporate culture concerning shared attitudes and beliefs affecting individual or public safety. If the safety culture promotes behaviors that lead to greater safety, employees will tend to open-quotes do the right thingclose quotes even when circumstances and ...

CERN Document Server

The state vector evolution in the interaction of initial measured pure state with collective quantum system or the field with a very large number of degrees of freedom N is analysed in a nonperturbative QED formalism. As the example the measurement of the electron final state scattered on nucleus or neutrino is considered.In the nonperturbative field theory the complete manifold of the system states is nonseparable i.e. is described by tensor product of infinitely many independent Hilbert spaces. The interaction of this system with the measured state can result in the final states which belong to different Hilbert spaces which corresponds to different values of some classical observables,i.e. spontaneous symmetry breaking occurs. Interference terms (IT) between such states in the measurement of any Hermitian observable are infinitely small and due to it the final pure states can't be distinguished from the mixed ones, characteristic for the state collapse. The ...

International Nuclear Information System (INIS)

A path integral evaluation of the Green's function for the hydrogen atom initiated by Duru and Kleinert is studied by recognizing it as a special case of the general treatment of the separable Hamiltonian of Liouville type. The basic dynamical principle involved is identified as Jacobi's principle of least action for given energy which is reparametrization invariant, and thus the appearance of a gauge freedom is naturally understood. The separation of variables in the operator formalism corresponds to a choice of gauge in the path integral, and the Green's function is shown to be gauge independent if the operator ordering is properly taken into account. Unlike the conventional Feynman path integral, which deals with a space-time picture of particle motion, the path integral on the basis of Jacobi's principle sums over orbits in space. We illustrate these properties by evaluating an exact path integral of the Green's function for the hydrogen atom in parabolic ...

Energy Technology Data Exchange (ETDEWEB)

The differential cross sections for neutron emission in the reactions {sup 115}In(p,xn), {sup 115}In(d,xn), and {sup 113}Cd({alpha},xn) are measured and analyzed for proton energies 11.2 and 22.2 MeV, deuteron energy 22.3 MeV, and {alpha}-particle energies 26.8 and 45.2 MeV, respectively. The parameters of the nuclear-level density in the Fermi-gas model with negative energy shift are determined for the {sup 113}Sn, {sup 114}Sn, {sup 115}Sn, and {sup 116}Sn nuclei over a wide range of excitation energies. Analysis is performed in a statistical model that uses the Hauser-Feshbach mathematical formalism to describe multistage processes. It is shown that, as excitation energy increases, the parameter of the level density for these nuclei first decreases (this behavior is consistent with the predictions of the generalized model of a superfluid nucleus) and then increases (this points to the destruction of the nuclear-shell structure). 20 refs., 6 figs., 2 tabs.

CERN Document Server

The hurried development of multimedia and internet allows for wide distribution of digital media data. It becomes much easier to edit, modify and duplicate digital information. In additional, digital document is also easy to copy and distribute, therefore it may face many threats. It became necessary to find an appropriate protection due to the significance, accuracy and sensitivity of the information. Furthermore, there is no formal method to be followed to discover a hidden data. In this paper, a new information hiding framework is presented.The proposed framework aim is implementation of framework computation between advance encryption standard (AES) and distortion technique (DT) which embeds information in image page within executable file (EXE file) to find a secure solution to cover file without change the size of cover file. The framework includes two main functions; first is the hiding of the information in the image page of EXE file, through the execution ...

CERN Document Server

We present a fully relativistic formalism for describing neutrino-induced $\\Delta$-mediated single-pion production from nuclei. We assess the ambiguities stemming from the $\\Delta$ interactions. Variations in the cross sections of over 10% are observed, depending on whether or not magnetic-dipole dominance is assumed to extract the vector form factors. These uncertainties have a direct impact on the accuracy with which the axial-vector form factors can be extracted. Different predictions for $C_5^A(Q^2)$ induce up to 40-50% effects on the $\\Delta$-production cross sections. To describe the nucleus, we turn to a relativistic plane-wave impulse approximation (RPWIA) using realistic bound-state wave functions derived in the Hartree approximation to the $\\sigma$-$\\omega$ Walecka model. For neutrino energies larger than 1 GeV, we show that a relativistic Fermi-gas model with appropriate binding-energy correction produces comparable results as the RPWIA which ...

International Nuclear Information System (INIS)

X-ray imaging using asymmetric Bragg reflection in the hard x-ray regime opens the way to improve the spatial resolution limit below 1 #mu#m by magnifying the image before detection, simultaneously providing a strong phase contrast. A theoretical formalism of the imaging process is established. Based on this algorithm, numerical simulations are performed and demonstrate that both Fresnel propagation and Bragg diffraction contribute to contrast formation. The achievable resolution of this technique is investigated theoretically; the results obtained can be used to improve future experimental setups. Furthermore, the minimum detectable phase gradient is estimated, for comparison with other phase sensitive imaging techniques. Results from biological objects demonstrate that the technique is viable for imaging both in two and three dimensions. Refraction contrast images are extracted from experimental projection images by an algorithm similar to diffraction-enhanced ...

Energy Technology Data Exchange (ETDEWEB)

This paper is a result of a research with the primary purpose of extending Probabilistic Risk Assessment (PRA) modeling frameworks to include the effects of organizational factors as the deeper, more fundamental causes of accidents and incidents. There have been significant improvements in the sophistication of quantitative methods of safety and risk assessment, but the progress on techniques most suitable for organizational safety risk frameworks has been limited. The focus of this paper is on the choice of 'representational schemes' and 'techniques.' A methodology for selecting appropriate candidate techniques and their integration in the form of a 'hybrid' approach is proposed. Then an example is given through an integration of System Dynamics (SD), Bayesian Belief Network (BBN), Event Sequence Diagram (ESD), and Fault Tree (FT) in order to demonstrate the feasibility and value of hybrid techniques. The proposed hybrid approach ...

International Nuclear Information System (INIS)

This document establishes the Quality Assurance (QA) Program requirements for the Hazards Waste remedial Actions Program (HASWRAP) for ensuring, with a high degree of confidence, that program objectives will be achieved as planned. The QA Program is introduced in Sect. 1. The HAZWRAP Support Contractor Office (SCO) functional organization and QA responsibilities are shown in Sect. 2. QA program requirements are contained in Sect. 3. These requiremens are pased on the American national Standard, American National Standards Institute/American Society of Mechanical Engineers NQA-1 Quality Assurance Program Requirements for Nuclear Facilities. The 18 elements defined in the standard are tailored to HAZWRAP's needs. The QA program requirements are delineated under the major headings: Quality Assurance Program, Organization, and Control of Quality;two additional program requirements, Software Quality Assurance and Problem Prevention, are included. Definitions of QA terms and the list of ...

Energy Technology Data Exchange (ETDEWEB)

The FFTF Standby Plan, Revision 0, provides changes to the major elements and project baselines to maintain the FFTF plant in a standby condition and to continue washing sodium from irradiated reactor fuel. The Plan is consistent with the Memorandum of Decision approved by the Secretary of Energy on January 17, 1997, which directed that FFTF be maintained in a standby condition to permit the Department to make a decision on whether the facility should play a future role in the Department of Energy`s dual track tritium production strategy. This decision would be made in parallel with the intended December 1998 decision on the selection of the primary, long- term source of tritium. This also allows the Department to review the economic and technical feasibility of using the FFTF to produce isotopes for the medical community. Formal direction has been received from DOE-RL and Fluor 2020 Daniel Hanford to implement the FFTF standby decision. The objective of the Plan ...

International Nuclear Information System (INIS)

This paper describes the Fast Flux Test Facility (FFTF) Operations initial training program utilizing the Operator Training Simulator (OTS). The OTS is a computer-driven system that provides real time response of essential FFTF plant functions to a control room mockup. The FFTF, a 400 Megawatt, three-loop, sodium-cooled fast test reactor will test fuels, materials and equipment for the U.S. Liquid Metal Fast Breeder Reactor Program. Construction is expected to be completed in August 1978. Initial criticality is expected in early 1979. This schedule will require FFTF control room operators to be fully qualified to operate the facility by late 1979. Because FFTF is like no other U.S. nuclear reactor, existing U.S. utility plants could not be depended on to provide highly experienced people to operate FFTF. Therefore, an Operator Training Simulator has been built. The OTS will play a vital role in the formal operator qualification program.

Energy Technology Data Exchange (ETDEWEB)

The $e p\\to e^\\prime p \\rho^0$ reaction has been measured, using the 5.754 GeV electron beam of Jefferson Lab and the CLAS detector. This represents the largest ever set of data for this reaction in the valence region. Integrated and differential cross sections are presented. The $W$, $Q^2$ and $t$ dependences of the cross section are compared to theoretical calculations based on $t$-channel meson-exchange Regge theory on the one hand and on quark handbag diagrams related to Generalized Parton Distributions (GPDs) on the other hand. The Regge approach can describe at the $\\approx$ 30% level most of the features of the present data while the two GPD calculations that are presented in this article which succesfully reproduce the high energy data strongly underestimate the present data. The question is then raised whether this discrepancy originates from an incomplete or inexact way of modelling the GPDs or the associated hard scattering amplitude or whether the GPD ...

CERN Document Server

We present a theoretical framework for formal study of systematic effects in Supernovae Type Ia (SN Ia) that utilizes 2-d simulations to implement a form of the deflagration-detonation transition (DDT) explosion scenario. The framework is developed from a randomized initial condition that leads to a sample of simulated SN Ia whose Ni56 masses have a similar average and range to those observed, and have many other modestly realistic features such as the velocity extent of intermediate mass elements. The intended purpose is to enable statistically well-defined studies of both physical and theoretical parameters of the SN Ia explosion simulation. We present here a thorough description of the outcome of the SN Ia explosions produced by our current simulations. A first application of this framework is utilized to study the dependence of the SN Ia on the Ne22 content, which is known to be directly influenced by the progenitor stellar population's metallicity. Our study ...

Energy Technology Data Exchange (ETDEWEB)

It is important for Australia to recognize its own energy market and the opportunity to export its experience to fast developing Asian countries. Energy engineering and management becomes and important problem industrial engineers and managers face. Until 1993 there was no undergraduate or postgraduate course which would provide formal tertiary education in the proper application of energy conservation programs and load demand management techniques. These techniques require a special knowledge of energy systems which is a combination of electrical and mechanical engineering with a significant share of management techniques and economic calculations. This paper presents two teaching initiatives aimed at providing continuing education for engineers and managers. One is the Master of Engineering Sciences in Energy Engineering, developed by the Centre for Electrical Power Engineering in cooperation with the Department of Mechanical Engineering and Graduate School of ...

Energy Technology Data Exchange (ETDEWEB)

The Evaluated Nuclear Data File (ENDF) formats and libraries are decided by the Cross Section Evaluation Working Group (CSEWG), a cooperative effort of national laboratories, industry, and universities in the U.S. and Canada, and are maintained by the National Nuclear Data Center (NNDC). Earlier versions of the ENDF format provided representations for neutron cross sections and distributions, photon production from neutron reactions, a limited amount of charged-particle production from neutron reactions, photo-atomic interaction data, thermal neutron scattering data, and radionuclide production and decay data (including fission products). Version 6 (ENDF-6) allows higher incident energies, adds more complete descriptions of the distributions of emitted particles, and provides for incident charged particles and photonuclear data by partitioning the ENDF library into sub-libraries. Decay data, fission product yield data, thermal scattering data, and photo-atomic data have also been ...

Energy Technology Data Exchange (ETDEWEB)

In order to employ molecular dynamics (MD) methods, commonly used in condensed matter physics, we have derived the equations of motion for a beam of charged particles in the rotating rest frame of the reference particle. We include in the formalism that the particles are confined by the guiding and focusing magnetic fields, and that they are confined in a conducting vacuum pipe while interacting with each other via a Coulomb force. Numerical simulations using MD methods has been performed to obtain the equilibrium crystalline beam structure. The effect of the shearing force, centrifugal force, and azimuthal variation of the focusing strength are investigated. It is found that a constant gradient storage ring can not give a crystalline beam, but that an alternating-gradient (AG) structure can. In such a machine the ground state is, except for one-dimensional (1-D) crystals, time dependent. The ground state is a zero entropy state, despite the time-dependent, ...

CERN Document Server

In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $\\omega$-Plotkin domain of the space of formal balls BX, denoted by CBX is considered. This domain is given as the chain completion of the set of all finite subsets of BX with respect to the Egli-Milner relation. Further, a map $\\phi:K_0(X)\\rightarrow CBX$ is established and proved that it is an embedding whenever K_0(X) is equipped with the Vietoris topology and respectively CBX with the Scott topology. Moreover, if any compact subset of (X,d) is d^{-1}-precompact, \\phi is an embedding with respect to the topology of Hausdorff quasi-metric H_d on K_0(X). Therefore, it is concluded that (CBX,\\sqsubseteq,\\phi) is an $\\omega$-computational model for the hyperspace K_0(X) endowed with the Vietoris and respectively the Hausdorff topology. Next, an algebraic ...

Energy Technology Data Exchange (ETDEWEB)

CANDU reactors developed under Canadian licensing regulations that placed the primary responsibility for safety on the licensee. The Atomic Energy Control Board (AECB), Canada's nuclear regulatory agency, state in their regulations what is expected in terms of safety performance so that designers are free to propose the best means of meeting this performance. This goal-oriented approach, besides encouraging innovation, allowed CANDU to be licensed in other jurisdictions. The latest design - the large, single unit, CANDU 9 - explicitly incorporates licensability in Canada through a formal AECB review of the design; lessons learned from licensing CANDU 6 in Asian countries, particularly with Wolsong 2, 3 and 4 in Korea, and more recently with Qinshan in China; utility requirements for modem evolutionary plants; and emerging international standards for safety, sponsored or issued by the IAEA. By combining the assurance of acceptability in Canada with ...

Energy Technology Data Exchange (ETDEWEB)

We investigate the quantum cosmology of spatially homogeneous models with compact spatial sections admitting a u(2) isometry algebra. The metric ansatz in these models is that of Bianchi type IX with two scale factors set to be equal. We apply the Hartle-Hawking no-boundary path integral prescription and find the semi-classical contributions to the wave function. Exact formulae are obtainable for certain contributions and otherwise the limits of large and small anisotropy (for the pure vacuum case) and large spatial volume or small anisotropy (for the case with a positive cosmological constant) are considered. For the pure vacuum case we find no rapidly oscillating semiclassical components in the wave function, and hence do not recover lorentzian space-time as a prediction of the no-boundary proposal. For the case with a cosmological constant the wave function does contain rapidly oscillating components and thus predicts approximately lorentzian space-times; however, one of the ...

CERN Document Server

This paper is about algebro-geometrical structures on a moduli space $\\CM$ of anomaly-free BV QFTs with finite number of inequivalent observables or in a finite superselection sector. We show that $\\CM$ has the structure of F-manifold -- a linear pencil of torsion-free flat connection with unity on the tangent space, in quantum coordinates. We study the notion of quantum coordinates for the family of QFTs, which determines the connection 1-form as well as every quantum correlation function of the family in terms of the 1-point functions of the initial theory. We then define free energy for an unital BV QFT and show that it is another avatar of morphism of QFT algebra. These results are consequences of the solvability of refined quantum master equation of the theory. We also introduce the notion of a QFT integral and study some properties of BV QFT equipped with a QFT integral. We show that BV QFT with a non-degenerate QFT integral leads to the WDVV equation---the ...

International Nuclear Information System (INIS)

INSAG has emphasized that safety culture has two general components: the organizational framework and the attitude of the staff. To develop a structured approach to the assessment of safety culture, we propose that the highly formalized nature of nuclear power plant organizations be exploited. The prime coordinating mechanism of NPP organizations is the standardization of work processes, where a work process is defined as a standardized sequence of tasks designed to achieve a specific goal (an example is the maintenance work process). The predictable nature of work processes is exploited by the Work Process Analysis Model (WPAM) to conduct a systematic analysis that identifies the desirable characteristics of work processes and develops performance measures for their strengths and weaknesses. These can provide a set of tangible characteristics of a good safety culture. It is argued in this paper that the analysis of normal power production and investment protection ...

Energy Technology Data Exchange (ETDEWEB)

IMRT with inverse planning allows simultaneous integrated boost strategies that exploit the heterogeneous dose distribution within the planning target volumes (PTVs). In this scenario, the location of cold spots within the target becomes a crucial issue and has to be related to the distribution of the clonogenic cell density (CCD). The main aim of this work is to provide the means to calculate the optimal prescription dose in a relative inhomogeneous dose distribution. To achieve this, the prescription dose has to be assigned to obtain the same tumor control probability (TCP) as the ideal homogeneous distribution, taking into account different CCDs in different PTVs (i.e. visible and subclinical regions). An adapted formulation of the linear-quadratic model, within the F-factor formalism, has been derived to preserve a chosen TCP value for the whole target volume. The F-factor has been investigated to show its potential applications in clinical practice.

Science.gov (United States)

The zinc-blende (ZB) and wurtzite (W) structures are the most common crystal forms of binary octet semiconductors. In this work we have developed a simple scaling that systematizes the {ital T}=0 energy difference {Delta}{ital E}{sub W{minus}ZB} between W and ZB for all simple binary semiconductors. We have first calculated the energy difference {Delta}{ital E}{sub W{minus}ZB}{sup LDF}({ital AB}) for AlN, GaN, InN, AlP, AlAs, GaP, GaAs, ZnS, ZnSe, ZnTe, CdS, C, and Si using a numerically precise implementation of the first-principles local-density formalism (LDF), including structural relaxations. We then find a {ital linear} scaling between {Delta}{ital E}{sub W{minus}ZB}{sup LDF}({ital AB}) and an atomistic orbital-radii coordinate {ital {tilde R}}({ital A},{ital B}) that depends only on the properties of the free atoms {ital A} and {ital B} making up the binary compound {ital AB}. Unlike classical structural coordinates (electronegativity, atomic sizes, electron ...

International Nuclear Information System (INIS)

Development in Instrumentation and Control (I and C) technology provides more convenience and better performance, thus, adopted in many fields. To adopt newly developed technology, nuclear industry requires rigorous V and V procedure and tests to assure reliable operation. Adoption of digital system requires verification and testing of the OS for licensing. Commercial real-time operating system (RTOS) is targeted to apply to various, unpredictable needs, which makes it difficult to verify. For this reason, simple, application-oriented realtime OS is developed for the nuclear application. In this work, we show how to verify the developed RTOS at each development lifecycle. Commercial formal tool is used in specification and verification of the system. Based on the developed model, software in C language is automatically generated. Tests are performed for two purposes; one is to identify consistency between the verified model and the generated code, the other is to ...

Energy Technology Data Exchange (ETDEWEB)

Half a century is fast approaching since Hayflick and colleagues formally described the limited ability of normal human cells to proliferate in culture (Hayflick and Moorhead, 1961). This finding--that normal somatic cells, in contrast to cancer cells, cannot divide indefinitely--challenged the prevailing idea that cells from mortal multicellular organisms were intrinsically ''immortal'' (Carrell, 1912). It also spawned two hypotheses, essential elements of which persist today. The first held that the restricted proliferation of normal cells, now termed cellular senescence, suppresses cancer (Hayflick, 1965; Sager, 1991; Campisi, 2001). The second hypothesis, as explained in the article by Lorenzini et al., suggested that the limited proliferation of cells in culture recapitulated aspects of organismal aging (Hayflick, 1965; Martin, 1993). How well have these hypotheses weathered the ensuing decades? Before answering this ...

Energy Technology Data Exchange (ETDEWEB)

The experience base regarding fission product behavior developed during the Rover program, the nuclear rocket development program of 1955--1972, will be useful in planning a renewed nuclear rocket program. During the Rover program, 20 reactors were tested at the Nuclear Rocket Development Station in Nevada. Nineteen of these discharged effluent directly into the atmosphere; the last reactor tested, a non-flight-prototypic, fuel-element-testing reactor called the Nuclear Furnace (NF-1) was connected to an effluent cleanup system that removed fission products before the hydrogen coolant (propellant) was discharged to the atmosphere. In general, we are able to increase both test duration and fuel temperature during the test series. Therefore fission product data from the later part of the program are more interesting and more applicable to future reactors. We have collected fission product retention (and release) data reported in both formal and informal publications ...

Science.gov (United States)

Analysts working at the International Data Centre in support of treaty monitoring through the Comprehensive Nuclear-Test-Ban Treaty Organization spend a significant amount of time reviewing hypothesized seismic events produced by an automatic processing system. When reviewing these events to determine their legitimacy, analysts take a variety of approaches that rely heavily on training and past experience. One method used by analysts to gauge the validity of an event involves examining the set of stations involved in the detection of an event. In particular, leveraging past experience, an analyst can say that an event located in a certain part of the world is expected to be detected by Stations A, B, and C. Implicit in this statement is that such an event would usually not be detected by Stations X, Y, or Z. For some well understood parts of the world, the absence of one or more 'expected' stations - or the presence of one or more 'unexpected' ...

Science.gov (United States)

In the Savannah River Site's (SRS') Solid Waste Management Program, a key to success is the Public Involvement Program. The Solid Waste Division at SRS manages the site's transuranic, low-level, mixed, and hazardous wastes. All decisions associated with management of this waste are of interest to the public and successful program implementation would be impossible without a vigorous public involvement program. The SRS Solid Waste Division (SWD) and its Department of Energy (DOE) customer developed, implemented, and maintain a comprehensive public participation and communications program. It is staffed by public participation and technical specialists to ensure information is presented in a manner that is technically accurate while being tailored for understanding by people without a technical background. The program provides the public with accurate, complete, timely information and early meaningful participation opportunities. It also fulfills the public ...

Energy Technology Data Exchange (ETDEWEB)

The Rocky Flats Plant, located approximately 26 km northwest of downtown Denver, Colorado, has developed an emergency response atmospheric dispersion model for complex terrain applications. Plant personnel would use the model, known as the Terrain-Responsive Atmospheric Code (TRAC) (Hodgin 1985) to project plume impacts and provide off-site protective action recommendations to the State of Colorado should a hazardous material release occur from the facility. The Colorado Department of Health (CDH) entered into an interagency agreement with the Rocky Flats Plant prime contractor, EG&G Rocky Flats, and the US Department of Energy to evaluate TRAC as an acceptable emergency response tool. After exhaustive research of similar evaluation processes from other emergency response and regulatory organizations, the interagency committee devised a formal acceptance process. The process contains an evaluation protocol (Hodgin and Smith 1992), descriptions of ...

Energy Technology Data Exchange (ETDEWEB)

As a result of US Department of Energy (DOE) monitoring activities, it was determined in 1983 that the potential existed for natural gas resources underlying the Naval Oil Shales Reserves Nos. 1 and 3 (NOSrs-1 3) to be drained by privately-owned gas wells that were being drilled along the Reserves borders. In 1985, DOE initiated a limited number of projects to protect the Government's interest in the gas resources by drilling its own offset production'' wells just inside the boundaries, and by formally sharing in the production, revenues and costs of private wells that are drilled near the boundaries ( communitize'' the privately-drilled wells). The scope of these protection efforts must be expanded. DOE is therefore proposing a Natural Gas Protection Program for NOSRs-1 3 which would be implemented over a five-year period that would encompass a total of 200 wells (including the wells drilled and/or communitized since ...

Energy Technology Data Exchange (ETDEWEB)

This Site Maintenance Plan has been developed for Pacific Northwest Laboratory's (PNL) Nonnuclear Facilities. It is based on requirements specified by US Department of Energy (DOE) Order 4330.4A, Chapter I, Change No. 4. The objective of this maintenance plan is to provide baseline information for compliance to the DOE Order 4330.4A, to identify needed improvements, and to document the planned maintenance budget for Fiscal Year (FY) 1993 and to estimate maintenance budgets for FY 1994 and FY 1995 for all PNL facilities. Using the results of the self-assessment, PNL has selected 12 of the 36 elements of the Maintenance Program defined by DOE Order 4330.4A, Chapter I, for improvement. The elements selected for improvement are: Facility Condition Inspections; Work Request (Order) System; Formal Job Planning and Estimating; Work Performance (Time) Standards; Priority System; Maintenance Procedures and Other Work-Related Documents; Scheduling System; Post ...

Energy Technology Data Exchange (ETDEWEB)

The objectives of this program are to evaluate the Coal Fired Combined Cycle (CFCC) power plant conceptual design and to conduct supporting development programs for pressurized fluidized bed technology advancement in combustion/steam generator, gas turbine and hot gas cleanup technologies. The Coal-Fired Combined Cycle is the unique power plant concept developed under the leadership of the General Electric Company to provide a direct coal-burning gas turbine and steam turbine combined-cycle power plant. The advantages of the combined cycle for higher efficiency and the potential of the pressurized fluidized bed combustor improvements in emissions could offer a new and attractive option to the electric utility industry. The CFCC approach provides for cooling the fluid bed combustor through the use of steam tubes in the bed which supply a steam turbine generator. The partially cooled combustion gases drive a gas turbine generator after passing through a hot gas cleanup train. The ...

Energy Technology Data Exchange (ETDEWEB)

This document describes the development testing phase associated with the OTA Shear activity and defines the controls to be in place throughout the testing. The purpose of the OTA Shear Program was to provide equipment that is needed for the processing of 40 foot long, sodium wetted, irradiated core components previously used in the FFTF reactor to monitor fuel and materials tests. There are currently 15 of these OTA test stalks located in the Test Assembly Conditioning Station (TACS) inerted vault. These need to be dispositioned for a shutdown mission to eliminate this highly activated, high dose inventory prior to turnover to the ERC since they must be handled by remote operations. These would also need to be dispositioned for a restart mission to free up the vault they currently reside in. The waste handling and cleaning equipment in the J33M Cell was designed and built for the handling of reactor components up to the standard 12 foot length. This program will provide the equipment ...

International Nuclear Information System (INIS)

A formalism for the dynamical treatment of the molecular orbitals of valence nucleons in nucleus-nucleus collisions is developed with the use of the coupled-reaction-channel (CRC) method. The Coriolis coupling effects as well as the finite mass effects of the nucleon are taken into account in this model, of rotating molecular orbitals, RMO. First, the validity of the concept is examined from the viewpoint of the multi-step processes in a standard CRC calculation for systems containing two identical [core] nuclei. The calculations show strong CRC effects particularly in the case where the mixing of different l-parity orbitals - called hybridization in atomic physics - occurs. Then, the RMO representation for active nucleons is applied to the same systems and compared to the CRC results. Its validity is investigated with respect to the radial motion (adiabaticity) and the rotation of the molecular axis (radial and rotational coupling). Characteristic molecular ...

International Nuclear Information System (INIS)

The emission of #alpha# particles in coincidence with the most deeply inelastic heavy-ion reactions has been studied for "1"8"1Ta + "1"6"5Ho at 1354 MeV laboratory energy and /sup nat/Ag + "8"4Kr at 664 MeV. #alpha# particle energy spectra and angular distributions, in coincidence with a projectile-like fragment, were acquired both in the reaction plane and out of the reaction plane at a fixed in-plane angle. The in-plane data for both systems are employed to show that the bulk of the #alpha# particles in coincidence with the deep-inelastic exit channel can be explained by evaporation from the fully accelerated fragments. Average velocity diagrams, #alpha#-particle energy spectra as a function of angle in several rest frames, and #alpha#-particle angular distributions are presented. The out-of-plane #alpha# particle angular distributions and the #gamma#-ray multiplicities are used to study the transfer and partitioning of angular momentum between the two fragments. For the /sup nat/Ag ...

Energy Technology Data Exchange (ETDEWEB)

The leading environmental problem facing coastal Louisiana regions is the loss of wetlands. Oil and gas exploration and production activities have contributed to wetland damage through erosion at numerous sites where canals have been cut through the marsh to access drilling sites. An independent oil and gas producer, working with Southeastern Louisiana University and two oil field service companies, developed a process to stabilize drill cuttings so that they could be used as a substrate to grow wetlands vegetation. The U.S. Department of Energy (DOE) funded a project under which the process would be validated through laboratory studies and field demonstrations. The laboratory studies demonstrated that treated drill cuttings support the growth of wetlands vegetation. However, neither the Army Corps of Engineers (COE) nor the U.S. Environmental Protection Agency (EPA) would grant regulatory approval for afield trial of the process. Argonne National Laboratory was asked to join the ...

Energy Technology Data Exchange (ETDEWEB)

Structural reliability and risk based techniques have recently been used to demonstrate safe operation of high-pressure pipelines at design factors greater than 0.72. In particular several pipelines are now operating on the Transco National Transmission System, in the UK, at design factors of 0.78 owing to the use of the techniques. The overall structural reliability and risk based approach for justifying safe operation of pipelines at these stress levels is thus now established. However, in order to establish cost effective and viable widespread use of the technique, formal guidelines are necessary which will allow analyses to be performed with minimal requirements for regulator liaison meetings, external audits and extensive reporting. Structured and comprehensive guidelines, which have recently been constructed based on extensive analytical consideration of the underlying issues, are presented in this paper. The guidelines enable a consistent approach to the use ...

Energy Technology Data Exchange (ETDEWEB)

Cross sections for some electro- and photoinduced spallation reactions on {sup 27}Al and {sup 51}V are measured in the energy region 130 MeV to 580 MeV with the activation method. Comparisons are made with calculations based on the Dalitz formalism for virtual photon spectra, and Monte Carlo calculations based on a cascade evaporation model, respectively. By use of Bremsstrahlung with end-point energies from threshold to 750 MeV, the yields for photo- production of{pi}{sup -}leading to ground and isomeric states in {sup 197}Hg are measured with the activation method. The activity from the Hg-isotopes were measured after a chemical separation of Hg from the target material. The yields and isomeric ratios are compared with impulse approximation calculations. For the photoproduction of {sup 195m}Hg and {sup 192}Hg from {sup 197}Au, the yields were measured. The experimental mean cross sections are compared with data from other experiments and with cascade evaporation ...

International Nuclear Information System (INIS)

Within the United Kingdom, the regulatory body having responsibility for the licensing of nuclear installations is the Health and Safety Executive (HSE). The Nuclear Installations Inspectorate (NII) is that part of HSE which administers this function. Discussions on the applicability of quality assurance (QA) to licensed sites began in 1974, and an internal report was published in 1975. In parallel with work going on at the International Atomic Energy Agency (IAEA) to prepare Quality Assurance for Safety in Nuclear Power Plants: A Code of Practice, Safety Series No. 50-C-QA, NII published a second report in 1978 entitled A Guide to the Quality Assurance Programme for Nuclear Power Plants. In 1980, the construction of advanced gas cooled reactors at Heysham 2 and at Torness was licensed, and a condition was attached to the licences requiring the licensees to submit their QA arrangements to the NII for approval. The licensees' response was to produce separate QA programmes covering the ...

Energy Technology Data Exchange (ETDEWEB)

The DEFENSE WASTE MANAGEMENT PROGRAM has been chartered by the Department of Energy (DOE) to receive, reduce, store, and maintain all radioactive defense waste generated by Hanford and received from offsite DOE contractors in a safe condition and in accordance with DOE and Westinghouse Hanford Company (WHC) standards. These activities are accomplished through the use of TRU retrievable storage sites, solid waste burial grounds, liquid waste storage tanks, capsule storage pools, and other low-level waste disposal methods. Continuous and/or periodic surveillance is maintained. Through the use of improved packaging methods, evaporator-crystallization and capsule production waste has been and continues to be put in a safe and economic storage condition pending future reprocessing or final disposition. For this Program Plan, the scope of Defense Waste Management programmatic activities has been organized into three general categories. A summary outline of the work covered in each activity ...

International Nuclear Information System (INIS)

A general theoretical approach for the study of the two-dimensional structure of high-n Toroidal Alfven Eigenmodes (TAE) in finite-#beta#, large aspect ratio (R_o/a much-gt 1) tokamak equilibria is presented. Here, n is the toroidal mode number, #beta# = plasma/magnetic pressure, and a(R_o) is the minor (major) radius of the torus. It is shown how the general pseudo-differential boundary value problem for the radial eigenmode structure can be systematically constructed from the local dispersion relation; which is obtained using the ballooning formalism. The TAE modes are characterized by a broad radial envelope, the width of which is independent on the mode number in the general case of monotonic equilibrium profiles. The results on the two-dimensional eigenmode structure are expected to be applicable to drift-type waves. The ballooning transform is generalized here to handle singular eigenfunctions typical of the continuous shear Alfven spectrum, and, thereby, ...

Energy Technology Data Exchange (ETDEWEB)

After having recalled the formal convergence of the semi-classical multi-species Boltzmann equations toward the multi-species Euler system (i.e. mixture of gases having the same velocity), we generalize to this system the closure relations proposed by B. Despres and by F. Lagoutiere for the multi-components Euler system (i.e. mixture of non miscible fluids having the same velocity). Then, we extend the energy relaxation schemes proposed by F. Coquel and by B. Perthame for the numerical resolution of the mono-species Euler system to the multi-species isothermal Euler system and to the multi-components isobar-isothermal Euler system. This allows to obtain a class of entropic schemes under a CFL criteria. In the multi-components case, this class of entropic schemes is perhaps a way for the treatment of interface problems and, then, for the treatment of the numerical mixture area by using a Lagrange + projection scheme. Nevertheless, we have to find a good projection ...

Science.gov (United States)

A way to synthesize the transient zwitterionic silylene L'Si: 8 {L'=CH[(C=CH(2))CMe(N(tBu))(2)]} and achieve its facile dimerization to the remarkable N-heterobicyclic disilane 8(2) is described. At first, employing the beta-diketiminate ligand L [L=CH(CMeN(tBu))(2)], both starting materials LH (2) and its N-lithium salt LLi (3) can react with SiBr(4) to yield the silylene precursor L'SiBr(2) (4) by silicon-induced C-H activation at an exocyclic methyl group on the backbone of the ligand. Compound 4 reacts with SiBr(4) above room temperature to afford the unexpected terminal CH(SiBr(3))-substituted dibromosilane 6 along with the unique tricyclic trisilane 7. Reduction of 4 with KC(8) at 0 degrees C furnishes the novel N-heterobicyclic disilane 8(2), which is a formal dimer of the desired zwitterionic silylene L'Si: (8). It has been reasoned that compound 8(2) may results from [4+1] cycloaddition of two molecules of 8 to give the transient dimer 8(2)', which ...

Energy Technology Data Exchange (ETDEWEB)

A Lawrence Livermore National Laboratory (LLNL) Management Pre-Start Review (MPR) Team was formed to independently verify the operational readiness of Building 368 (B368) Biosafety Level III (BSL-3) Facility to conduct research with biological pathogens and toxins including those considered Select Agents. Review objectives and criteria were developed from the DOE/NNSA and LLNL requirements. These were provided in the Implementation Plan for the Biosafety Level III (BSL-3) Facility Management Pre-Start Review (BSL-3 MPR) at Lawrence Livermore National Laboratory that was reviewed and approved by DOE/NNSA-LSO. The formal part of the LLNL MPR for the BSL-3 Facility was begun in August of 2005 but work on the MPR was stopped in October of 2005 due to the need for LLNL to reassess organizational and operational controls and respond to Centers for Disease Control and Prevention inquiries related to a shipping incident involving select agents. The MPR was restarted in ...

International Nuclear Information System (INIS)

Purpose: Radiotherapy (RT) has been the predominant local treatment for Ewing's sarcoma of bone at the University of Florida. Twice-daily hyperfractionated RT was initiated in 1982 to improve local control and functional outcome. This retrospective review compares the results of once-daily vs. twice-daily RT in patients with primary Ewing's sarcoma of an extremity, with emphasis on functional outcome. Methods and Materials: Between June 1971 and January 1990, 37 patients were treated at the University of Florida for nonmetastatic Ewing's sarcoma of bone with a primary lesion in an extremity. Three patients underwent amputation. Of 34 patients treated with RT, 31 had RT alone and 3 had a combination of RT and local excision. Before 1982, 14 patients received once-daily RT; since 1982, 17 patients have received twice-daily RT. Doses of once-daily RT varied from 47 to 61 Gy at 1.8-2 Gy per fraction. Doses of twice-daily RT varied, depending on the response of the soft-tissue component of ...

ScienceCinema

...and it's really a pleasure to ...you and ...and for ...was shelled and then doses of pleasure for me to ...and my director general ...? and journal article ? ...but and yeah well that's um ? ...and ...and what could be achieved ? what might be the consequences ...? and ...and ...and ...and ...and ...structural because and ...over and hopefully is also serve the purpose to get ...principles and ...and ...and ...how to use them and future ...and and that ...and purposes and that's very important ...you and ...and ...and in the future ? and yeah ...true and ...and ...just and and and and and the order of nuclear physics a ...useful and ...too much ? and ...portable comes from and ...and ...and ...and ...no more ? how to knowledge and the and ...and ...and and keep ever seen all of all ? ...and ...and ...and what you're ...and ...and ...and you and ...and ...and ...and so when you keep that and and ...and ...? and ...and ...and ...the problems and the other side ? ...door and a ...and ...