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 ...

International Nuclear Information System (INIS)

The purposes of this report are (1) to perform a Verification and Validation (V and V) test for the VIPEX(Vital-area Identification Package EXpert) software and (2) to improve a software quality through the V and V test. The VIPEX was developed in Korea Atomic Energy Research Institute (KAERI) for the Vital Area Identification (VAI) of nuclear power plants. The version of the VIPEX which was distributed is 3.2.0.0. The VIPEX was revised based on the first V and V test and the second V and V test was performed. We have performed the following tasks for the V and V test on Windows XP and VISTA operating systems: ? Testing basic functions including fault tree editing ? Testing all kind of functions ? Research for update from Visual BASIC 6.0 to Visual BASIC 2008

Energy Technology Data Exchange (ETDEWEB)

In this paper a prototype of Requirement Tracking and Verification System(RTVS) for a Distributed Control System was implemented and tested. The RTVS is a software design and verification tool. The main functions required by the RTVS are managing, tracking and verification of the software requirements listed in the documentation of the DCS. The analysis of DCS software design procedures and interfaces with documents were performed to define the user of the RTVS, and the design requirements for RTVS were developed. 4 refs., 3 figs. (Author)

International Nuclear Information System (INIS)

The requirements are given as placed on the development, procurement, maintenance, and application of software for the creation or processing of data during the design, construction, operation, repair, maintenance and safety-related upgrading of nuclear power plants. The verification and validation processes are highlighted, and the requirements put on the software documentation are outlined. The general quality assurance principles applied to safety analyses are characterized. (J.B.). 1 ref.

CERN Document Server

Beam Diagnostic System for High Intensity Proton Linac at KAERI

International Nuclear Information System (INIS)

This paper summarizes results of reviews on the safety, critical software performed during the licensing process for the new Wolsung units. Each of these CANDU-type nuclear power plants has two micro-computerized shutdown systems. The SDS No. 1 program is graphically programmed in such a manner that its development process does not essentially differ from the design process of the conventional analog counterpart. This approach is understandable even to a reviewer in the regulatory agency without additional training in software engineering. The confidence in the reliability of this system is strengthened by the reverse verification and increased by extensive testing such as the reliability test. Concerning SDS No. 2, the development process is significantly influenced by the software cost reduction project of the U.S. naval research laboratory, and is, as a whole, clear and well structured except for the ...

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 ...

Energy Technology Data Exchange (ETDEWEB)

''The LLNL Site-Specific Advanced Simulation and Computing (ASCI) Software Quality Engineering Recommended Practices VI.I'' document describes a set of recommended software quality engineering (SQE) practices for ASCI code projects at Lawrence Livermore National Laboratory (LLNL). In this context, SQE is defined as the process of building quality into software products by applying the appropriate guiding principles and management practices. Continual code improvement and ongoing process improvement are expected benefits. Certain practices are recommended, although projects may select the specific activities they wish to improve, and the appropriate time lines for such actions. Additionally, projects can rely on the guidance of this document when generating ASCI Verification and Validation (VSrV) deliverables. ASCI program managers will gather information about their ...

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 ...

Energy Technology Data Exchange (ETDEWEB)

A 2D matrix allows a fairly rapid verification of irradiation parameters transferred on computer processing equipment without expanding the dosimetry means to implement. Associated to 'Multicheck and Verisoft' software it will handle some of the regulatory recommendations of the A.F.S.S.A.P.S. for quality control of accelerators and ensure the traceability of testing carried out. (N.C.)

Energy Technology Data Exchange (ETDEWEB)

Dynamic Flowgraph Methodology (DFM) is a methodological approach to modeling and analyzing the behavior of software-driven embedded systems for the purpose of reliability/safety assessment and verification. The methodology has two fundamental goals: (a) to identify how certain postulated events may occur in a system and (b) to identify an appropriate testing strategy based on an analysis of system functional behavior. To achieve these goals, the methodology employs a modeling framework in which system models are developed in terms of causal relationships between physical variables and temporal characteristics of the execution of software modules. These models are then analyzed to determine how a certain state (desirable or undesirable) can be reached. This is done by developing timed fault trees, which take the form of logical combinations of static trees relating system parameters at different points in time. The prime ...

Science.gov (United States)

We introduce the temporal logic Jeagle and its supporting tool for runtime verification of Java

CERN Multimedia

Software Development Tools Service

CERN Document Server

Qualitative Research Design for Software Users

Science.gov (United States)

The Predictive Capability Maturity Model (PCMM) is a new model that can be used to assess the level of maturity of computational modeling and simulation (M&S) efforts. The development of the model is based on both the authors experience and their analysis of similar investigations in the past. The perspective taken in this report is one of judging the usefulness of a predictive capability that relies on the numerical solution to partial differential equations to better inform and improve decision making. The review of past investigations, such as the Software Engineering Institute's Capability Maturity Model Integration and the National Aeronautics and Space Administration and Department of Defense Technology Readiness Levels, indicates that a more restricted, more interpretable method is needed to assess the maturity of an M&S effort. The PCMM addresses six contributing elements to M&S: (1) representation and geometric fidelity, (2) physics ...

International Nuclear Information System (INIS)

In this paper, we put forward a systematic method to analyze, control and evaluate the safety issues of medical robotics. We created a safety model that consists of three axes to analyze safety factors. Software and hardware are the two material axes. The third axis is the policy that controls all phases of design, production, testing and application of the robot system. The policy was defined as hazard identification and safety insurance control (HISIC) that includes seven principles: definitions and requirements, hazard identification, safety insurance control, safety critical limits, monitoring and control, verification and validation, system log and documentation. HISIC was implemented in the development of a robot for urological applications that was known as URObot. The URObot is a universal robot with different modules adaptable for 3D ultrasound image-guided interstitial laser coagulation, radiation seed implantation, laser resection, ...

International Nuclear Information System (INIS)

Since January, 1981, the project of development of nuclear fuel fabrication technology for Wolsung reactor (CANDU type) was undertaken by KAERI(Korea Advanced Energy Research Institute) and successfully fulfilled with loading 24 fuel bundles made by KAERI in Wolsung reactor in September, 1984. On the basis of this accumulated technology and experience, mass production plan to supply all the nuclear fuels for Wolsung reactor is under way. In this presentation, the Korean experience in the development of the nuclear fuel fabrication technology, safety and performance evaluation of KAERI fuel and the results of irradiation of KAERI fuels in Wolsung reactor will be described.

International Nuclear Information System (INIS)

Eddy current testing (ECT) method is widely used as the non-destructive evaluation (NDE) of the various kinds of material degradation occurring in nuclear power plants (NPPs) components including steam generator (SG) tubes. Detection of any defects or flaws in the steam generator tubes in the early stage is very important in maintenance of NPP for its primary role as the pressure boundary with thin wall thickness. Although the ECT technique provides lots of information for a SG management, it has a generic problem in its reliability due to a low ability in detect of small defects and some difficulty in a signal analysis. For the improvement of these shortcomings in conventional ECT, profile-MRPC (motorized rotating pancake coil) ECT technology was developed in KAERI. The key of this new technology is the development of new eddy current probes, designated as a diagnostic probe (D-probe). The D-probe is furnished with a simultaneous dual function of a defect ...

Czech Academy of Sciences Repository

Full Text Available

Science.gov (United States)

... A PROGRAM MANAGER'S GUIDE FOR SOFTWARE COST ESTIMATING ... This thesis provides a broad view of the software cost estimating process. ...

Energy Technology Data Exchange (ETDEWEB)

This paper discusses how to overcome failures and pitfalls in software configuration management. (LSP)

Science.gov (United States)

Software Cost Estimation Model program, SOFTCOST, developed to provide consistent automated

Energy Technology Data Exchange (ETDEWEB)

The aim of our project is to develop high-performance processor architectures for both general purpose and application-specific purpose. We also plan to develop basic softwares, such as compliers, and various design aid tools for those architectures. We are particularly interested in performance evaluation at architecture design phase, design optimization, automatic generation of compliers from processor designs, and architecture design methodologies combined with circuit layout. We have investigated both microprocessor architectures and design methodologies / environments for the processors. Our goal is to establish design technologies for high-performance, low-power, low-cost and highly-reliable systems in system-on-silicon era. We have proposed PPRAM architecture for high-performance system using DRAM and logic mixture technology, Softcore processor architecture for special purpose processors in embedded systems, and Power-Pro architecture for low power systems. ...

Science.gov (United States)

... MAGMA © : A LIQUID SOFTWARE APPROACH TO FAULT TOLERANCE, COMPUTER NETWORK SECURITY, AND SURVIVABLE NETWORKING ...

Science.gov (United States)

This report is the final report on the seismic testing of reactor components conducted since 1977 with opening of the vibration laboratory at KAERI. In 1979, forced vibration testing of Wolsung-1 steam generator model using sine dwell and white nosie rand...

Energy Technology Data Exchange (ETDEWEB)

Solving the maintenance and repair problems of electronic instruments, we have supported the research and development work, and reduced operation costs of the pilot plants in KAERI. In addition, we have imposed the maintainability of instruments to use effectively. 15 tabs., 14 figs., 14 refs. (Author) .new.

Energy Technology Data Exchange (ETDEWEB)

Korea Advanced Energy Research Institute (KAERI) started a research project to develop the PHWR (CANDU) nuclear fuel fabrication technology in 1981. Based on the results of the intensive developmental work, several prototype fuel bundles were fabricated and tested in the Hot Test Loop at KAERI continuously in 1983 and 1984. After that, irradiation test and post-irradiation examination were carried out for two KAERI-made fuel bundles at Chalk River Nuclear Laboratories in Canada in 1984. Since the results of in-pile and out-of-pile tests with prototype fuel bundles proved to be satisfactory, 48 additional fuel bundles were loaded in Wolsung reactor (CANDU) in 1984 and 1985, and all of them were discharged without a defect after excellent performance in the power reactor. In 1985, the Korean government decided that KAERI supplies all the fuel necessary for the Wolsung reactor. For the mass production of ...

CERN Document Server

This comprehensive guide offers several tried and true steps to help you successfully manage the complex process of developing free software. Topics include project management, developer motivation, technical infrastructure to support collaboration, and project promotion. Producing Open Source Software is ideal for developers starting their own free software projects, or people who simply want to participate in the process.

Energy Technology Data Exchange (ETDEWEB)

This paper describes a radiation shield verification survey of a large hot cell at the Fast Flux Test Facility (FFTF). The following aspects of the shield test are discussed: description of the FFTF; description of the hot cell; the test procedures; radiation protection, and the test results.

CSIR Research Space (South Africa)

Full Text Available

International Nuclear Information System (INIS)

This document describes the High Performance Electrical Modeling and Simulation (HPEMS) Global Verification Test Suite (VERTS). The VERTS is a regression test suite used for verification of the electrical circuit simulation codes currently being developed by the HPEMS code development team. This document contains descriptions of the Tier I test cases.

Energy Technology Data Exchange (ETDEWEB)

This document establishers the Software Configuration Management Plan (SCMP) for the software associated with the control system of the Sodium Removal System (SRS) located in the Interim Examination and Maintenance (IEM Cell) Facility of the FFTF Flux Test.

Science.gov (United States)

Page 1. Software Vulnerabilities in Java Fred Long October 2005 CERT ... iii Abstract Java is essentially a safe language with good security features. ...

CERN Document Server

"Machines of all kinds depend on complex software to keep them operating safely. But how reliable is the software - and how can we be sure it is reliable?" (4 pages)

ScienceCinema

@ work highlights Idaho National Laboratory employees and the jobs they perform.This segment features Robotic Software Engineer Miles Walton.

International Nuclear Information System (INIS)

Korea Advanced Energy Research Institute (KAERI) started a research project to develop the PHWR (CANDU) nuclear fuel fabrication technology in 1981. Based on the results of the intensive developmental work, several prototype fuel bundles were fabricated and tested in the Hot Test Loop at KAERI continuously in 1983 and 1984. After that, irradiation test and post-irrradiation examination were carried out for two KAERI-made fuel bundles at Chalk River Nuclear Laboratories in Canada in 1984. Since the results of in-pile and out-of-pile tests with prototype fuel bundles proved to be satisfactory, 48 additional fuel bundles were loaded in Wolsung reactor (CANDU) in 1984 and 1985, and all of them were discharged without a defect after excellent performance in the power reactor. In 1985, the Korean government decided that KAERI supplies all the fuel necessary for the Wolsung reactor. For the mass production of ...

International Nuclear Information System (INIS)

In Korea, a manufacturing process for the fabrication of CANDU 37-element fuel bundles was successfully developed between 1981 and 1986. At Korea Atomic Energy Research Institute (KAERI), more than 20,000 fuel bundles were produced up to May 1992, for use in Wolsung-1 power reactor. At the time of the conference, about 15,000 of these fuel bundles had been irradiated in Wolsung-1, and almost all of them had performed well. From 1995, the commercial fuel production program will be transferred to Korea Nuclear Fuel Company, which is building a plant with a capacity of 400 tons of uranium per year. So-called CANFLEX fuel, more appropriate to advanced fuel cycles, is being developed jointly by AECL and KAERI. The paper includes a listing of the current status of the Republic of Korea's nuclear power plants, with planning projections up to the year 2006. 2 tabs.

Science.gov (United States)

... strategies. Computer and network security deals with cryptography, authentication, and attacks on software. Information ...

International Nuclear Information System (INIS)

A Software for the Neutron Scattering time-of-flight Spectrometer with 64 independent coded inputs is preset. It performs data acquirement and management. The work platform of the software is the Windows 98 and programmed with Visual Basic 6.0. It supports 64 x 1024 channel analyzer computer system. The friendly interface, convenient operation and high reliability are advantages of the Software

International Nuclear Information System (INIS)

This document - IAEA Safeguards: Implementation Blueprint of Commercial Satellite Imagery - constitutes the second report from SSC Satellitbild giving a structured view and solid guidelines on how to proceed with a conceivable implementation of satellite imagery to support Safeguards activities of the Agency. This Phase 2 report presents a large number of concrete recommendations regarding suggested management issues, work organisation, imagery purchasing and team building. The study has also resulted in several lists of actions and preliminary project plans with GANT schedules concerning training, hardware and software, as well as for the initial pilot studies. In both the Phase 1 and Phase 2 studies it is confirmed that the proposed concept of a relatively small Imagery Unit using high-resolution data will be a sound and feasible undertaking. Such a unit capable of performing advanced image processing as a tool for various safeguard tasks will give the Agency an ...

Energy Technology Data Exchange (ETDEWEB)

Development Service Order {number_sign}90025 requested recommendations for computer hardware, operating systems, and software development utilities based on current and future SIMON software requirements. Since SIMON`s main objective is to be dispatched on missions by an operator with little computer experience, ``user friendly`` hardware and software interfaces are required. Other design criteria include: a fluid software development environment, and hardware and operating systems with minimal maintenance requirements. Also, the hardware should be expandable; extra processor boards should be easily integrated into the existing system. And finally, the use of well established standards for hardware and software should be implemented where practical.

Science.gov (United States)

This paper proposes an approach that mitigates the problem of verification of network security system properties over concurrent processes.

Science.gov (United States)

This standard establishes requirements, verification criteria, and contractor tasks for electromagnetic effects protection of airborne, ground, and support systems. These effects include electromagnetic compatibility, electromagnetic interference, lightni...

Science.gov (United States)

... irispectors to operate or Soviet territory. They exr-essed this reluctarice ir interniat ionai law terms, claimirig that inspect ior act ivit ies ...

Energy Technology Data Exchange (ETDEWEB)

We report on the software aspects of the development of a switch-based data acquisition system at Fermilab. This paper describes how, with the goal of providing an ``integrated systems engineering`` environment, several powerful software tools were put in place to facilitate extensive exploration of all aspects of the design. These tools include a simulation package, graphics package and an Expert System shell which have been integrated to provide an environment which encourages the close interaction of hardware and software engineers. This paper includes a description of the simulation, user interface, embedded software, remote procedure calls, and diagnostic software which together have enabled us to provide real-time control and monitoring of a working prototype switch-based data acquisition (DAQ) system.

International Nuclear Information System (INIS)

18-Months cycle reload design verifications of Daya Bay NPS is briefly described. It was attempted giving the description of analysis scope and key technology for a nuclear power plant which will be changed fuel management strategy from one year to 18-months cycle

UK PubMed Central (United Kingdom)

Software for gel image analysis and base-calling in fluorescence-based sequencing consisting of two primary programs, BaseFinder and GelImager, is described. BaseFinder is a framework for trace processing,...Full Text Available

Energy Technology Data Exchange (ETDEWEB)

Multiphase flow calculation software and computer-readable media carrying computer executable instructions for calculating liquid and gas phase mass flow rates of high void fraction multiphase flows. The multiphase flow calculation software employs various given, or experimentally determined, parameters in conjunction with a plurality of pressure differentials of a multiphase flow, preferably supplied by a differential pressure flowmeter or the like, to determine liquid and gas phase mass flow rates of the high void fraction multiphase flows. Embodiments of the multiphase flow calculation software are suitable for use in a variety of applications, including real-time management and control of an object system.

Energy Technology Data Exchange (ETDEWEB)

DOE/NNSA and IRSN collaborated on a study of gamma-ray instruments and analysis methods used to perform isotopic measurements of special nuclear materials. The two agencies agreed to collaborate on the project in response to inconsistencies that were found in the various versions of software and hardware used to determine the isotopic abundances of uranium and plutonium. IRSN used software developed internally to test the MGA and FRAM isotopic analysis codes for criteria used to stop data acquisition. The stop-criterion test revealed several unusual behaviors in both the MGA and FRAM software codes.

International Nuclear Information System (INIS)

A new software for neutron activation analysis was designed, built and implemented on a desktop computer using Visual Basic 6.0 program. The construction of this data analyzer computer program is described. The new software deals with peak reports resulting from Gammaplus software with minimum interference from the user in order to save time, manpower and minimize human errors. Its ability to find the concentrations of chemical elements within samples is proven to be fast, reliable and user friendly. (author)

International Nuclear Information System (INIS)

Objective: To develop software for assessment of dose to thyroid gland in emergencies resulting in the release of radioiodine. Methods: Based on procedures for thyroid monitoring and dose assessment introduced in IAEA publications (IAEA-TECDOC-1092 and EPR-MEDICAL-2005), a software was developed with Visual Basic 6.0 program to computerized the methods of thyroid dose estimation. Results: The intake of radioiodine and committed equivalent dose to thyroid could be estimated rapidly and accurately with the present software. Conclusion: The present software provide a practical and rapid tool for estimating thyroid doses received in emergencies resulting in the release of radioiodine by emergency workers and members of public, which is necessary for recommendation of further actions. (authors)

International Nuclear Information System (INIS)

Significant new nuclear-specific software standards have recently been adopted under the sponsorship of the American Nuclear Society and the American Society of Mechanical Engineers. The interest of the US Nuclear Regulatory Commission has also been expressed through their issuance of NUREG/CR-4640. These efforts all indicate a growing awareness of the need for thorough, referenceable expressions of the way to build in and evaluate quality in nuclear software. A broader professional perspective can be seen in the growing number of software engineering standards sponsored by the Institute of Electrical and Electronics Engineers (IEEE) Computer Society. This family of standards represents a systematic effort to capture professional consensus on quality practices throughout the software development life cycle. The only omission-the implementation phase-is treated by accepted American National Standards ...

International Nuclear Information System (INIS)

This document is furnished as part of the effort to develop NRC Class 1E Digital Computer Systems Guidelines which is Task 8 of USAF Rome Laboratories Contract F30602-89-D-0100. The report addresses four major topics, namely, computer programming languages, software design and development, software testing and fault tolerance and fault avoidance. The topics are intended as stepping stones leading to a Draft Regulatory Guide document. As part of this task a small scale survey of software fault avoidance and fault tolerance practices was conducted among vendors of nuclear safety related systems and among agencies that develop software for other applications demanding very high reliability. The findings of the present report are in part based on the survey and in part on review of software literature relating to nuclear and other critical installations, as well as on the authors' ...

International Nuclear Information System (INIS)

The KAERI compact far-infrared (FIR) free-electron laser (FEL) has been operated successfully in the wavelength range of 97-150 #mu#m. It is the first demonstration of FEL lasing by using a magnetron-based classical microtron. We developed a high precision undulator consisting of 80 periods, with each period being 25 mm. The field strength of the undulator can be changed from 4.5 to 6.8 kG with an amplitude deviation of only 0.05% in r.m.s value. The kinetic energy of the electron beam is 6.5 MeV. The average current and pulse duration of the electron beam macropulses are 45 mA and 5.5 #mu#s, respectively. The measured power of the FEL with the electron beam parameters was more than 50 W for a FIR macropulse having a duration of 4 #mu#s. The spectral width of the FEL was measured to be 0.5% of the central wavelength. The FEL system, aside from the racks for the controlling units, is compact enough to be located inside an area of 3x4 m"2.

Energy Technology Data Exchange (ETDEWEB)

A safety analysis code to design a pressurized water reactor and to obtain the licenses including entire proprietary rights is under development in domestic R and D project. The tasks of KAERI is to develop the constitutive relations including models for defining flow regimes and flow regime related models for inter-phase friction, wall frictions, wall heat transfer, and interphase heat and mass transfer in the two-phase three-field equations. In this paper, the process will be presented for choosing the best flow regime maps which occur in gas-liquid two-phase flow in horizontal and vertical tubes.

Energy Technology Data Exchange (ETDEWEB)

A safety analysis code, named as SPACE, for a pressurized water reactor is under development to obtain a licensing to be used for the PWR design and to hold entire proprietary rights. The task of KAERI is to develop the physical models and correlations which are required to solve the field equations. It can be divided into four parts; i) flow regime determination, ii) wall heat transfer, iii) wall and interfacial friction, iv) interfacial heat and mass transfer. This paper will describe the process to develop the models for the two-phase flow regime maps in the horizontal and vertical pipes.

International Nuclear Information System (INIS)

PEFP(Proton Engineering Frontier Project) is developing beamlines for various application fields by using the high current 100MeV proton linear accelerator. Beamlines were characterized and categorized by the beam energy, average currents, and irradiation conditions. Among these beamlines the TR104 is designed for the basic science and the research of the aerospace. Before the construction and installation of beamlines, we try to practice and prepare the detail process of installation by the precedent study of TR104 beamline in KAERI site. By this work installation process was checked and confirmed for the same condition of the PEFP site

Energy Technology Data Exchange (ETDEWEB)

The Porous media approach method was applied to the MULTID component of MARS which was developed by KAERI. This method has been widely used for analysis of large regions containing only fluid and for flows in regions with immersed solids. It can calculate flow distribution more correctly in case of flow area or volume change. Application of this method to the MULTID component in MARS was evaluated and the results were compared with those of CFD code, FLUENT. As a result, the calculated flow distributions of MARS and FLUENT show similar trend, so the effect of porous media in MARS can be applied to the other cases.

Energy Technology Data Exchange (ETDEWEB)

Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. We consider the problem of verifying hybrid knowledge bases that contain both Horn rules and a terminology in a description logic. Our approach to the verification problem is based on showing a close relationship to the problem of query containment. Our first contribution, based on this relationship, is presenting a thorough analysis of the decidability and complexity of the verification problem, for knowledge bases containing recursive rules and the interpreted predicates =, {le}, < and {ne}. Second, we show that important new classes of constraints on correct inputs and outputs can be expressed in a hybrid setting, in which a description logic class hierarchy is also considered, and we ...

Energy Technology Data Exchange (ETDEWEB)

Information is presented concerning GCFR design and limiting faulted events; selection of PC-5 temperature limit; and verification test programs.

Science.gov (United States)

The cupola furnace is used to melt scrap steel, pig iron, foundry returns, and alloying additives to a prescribed tapping chemistry and temperature for iron casting applications. The melting process within the cupola is highly complex and not well quantified. The American Foundrymen's Society is developing a mathematical model to aid in the understanding of these processes. This model is reaching maturity, and has been successful in estimating a number of melting parameters. This paper details the results of efforts to verify the model in a controlled system, equipped wit the appropriate sensors, for model verification. The work was performed on a research-scale cupola furnace located at the Department of Energy's Albany Research Center.

Energy Technology Data Exchange (ETDEWEB)

In the ALICE experiment at CERN, the Detector Control System (DCS) employs several interacting software components to accomplish its task of ensuring the correct operation and monitoring of the experiment. This paper describes the Front-End-Electronics Communication (FeeCommunication) software and its role within the DCS. The FeeCommunication software's central task is passing configuration and monitoring data between the top level DCS process control and the field devices of several detectors within ALICE. The lowest level of the FeeCommunication software runs on the DCS boards, specialized embedded systems which are in direct contact with the field devices and are physically located within the detector. The middle and upper layers run on standard PC hardware located in the counting room or other external locations. This paper focuses on the design and implementation of the FeeCommunication ...

Energy Technology Data Exchange (ETDEWEB)

A thermal neutron imaging facility for real-time neutron radiography and computed tomography has been developed at the University of Texas reactor. The facility produced good-quality radiographs and two-dimensional tomograms. Further developments have been recently accomplished. A computer software has been developed to automate and expedite the data acquisition and reconstruction processes. Volume tomographic visualization using Interactive Data Language (IDL) software has been demonstrated and will be further developed. Volume tomography provides the additional flexibility of producing slices of the object using software and thus avoids redoing the measurements.

Energy Technology Data Exchange (ETDEWEB)

The role of computers has become increasingly important for oil and gas field research and operations support. Today, the computer network is an integral part of the increasingly complex computing environment that exists in many companies. Computer networks allow users to efficiently share information, software, and hardware to support critical global communication needs. Because users are able to share software and hardware, the use of computer networks can also result in significant cost savings. This paper describes typical network loading and demand levels for shared software applications on a computer network that has been used for several years.

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.

British Library Electronic Table of Contents (United Kingdom)

As organizations merge or collaborate closely, an important question is how their existing software assets should be handled. If these previously separate organizations are in the same business domain - they might even have been competitors - it is likely that they have developed similar software systems. To rationalize, these existing software assets should be integrated, in the sense that similar features should be implemented only once. The integration can be achieved in different ways. Success of it involves properly managing challenges such as making as well founded decisions as early as possible, maintaining commitment within the organization, managing the complexities of distributed teams, and synchronizing the integration efforts with concurrent evolution of the existing systems.Th...

UK PubMed Central (United Kingdom)

A report on the Wellcome Trust/Cold Spring Harbor Genome Informatics meeting, Cold Spring Harbor, USA, 7-11 May 2003.

Energy Technology Data Exchange (ETDEWEB)

This report discusses the procedures that establish the configuration control processes for the Hanford Environmental Information System (HEIS) software. The procedures also provide the charter and function of the HEIS Configuration Control Board (CCB) for maintaining software. The software configuration control items covered under these procedures include the HEIS software and database structure. The configuration control processes include both administrative and audit functions. The administrative role includes maintaining the overall change schedule, ensuring consistency of proposed changes, negotiating change plan adjustments, setting priorities, and tracking the status of changes. The configuration control process audits to ensure that changes are performed to applicable standards.

CERN Document Server

The LHCb experiment has chosen to use the SAM framework (Service Availability Monitoring Environment from EGEE-II) [1] make extensive tests of the LHCb environment at all the accessible grid resources. The availability and the proper definition of the local Computing and Storage Elements, user interfaces as well as the WLCG software environment are checked. The SAM framework is also used to pre-install the LHCb applications in the shared software area provided by each site. The deployment of the LHCb applications is based on a python tool developed inside the experiment. It is used for software management including incremental installation of interdependent packages and clean package removal. After the application software is installed a validation test of the whole MC chain is run. According to the results of the experiment specific SAM tests, the sites are (re)integrated into the LHCb production ...

UK PubMed Central (United Kingdom)

Dynamic clamp is a powerful method that allows the introduction of artificial electrical components into target cells to simulate ionic conductances and synaptic inputs. This method is based...Full Text Available

Science.gov (United States)

Feb 23, 2011 ... The potentials of the spherical sensor and nearby conductors are ... Incoming data are continuously monitored by algorithms in the software to ..... together with FM6 (Salsa) by a Soyuz-Fregat rocket from Baikonur. ...

Science.gov (United States)

Malignancies Breast Malignancies Bladder, Prostate, and Testicular Malignancies Uses of Cancer Registry Data Brain Tumor Reporting Training Materials Overview Presentation and...

Energy Technology Data Exchange (ETDEWEB)

Severe accident analysis has been performed for the Wolsung nuclear power= plants in Korea to investigate severe accident phenomena of CANDU-600 reactors as a part of Level II PSA study. The accident sequence analyzed in this paper is loss of active heat sinks (LOAH) which is caused by loss of off-site power, diesel generators, and DC power. ISAAC (Integrated Severe Accident Analysis Code) computer code developed by KAERI (Korea Atomic Energy Research Institute) was used in this analysis. This paper describes the important thermal-hydraulics and source term behaviors in the primary system and inside containment, and the failure mechanisms of calandria vessel and containment. In addition, some insights for accident management program (AMP) are also given. (Author) 5 refs., 1 tab., 12 figs.

International Nuclear Information System (INIS)

Korea Atomic Energy Research Institute (KAERI) has many R and D facilities in operation, including HANARO research reactor, radioactive waste treatment facility (RWTF), post-irradiation examination facility (PIEF) and irradiated material test facility (IMEF). Recently, nation-wide interest is focused on the safety and security of major industrial facilities. Safe operation of nuclear facilities is imperative because of the consequence of public disaster by radiological release/ contamination, in case of an accident. Recently, Ministry of Science and Technology (MOST) of the Korean government announced amendments of Atomic Energy laws to enforce requirements of the physical protection and radiological emergency. In this paper, the context of amended Atomic Energy laws were reviewed to confirm quality assurance measures and identify additional QA activities, if any, that is required by the amendment

International Nuclear Information System (INIS)

DBEs (Design Basis Event) of KALIMER-600 (Korea Advanced Liquid Metal Reactor) were analyzed in one dimension by KAERI (Korea Atomic Energy Research Institute). KALIMER-600 is the pool type SFR (Sodium cooled Fast Reactor), thereby the sodium of primary system is prohibited movement to out of a reactor vessel. There are many contacting and including compositions in the sodium hot pool, such as IHX (Intermediate Heat eXchanger), DHX (Decay Heat eXchanger), Pump, UIS (Upper Internal Structure), and core. Moreover, the complex phenomena are occurred in sodium hot pool during steady and transient states. Therefore, the one dimensional analysis is modified to the multi-dimensional analysis through modification of sodium hot pool from one to three dimensions

International Nuclear Information System (INIS)

Development of a front end system for a high energy proton accelerator is in progress at Korea Atomic Energy Research Institute (KAERI) for basic science and industrial applications. The proper vacuum components has been installed and operated successfully between ion source and RFQ. The reliable operation of the accelerator has been completed at vacuum system in the high and ultra high vacuum range under operating conditions. Proper control system for the vacuum instruments, based on PC operated by Windows, has been designed and constructed by control group at PAL. As PC operated by windows with inherent instability does not proper, embedded system can be replaced for reliable operation system, such as VME system operated by vxWorks.

International Nuclear Information System (INIS)

A 20-MeV proton accelerator is developed by Proton Engineering Frontier Project (PEFP) at Korea Atomic Energy Research Institute (KAERI). The 20MeV accelerator consists of 50keV proton injector, 3MeV RFQ (Radio frequency Quadrupole), 20MeV DTL (Drift Tube Linac) and 20MeV beam line. The beam profile was measured at the end of the 20MeV beam line with wire scanner. Moreover the beam emittance was calculated from the quad scan method using beam line quadrupole magnets. In this paper, the beam profile measurement results are presented and the emittance measurement from the quad scan method is discussed

Energy Technology Data Exchange (ETDEWEB)

Lawrence Livermore National Laboratory (LLNL) has implemented a computer control system for operation of an FN tandem accelerator. The control software utilized is the Thaumaturgic Automated Control Logic (TACL) written by the Continuous Electron Beam Accelerator Facility and co-developed with LLNL. Details of the design philosophy, hardware configuration, control software, and special control algorithms will be presented. 2 refs., 4 figs.

CERN Document Server

The paper describes design and practical realization of an internal communication layer referred to as the Internal Interface (II). The system was realized for the RFC Muon Trigger of the CMS experiment. Fully automatic implementation of the communication layer is realized in the FPGA chips and in the control software. The methodology of implementation was presented in the description form of the interface structure from the sides of hardware and software. The examples of the communication layer realizations were given for the RFC Muon Trigger.

International Nuclear Information System (INIS)

A program to modernize existing computer control and data analysis in a precision gamma-scanning system is described. This involves interfacing a new computer-based multichannel analyzer to existing equipment through a CAMAC system with an intelligent crate controller and writing software for scan control and data reduction. Both hardware and software requirements are discussed. 6 figures.

International Nuclear Information System (INIS)

Software quality assurance is an area of concern for DOE, EPA, and other agencies due to the poor quality of software and its documentation they have received in the past. This report briefly summarizes the software development concepts and terminology increasingly employed by these agencies and provides a workable approach to scientific programming under the new requirements. Following this is a practical description of how to qualify a simulation code, based on a software QA plan that has been reviewed and officially accepted by DOE/OCRWM. Two codes have recently been baselined and qualified, so that they can be officially used for QA Level 1 work under the DOE/OCRWM QA requirements. One of them was baselined and qualified within one week. The first of the codes was the multi-phase multi-component flow code TOUGH version 1, an already existing code, and the other was a geochemistry transport code ...

International Nuclear Information System (INIS)

The Four years of the IMPACT, 'Integrated Modular Plant Analysis and Computing Technology', project Phase 1 have been completed. The verification study of Severe Accident Analysis Code SAMPSON prototype developed in Phase 1 was conducted in two steps. First, each analysis module was run independently and analysis results were compared and verified against separate-effect test data with good results. Second, with the Simulation Supervisory System, up to 11 analysis modules were executed concurrently in the parallel environment (currently, NUPEC uses IBM-SP2 with 72 process elements), to demonstrate the code capability and integrity. The target plant was Surry as a typical PWR and the initiation events were a 10-inch cold leg failure. The analysis is divided to two cases; one is in-vessel retention analysis when the gap cooling is effective (In-vessel scenario test), the other is analysis of phenomena event is extended to ex-vessel due to the Reactor Pressure Vessel ...

International Nuclear Information System (INIS)

The possibility of developing reactor designs with inherent safety characteristics sufficient to provide walk away safety is receiving additional emphasis in the LMR program. A key element in this effort is the recognition that LMR's possess safety characteristics above and beyond those employed in past safety review processes. Some of these additional safety characteristics are due to reactivity feedback effects caused by small structural movements during hypothetical severe design transients. The effects of these characteristics upon the behavior of the FFTF under such transients has been assessed and is discussed in this paper. The paper also presents a preliminary test matrix which might allow experimental verification of the structural reactivity feedback effects. Such experimental verification should be very useful to innovative designers seeking to optimize inherent safety.

Energy Technology Data Exchange (ETDEWEB)

We present sufficient conditions that imply duality for the algebras of local observables in all Abelian sectors of all locally normal, irreducible representations of a field algebra if twisted duality obtains in one of these representations. It is verified that the Yukawa/sub 2/ model satisfies these conditions, yielding the first proof of duality for the observable algebra in all coherent charge sectors in this model. This paper also constitutes the first verification of the assumptions of the axiomatic study of the structure of superselection sectors by Doplicher, Haag and Roberts in an interacting model with nontrivial sectors. The existence of normal product states for the free Fermi field algebra and, thus, the verification of the funnel property for the associated net of local algebras are demonstrated.

International Nuclear Information System (INIS)

The ISI (In-Service Inspection) system has been developed so as to maintain the structural integrity of heat transfer tubes in the primary pressurized water cooler in the HTTR (High Temperature Engineering Test Reactor). This system consists of eddy current probes, ultra-sonic probes, insertion and extraction units, positioning unit and so on. Verification and performance tests of the developed ISI system were carried out using mock-up heat transfer tubes in the primary pressurized water cooler. The constitution of the system, R and D results of the inspection probes, and verification and performance test results of the ISI system for heat transfer tubes are described in this paper. (author)

Energy Technology Data Exchange (ETDEWEB)

The purpose of this study is to investigate on the experimental verification analysis for the pipe whip problems and to obtain the quantitative evaluation technologies for the design technique of pipe whip restraints. These will contribute to the advance of nuclear regulatory technologies and enhance nuclear power plant safety. This study presents the experimental and transient analytical results of pipe whip tests using the 4', 6' diameter pipe and U-shaped restraints. In the tests, the effects of the overhang length, clearance, impact height on the pipe whip behavior of the pipe-restraints were investigated. The transient impact analysis of the pipe-restraint system was conducted by the finite element program ABAQUS. The applicability of the ABAQUS program to the pipe whip analysis is made clear through this analysis.

Energy Technology Data Exchange (ETDEWEB)

The Tevatron is a proton anti-proton accelerator collider operating at the Fermi National Accelerator Laboratory. The machine is currently delivering beam for the CDF and D0 experiments, which expect increasing luminosity until the conclusion of Run II, planned for 2009. The Laboratory defined a plan for achieving higher luminosity, and one of the tasks is the upgrade of the accelerator's beam position monitor (BPM). The Tevatron was built during the early eighties and some of its control systems, including the BPMs, are still the original ones. This paper describes the front-end software of the Tevatron BPM upgrade, from the requirements to the implementation, and the underlying hardware setup. The front-end software designed is presented, emphasizing its modularity and reusability, allowing it to be applied to other Fermilab machines.

Energy Technology Data Exchange (ETDEWEB)

A thermal neutron imaging facility for real-time neutron radiography and computed tomography has been developed at the University of Texas reactor. The facility produced a good-quality radiographs and two-dimensional tomograms. Further developments have been recently accomplished. Further developments have been recently accomplished. A computer software has been developed to automate and expedite the data acquisition and reconstruction processes. Volume tomographic visualization using Interactive Data Language (IDL) software has been demonstrated and will be further developed. Volume tomography provides the additional flexibility of producing slices of the object using software and thus avoids redoing the measurements.

British Library Electronic Table of Contents (United Kingdom)

Abstract Here we propose a software for the estimation of the occupied area and volume of fungal cultures. This software was developed using a Matlab platform and allows analysis of high-definition images from optical, electronic or atomic force microscopes. In a first step, a single hypha grown on potato dextrose agar was monitored using optical microscopy to estimate the change in occupied area and volume. Weight measurements were carried out to compare them with the estimated volume, revealing a slight difference of less than 1.5%. Similarly, samples from two different solid-state fermentation cultures were analyzed using images from a scanning electron microscope (SEM) and an environmental SEM (ESEM). Occupied area and volume were calculated for both samples, and the results obtained w...

DEFF Research Database (Denmark)

This paper presents a general high level estimation model of communication throughput for the implementation of a given communication protocol. The model, which is part of a larger model that includes component price, software driver object code size and hardware driver area, is intended to be general enough to be able to capture the characteristics of a wide range of communication protocols and yet to be sufficiently detailed as to allow the designer or design tool to efficiently explore tradeoffs between throughput, bus widths, burst/non-burst transfers and data packing strategies. Thus it provides a basis for decision making with respect to communication protocols/components and communication driver design in the initial design space exploration phase of a co-synthesis process where a large number of possibilities must be examined and where fast estimators are therefore necessary. The fill model allows for additional (money) cost, software ...

Energy Technology Data Exchange (ETDEWEB)

The GASPAR module utilized in MAXIGASP and POPGASP has been verified by hand calculations. The program operates as documented by the NRC [Eckerman et. al. 1980]. Equations used in the code to calculate downwind deposition rates, concentrations in air, on ground surfaces, and in vegetables, meat, and milk are provided in this report.

International Nuclear Information System (INIS)

Information is presented concerning new trends in licensing; seismic considerations and system structural behavior; TMI-2 risk assessment and thermal hydraulics; statistical assessment of potential accidents and verification of computational methods; issues with respect to improved safety; human factors in nuclear power plant operation; diagnostics and activities in support of recovery; LOCA transient analysis; unresolved safety issues and other safety considerations; and fission product transport.

International Nuclear Information System (INIS)

The necessity of the electron beam machine characterization via dose measurement is discussed. It includes a measurement of comprehensive dose distribution (at known X and Z axis) for verification of the machine performance. The acquired data were then used to develop the irradiation parameters such as energy, current, distance, conveyor speed, exposure rate and depth inside product to be irradiated. These parameters will be used as a guide for the routine irradiations. (Author)

International Nuclear Information System (INIS)

A reliable inventory control system was developed at the Fast Flux Test Facility (FFTF) to keep track of the occupancy of 900 refueling facility locations, to compile historical data on the movement of each reactor assembly, and to simulate assembly moves. The simulate capability is valuable because it allows verification of documents before they are issued for use in the plant, and eliminates the possibility of planning illegal or impossible moves. The system is installed on a UNIVAC 1100 computer and is maintained using a data base management system by Sperry Univac called MAPPER.

International Nuclear Information System (INIS)

Accidents from three main practices: medical applications, industrial radiography and industrial irradiators are used to illustrate some common causes of accidents and the main lessons to be learned. A brief description of some of these accidents is given. Lessons learned from the described accidents are approached by subjects covering: safety culture, quality assurance, human factors, good engineering practice, defence in depth, security of sources, safety assessment and monitoring and verification compliance. (author)

International Nuclear Information System (INIS)

The field trial of an unattended monitoring system for SF transfer verification ended in June 2005. The system is aiming to improve the safeguards measures applied during SF transfers and reduce inspection effort currently required by the Operator, NNCA and the IAEA. They were reviewed based on its technical performance and other issues in this paper.

Energy Technology Data Exchange (ETDEWEB)

These ten chapters present an overview of floating production, storage and offloading (FPSO) vessels, and examines deep water developments; hydrostatic stability; production, storage and offloading systems; the configuration and structure of flexible risers and umbilicals; the structural and global dynamic analysis of flexible riser and umbilicals; verification of FPSO structural integrity; vessel global loading and rigid body response; environmental loading and vessel response; and mooring systems. (UK)

Energy Technology Data Exchange (ETDEWEB)

The objectives of this report are: to demonstrate complete CSSX process flowsheet (proof of concept)--decontamination factor {ge} 40,000, and concentration factor {approx}15; Scientific and technical issues evaluated--stage efficiency, temperature control, hydraulic performance, long time (multi-day) operation, short-term shutdown, effect of solids, and recovery from Cs moving through strip section.

Energy Technology Data Exchange (ETDEWEB)

In this letter we report a clear and unambiguous observation of the out-of-plane quadrupole magnetic field suggested by numerical simulations in the reconnecting current sheet in the Magnetic Reconnection Experiment (MRX). Measurements show that the Hall effect is large in collisionless regime and becomes small as the collisionality increases, indicating that the Hall effect plays an important role in collisionless reconnection.

Energy Technology Data Exchange (ETDEWEB)

For verification of cow fertility a /sup 3/H radioimmunoassay of progesterone in milk and blood plasma was developed. It is of high specificity and accuracy as well. Extraction of progesterone from milk was facilitated by application of alcohol. Suggested differences in milk and plasma progesterone levels between pregnant and nonpregnant cows could be revealed.

International Nuclear Information System (INIS)

Purpose/Objective: At present, treatment verification between portal and reference images is performed based on manually-identified features by radiation oncologist, which is both time-consuming and potentially error-prone. There is a demand for the computerized verification procedure in clinical application. The purpose of this study is to develop a computerized portal verification scheme for pelvic treatment fields. Materials/Methods: The automated verification system involves image acquisition, image feature extraction, feature matching between reference and portal images and quantitative evaluation of patient setup. Electronic portal images with a matrix size of 256 x 256 and 12 bit gray levels were acquired using a liquid matrix electronic portal imaging device. Simulation images were acquired by digitizing simulation films using a TV camera into images with 256 x 256 matrix and 8 bit gray levels. ...

Energy Technology Data Exchange (ETDEWEB)

The Vertical Axis Wind Turbine (VAWT) offers a mechanically and structurally simple method of harnessing the energy of the wind. Fast and accurate predictions of the VAWT performance can be obtained using momentum models. Aerodynamic streamtube models are based on the conservation-of-momentum principle in a quasi-steady flow, by equating the forces of the rotor blades to the change in streamwise momentum through the turbine. An analytical model considering a multi-streamtube system divided into two parts has been developed to determine the aerodynamic blade loads and rotor performance of the Darrieus wind turbine (CARDAA computer code). This so-called double multiple-streamtube (DMS) model uses two constant interference factors in the induced velocities and accounts for vertical variations in the free stream velocity. It has been recently modified to produce an efficient software package appropriate for the needs of VAWT designers. This ...

UK PubMed Central (United Kingdom)

BackgroundA key feature of a good general practice consultation is that it is patient-centred. A number of verbal and non-verbal behaviours have been identified as important to establish...Full Text Available

UK PubMed Central (United Kingdom)

BackgroundHigh throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these data...Full Text Available

Science.gov (United States)

Mar 2, 2011 ... CCT's software is capable of simultaneously handling incoming ... has been using CCTK to automate its remote control rocket cryogenic fueling systems. ... seismic, infrared, and proximity sensor data with auto-tracking ...

Science.gov (United States)

Feb 7, 2011 ... The potentials of the spherical sensor and nearby conductors are controlled ... Incoming data are continuously monitored by algorithms in the software ... together with FM8 (Tango) by a Soyuz-Fregat rocket from Baikonur. ...

UK PubMed Central (United Kingdom)

We present a software system that computationally reproduces biochemical radioisotope-tracer experiments. It consists of three main components: A mapping database of substrate-product atomic correspondents...Full Text Available

Science.gov (United States)

Most waste management activities are decided upon and carried out in a public or semi-public arena, typically involving the waste management organization, one or more regulators, and often other stakeholders and members of the public. In these environments, simulation modeling can be a powerful tool in reaching a consensus on the best path forward, but only if the models that are developed are understood and accepted by all of the parties involved. These requirements for understanding and acceptance of the models constrain the appropriate software and model development procedures that are employed. This paper discusses requirements for both simulation software and for the models that are developed using the software. Requirements for the software include transparency, accessibility, flexibility, extensibility, quality assurance, ability to do discrete and/or continuous simulation, and efficiency. ...

Energy Technology Data Exchange (ETDEWEB)

Concerns over the environment and energy security have recently prompted renewed interest in the U.S. in nuclear energy. Recognizing this, the U.S. Dept. of Energy has launched an initiative to revamp and modernize the role that modeling and simulation plays in the development and operation of nuclear facilities. This Nuclear Energy Advanced Modeling and Simulation (NEAMS) program represents a major investment in the development of new software, with one or more large multi-scale multi-physics capabilities in each of four technical areas associated with the nuclear fuel cycle, as well as additional supporting developments. In conjunction with this, we are designing a software architecture, computational environment, and component framework to integrate the NEAMS technical capabilities and make them more accessible to users. In this report of work very much in progress, we lay out the 'problem' we are addressing, describe the ...

Science.gov (United States)

These steps are based on work done by the AIAA. Space-Based Observation Systems Committee on Standards (SBOS COS) as well as work done in this ..... Surface Weapons Center, Code B-10, Dahlgren, VA, 22448. Although it had many ...

UK PubMed Central (United Kingdom)

A methodology and toolkit are described which enable the automated metadata-driven creation of datamarts from clinical data warehouses. The software uses schema-to-schema transformation driven by an...Full Text Available

Science.gov (United States)

... Rep. ISIS-04-504, Institute for Software Integrated Systems (2004). [59] G. Simon, M. Maroti, A. Ledeczi, G. Balogh, B. Kusy, A. Nadas, G. Pap, J ...

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.

International Nuclear Information System (INIS)

The Gamma Physics (GaP) program of physical phenomena investigation is proposed on #gamma#p, #gamma#e and #gamma##gamma# colliders at TeV energies. The program contains specialized software (CompHEP system) created for automation of particle interaction processes calculations in the framework of various gauge models. Preliminary physical results are presented (heavy quark production, W, Z production, supersymmetry etc.), and further software development is suggested. (R.P.) 22 refs., 8 figs., 4 tabs.

CERN Document Server

Knowledge management is controlling the transfer, distribution, and availability of knowledge. Traditionally, knowledge management processes are predefined; e.g. it is laid out in detail which document template, data structure, system, or work flow steps have to be used in order to manage knowledge. But knowledge management itself is complex. It is simply not possible to predefine the typical flow of work in knowledge intensive processes in advance. So rather than trying to determine the procedures it is more promising to analyze which factors can be used in order to control the outcome of t

Energy Technology Data Exchange (ETDEWEB)

The authors evaluated three of the top man-machine interface (MMI) software systems. The main categories upon which they based their evaluation on were the following: operator interface; network and data distribution; input/output (I/O) interface; application development; alarms; real-time and historical trending; support, documentation, and training; processing tools (batch, recipe, logic); reports; custom interfacing; start-up/recovery; external database; and multimedia. They also present their MMI requirements and guidelines for the selection and evaluation of these MMI systems.

Energy Technology Data Exchange (ETDEWEB)

Most of the investigations have a theoretical sustenance based on molecular simulation. The area of application of molecular simulation is very wide, in the Materials Technology Department assigned to the Applied Sciences Management have been treated problems about metallic nano structures, glasses, interfaces, and molecules, to sustain and to explain some of the experimental results. Energy calculations are carried out to determine minimum energy structures, for later on to carry out calculations of some of their properties; as well as the images simulation of Electron microscopy and X-ray diffraction. (Author)

Wastenet

...com: The Art of Application Performance Testing : Help for Programmers and Quality Assurance (9780596520663): Ian Molyneaux: Books Amazon.com:...The Art of Application Performance Testing : Help for Programmers and Quality Assurance (9780596520663): Ian Molyneaux: Books Ian Molyneaux,The ...Art of Application Performance Testing : Help for Programmers and Quality Assurance,O'Reilly Media,0596520662,LA9780596520663,Computer Books: General,Application software,Computer software,...com: The Art of Application Performance Testing : Help for Programmers and Quality Assurance (9780596520663): Ian Molyneaux: Books ...

International Nuclear Information System (INIS)

SMART (System integrated Modular Advanced ReacTor) , is under development at the Korea Atomic Energy Research Institute (KAERI). SMART is an integral type pressurized water reactor which contains a pressurizer, 4 reactor coolant pumps (RCPs), and 8 steam generator cassettes(S/Gs) in a single reactor vessel. This reactor has substantially enhanced its safety with an integral layout of its major components, 4 trains of safety injection system (SIS), and an adoption of 4 trains of passive residual heat removal system (PRHRS) instead of an active auxiliary feedwater system . The thermal power is 330 MWth. During the conceptual design stage, a preliminary PSA was performed. PSA results identified that a steam generator tube rupture (SGTR) is one of the most important initiating events which results in a high core damage frequency. Clear understanding of accident progression with various combinations of the safety systems helps to develop an event tree of SGTR accident ...

International Nuclear Information System (INIS)

The new proton-induced nuclear reaction data for C, Fe, Cu and Pb for KASKAD-S have been generated using a newly developed data preparation system. The new system utilizes the NJOY and TRANSX codes to prepare these data with the latest evaluation instead of using the SADCO code with the built-in nuclear data. Auxiliary codes have been developed to help the conversion of TRANSX output into the reaction data for running the KASKAD-S. The basic nuclear data selected for this work are the LA150 and KAERI high energy files whose energy ranges are up to 150 and 250 MeV, respectively. The total neutron yields were calculated using KASKAD-S and the new reaction data up to 250 MeV bombarding energy. The calculations were compared with the measurements or MCNPX calculations when the measured data were absent. The comparison shows that our calculations give an overall good agreement with the measurements and MCNPX calculations except around 30 MeV where large discrepancies ...

Energy Technology Data Exchange (ETDEWEB)

The purpose of this study is to analyze the safeties and the economics for Co-60 production from Wolsung PHWR and to verify the feasibility on the manufacturing of the final Co-60 source for industrial irradiation. The feasibility of reactor conversion was carried out with KEPCO collaboration. Through the site survey on the experience of Gentililly-2 in Canada, a feasibility of plant conversion, changes in design, equipment and tools for Co-60 production was verified. It was estimated that the reactor conversion would not impose adverse impact on plant safety. For the encapsulation of radiation source and storage of the final products, a modification of concrete hot cell at KAERI was primary concerns. The installation and improvement of facilities are needed to avoid cross contamination and extra radiation exposure. Main items for these are pressure gauge, separated HEPA filter the ceiling separation, extra-shielding and ceiling hoist system. At present, storage ...

International Nuclear Information System (INIS)

The core of Prismatic Modular Reactor (PMR) consists of assemblies of hexagonal graphite fuel and reflector elements. The core bypass flow of Very High Temperature Reactor (VHTR) is defined as the core flow that does not pass through the coolant channels but passes through the bypass gap between fuel elements. The increase in bypass flow makes the decrease in effective coolant flow. Since the core bypass flow has a negative impact on safety and efficiency of VHTR, core bypass phenomena have to be investigated to improve the core thermal margin of VHTR. For this purpose, the international project, I-NERI project, has been carried out since 2008. I-NERI project is collaborative project that KAERI and SNU of Korea side and INL, ANL and TAMU of U.S side are involved. In order to evaluate the core bypass flow, the multicolumn and multi-layer experimental facility is designed by SNU. In this experiment, the effect of cross-flow and local variation of bypass gap on the ...

International Nuclear Information System (INIS)

Economic analysis was performed at KAERI with the assistance of US DOE to compare single reactor fuel cycle costs for a once-through option and a thermal recycle option to operate 1 GWe of a PWR plant for its lifetime. A reference fuel cycle cost was first calculated for each option with best estimated reference input data. Then a sensitivity analysis was performed changing each single value of such fuel cycle component costs as yellow cake price, enrichment charges, spent fuel storage cost, reprocessing cost, spent fuel disposal cost and reprocessing waste disposal cost. Savings due to thermal recycle in requirements of uranium, conversion, and enrichment were examined using formulas suggested by US DOE, while MOX fabrication penalty was accounted for. As a result of the reference fuel cycle cost analysis, it is calculated that the thermal recycle option is marginally more economical than the once-through option. The major factors affecting the comparative costs ...

International Nuclear Information System (INIS)

The SMART (System-integrated Modular Advanced ReacTor) which is a 330 MWt advanced integral PWR was developed by the KAERI (Korea Atomic Energy Institute) for electricity generation and seawater desalination. A thermal hydraulic evaluation and analysis of the SMART is performed by the TASS /SMR-S (Transient And Setpoint Simulation/System integrated Modular Reactor-Safety). The TASS/SMR-S code has various models reflecting the design features of the SMART such as the drift flux model, the core models (core power and core heat transfer model), the component models, and the specific models. One of the core models is the core heat transfer model. The role of this model is to calculate the heat flux and radial temperature profiles at a fuel rod surface using the relevant heat transfer correlations for all of the heat transfer modes. Also it is modeled to meet the requirements of the 10 CFR 50 appendix K EM model for the CHF (Critical Heat Flux) and post CHF conditions. ...

International Nuclear Information System (INIS)

The heavy dependence on nuclear power eventually raise the issues of an efficient utilization of uranium resources, which Korea presently imports from abroad, end of a spent fuel storage. From the viewpoint that sodium-cooled fast Reactors (SFRs) have the potential of an enhanced safety by utilizing inherent safety characteristics, trans-uranics (TRU) reduction and resolving the spent fuel storage problems through a proliferation-resistant actinide recycling. SFRs are sure to be most promising nuclear power operation. The Korea Atomic Energy Research Institute (KAERI) has been developing SFR design technologies since 1997. And nowadays, the preliminary heat balance of the demonstration SFR is calculated. However, in order to verify design condition of the NSSS, it is necessary to set the heat balance and the conceptual design for BOP of the SFR as a part of the SFR design technique development business. Moreover, in order to confirm whether the heat balance can ...

International Nuclear Information System (INIS)

In this study based on the mass transfer theory, experiments for the evaporation rates depending on various conditions were carried out through the operation of the existing Natural Evaporation Facility in KAERI. Evaporation media were made of the cotton and polyester. Air circulation in the facility was forced by exhausting fans. The evaporation rate and the decontamination factor were calculated by the result of experiment. The evaporation rate increased as the flow rate of air supply, the feed rate of liquid waste, and the temperature of supplied air increased. As for the humility of supplied air, the evaporation rate was getting higher as the humidity was getting lower. As the result of this study, operation conditions of the Natural Evaporation Facility are optimized as follows; The air temperature above 8C .deg., the air humidity below 70%, the air flow rate 1.14-1.47 m/sec, and the liquid waste feed rate 4.6l/hr.m"2. The decontamination factor and the ...

Energy Technology Data Exchange (ETDEWEB)

The traditional process for developing large-scale simulations is cumbersome, time consuming, costly, and in some cases, inadequate. The topics of software components and component-based software engineering are being explored by software professionals in academic and industrial settings. A component is a well-delineated, relatively independent, and replaceable part of a software system that performs a specific function. Many researchers have addressed the potential to derive a component-based approach to simulations in general, and a few have focused on military simulations in particular. In a component-based approach, functional or logical blocks of the simulation entities are represented as coherent collections of components satisfying explicitly defined interface requirements. A simulation is a top-level aggregate comprised of a collection of components that interact with each other in the context ...

International Nuclear Information System (INIS)

A new three-dimensional treatment planning system (TPS) based on convolution/superposition algorithms (TMS-Radix from HELAX AB, Uppsala, Sweden) was recently installed at the University Hospital in Lund. The purpose of the present study was to design a quality assurance and acceptance testing programme to meet the specific characteristics of this convolution model. The model is based on parametrization of a non-measurable quantity - the polyenergetic pencil beam. However, the verification of the treatment planning model is still dependent on numerous comparisons of measured depth-doses and dose profiles. The test programme was divided in two basic parts: (i) model implementation and beam data consistency and (ii) model performance and limitations in special situations. The first part was scheduled for all photon beam qualities available before they could be used for clinical treatment planning. The second part was performed for selected energies only. The results ...

International Nuclear Information System (INIS)

The Belgian Tihange 2 nuclear power plant went into commercial operation in 1983 producing a thermal power of 2785 MW. Since the commissioning of the plant the steam generators U-tubes have been affected by primary stress corrosion cracking. In order to avoid further degradation of the performance and an increase in repair costs, Electrabel, the owner of the plant, decided in 1997 to replace the 3 steam generators. This decision was supported by the feasibility study performed by Tractebel Energy Engineering which demonstrated that an increase of 10% of the initial power together with a fuel cycle length of 18 months was achieved. Tractebel Energy Engineering was entrusted by Electrabel as the owner's engineer to manage the project. This paper presents the role of Tractebel Energy Engineering in this project and the safety analysis program necessary to justify the new operation point and the fuel cycle extension to 18 months re-analysis of FSAR chapter 15 accidents and ...

Energy Technology Data Exchange (ETDEWEB)

Upon request by the Science and Technology Agency of Japanese Government, the Japan Atomic Energy Research Institute has conducted Piping Reliability Test Program to demonstrate the safety and reliability of light water reactor primary pipings. In this report, the results of the program are summarized. In the test program, pipe fatigue tests, Leak-Before-Break (LBB) verification tests and pipe rupture tests were carried out to examine the integrity of pipings, to verify the LBB concept and to demonstrate the effectiveness of the protective measures against jet impingement and pipe whip under pipe rupture event, respectively. In the pipe fatigue tests, a procedure to predict the fatigue crack growth was developed and the integrity of piping during plant service life was demonstrated. In the LBB verification tests, pipe fracture tests and leak rate tests were performed using cracked pipes. Based on the test results, LBB in the primary pipings was ...

Energy Technology Data Exchange (ETDEWEB)

The Kyoto Protocol is often described as a good first step towards reducing greenhouse gas (GHG) emissions into the atmosphere. The Protocol endorses emissions trading, joint implementation including 'bubbling' between Annex 1 Parties, and a clean development mechanism that allows Annex 1 and non-Annex 1 Parties to act together to reduce emissions. However, the anticipated permit market will not function if uncertainties are not rigorously assessed and considered in any compliance process. With no reliable verification tool, it is impossible to effectively assess the different mechanisms and activities mentioned under the Protocol. Thus, it is very important to study the uncertainties underlying the Kyoto relevant GHGs, here with reference to Poland, because without the consideration of uncertainty robust verification can not occur. This paper presents information about the data used in the calculations as well as the methods ...

International Nuclear Information System (INIS)

The full scope simulator in Daya Bay Nuclear Power Station is imported from THOMSON-CSF company in France. It is a large facility, using digital simulation technology, that simulate the main control room of Daya Bay Nuclear Power Station with the high fidelity. It is used for training operators; system analyzing including operation procedure verification. The input output interface system of the simulator is the bridge of the information exchange between instrumentation and the computer. From the point of view of data transfer, this paper discusses the operation principle of the I/O interface system.

International Nuclear Information System (INIS)

This report has been prepared in support of the industry effort to standardize nuclear plant designs. This document describes the Combustion Engineering, Inc. System 80+trademark Standard Design. This volume contain Chapter 18 -- Human Factors Engineering. Topics covered include: design team organization and responsibilities; design goals and design bases; design process and application to human factors engineering; functional task analysis; control room configuration; information presentation and panel layout evaluation; control and monitoring outside the main control room; and verification and validation.

Energy Technology Data Exchange (ETDEWEB)

In order to consider some procedures to prevent errors in radiotherapy based in learned lessons of accidental expositions and in accordance with information contained in international reports elaborated by International Atomic Energy Agency (IAEA) and of the data base availability by the European group Radiation Oncology Safety Information System (ROSIS) on the events, a research of the occurred errors was performed. For the evaluation of the incidents a data base based in the ROSIS and added plus a parameter was created 'type of error'. All the stored data make possible the evaluation of the 839 incidents in terms of frequency of the type of error, the process of detention, the number of reached patients and the degree of severity. Of the 50 types of found errors, the type of error more frequently was 'incorrect treatment coordinate', confirmed with the data of literature and representing 28,96 por cent of the total of the incidents. The results ...

Energy Technology Data Exchange (ETDEWEB)

This paper has the objective of presenting the philosophy of Static Var Compensator (SVC) Control as well the necessary adjustments in the project of control system to guarantee suitable performance under different operating conditions. The verification on the performance of the SVC control has been done by Transient Network Analyzer (TNA/CEPEL) studies, commissioning tests and a factory tests. The SVC is the type of Thyristor Controlled Reactor (TCR) and Thyristor Switched Capacitor (TSC). (author) 3 refs., 12 figs.

Energy Technology Data Exchange (ETDEWEB)

Cement-based composites are widely used in applications which demand long-term service life. One important example is in immobilization matrices for low-level radioactive and other hazardous wastes, which demands long-term retention and durability. The authors describe conductivity measurements of grouts flooded with water and in contact with a sink that consists of pure water. The conductivity measurements were designed and carried out in parallel with present quality verification methods and standard leach tests of the nuclear waste management industry. For the first time, the authors show that the method of replacing intrusive chemical analysis with conductivity measurements of the leaching samples yields equivalent results.

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.

International Nuclear Information System (INIS)

Conformal radiation therapy represents a considerable and attractive challenge in oncology. Its aim is mainly to improve local control by increasing the dose with an acceptable rate of complications. This work overviews the world literature on this subject. The technical and theoretical requirements are highlighted. These requirements include a precise definition of the target volume by digital imaging (essentially CT scan), but also clear view of the target volume and the organs at risk, a specific collimation of the beam, 3-D dose calculations, optimization procedures, and a rigid immobilization of the patient with verification of his position. Moreover, the clinical applications of conformal radiation therapy are reviewed and discussed. (authors). 80 refs., 1 tab.

Energy Technology Data Exchange (ETDEWEB)

The Kyoto Protocol foresees emission trading but does not yet specify verification of (uncertain) emissions. This paper analyses a setting in which parties can meet their emission targets by reducing emissions, by investing in monitoring (reducing uncertainty of emissions) or by (bilaterally) trading permits. We derive the optimality conditions and carry out various numerical simulations. Our applications suggest that including uncertainty could increase compliance costs for the USA, Japan and the European Union. Central Europe and the Former Soviet Union might be able to gain from trading due to higher permit prices. Emissions trading could also lower aggregate uncertainty on emissions.

International Nuclear Information System (INIS)

A method of using gamma radiation to determine the density and phase distribution in two-phase flows in pipes is described. Three collimated beams of radiation that pass through a pipe cross-section at different radial positions are used. A theory and computer program used to relate the measured attenuation of these beams to a three-parameter model of the phase distribution and to the average density and void fraction are discussed. Data obtained during both static and dynamic verification experiments using Lucite inserts are presented, as well as the results of several tests done in high pressure, steam-water flows.

International Nuclear Information System (INIS)

A dose calculation algorithm for MLC based conformal radiotherapy is described in this paper. The algorithm is formulated by the coordinate of MLC leaves. Verification on the algorithm is made by comparing the dose distributions generated by this algorithm with that generated by a Differential Convolution Superposition algorithm for various regular and irregular fields. The results demonstrate that the present algorithm has suitable accuracy and high computational efficiency, thus it could be useful for the treatment planning process in MLC based conformal radiotherapy, where the workload for interactively or automatically designing the shapes of MLC is heavy. (authors)

Energy Technology Data Exchange (ETDEWEB)

This work describes a combinatorial model for estimating the reliability of the embedded digital system by means of multi-state function. This model includes a coverage model for fault-handling techniques implemented in digital systems. The fault-handling techniques make it difficult for many types of components in digital system to be treated as binary state, good or bad. The multi-state function provides a complete analysis of multi-state systems as which the digital systems can be regarded. Through adaptation of software operational profile flow to multi-state function, the HW/SW interaction is also considered for estimation of the reliability of digital system. Using this model, we evaluate the reliability of one board controller in a digital system, Interposing Logic System (ILS), which is installed in YGN nuclear power units 3 and 4. Since the proposed model is a generalized combinatorial model, the simplification of this model becomes the conventional model ...

International Nuclear Information System (INIS)

Computer based control systems for safety related applications in nuclear power plants have to meet not only the functional, performance and interface requirements, they in addition, have to meet regulatory requirements like enhanced reliability, safety and security and should provide fault tolerance, diagnostics and self-supervision. The control system architecture, hardware design and software design should meet requirements as specified in design code and guides of AERB. The Dual Processor Hot Standby Process Control System (DPHS-PCS) for TAPP-3 and 4 is a safety related (Class- IB) system. DPHS-PCS regulates PHT pressure, Pressuriser pressure, Pressuriser level, Bleed condenser pressure, Bleed condenser level and Steam generator pressure. The performance, reliability and safety requirements of this control system are met by employing a fault tolerant computer configuration developed for this purpose using hardware designed with facility for on-line diagnostics ...

Energy Technology Data Exchange (ETDEWEB)

Modern imaging technologies visualize different aspects of disease in a non-invasive way. Considerable progress has been made in the fusion of images from different imaging modalities using software approaches. One goal of fusion software is to align anatomical and functional images and allow improved spatial localization of abnormalities. The resulting correlation of the anatomical and functional images may clarify the nature of the abnormality and help diagnose or stage the underlying disease. Whereas successful image fusion software has been developed for the brain, only limited success has been achieved for image alignment in other parts of the body. The development and current status of alternative approaches are presented. Dual-modality imaging is described with devices where two modalities are combined and mounted in a single gantry. The use of existing scanner technology ensures that no compromises are made in the ...

Energy Technology Data Exchange (ETDEWEB)

The U.S. Department of Energy (DOE) Headquarters and associated contractors have developed an IBM PC-based software package that estimates costs, schedules, and public and occupational health risks for a range of mixed-waste management options. A key application of the software package is the comparison of various waste-treatment options documented in the draft Site Treatment Plans prepared in accordance with the requirements of the Federal Facility Compliance Act of 1992. This automated Systems Analysis Methodology consists of a user interface for configuring complexwide or site-specific waste-management options; calculational algorithms for cost, schedule and risk; and user-selected graphical or tabular output of results. The mixed-waste management activities modeled in the automated Systems Analysis Methodology include waste storage, characterization, handling, transportation, treatment, and disposal. Analyses of treatment options identified ...

Energy Technology Data Exchange (ETDEWEB)

The NIS-6 group at Los Alamos National Laboratory pioneered the development of Tomographic Gamma Scanning and continue to improve its utility in real measurement situations. Building on this experience we report the development of a state of the art TGS system suitable for industrial applications. The image reconstruction and visualization software has been integrated into the familiar Canberra NDA2000 software suite which also handles all other aspects of the data acquisition and management. In this paper we describe the salient design and performance parameters of the system. The application of gamma-ray tomography to safeguards for improved assay accuracy and knowledge confirmation is discussed. In particular we compare and contrast the relative merits of this TGS and a traditional Segmented Gamma Scanner and illustrate how the 3-D visualization of the TGS image can provide valuable additional information.

British Library Electronic Table of Contents (United Kingdom)

Purpose - The purpose of this paper is to help library technology staff understand the process of beta testing software, determine if it is appropriate for them to engage in the process, and provide suggestions on how to the time invested in the process. Design/methodology/approach - The paper explains what beta testing is, why it should be used and how to become a beta tester. Findings - The paper reveals that beta testing is not convenient for everyone, but those taking place in these activities should be thorough, positive and generous in order to maximize the return on investment in this kind of testing. Practical Implications - While beta testing new software features can take a significant amount of time, the resulting benefits of early access to new features and improved vendor-staf...

CERN Document Server

In the context of the LHC Computing Grid (LCG) project, the Applications Area develops and maintains that part of the physics applications software and associated infrastructure that is shared among the LHC experiments. The "Physicist Interface" (PI) project of the LCG Application Area encompasses the interfaces and tools by which physicists will directly use the software, providing implementations based on agreed standards like the AIDA interfaces for data analysis. In collaboration with users from the experiments, work has started with implementing the AIDA interfaces for (binned and unbinned) histogramming, fitting and minimization as well as manipulation of tuples. These implementations have been developed by re-using existing packages either directly or by using a (thin) layer of wrappers. In addition, bindings of these interfaces to the Python interpreted language have been done using the dictionary subsystem of the LCG-AA/SEAL project. ...

CERN Document Server

Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse interaction media. In addition to improving access and delivery capabilities, such interfaces enable flexible and personalized dialogs with websites, much like a conversation between humans. In this paper, we present a software framework for multimodal web interaction management that supports mixed-initiative dialogs between users and websites. A mixed-initiative dialog is one where the user and the website take turns changing the flow of interaction. The framework supports the functional specification and realization of such dialogs using staging transformations -- a theory for representing and reasoning about dialogs based on partial input. It supports multiple interaction interfaces, and offers sessioning, caching, and co-ordination functions through the use of an ...

British Library Electronic Table of Contents (United Kingdom)

This study presents new software, called Google Earth-based Optimal HAulage RouTing System (GEOHARTS), to improve the functionality of Google Earth for optimal haulage routing of off-road dump trucks in construction and mining sites. A modified least-cost path algorithm, which is applicable to working areas with both paved and unpaved temporary roads and can consider the effects of terrain relief and curves along a route on the route planning, was proposed and utilized for the software development. GEOHARTS can determine optimal haulage routes between loaders and dumps that ensure the least travel time or fuel consumption of off-road dump trucks and can visualize the results using an embedded 3D render window of Google Earth. The application to the Pasir open-pit coal mine in Indonesia dem...

Energy Technology Data Exchange (ETDEWEB)

Conversion of the microprocessors and software for the Mold Heating and Cooling (MHAC) pump package control systems was initiated to allow required system enhancements and provide data communications capabilities with the Plastics Information and Control System (PICS). The existing microprocessor-based control systems for the pump packages use an Intel 8088-based microprocessor board with a maximum of 64 Kbytes of program memory. The requirements for the system conversion were developed, and hardware has been selected to allow maximum reuse of existing hardware and software while providing the required additional capabilities and capacity. The new hardware will incorporate an Intel 80286-based microprocessor board with an 80287 math coprocessor, the system includes additional memory, I/O, and RS232 communication ports.

British Library Electronic Table of Contents (United Kingdom)

During the past few decades, the basic assumption of agroclimatic zoning, i.e., that agroclimatic conditions remain relatively stable, has been shattered by ongoing climate change. The first aim of this study was to develop a tool that would allow for effective analysis of various agroclimatic indicators and their dynamics under climate change conditions for a particular region. The results of this effort were summarized in the AgriClim software package, which provides users with a wide range of parameters essential for the evaluation of climate-related stress factors in agricultural crop production. The software was then tested over an area of 114,000?km2 in Central Europe. We have found that by 2020, the combination of increased air temperature and changes in the amount and distribution ...

Energy Technology Data Exchange (ETDEWEB)

The aim of this work is the study of the heat transfer and of thermal behaviour of the HF (high frequency) components (in fact capacitors) of the ITER-proto-2005-FCI antenna. Preliminary results carried out with the Castem software show that it is possible to cool the hottest part of the antenna efficiently. A water flow (1 bar, 25 Celsius degrees) or an helium flow (10 bars, 50 Celsius degrees) permit to limit the maximal value of the temperature to 270 Celsius degrees. A second software Ansys has allowed the author to simulate capacitors with more complicated shapes. (A.C.)

British Library Electronic Table of Contents (United Kingdom)

Piping in nuclear power plants is vital to the proper operation and safety of these facilities. To assure safety in the unlikely event of a pipe break, it is necessary to evaluate the consequences from the resulting whipping pipe on neighboring components and structures. Numerical simulations allow for rapid evaluation of these consequences. Before simulations can be accepted, however, the methodology and computer codes must be validated against experimental results. This paper uses a probabilistic approach to validate pipe whip simulations against limited experimental results. Probabilistic analysis software was developed and coupled to existing deterministic finite element software. An example of a whipping pipe impacting against a reinforced concrete slab was simulated. The described pr...

British Library Electronic Table of Contents (United Kingdom)

This manuscript is a contribution on the modeling of H.263 traffic in multipoint videoconference sessions over IP Networks. Our study includes analysis and modeling assessment of extensive data gathered during realistic videoconference sessions between commercial H.263-compliant terminal clients (with different videoconference software packages installed). All terminal clients were communicating through a Multipoint Control Unit (software or hardware MCU) at `switched presence' mode and for comparative purposes the same typical videoconference content (a person speaking, with mild movement and occasional zoom/span) was used. The analysis of the H.263 data at the frame level suggests that the traffic from the different terminals to the MCU can be represented by a stationary stochastic proce...

Science.gov (United States)

s. Manufacturing Yes No. t. Renewable Energy Yes No ...... Computational software is sought to simulate of the response of advanced composite fan ...... Thermal energy storage and utilization using bulk or processed regolith ...... scale up roadmap to 1 to 2+ meter class space qualifiable flight optics systems. ...

International Nuclear Information System (INIS)

A new type of multi-channel analyzer system is introduced, which takes advantage of Universal Serial Bus to communicate with computer and gets the merit of fast speed, universality and Plug and Play. The authors discussed the framework of the system, primary functions, display of spectrum date and the way of communication with hardware. The environment of the program is Visual Basic 6.0

Energy Technology Data Exchange (ETDEWEB)

The report presents an integrated software system developed at the Norwegian Electric Power Research Institute (EFI), for production scheduling, maintenance handling, network security analysis, inflow forecasting, and load forecasting. The integrated software is being developed with focus on hydro-dominated power supply systems. In specific terms it is expected that application of the software will improve the operational decisions, and make the planning process more effective. The optimal scheduling of hydro resources poses severe computational problems in system operations planning. This necessitates problem decomposition. In the EFI approach, planning is split into three main levels: long-term, mid-term and short-term planning. The long-term planning aims at evaluating the seasonal and pluriannual handling of regional storages in view of firm power supply obligations, inflow statistics, main hydraulic and electric ...

Energy Technology Data Exchange (ETDEWEB)

A new commercial cutting tool software package replaced an internally created legacy system. This report describes the issues that surfaced during the migration and installation of the commercial package and the solutions employed. The primary issues discussed are restructuring the data between two drastically different database schemas and the creation of individual component graphics.

International Nuclear Information System (INIS)

Based on the reliability analysis methods of FMEA and FTA, according to the result of ETA of PRA in Daya by NPP, the top events of the fault trees of reactor protection system and the success criteria were established. By using RISK-SPECTRUM procedure, the unavailability and the minimal cut-sets (MCS) of the fault trees were obtained. The results of analysis was put into the visual risk analysis software of Daya bay NPP as the support of data

Energy Technology Data Exchange (ETDEWEB)

This paper describes the conversion from an existing production control computer, an SEL 840, to a DEC VAX 11/780. The plan is to add a layer of hardware to accomplish a smooth and gradual transition from the 840 to the VAX while leaving the underlying equipment unchanged. The architecture of the control system software is discussed for a large linear accelerator from the standpoint of its requirements and the particular design philosophy chosen.

Wastenet

protect digital information, from personal details held on a computer to financial details transmitted over the Internet. Encryption ...in connection with electronic data (Box 2), whether stored on a computer or transmitted over an unsecured network such as ...Encryption tools (usually in the form of computer programs or software) are widely available

Energy Technology Data Exchange (ETDEWEB)

A semiautomatic system for measurements of nuclear tracks in nuclear emulsion is described. The microscopic image of a particle track is picked up by a video camera. The video picture is digitized in real time. The picture analysis is done via software. The microscope is equipped with a stepping motor driven stage which is also computer-controlled.

International Nuclear Information System (INIS)

The reconstruction of coronal and Sagittal Image of Brain C. T. is helpful to diagnosis of Brain. Three Dimensional Reconstruction software package allows to display three dimensional Image clerived from a series of Horizontal, Sagittal and Coronal Brain C. T. images. It useful in determine approach of operation, to define portals of deep radiation therapy.

Energy Technology Data Exchange (ETDEWEB)

This document is the Final Report for the project Introduccion de Mejoras Tecnologicas en el SISCOM II, or Improvements in SISCOM II Technology. It consists of a brief description of the activities carried out during the project, and several Annexes that explain in a deeper way each result. SISCOM II is the main telemetry system currently in use in the Spanish underground coal mining, but it was developed ten years ago and needed a technological update, which was the objective of this project. The aims of the project were: To develop Hardware and Software for the Out stations currently used (maintenance developments) To design new hardware and software, easier to use in the current and new applications of SISCOM II Both objectives were met, although not in the way originally intended. The main results were: In the field of old Out stations update: A new set of boards for the old Out stations was developed Out station's firmware was ...

Energy Technology Data Exchange (ETDEWEB)

This report summarizes the activities and major accomplishments for the Idaho National Laboratory Advanced Radiotherapy Research Program for calendar year 2004. Topics covered include boron analysis in biological samples, computational dosimetry and treatment planning software development, medical neutron source development and characterization, and collaborative dosimetry studies at the RA-1 facility in Buenos Aires, Argentina.

Energy Technology Data Exchange (ETDEWEB)

This report summarizes the activities and major accomplishments for the Idaho National Engineering and Environmental Laboratory (INEEL) Advanced Radiotherapy Research Program for calendar year 2002. Topics covered include computational dosimetry and treatment planning software development, medical neutron source development and characterization, and boron analytical chemistry.

Energy Technology Data Exchange (ETDEWEB)

FastBit is a software package designed to meet the searching and filtering needs of data intensive sciences. In these applications, scientists are trying to find nuggets of information from petabytes of raw data. FastBit has been demonstrated to be an order of magnitude faster than comparable technologies. In this brief report, we highlight how we work with a visualization team, a network security team and a DNA sequencing center to find the nuggets in their data.

Energy Technology Data Exchange (ETDEWEB)

The purpose of this paper is to describe the embedded computer systems approach taken at Experimental Breeder Reactor II (EBR-II) for non-safety related systems. The hardware and software structures for typical embedded systems are presented The embedded systems development process is described. Three examples are given which illustrate typical embedded computer applications in EBR-II.

International Nuclear Information System (INIS)

Objective: To develop a computerized method of internal dose estimation on radiation protection. Methods: Based on MIRD mathematic model of the organs and by means of the programming language of MS Visual Basic 6.0, a computer program of dose estimation in internal radiation was developed for radiation protection. Results: The computerized method of dose estimation for internal radiation was completed. Conclusions: This computerized method is very convenient for internal radiation dose estimation of several aspects. It can also be used in radiation accident. (authors)

International Nuclear Information System (INIS)

This paper provides guidance in the definition, documentation, measurement, enhancement of processes, and validation of a strategic plan for configuration management (CM). The approach and methodology used in establishing a strategic plan is the same for any enterprise, including the Department of Energy (DOE), commercial nuclear plants, the Department of Defense (DOD), or large industrial complexes. The principles and techniques presented are used world wide by some of the largest corporations. The authors used industry knowledge and the areas of their current employment to illustrate and provide examples. Developing a strategic configuration and information management plan for DOE Idaho Field Office (DOE-ID) facilities is discussed in this paper. A good knowledge of CM principles is the key to successful strategic planning. This paper will describe and define CM elements, and discuss how CM integrates the facility's physical configuration, design basis, and documentation. The ...

International Nuclear Information System (INIS)

Power devices such as MOSFETSs and IGBTs, include parasitic structures that can give rise to destructive failures such as breakdown and latch-up. To determine a suitable strategy for device radiation hardening, simulation software like MEDICI-2D can be used to model the effects of technological modifications and device parameters that are difficult to measure experimentally. (authors).

Energy Technology Data Exchange (ETDEWEB)

The complex aspects of high energy physics work are briefly described, and approaches to managing them are discussed. Management of software and data are covered. For managing complexity in experimental physics, the choice of building or buying processor systems is addressed and the issues of compatibility and standardization are discussed. (LEW)

Energy Technology Data Exchange (ETDEWEB)

Achieving device independence for software applications is required for all but a small number of critical real time applications. Device independence is achieved by establishing protocols and building protocol interpreters for the specific devices. Data structures containing pointers to functions provide a flexible architecture for implementing protocol translation. 3 refs., 5 figs.

Energy Technology Data Exchange (ETDEWEB)

A novel CFD/structural analysis was performed to predict functionality of a cross parachute under loadings near the structural limits of the parachute. The determination of parachute functionality was based on the computed structural integrity of the canopy and suspension lines. In addition to the standard aerodynamic pressure loading on the canopy, the structural analysis considered the reduction in fabric strength due to the computed aerodynamic heating. The intent was to illustrate the feasibility of such an analysis with the commercially available software PATRAN.

Energy Technology Data Exchange (ETDEWEB)

WIPS (Whip and Impact of Piping Systems) is a special purpose computer code for the structural analysis of pipe whip dynamic effects following a postulated pipe rupture. WIPS has been developed primarily to provide support for the pipe whip analysis procedures described in Section 3.6.2 of the US Nuclear Regulatory Commission Standard Review Plan. This report summarizes the purpose and scope of the WIPS development effort, identifying those clauses in the Standard Review Plan which refer to pipe whip analysis, and indicating how the WIPS code can be used to provide supporting data. Detailed information on use of the code is contained in accompanying reports which cover: (1) user instructions; (2) theory; (3) programming procedures; and (4) verification examples.

Energy Technology Data Exchange (ETDEWEB)

The Authenticated Tracking and Monitoring System (ATMS) has been designed to address the need for global monitoring of the status and location of proliferation-sensitive items. Conceived to utilize the proposed Global Verification and Location System (GVLS) satellite link, ATMS could use the existing International Maritime Satellite commercial communication system until GVLS is operational. The ATMS concept uses sensor packs to monitor items and environmental conditions, collects a variety of events data through a sensor processing unit, and transmits the data to a satellite, which then sends data to ground stations. Authentication and encryption algorithms will be used to secure the data. A typical ATMS application would be to track and monitor the safety and security of a number of items in transit along a scheduled shipping route. This paper also discusses a possible proof-of-concept system demonstration.

International Nuclear Information System (INIS)

A brief FFTF project description is provided which includes general plant siting information, general layout, plant design parameters, description of principal systems and components, and description of support facilities. The current status of the FFTF project is provided, including status of plant construction, overall status of the plant checkout and test program, status of operating authorization and plant operating procedures and personnel, and status of reactor core components and experiments. Specific information on the acceptance test program and early program results is discussed. The role of FFTF in the future breeder program is described, including its objectives for verification of plant system and components designs and operability and use as an irradiation test facility.

Energy Technology Data Exchange (ETDEWEB)

RESRAD was one of the multimedia models selected by the US Nuclear Regulatory Commission (NRC) to include in its workshop on radiation dose modeling and demonstration of compliance with the radiological criteria for license termination. This paper is a summary of the presentation made at the workshop and focuses on the 10 questions the NRC distributed to all participants prior to the workshop. The code selection criteria, which were solicited by the NRC, for demonstrating compliance with the license termination rule are also included. Among the RESRAD family of codes, RESRAD and RESRAD-BUILD are designed for evaluating radiological contamination in soils and in buildings. Many documents have been published to support the use of these codes. This paper focuses on these two codes. The pathways considered, the databases and parameters used, quality control and quality assurance, benchmarking, verification and validation of these codes, and capabilities as well as ...

Science.gov (United States)

Production engineering measures for improving production techniques to increase the reliability of high voltage, high temperature aluminum electrolytic capacitors have been completed. The required number of capacitors for each contract item were life tested at 85C for 10,000 hours. There were 9,400 capacitors on the extended life test. Reliability for CU13 and CU17 capacitors and contract item 2AG rated 1.5 mfd - 400 V are shown. The verification testing, which was performed at 125 C on 40 capacitors for each contract item, met the requirements of MIL-C-39018A. It further demonstrated that in addition to CU13 styles which are designed to operate at 125 C, the CU17 manufactured for this contract are capable of operating at 125C with derated voltage. Process specifications and Quality Control Manual are included.

Energy Technology Data Exchange (ETDEWEB)

This issue of Carbon Market Perspectives on 'Pathways for implementing REDD+: Experience from carbon markets and communities' discusses the role of carbon markets in scaling up investments for REDD+ in developing countries. Nine articles authored by experienced negotiators on REDD+, carbon market actors, project developers and other leading experts share experiences and make suggestions on the key elements of a future international REDD+ regime: Architecture and underlying principles, measuring, reporting and verification (MRV), private-sector involvement, the rights of indigenous people and local communities, biodiversity conservation and environmental integrity. The articles are grouped under three main topics: the lessons of existing REDD+ projects; the future REDD+ regime and the role of carbon markets; and experiences and ideas about the involvement of indigenous people and local communities. (LN)

Energy Technology Data Exchange (ETDEWEB)

A method has been developed to optimize the energy resolution of a horizontally focusing monochromator. The method consists of determining the optimum radius of curvature of the cylindrically bent monochromator crystal by minimizing the total diffracted X-ray flux measured through an X-ray absorption foil. When measured at an absorption edge a global minimum can be identified, which corresponds to the minimum energy band accepted along the entire length of the crystal. Experimental verification of this method has been validated by comparing X-ray fluorescent scans taken for a series of crystal curvatures and by directly measuring the X-ray beam profiles at the corresponding points. The actual optical configuration and asymmetric-cut parameter of the focusing monochromator on beamline X4C at the National Synchrotron Light Source are modeled and ray tracing simulations of the optical system are compared with direct beam profile measurements.

Energy Technology Data Exchange (ETDEWEB)

A 500 keV negative-ion based NBI system is under construction for NB current drive and plasma core heating in high density plasma in JT-60U. Part of the beamline and the high voltage power supply required for a verification test of an ion source was completed in March 1995. After having done a high potential test of the power supply, the negative-ion generation and acceleration tests started in June 1995 aiming at deuterium beams of 500 keV, 22A. In initial experiment, deuterium negative-ion beams of 410 keV, 6.1A (2.5 MW) for 0.2 sec, so far, have been achieved. This is the world highest D{sup {minus}} current and negative ion beam power. The construction of the total system will be completed by the beginning of 1996, and the beam injection will start in March 1996.

Energy Technology Data Exchange (ETDEWEB)

The scope of the present article is two-fold. Firstly, to conduct an experiment to provide the temperature-time history of the cooling of a hot ball bearing in quiescent ambient air. Secondly, to predict the temporal variation of the bearing under the hypothesis of natural convection, radiation or natural convection coexists with radiation for a non-vanishing total hemispherical emissivity of the surface of the bearing. Numerical solutions of the three governing nonlinear lumped heat equations were carried out with a Runge-Kutta-Fehlberg (RKF45) algorithm accounting for automatic step size control. The experimental data was obtained with chrome steel ball bearings of diameter 0.953 cm (7/16 in) heated in an electric oven to a pre-set temperature. The heated bearing was exposed later to ambient air at atmospheric temperature and pressure. (orig.)

Energy Technology Data Exchange (ETDEWEB)

Protein motions on all timescales faster than molecular tumbling are encoded in the spectral density. The dissection of complex protein dynamics is typically performed using relaxation rates determined at high and ultra-high field. Here we expand this range of the spectral density to low fields through field cycling using the nucleocapsid protein of the SARS coronavirus as a model system. The field-cycling approach enables site-specific measurements of R{sub 1} at low fields with the sensitivity and resolution of a high-field magnet. These data, together with high-field relaxation and heteronuclear NOE, provide evidence for correlated rigid-body motions of the entire {beta}-hairpin, and corresponding motions of adjacent loops with a time constant of 0.8 ns (mesodynamics). MD simulations substantiate these findings and provide direct verification of the time scale and collective nature of these motions.

Energy Technology Data Exchange (ETDEWEB)

This engineering report compiles information on types and quantities of liquid waste discharged from B-Plant directly to cribs, ditches, reverse wells, etc., that are associated with B-Plant. Waste discharges to these cribs via overflow form 241-B, 241-BX, and 241-BY tank farms, and waste discharged to these cribs from sources other than B-Plant are discussed.Discharges from B-Plant to other cribs, unplanned releases, or waste remaining in tanks are not included in the report. Waste stream composition information is used to predict quantities of individual chemicals sent to cribs. This provides an accurate mass balance of waste streams from B-Plant to these cribs. These predictions are compared with known crib inventories as a verification of the process.

British Library Electronic Table of Contents (United Kingdom)

Pork identification in four types of food products, which are sausages and the casings, bread and biscuits, using species-specific polymerase chain reaction (PCR) detection of a conserved region in the mitochondrial (mt) 12S ribosomal RNA (rRNA) gene was developed. Genomic DNA of the food products were successfully extracted except for the casing samples, where no genomic DNA was detected. The extracted genomic DNA was then subjected to PCR amplification targeting the specific regions of the 12S rRNA gene. The genomic DNA from the food products were found to be of good quality and produced clear PCR products on the amplification of 12S rRNA gene of 387 base pairs (bp) from pork species. The species-specific PCR identification yielded excellent results for identification of pork derivatives...

CERN Document Server

The abstract is additional with repect to the paper published in JGCD. Ordinary Earth satellites are usually placed into five categories of special orbits: sun-synchronous orbits, orbits at the critical inclination, frozen orbits, repeating ground track orbits, and geostationary orbits. This paper investigates their counterparts around Mars and examines the basic nature of these orbits, which are of special interest for missions conducted around Mars, including Mars reconnaissance. Mars' gravity field is much more complicated, with relatively smaller J2, compared to Earth's, which makes the behaviors of these Martian orbits different from those of Earth. Analytical formulations and numerical simulations are used to analyze these Martian orbits and compare them with their Earth counterparts. First, mean element theory is employed to describe variations of orbital elements and give the constraint conditions for achieving these special orbits. Then, numerical ...

Energy Technology Data Exchange (ETDEWEB)

A brief summary of the theory and experiments on electron- cyclotron heating and current drive is presented. The general relativistic formulation of wave propagation and linear absorption is considered in some detail. The O-mode and the X-mode for normal and oblique propagation are investigated and illustrated by several examples. The experimental verification of the theory in T-10 and D- III-D is briefly discussed. Quasilinear evolution of the momentum distribution and related applications as, for instance, non linear wave, damping and current drive, are also considered for special cases of wave frequencies, polarization and propagation. In the concluding section we present the general formulation of the wave damping and current drive in the absence of electron trapping for arbitrary values of the wave frequency. (Author) 13 refs.

International Nuclear Information System (INIS)

In order to develop a numerical tool for the fast evaluation of CANDU refuelling schemes, a Linear Sensitivity Matrix method (LSM) is developed. It assumes that all the effects caused by various perturbations to the core state are independent to each other and the core response to a perturbation is proportional to its magnitude. In this way, the main core parameters of a refuelling scheme can be derived by simple algebraic operations with the use of pre-calculated sensitivity matrices, without resorting to the complicated and time-consuming 3D core calculation. Verification against the Qinshan CANDU reactor operation history demonstrates that LSM is capable of generating accurate results and running very fast for evaluating a refuelling scheme. (authors)

Energy Technology Data Exchange (ETDEWEB)

The Atmospheric Release Advisory Capability (ARAC) at the Lawrence Livermore National Laboratory uses the U.S. Navy's Coupled Ocean/Atmosphere Mesoscale Prediction System (COAMPS) to supply high-resolution wind data for use in its real-time dispersion modeling system. ARAC has used COAMPS products to support several events and exercises, and COAMPS forecasts appear accurate, based on qualitative examination. Recently ARAC has developed a quantitative verification system which calculates COAMPS error and bias statistics, comparing COAMPS forecasts of various lengths with observational data. This paper shows how this system has been used to guide ARAC operators, who need an estimate of the likely behavior of COAMPS forecasts of various lengths in different regions, seasons, and weather patterns.

CERN Document Server

A fundamental Doppler-like but asymmetric wave effect that shifts received signals in frequency in proportion to their respective source distances, was recently described as means for a whole new generation of communication technology using angle and distance, potentially replacing TDM, FDM or CDMA, for multiplexing. It is equivalent to wave packet compression by scaling of time at the receiver, converting path-dependent phase into distance-dependent shifts, and can multiply the capacity of physical channels. The effect was hitherto unsuspected in physics, appears to be responsible for both the cosmological acceleration and the Pioneer 10/11 anomaly, and is exhibited in audio data. This paper discusses how it may be exploited for instant, passive ranging of signal sources, for verification, rescue and navigation; incoherent aperture synthesis for smaller, yet more accurate radars; universal immunity to jamming or interference; and precision frequency scaling of ...

Energy Technology Data Exchange (ETDEWEB)

The research documented herein was funded by a research contract between the Research Reactors Division (RRD) of Oak Ridge National Laboratory (ORNL) and the University of Tennessee, Knoxville (UTK) Mechanical, Aerospace and Biomedical Engineering Department (MABE). The research was governed by a statement of work (SOW) which clearly defines nine specific tasks. This report is outlined to follow and document the results of each of these nine specific tasks. The primary goal of this phase of the research is to demonstrate, through verification and validation methods, that COMSOL is a viable simulation tool for thermal-hydraulic modeling of the High Flux Isotope Reactor (HFIR) core. A secondary goal of this two-dimensional phase of the research is to establish methodology and data base libraries that are also needed in the full three-dimensional COMSOL simulation to follow. COMSOL version 3.5a was used for all of the models presented throughout this report.

Energy Technology Data Exchange (ETDEWEB)

Radioactive wastes are generally classified into 3 type depending on their physical property: liquid, solid and gaseous type. State-of -the art concerning liquid waste treatment has already been published; KAERI/TR-1315/99. Solid wastes classification package and treatment method will be studied to effectively manage them during the practical decommissioning work. All of the spent fuel produced during the operation of the TRIGA Mark-2 and 3 have been transported to the US last year, 1998, according to the spent fuel management strategy set-up by the US government for the non-proliferation of nuclear energy. Solid wastes are mainly all equipment existing inside of the reactors, activated concrete among the bio-shielded concrete, pipes, pimps, resin filter and it's housings, heat-exchangers, liquid waste storage tanks, to radioactive waste storage treatment facilities and so on. Solid wastes are generally low-level. They are classified according to the ...

International Nuclear Information System (INIS)

Recently, under the de-regulation environment, nuclear industry has attempted various approaches to improve the economics of Nuclear Power Plants (NPP). One of these efforts is the Risk Informed/Performance-Based Operation (RIPBO). This approach uses the risk and performance information to manage the resources effectively and efficiently that are used in the operation of NPP. In RIPBO, PSA quality is one of the most important things. The nuclear industry and regulatory body of U.S.A have developed a measure to evaluate the quality of PSA. NEI (Nuclear Energy Institute) has developed a guidance called 'NEI PRA Peer Review Guidance,' and NRC (Nuclear Regulatory Committee) and ASME have developed the 'PRA Standard.' In Korea, several projects are on going now, such as the extension of AOT/STI of RPS/ESFAS, Risk-Informed In-Service Inspection (RI-ISI). However, in Korea, there have been no attempts to evaluate the quality of PSA model itself. Therefore, we cannot be sure about the quality ...