Evaluation of predator-proof fenced biodiversity projects

OpenAIRE

Doelle, Sebastian

2012-01-01

There has been recent debate over the role of predator-proof fences in the management of New Zealand’s biodiversity. The debate has arisen due to concern that investments in fenced sanctuaries are less productive than are alternative ways to manage biodiversity. Predator-proof fences are costly and budget constraints limit the area of habitat that can be fenced. The area of habitat enclosed within fences, and number of individuals of species supported, determines project’s ability to contribu...

Pre-feasibility study template for nZEB pilot projects development

OpenAIRE

Crespo Sánchez, Eva

2015-01-01

This document corresponds to Task 5.2 NZEB pilot projects development, Deliverable 5.2 Basic project conceptual design with feasibility analysis for eight pilot project of the SUSTAINCO project and should present a structure of pre-feasibility studies for eight NZEB projects implementation. It aims to give an overview of how SUSTAINCO project implementation is to be prepared and which technical and financial parameters to concern.

Stack monitor for the Proof-of-Breeding Project

International Nuclear Information System (INIS)

Fergus, R.W.

1985-01-01

This stack monitor system is a coordinated arrangement of hardware and software to monitor four hot cells (8 stacks) during the fuel dissection for the Proof-of-Breeding Project. The cell monitors, which are located in fan lofts, contain a microprocessor, radiation detectors, air flow sensors, and air flow control equipment. Design criteria included maximizing microprocessor control while minimizing the hardware complexity. The monitors have been programmed to produce concentration and total activity release data based on several detector measurements and flow rates. Although each monitor can function independently, a microcomputer can also be used to control each cell monitor including reprogramming if necessary. All programming is software, as opposed to firmware, with machine language for compactness in the cell monitors and Basic language for adaptability in the microcomputer controller

A study of critical paths for feasibility studies of mining projects

International Nuclear Information System (INIS)

Sayadi, R.

2002-01-01

This work develops a model for design and realisation of profitability's and feasibility studies of a mining project. The model provides the structure of various necessary procedures to establish the feasibility studies and presents a logical system of task sequencing and information circulating between tasks. The specifications of mining projects, particularly their duration, complexity and high costs, necessitate design and realisation of feasibility study bases on the sufficient understanding of task behaviour and the critical path method view. For this purpose, critical paths with the highest frequency of occurrence were studied through several simulations. In addition, the critical tasks and sub tasks with the most probability were identified. The model introduced in this paper can serve as a perfect tool in feasibility study of a mining project. It can also be used as a basis of future development of mining software

Virtual Reality-Based Attention Bias Modification Training for Social Anxiety: A Feasibility and Proof of Concept Study.

Science.gov (United States)

Urech, Antoine; Krieger, Tobias; Chesham, Alvin; Mast, Fred W; Berger, Thomas

2015-01-01

Attention bias modification (ABM) programs have been considered as a promising new approach for the treatment of various disorders, including social anxiety disorder (SAD). However, previous studies yielded ambiguous results regarding the efficacy of ABM in SAD. The present proof-of-concept study investigates the feasibility of a newly developed virtual reality (VR)-based dot-probe training paradigm. It was designed to facilitate attentional disengagement from threatening stimuli in socially anxious individuals (N = 15). The following outcomes were examined: (a) self-reports of enjoyment, motivation, flow, and presence; (b) attentional bias for social stimuli; and (c) social anxiety symptoms. Results showed that ABM training is associated with high scores in enjoyment, motivation, flow, and presence. Furthermore, significant improvements in terms of attention bias and social anxiety symptoms were observed from pre- to follow-up assessment. The study suggests that VR is a feasible and presumably a promising new medium for ABM trainings. Controlled studies will need to be carried out.

Virtual Reality-Based Attention Bias Modification Training for Social Anxiety: A Feasibility and Proof of Concept Study

Directory of Open Access Journals (Sweden)

Antoine eUrech

2015-10-01

Full Text Available Attention bias modification (ABM programs have been considered as a promising new approach for the treatment of various disorders, including social anxiety disorder (SAD. However, previous studies yielded ambiguous results regarding the efficacy of ABM in SAD. The present proof-of-concept study investigates the feasibility of a newly developed virtual reality (VR-based dot-probe training paradigm. It was designed to facilitate attentional disengagement from threatening stimuli in socially anxious individuals (N=15. The following outcomes were examined: (a self-reports of enjoyment, motivation, flow and presence, (b attentional bias for social stimuli, and (c social anxiety symptoms. Results showed that ABM training is associated with high scores in enjoyment, motivation, flow and presence. Furthermore, significant improvements in terms of attention bias and social anxiety symptoms were observed from pre- to follow-up assessment. The study suggests that VR is a feasible and presumably a promising new medium for ABM trainings. Controlled studies will need to be carried out.

Final report SmartProofS. Results of projects of the SmartProofS program; Eindrapport SmartProofS. Projectresultaten van het SmartProofS programma

Energy Technology Data Exchange (ETDEWEB)

Van Hoorik, P.; Westerga, R. [Energy Valley, Groningen (Netherlands)

2011-05-15

The SmartProofs program aims to develop tools which must show that the principle of a Smart Power System (SPS) works and how. An SPS can ensure that the supply and demand of electricity in the grid is balanced, even in case more decentralized energy techniques will be put into use. This final report summarizes the main results and conclusions of the SmartProofs program. As part of the SPS program attention is paid to the impacts on the girds, the effects of centralized and decentralized management, disaster resilience, pricing models, potential benefits of control and new business models [Dutch] Het SmartProofs programma heeft tot doel om een concept van een Smart Power System (SPS) te ontwikkelen waarmee kan worden aangetoond dat het principe van een SPS werkt en op welke manier. Een SPS kan zorgen dat het aanbod van elektriciteit op het net op elk moment van de dag overeenkomt met de vraag, ook als er straks veel meer decentrale energietechnieken gebruikt worden waarmee zowel de vraag als het aanbod van elektriciteit onvoorspelbaar wordt. Dit eindrapport geeft een overzicht van de belangrijkste resultaten en conclusies van het SmartProofs programma. Het programma heeft in de werkpakketten deelvraagstukken rondom SmartProofS onderzocht rondom de effecten op onze energienetten, de effecten van zowel centrale- als decentrale aansturing, disaster resilience, prijsmodellen, mogelijke baten van aansturing en nieuwe business modellen.

Flood-proof motors

Energy Technology Data Exchange (ETDEWEB)

Schmitt, Marcus [AREVA NP GmbH, Erlangen (Germany)

2013-07-01

Even before the Fukushima event occurred some German nuclear power plants (NPP) have considered flooding scenarios. As a result of one of these studies, AREVA performed an upgrade project in NPP Isar 1 with flood-proof motors as a replacement of existing air-cooled low-voltage and high-voltage motors of the emergency cooling chain. After the Fukushima event, in which the cooling chains failed, the topic flood-proof equipment gets more and more into focus. This compact will introduce different kinds of flood-proof electrical motors which are currently installed or planned for installation into NPPs over the world. Moreover the process of qualification, as it was performed during the project in NPP Isar 1, will be shown. (orig.)

Flood-proof motors

International Nuclear Information System (INIS)

Schmitt, Marcus

2013-01-01

Even before the Fukushima event occurred some German nuclear power plants (NPP) have considered flooding scenarios. As a result of one of these studies, AREVA performed an upgrade project in NPP Isar 1 with flood-proof motors as a replacement of existing air-cooled low-voltage and high-voltage motors of the emergency cooling chain. After the Fukushima event, in which the cooling chains failed, the topic flood-proof equipment gets more and more into focus. This compact will introduce different kinds of flood-proof electrical motors which are currently installed or planned for installation into NPPs over the world. Moreover the process of qualification, as it was performed during the project in NPP Isar 1, will be shown. (orig.)

The Results of Feasibility Study of Co-generation NPP With Innovative VK-300 Simplified Boiling Water Reactor

International Nuclear Information System (INIS)

Kuznetsov, Yury N.

2006-01-01

The co-generation nuclear power plant (CNPP) producing electricity and district heating heat is planned to be constructed in Archangelsk Region of Russia. Following the 'Letter of Intent' signed by Governor of Archangelsk region and by Minister of the Russian Federation for atomic energy the feasibility study of the Project has been done. The NPP will be based on the four co-generation nuclear power units with the Russian VK-300 SBWR. The innovative passive VK-300 reactor facility has been designed on the basis of well-established nuclear technologies, proven major components, the operating experience of the prototype VK-50 reactor in RIAR, Dimitrovgrad, and the experience in designing such reactors as SBWR (GE) and SWR-1000 (Siemens). The CNPP's total power is planned to be 1000 MW(e) and district-heating heat production capacity 1600 Gcal/h. A detailed description of the results of the feasibility study is presented in the report. The results of the feasibility study have shown that the Archangelsk CGNP is feasible in terms of engineering, economics and production. (authors)

The results of feasibility study of co-generation NPP with innovative VK-300 simplified boiling water reactor

International Nuclear Information System (INIS)

Kuznetsov, Yu. N.; Gabaraev, B. A.

2004-01-01

The co-generation nuclear power plant (CNPP) producing electricity and district-heating heat is planned to be constructed in Archangelsk Region of Russia. Following the Letter of Intent signed by Governor of Archangelsk region and by Minister of the Russian Federation for atomic energy the feasibility study of the Project has been done. The NPP will be based on the four co-generation nuclear power units with the Russian VK-300 SBWR. The innovative passive VK-300 reactor facility has been designed on the basis of well-established nuclear technologies, proven major components, the operating experience of the prototype VK-50 reactor in RIAR, Dimitrovgrad, and the experience in designing such reactors as SBWR (GE) and SWR-1000 (Siemens). The CNPP's total power is planned to be 1000 MW(e) and district-heating heat production capacity 1600 Gcal /h. A detailed description of the results of the feasibility study is presented in the report. The results of the feasibility study have shown that the Archangelsk CGNP is feasible in terms of engineering, economics and production.(author)

Pre-feasibility workbook for bioenergy projects in eastern Ontario : executive summary

International Nuclear Information System (INIS)

Rees, C.; Bradley, D.; DeYoe, D.

2007-03-01

This summary provided details of a pre-feasibility workbook designed to assist communities and developers in better understanding bioenergy challenges and opportunities in Ontario. The workbook examined issues related to the conversion of biomass through thermal conversion technologies and focused on combined heat and power projects that used forest and agricultural biomass in order to produce up to 10 MW of electricity under the Ontario Renewable Standard Offer Program. As part of the program, new generators of no more than 10 MW are paid a base rate of 11 cents per kWh and an additional 3.52 cents per kWh for on-peak production. The workbook was comprised of a review of biomass supply in the eastern Ontario region and included both forested and abandoned farm lands. A base-line financial analysis was included to assess the feasibility of projects using combustion, pyrolysis, and gasification technologies. Biomass sources in the region included mill residue, harvest waste, biomass mortality from natural events, stand management, and standing timber. Key elements required for parties interested in considering a bioenergy business initiative were also included

Livingston Parish Landfill Methane Recovery Project (Feasibility Study)

Energy Technology Data Exchange (ETDEWEB)

White, Steven

2012-11-15

The Woodside Landfill is owned by Livingston Parish, Louisiana and is operated under contract by Waste Management of Louisiana LLC. This public owner/private operator partnership is commonplace in the solid waste industry today. The landfill has been in operation since approximately 1988 and has a permitted capacity of approximately 41 million cubic yards. Based on an assumed in-place waste density of 0.94 ton per cubic yard, the landfill could have an expected design capacity of 39.3 million tons. The landfill does have an active landfill gas collection and control system (LFGCCS) in place because it meets the minimum thresholds for the New Source Performance Standards (NSPS). The initial LFGCS was installed prior to 2006 and subsequent phases were installed in 2007 and 2010. The Parish received a grant from the United States Department of Energy in 2009 to evaluate the potential for landfill gas recovery and utilization at the Woodside Landfill. This includes a technical and economic feasibility study of a project to install a landfill gas to energy (LFGTE) plant and to compare alternative technologies. The LFGTE plant can take the form of on-site electrical generation, a direct use/medium Btu option, or a high-Btu upgrade technology. The technical evaluation in Section 2 of this report concludes that landfill gas from the Woodside landfill is suitable for recovery and utilization. The financial evaluations in sections 3, 4, and 5 of this report provide financial estimates of the returns for various utilization technologies. The report concludes that the most economically viable project is the Electricity Generation option, subject to the Parish’s ability and willingness to allocate adequate cash for initial capital and/or to obtain debt financing. However, even this option does not present a solid return: by our estimates, there is a 19 year simple payback on the electricity generation option. All of the energy recovery options discussed in this report

Feasible mathematics II

CERN Document Server

Remmel, Jeffrey

1995-01-01

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible computation uses small resources on an abstract computa­ tion device, such as a 'lUring machine or boolean circuit. Feasible math­ ematics concerns the study of feasible computations, using combinatorics and logic, as well as the study of feasibly presented mathematical structures such as groups, algebras, and so on. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. In computational complexity theory, the polynomial time hierarchy is characterized without the introduction of runtime bounds by the closure of certain initial functions under safe composition, predicative recursion on nota...

Risk Assessment in Financial Feasibility of Tanker Project Using Monte Carlo Simulation

Directory of Open Access Journals (Sweden)

Muhammad Badrus Zaman

2017-09-01

Full Text Available Every ship project would not be apart from risk and uncertainty issues. The inappropriate risk assessment process would have long-term impact, such as financial loss. Thus, risk and uncertainties analysis would be a very important process in financial feasibility determination of the project. This study analyzes the financial feasibility of 17,500 LTDW tanker project. Risk and uncertainty are two differentiated terminologies in this study, where risk focuses on operational risk due to shipbuilding process nonconformity to shipowner finance, while uncertainty focuses on variable costs that affect project cash flows. There are three funding scenarios in this study, where the percentage of funding with own capital and bank loan in scenario 1 is 100% : 0%, scenario 2 is 75% : 25%, and scenario 3 is 50% : 50%. Monte Carlo simulation method was applied to simulate the acceptance criteria, such as net present value (NPV, internal rate of return (IRR, payback period (PP, and profitability index (PI. The results of simulation show that 17,500 LTDW tanker project funding by scenario 1, 2 and 3 are feasible to run, where probability of each acceptance criteria was greater than 50%. Charter rate being the most sensitive uncertainty over project's financial feasibility parameters.

Pre-service proof pressure and leak rate tests for the Qinshan CANDU project reactor buildings

International Nuclear Information System (INIS)

Petrunik, K.J.; Khan, A.; Ricciuti, R.; Ivanov, A.; Chen, S.

2003-01-01

The Qinshan CANDU Project Reactor Buildings (Units 1 and 2) have been successfully tested for the Pre-Service Proof Pressure and Integrated Leak Rate Tests. The Unit 1 tests took place from May 3 to May 9, 2002 and from May 22 to May 25, 2002, and the Unit 2 tests took place from January 21 to January 27, 2003. This paper discusses the significant steps taken at minimum cost on the Qinshan CANDU Project, which has resulted in a) very good leak rate (0.21%) for Unit 1 and excellent leak rate (0.130%) for Unit 2; b) continuous monitoring of the structural behaviour during the Proof Pressure Test, thus eliminating any repeat of the structural test due to lack of data; and c) significant schedule reduction achieved for these tests in Unit 2. (author)

Algebraic proofs over noncommutative formulas

Czech Academy of Sciences Publication Activity Database

Tzameret, Iddo

2011-01-01

Roč. 209, č. 10 (2011), s. 1269-1292 ISSN 0890-5401 R&D Projects: GA MŠk LC505 Institutional research plan: CEZ:AV0Z10190503 Keywords : proof complexity * algebraic proof system s * frege proofs Subject RIV: BA - General Mathematics Impact factor: 0.560, year: 2011 http://www.sciencedirect.com/science/article/pii/S089054011100109X

Modelling Project Feasibility Robustness by Use of Scenarios

DEFF Research Database (Denmark)

Moshøj, Claus Rehfeld; Leleur, Steen

1998-01-01

, SEAM secures a consistent inclusion of actual scenario elements in the quantitative impact modelling and facilitates a transparent project feasibility robustness analysis. SEAM is implemented as part of a decision support system with a toolbox structure applicable to different types of transport...

Next Generation Nuclear Plant Project Preliminary Project Management Plan

International Nuclear Information System (INIS)

Dennis J. Harrell

2006-01-01

This draft preliminary project management plan presents the conceptual framework for the Next Generation Nuclear Plant (NGNP) Project, consistent with the authorization in the Energy Policy Act of 2005. In developing this plan, the Idaho National Laboratory has considered three fundamental project planning options that are summarized in the following section. Each of these planning options is literally compliant with the Energy Policy Act of 2005, but each emphasizes different approaches to technology development risks, design, licensing and construction risks, and to the extent of commercialization support provided to the industry. The primary focus of this draft preliminary project management plan is to identify those activities important to Critical Decision-1, at which point a decision on proceeding with the NGNP Project can be made. The conceptual project framework described herein is necessary to establish the scope and priorities for the technology development activities. The framework includes: A reference NGNP prototype concept based on what is judged to be the lowest risk technology development that would achieve the needed commercial functional requirements to provide an economically competitive nuclear heat source and hydrogen production capability. A high-level schedule logic for design, construction, licensing, and acceptance testing. This schedule logic also includes an operational shakedown period that provides proof-of-principle to establish the basis for commercialization decisions by end-users. An assessment of current technology development plans to support Critical Decision-1 and overall project progress. The most important technical and programmatic uncertainties (risks) are evaluated, and potential mitigation strategies are identified so that the technology development plans may be modified as required to support ongoing project development. A rough-order-of-magnitude cost evaluation that provides an initial basis for budget planning. This

Techno-Economic Feasibility of Highly Efficient Cost-Effective Thermoelectric-SOFC Hybrid Power Generation Systems

Energy Technology Data Exchange (ETDEWEB)

Jifeng Zhang; Jean Yamanis

2007-09-30

Solid oxide fuel cell (SOFC) systems have the potential to generate exhaust gas streams of high temperature, ranging from 400 to 800 C. These high temperature gas streams can be used for additional power generation with bottoming cycle technologies to achieve higher system power efficiency. One of the potential candidate bottoming cycles is power generation by means of thermoelectric (TE) devices, which have the inherent advantages of low noise, low maintenance and long life. This study was to analyze the feasibility of combining coal gas based SOFC and TE through system performance and cost techno-economic modeling in the context of multi-MW power plants, with 200 kW SOFC-TE module as building blocks. System and component concepts were generated for combining SOFC and TE covering electro-thermo-chemical system integration, power conditioning system (PCS) and component designs. SOFC cost and performance models previously developed at United Technologies Research Center were modified and used in overall system analysis. The TE model was validated and provided by BSST. The optimum system in terms of energy conversion efficiency was found to be a pressurized SOFC-TE, with system efficiency of 65.3% and cost of $390/kW of manufacturing cost. The pressurization ratio was approximately 4 and the assumed ZT of the TE was 2.5. System and component specifications were generated based on the modeling study. The major technology and cost barriers for maturing the system include pressurized SOFC stack using coal gas, the high temperature recycle blowers, and system control design. Finally, a 4-step development roadmap is proposed for future technology development, the first step being a 1 kW proof-of-concept demonstration unit.

Code of Conduct for wind-power projects - Feasibility study

International Nuclear Information System (INIS)

Strub, P.; Ziegler, Ch.

2009-02-01

This final report deals with the results of a feasibility study concerning the development of a Code of Conduct for wind-power projects. The aim is to strengthen the acceptance of wind-power by the general public. The necessity of new, voluntary market instruments is discussed. The urgency of development in this area is quoted as being high, and the authors consider the feasibility of the definition of a code of conduct as being proven. The code of conduct can, according to the authors, be of use at various levels but primarily in project development. Further free-enterprise instruments are also suggested that should help support socially compatible and successful market development. It is noted that the predominant portion of those questioned are prepared to co-operate in further work on the subject

Climatescan.nl: the development of a web-based map application to encourage knowledge-sharing of climate-proofing and urban resilient projects

NARCIS (Netherlands)

Tipping, Jonathan; Boogaard, Floris; Jaeger, R.; Duffy, A.; Klomp, T.; Manenschijn, M.

2015-01-01

Over recent years, there has been an explosion in the number and diversity of projects undertaken to address urban resilience and climate proofing. Sharing the knowledge gained from these projects demands increasingly innovative and accessible methods. This paper details the outcomes of one such

Renewable Energy Feasibility Study Final Report

Energy Technology Data Exchange (ETDEWEB)

Rooney, Tim [Antares Group Inc.

2013-10-30

The Gila River Indian Community (GRIC or the Community) contracted the ANTARES Group, Inc. (“ANTARES”) to assess the feasibility of solar photovoltaic (PV) installations. A solar energy project could provide a number of benefits to the Community in terms of potential future energy savings, increased employment, environmental benefits from renewable energy generation and usage, and increased energy self-sufficiency. The study addresses a number of facets of a solar project’s overall feasibility, including: Technical appropriateness; Solar resource characteristics and expected system performance; Levelized cost of electricity (LCOE) economic assessment. The Gila River Indian Community (GRIC or the Community) contracted the ANTARES Group, Inc. (“ANTARES”) to prepare a biomass resource assessment study and evaluate the feasibility of a bioenergy project on Community land. A biomass project could provide a number of benefits to the Community in terms of increased employment, environmental benefits from renewable energy generation and usage, and increased energy self-sufficiency. The study addresses a number of facets of a biomass project’s overall feasibility, including: Resource analysis and costs; Identification of potential bioenergy projects; Technical and economic (levelized cost of energy) modeling for selected project configuration.

Proof Auditing Formalised Mathematics

Directory of Open Access Journals (Sweden)

Mark Miles Adams

2016-01-01

Full Text Available The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much concern that such checks have not been performed. In this paper, we motivate why we should be concerned about correctness, and argue the need for proof auditing, to rigorously and independently check a formalisation. We discuss the issues involved in performing an audit, and propose an effective and efficient auditing process. Throughout we use the Flyspeck Project, that formalises the Kepler Conjecture proof, to illustrate our point.

Fiscal 2000 regional new energy vision formulation - Financially aided project. Report on regional new energy vision formulation for Ueno village (Object of survey: Commercialization feasibility study for a stand-alone type wind power generation system at Ueno German Culture Village); 2000 nendo Uenoson chiiki shin energy vision sakutei hokokusho. Ueno Doitsu bunkamura dokuritsugata furyoku hatsuden system jigyoka feasibility study chosa

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-02-01

A survey is conducted about the profitability of installing a stand-alone type wind power system at Ueno village (Miyako Island), Okinawa Prefecture. The German Culture Village, which is an integrated resort house provided with accommodations (500 people), educational and cultural facilities, and sports facilities consumes 272 MWh/year in electric power. The results of the survey are summarized in six chapters, which are (1) the survey of the business under the project to be the object of feasibility study, (2) project to be the object of feasibility study, (3) outline of the Okinawa Electric Power Co., Inc., Miyakojima system and problems to ensue from its interconnection with wind turbines, (4) survey of stand-alone type wind turbine power generation systems, (5) technical/economic feasibility study, and (6) project management and future tasks. It is concluded that there will be profit in the presence of a subsidy that covers 65% or more of the total cost of constructing a system comprising three 600 KW wind turbines, three 400 kW class diesel generators, and storage batteries. (NEDO)

Feasibility study of 5MW superconducting wind turbine generator

DEFF Research Database (Denmark)

Abrahamsen, Asger Bech; Jensen, Bogi Bech; Seiler, E.

2011-01-01

The feasibility of installing a direct drive superconducting generator in the 5MW reference offshore wind turbine of the National Renewable Energy Laboratory (NREL) has been examined. The engineering current densities Je obtained in a series of race track coils have been combined with magnetization...... measurements to estimate the properties of suitable field coils for a synchronous generator, which is more light weight than the conventional used combination of a gear box and a fast rotating generator. An analytical model and finite element simulations have been used to estimate the active mass of generators...

Existence of Projective Planes

OpenAIRE

Perrott, Xander

2016-01-01

This report gives an overview of the history of finite projective planes and their properties before going on to outline the proof that no projective plane of order 10 exists. The report also investigates the search carried out by MacWilliams, Sloane and Thompson in 1970 [12] and confirms their result by providing independent verification that there is no vector of weight 15 in the code generated by the projective plane of order 10.

Proof Mining in L1-Approximation

DEFF Research Database (Denmark)

Oliva, Paulo Borges; Kohlenbach, Ulrich

2001-01-01

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed...

Feasibility Investigation for a Solar Power Generation Facility

Science.gov (United States)

Nathan, Lakshmi

2010-01-01

The Energy Policy Act of 2005 states that by fiscal year 2013, at least 7.5% of the energy consumed by the government must be renewable energy. In an effort to help meet this goal, Johnson Space Center (JSC) is considering installing a solar power generation facility. The purpose of this project is to conduct a feasibility investigation for such a facility. Because Kennedy Space Center (KSC) has a solar power generation facility, the first step in this investigation is to learn about KSC's facility and obtain information on how it was constructed. After collecting this information, the following must be determined: the amount of power desired, the size of the facility, potential locations for it, and estimated construction and maintenance costs. Contacts with JSC's energy provider must also be established to determine if a partnership would be agreeable to both parties. Lastly, all of this data must be analyzed to decide whether or not JSC should construct the facility. The results from analyzing the data collected indicate that a 200 kW facility would provide enough energy to meet 1% of JSC's energy demand. This facility would require less than 1 acre of land. In the map below, potential locations are shown in green. The solar power facility is projected to cost $2 M. So far, the information collected indicates that such a facility could be constructed. The next steps in this investigation include contacting JSC's energy provider, CenterPoint Energy, to discuss entering a partnership; developing a life cycle cost analysis to determine payback time; developing more detailed plans; and securing funding.

Proof Mining in L1-Approximation

DEFF Research Database (Denmark)

Kohlenbach, Ulrich; Oliva, Paulo Borges

2003-01-01

n this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach...

Proof Pad: A New Development Environment for ACL2

Directory of Open Access Journals (Sweden)

Caleb Eggensperger

2013-04-01

Full Text Available Most software development projects rely on Integrated Development Environments (IDEs based on the desktop paradigm, with an interactive, mouse-driven user interface. The standard installation of ACL2, on the other hand, is designed to work closely with Emacs. ACL2 experts, on the whole, like this mode of operation, but students and other new programmers who have learned to program with desktop IDEs often react negatively to the process of adapting to an unfamiliar form of interaction. This paper discusses Proof Pad, a new IDE for ACL2. Proof Pad is not the only attempt to provide ACL2 IDEs catering to students and beginning programmers. The ACL2 Sedan and DrACuLa systems arose from similar motivations. Proof Pad builds on the work of those systems, while also taking into account the unique workflow of the ACL2 theorem proving system. The design of Proof Pad incorporated user feedback from the outset, and that process continued through all stages of development. Feedback took the form of direct observation of users interacting with the IDE as well as questionnaires completed by users of Proof Pad and other ACL2 IDEs. The result is a streamlined interface and fast, responsive system that supports using ACL2 as a programming language and a theorem proving system. Proof Pad also provides a property-based testing environment with random data generation and automated interpretation of properties as ACL2 theorem definitions.

From Inductive Reasoning to Proof

Science.gov (United States)

Yopp, David A.

2009-01-01

Mathematical proof is an expression of deductive reasoning (drawing conclusions from previous assertions). However, it is often inductive reasoning (conclusions drawn on the basis of examples) that helps learners form their deductive arguments, or proof. In addition, not all inductive arguments generate more formal arguments. This article draws a…

Tidd PFBC Demonstration Project, A DOE Assessment

Energy Technology Data Exchange (ETDEWEB)

National Energy Technology Laboratory

2001-08-31

The Clean Coal Technology (CCT) Demonstration Program is a government and industry co-funded technology development effort to demonstrate a new generation of innovative coal utilization processes. One goal of the program is to furnish the energy marketplace with a variety of energy efficient, environmentally superior coal-based technologies. Demonstration projects seek to establish the commercial feasibility of the most promising coal technologies that have proceeded beyond the proof-of-concept stage. This report is a post-project assessment of the DOE CCT Demonstration Program, the Tidd PFBC Demonstration Project. A major objective of the CCT Program is to provide the technical data necessary for the private sector to proceed confidently with the commercial replication of the demonstrated technologies. An essential element of meeting this goal is the dissemination of results from the demonstration projects. This post-project assessment (PPA) report is an independent DOE appraisal of the successes that the completed project had in achieving its objectives and aiding in the commercialization of the demonstrated technology. The report also provides an assessment of the expected technical, environmental, and economic performance of the commercial version of the technology, as well as an analysis of the commercial market.

A New Small Emendation of Gödel's Ontological Proof

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2002-01-01

Roč. 71, č. 2 (2002), s. 149-164 ISSN 0039-3215 R&D Projects: GA MŠk LN00A056 Keywords : ontological proof * Gödel proof * modal logic * comprehension * positive properties Subject RIV: BA - General Mathematics

Washoe Tribe Alternative Energy Feasibility Study Final Report

Energy Technology Data Exchange (ETDEWEB)

Johnson, Jennifer [Washoe Tribe of NV and CA

2014-10-01

The Washoe Tribe of Nevada and California was awarded funding to complete the Washoe Tribe Alternative Energy Feasibility Study project. The main goal of the project was to complete an alternative energy feasibility study. This study was completed to evaluate “the potential for development of a variety of renewable energy projects and to conduct an alternative energy feasibility study that determines which alternative energy resources have the greatest economic opportunity for the Tribe, while respecting cultural and environmental values” (Baker-Tilly, 2014). The study concluded that distributed generation solar projects are the best option for renewable energy development and asset ownership for the Washoe Tribe. Concentrating solar projects, utility scale wind projects, geothermal, and biomass resource projects were also evaluated during the study and it was determined that these alternatives would not be feasible at this time.

105-B Reactor museum feasibility assessment (Phase 2) project

International Nuclear Information System (INIS)

Heckel, R. P.

2000-01-01

This 105-B Reactor Museum feasibility assessment project report documents project activities that have been performed, including a review and assessment of previously existing information, a walk-through of the facility, an assessment of potential hazards, and selection of mitigative measures deemed to be appropriate to allow unescorted access by members of the public to a specified primary tour route

Feasibility of deep ocean disposal of heat generating waste. V.1

International Nuclear Information System (INIS)

Hemming, C.R.

1988-06-01

This report summarises the research performed in the UK during the period 1977 to 1987 as part of the international programme investigating the feasibility of ocean disposal of heat generating radioactive waste. This study has involved: (i) the definition of the disposal operations needed to meet the minimum requirements for safely emplacing waste on or under the floor of the deep ocean; (ii) the identification and characterisation of areas of the deep ocean that might be suitable for containing heat generating waste; (iii) a study of the processes by which radionuclides might migrate through the multiple barriers that isolate the waste from man's environment; and (iv) a calculation of the radiological impact of the conceptual deep ocean repository. It is concluded that, from a technical and scientific viewpoint, disposal of heat generating waste in the deep ocean could provide a safe, economic and feasible alternative to deep disposal on land. (author)

Developing Road Infrastructure Route Planning: Increasing Feasibility of Toll Road Project

Directory of Open Access Journals (Sweden)

Mohammed Ali Berawi

2016-12-01

Full Text Available Indonesian government attempts to improve connectivity and to increase regional activities in SumateraIsland through the development of Trans Sumatera Toll Road (TSTR.However, despite its benefits to local economic development in Sumatera, the project shows low feasibility due to a low amount of investment. It can be attributed from the lack of planning in the initial phase to produce a comprehensive route that considers the various potentials of the regions. Thus, this research aims to investigate alternative routeplanning of Trans Sumatera Toll Road particularly in this paper for Central Sumatera by studying Gross Regional Domestic Product (GRDP, population and other significant factors. This research exposes cities and districts in Riau, West Sumatera, and Jambi which potentially contribute to the regional economy. Each selected towns and districts will be integrated with the intermodal system and connected to other functions to establish the Trans Sumatera Toll Roadproject in Central Sumatera. Compared to existing estimation of investment from public records, this alternative route has generated a competitive cost of investment which is estimated around 118,053,400,074,696 rupiahs. The research findings are expected to become the basis to improve other similar infrastructure toll road project development.

Final Report of the HyPER Harvester Project

Energy Technology Data Exchange (ETDEWEB)

Prasad, Nadipuram R [New Mexico State Univ., Las Cruces, NM (United States); Ranade, Satishkuma J [New Mexico State Univ., Las Cruces, NM (United States)

2015-11-30

The HyPER Harvester Project resulted in the first full­scale design, fabrication and testing of two vertical­axis harvester prototypes at the Elephant Butte Irrigation District Drop 8 Station in Southern New Mexico. The design, followed by fabrication, and deployment clearly demonstrated the feasibility to manufacture and deploy harvester prototypes at low cost. While several issues common to irrigation canal systems have to be overcome, the electromechanical performance of the integrated turbine­generator system demonstrated proof­of­concept. Proof­of­concept includes 1) feasibility for using additive manufacturing techniques to fabricate Carbon­composite turbine­generator components at low cost, 2) ease of transportation and deployment, and 3) the harvester performance. The benefits of modularity were demonstrated in terms of rapid deployment at the Drop 8 Station. Scalability and adaptability were proven in terms of the custom­fitting characteristics that enabled rapid deployment. While keeping the same shape and form, the harvester can be easily adapted to any drop environment. Self­supporting ability makes the harvester design minimally intrusive on existing structures. There are two technical challenges ahead that have to be addressed. Irregular flow patterns in canal flow induce vertical oscillations due to pressure change across the impeller. Despite the nosecone in conventional Kaplan turbine design that ordinarily dampens oscillations, an effective coupling design is required to eliminate the hydrodynamic effect on the generating system. In arid areas where tumbleweed is present, a robust design to prevent trash entering the drop is required. The compact shape and form have an aesthetic appearance and appear to illustrate an environmentally friendly attribute. The systems­engineered design enables rapid manufacturing and assembly of desired size units that can be deployed at sites along U.S. waterways as small hydropower plants. There is

Canton hydroelectric project: feasibility study. Final report, appendices

Energy Technology Data Exchange (ETDEWEB)

1979-05-01

These appendices contain legal, environmental, regulatory, technical and economic information used in evaluating the feasibility of redeveloping the hydroelectric power generating facilities at the Upper and Lower Dams of the Farmington River at Collinsville, CT. (LCL)

Can openEHR archetypes be used in a national context? The Danish archetype proof-of-concept project.

Science.gov (United States)

Bernstein, Knut; Tvede, Ida; Petersen, Jan; Bredegaard, Kirsten

2009-01-01

Semantic interoperability and secondary use of data are important informatics challenges in modern healthcare. Connected Digital Health Denmark is investigating if the openEHR reference model, archetypes and templates could be used for representing and exchanging clinical content specification and could become a candidate for a national logical infrastructure for semantic interoperability. The Danish archetype proof-of-concept project has tried out some elements of the openEHR methodology in cooperation with regions and vendors. The project has pointed out benefits and challenges using archetypes, and has identified barriers that need to be addressed in the next steps.

Implicit proofs

Czech Academy of Sciences Publication Activity Database

Krajíček, Jan

2004-01-01

Roč. 69, č. 2 (2004), s. 387-397 ISSN 0022-4812 R&D Projects: GA AV ČR IAA1019901; GA MŠk LN00A056 Institutional research plan: CEZ:AV0Z1019905 Keywords : propositional proof system s * circuits * polynomial simulation Subject RIV: BA - General Mathematics Impact factor: 0.331, year: 2004

Feasibility determination of hydroelectric power generation at Patillas Reservoir, Puerto Rico. Final report

Energy Technology Data Exchange (ETDEWEB)

Huetter, J.J. Jr.

1979-02-01

The overall feasibility of retrofit for hydroelectric power generation at the Patillas Reservoir, an existing impoundment located near the town of Patillas, Puerto Rico, was studied. The scope of work and project intent is limited to establishing valid acceptance or non-acceptance criteria for this specific site as an example of power generation potential at existing dams of relatively low head (less than or equal to 20 m) in the United States. Information is included on hydrologic conditions at the site, retrofit plant design, economic analysis, environmental, legal, social and institutional aspects, and availability of plant equipment. It is concluded that generation of hydropower at Patillas is entirely practical and uncomplicated from an engineering viewpoint, has no adverse environmental effects and is economically justifiable for the island of Puerto Rico. The final agency or contractor roles for development are reasonably well-established. There are no prohibitory laws or regulations concerning this development. In fact, according to Puerto Rico legislation, such hydropower developments appear to be mandated. The installed capacity of the site ranges from 665 kW to approximately 1500 kW depending on extent of development of the available options. (LCL)

Coqoon - An IDE for Interactive Proof Development in Coq

OpenAIRE

Faithfull, Alexander; Bengtson, Jesper; Tassi, Enrico

2016-01-01

User interfaces for interactive proof assistants have always lagged behind those for mainstream programming languages. Whereas integrated development environments—IDEs—have support for features like project management, version control, dependency analysis and incremental project compilation, “IDE”s for proof assistants typically only operate on files in isolation, relying on external tools to integrate those files into larger projects. In this paper we present Coqoon, an IDE for Coq developme...

Project control - the next generation

International Nuclear Information System (INIS)

Iorii, V.F.; McKinnon, B.L.

1993-01-01

The Yucca Mountain Site Characterization Project (YMP) is the U.S. Department of Energy's (DOE) second largest Major System Acquisition Project. We have developed an integrated planning and control system (called PACS) that we believe represents the 'Next Generation' in project control. PACS integrates technical scope, cost, and schedule information for over 50 participating organizations and produces performances measurement reports for science and engineering managers at all levels. Our 'Next Generation' project control too, PACS, has been found to be in compliance with the new DOE Project Control System Guidelines. Additionally, the nuclear utility oversight group of the Edison Electric Institute has suggested PACS be used as a model for other civilian radioactive waste management projects. A 'Next Generation' project control tool will be necessary to do science in the 21st century

Core Abilities Evaluation Index System Exploration and Empirical Study on Distributed PV-Generation Projects

Directory of Open Access Journals (Sweden)

Lin He

2017-12-01

Full Text Available In line with the constraints of environmental problems and economic development, large-scale renewable-generation projects have been planned and constructed in recent years. In order to achieve sustainable power development and improve the power supply structure, China’s government has focused on distributed photovoltaic (PV generation projects due to their advantages of clean emission and local consumption. However, their unstable output power still brings a series of problems concerning reliability, investment income, and available substitution proportion to traditional power, and so on. Therefore, it is imperative to understand the competitive development abilities of distributed PV generation projects and measure them effectively. First, through various investigation methods such as literature reviews, feasibility report analysis and expert interviews, the factors that influence the core abilities of distributed PV-generation projects were explored based on the micro-grid structure. Then, with the indexed exploration results, the factors were classified into 6 dimensions, i.e., investment and earning ability, production and operation ability, power-grid coordination ability, energy-conservation and emission-reduction ability, sustainable development ability, and society-serving ability. Meanwhile, an evaluation index system for core abilities of distributed PV-generation project was constructed using all quantitative indicators. Third, for examining the availability of the evaluation index system, combination weighting and techniques for order preference by similarity to an ideal solution (TOPSIS methods were adopted to assess the practical distributed PV-generation projects. The case study results showed that installed capacity, local economy development, and grid-connected power quantity will influence the core abilities of distributed PV-generation project, obviously. The conclusions of the evaluation analysis on core abilities can

Proof Mapping

Science.gov (United States)

Linares, Leanne A.; Smith, Phil R.

2009-01-01

A geometry textbook or mathematics journal that prints all the work that mathematicians use as they generate proofs of mathematical results would be rare indeed. The false starts, the tentative conjectures, and the arguments that led nowhere--these are conveniently omitted; only the final successful product is presented to the world. To students…

Zumbro Hydroelectric Project: installation of third unit. Feasibility assessment report

Energy Technology Data Exchange (ETDEWEB)

Williamson, James V.

1979-03-01

The feasibility of adding a third generating unit at an existing hydro power plant near Rochester, Minn. was examined considering the economic, technical, and environmental aspects. Installation of the unit, aiming at an Oct. 1983 completion date, is recommended. (LCL)

Feasibility Study of Economics and Performance of Wind Turbine Generators at the Newport Indiana Chemical Depot Site

Energy Technology Data Exchange (ETDEWEB)

Roberts, Joseph Owen [National Renewable Energy Lab. (NREL), Golden, CO (United States); Mosey, Gail [National Renewable Energy Lab. (NREL), Golden, CO (United States)

2013-11-01

The U.S. Environmental Protection Agency (EPA), in accordance with the RE-Powering America's Land initiative, selected the Newport Indiana Chemical Depot site in Newport, Indiana, for a feasibility study of renewable energy production. The National Renewable Energy Laboratory (NREL) was contacted to provide technical assistance for this project. The purpose of this report is to assess the sitefor possible wind turbine electrical generator installation and estimate the cost, performance, and site impacts of different wind energy options. In addition, the report recommends financing options that could assist in the implementation of a wind system at the site.

A Short Proof of Klee's Theorem

OpenAIRE

Zanazzi, John J.

2013-01-01

In 1959, Klee proved that a convex body $K$ is a polyhedron if and only if all of its projections are polygons. In this paper, a new proof of this theorem is given for convex bodies in $\\mathbb{R}^3$.

SU-E-T-33: A Feasibility-Seeking Algorithm Applied to Planning of Intensity Modulated Proton Therapy: A Proof of Principle Study

International Nuclear Information System (INIS)

Penfold, S; Casiraghi, M; Dou, T; Schulte, R; Censor, Y

2015-01-01

Purpose: To investigate the applicability of feasibility-seeking cyclic orthogonal projections to the field of intensity modulated proton therapy (IMPT) inverse planning. Feasibility of constraints only, as opposed to optimization of a merit function, is less demanding algorithmically and holds a promise of parallel computations capability with non-cyclic orthogonal projections algorithms such as string-averaging or block-iterative strategies. Methods: A virtual 2D geometry was designed containing a C-shaped planning target volume (PTV) surrounding an organ at risk (OAR). The geometry was pixelized into 1 mm pixels. Four beams containing a subset of proton pencil beams were simulated in Geant4 to provide the system matrix A whose elements a-ij correspond to the dose delivered to pixel i by a unit intensity pencil beam j. A cyclic orthogonal projections algorithm was applied with the goal of finding a pencil beam intensity distribution that would meet the following dose requirements: D-OAR < 54 Gy and 57 Gy < D-PTV < 64.2 Gy. The cyclic algorithm was based on the concept of orthogonal projections onto half-spaces according to the Agmon-Motzkin-Schoenberg algorithm, also known as ‘ART for inequalities’. Results: The cyclic orthogonal projections algorithm resulted in less than 5% of the PTV pixels and less than 1% of OAR pixels violating their dose constraints, respectively. Because of the abutting OAR-PTV geometry and the realistic modelling of the pencil beam penumbra, complete satisfaction of the dose objectives was not achieved, although this would be a clinically acceptable plan for a meningioma abutting the brainstem, for example. Conclusion: The cyclic orthogonal projections algorithm was demonstrated to be an effective tool for inverse IMPT planning in the 2D test geometry described. We plan to further develop this linear algorithm to be capable of incorporating dose-volume constraints into the feasibility-seeking algorithm

Feasibility study on volcanic power generation system

Energy Technology Data Exchange (ETDEWEB)

None

1977-07-01

Investigations were carried out to determine the feasibility of volcanic power generation on Satsuma Io Island. Earthquakes were studied, as were the eruptions of subaerial and submarine hot springs. Hydrothermal rock alteration was studied and electrical surveys were made. General geophysical surveying was performed with thermocameras and radiation monitoring equipment. In particular, the Toyoba mine was studied, both with respect to its hot spring and its subsurface temperatures.

Pre-feasibility analysis of a project for a rational refrigeration of shrimp at Mozambique

International Nuclear Information System (INIS)

Ventura Mondlane, Mario; José Antonio Echeverría.La Habana (Cuba))" data-affiliation=" (Grupo Combustibles alternativos. UTH José Antonio Echeverría.La Habana (Cuba))" >Rodríguez Ramos, Pedro A.; José Antonio Echeverría.La Habana (Cuba))" data-affiliation=" (CETER. UTH José Antonio Echeverría.La Habana (Cuba))" >Ferras Valcárce, Antonio

2017-01-01

The aim of this work is to analyze the economic feasibility of a project for increasing shrimp refrigerated installation efficiency in Mozambique. The following contents are presented: determination of the volume of shrimp to be refrigerate from the annual capture in the main fishing industries at Mozambique; determination of the design conditions of the refrigeration rooms in order to find the proper temperature conditions and relative humidity for shrimp conservation; estimation of thermal load of the refrigeration plant based on three chambers of equal volume and with different conservation temperatures. Finally, a pre-feasibility analysis of the project is assessed. (author)

Coqoon - An IDE for Interactive Proof Development in Coq

DEFF Research Database (Denmark)

Faithfull, Alexander; Bengtson, Jesper; Tassi, Enrico

2016-01-01

User interfaces for interactive proof assistants have always lagged behind those for mainstream programming languages. Whereas integrated development environments—IDEs—have support for features like project management, version control, dependency analysis and incremental project compilation, “IDE...... these projects using the Eclipse common build system. Coqoon takes advantage of the latest features of Coq, including asynchronous and parallel processing of proofs, and—when used together with a third-party OCaml extension for Eclipse—can even be used to work on large developments containing Coq plugins....

Valuation of investment projects by an international oil company: a new proof of a straightforward, rigorous method

International Nuclear Information System (INIS)

Pierru, A.; Babusiaux, D.

2009-02-01

The problem studied is that of valuing investment projects of an international oil company subject to tax schemes that vary from one country to another. The existing disparities in the tax treatment of interest paid can lead the firm to seek an optimal allocation of its debt capacity among the various projects. In this context, the generalized ATWACC (After-Tax Weighted Average Cost of Capital) method presents numerous advantages over standard methods and is particularly well suited to the valuation of oil-field development projects where debt financing differs from the amount that would correspond to the debt ratio targeted by the firm at the corporate scale. In this paper, we discuss adapting the generalized ATWACC method to the specificities of the oil industry and offer new proof of its validity, based on a model that maximizes, under constraints, the firm's equity value. (authors)

Thiazide diuretic-caused hyponatremia in the elderly hypertensive: will a bottle of Nepro a day keep hyponatremia and the doctor away? Study protocol for a proof-of-concept feasibility trial.

Science.gov (United States)

Ruzicka, Marcel; McCormick, Brendan; Magner, Peter; Ramsay, Tim; Edwards, Cedric; Bugeja, Ann; Hiremath, Swapnil

2018-01-01

Hypertension is the most common modifiable risk factor for cardiovascular disease, with an increasing prevalence with age, but with easily available medications to control it. Adverse effects of these medications do limit their use, in particular hyponatremia due to thiazide and thiazide-like diuretics. This is more common in the elderly patients due to a combination of inadequate protein intake and impaired urinary dilution capability, made worse by additional thiazide use. Limiting free water intake and increasing protein intake are often not successful resulting in thiazide avoidance. Daily protein supplement is a potential option in this clinical scenario. We describe the protocol for a feasibility study to explore this option. This is a single-arm, prospective, open-label proof-of-concept trial, including elderly patients with thiazide diuretic-induced hyponatremia. Forty patients will be enrolled and receive a bottle of a protein supplement daily, providing 120 mmol of solutes and permitting an extra 163 mL free water loss, for 4 weeks. The main outcome measures will be (1) feasibility for enrollment, (2) safety of the intervention, and (3) potential efficacy of the intervention in improving hyponatremia. Secondary outcome measures will include changes in urine osmolality, body weight, and urea measurements. Thiazide diuretic-induced hyponatremia is an important adverse effect, with significant clinical impact, such as delirium and falls, and limits the use of these potent antihypertensive agents. There are little data on the effect or safety of protein supplementation and also on whether a trial of this is feasible. The results of this proof-of-concept feasibility trial will help plan and execute a larger definitive trial to test protein supplementation as an effective strategy in this condition. The trial is registered with Clinical trials, registration identifier: NCT02614807.

FEASIBILITY OF WIND TO SERVE UPPER SKAGIT'S BOW HILL TRIBAL LANDS AND FEASIBILITY UPDATE FOR RESIDENTIAL RENEWABLE ENERGY.

Energy Technology Data Exchange (ETDEWEB)

RICH, LAUREN

2013-09-30

A two year wind resource assessment was conducted to determine the feasibility of developing a community scale wind generation system for the Upper Skagit Indian Tribe's Bow Hill land base, and the project researched residential wind resource technologies to determine the feasibility of contributing renewable wind resource to the mix of energy options for our single and multi-family residential units.

A proof-of-concept implementation of persistence in a hierarchical storage system

International Nuclear Information System (INIS)

Grossman, R.; Qin, Xiao; Lifka, D.

1992-01-01

The concept of providing transparent access to a collection of files in a mass storage system is a familiar one. The goal of this project was to investigate the feasibility of providing similar access to a collection of persistent, complex objects. We describe an architecture for interfacing a persistent store of complex objects to a hierarchical storage system. Persistent object stores support the uniform creation, storage, and access of complex objects, regardless of their lifetimes. In other words, a mechanism is provided so that persistent objects outlive the processes which create them and can be accessed in a uniform manner by other processes. We validated this architecture by implementing a proof-of-concept system and testing the system on two stores of data. These tests indicate that this architecture supports the creation. storage and access of very large persistent object stores

Evaluating experience with electricity generating GHG mitigation projects

Energy Technology Data Exchange (ETDEWEB)

Ellis, J.

2003-07-01

Several programmes have been initiated to encourage the development of projects that mitigate emissions of greenhouse gases. Recent programmes have been undertaken at the national level, such as the Dutch five-track approach, including contracts with multilateral institutions, regional development banks, private banks, bilateral contracts with countries, participation in carbon funds and the ERUPT and CERUPT tenders, Japanese Clean Development Mechanism (CDM) feasibility studies, and the more recent Finnish, Austrian and Italian JI/CDM programmes. International programmes, such as the World Bank's Prototype Carbon Fund (and other WB carbon funds), have also been initiated. Individual projects not belonging to particular programmes have also been initiated under the pilot phase of 'activities implemented jointly' (AIJ) under the United Nations Framework Convention on Climate Change (UNFCCC), or developed as CDM or Joint Implementation (JI) projects. Some CDM project activities have been formally submitted to the CDM's Executive Board (EB), who approved the first set of baseline and monitoring methodologies for CDM project activities in July 2003. There is a large variety in the type of projects that have been put forward. These include energy, industry, forestry and waste projects. This paper will focus on CDM-type projects that generate grid-connected electricity for several reasons: demand for electricity is growing rapidly in many potential host countries; many projects in the electricity sector have been developed as potential CDM and JI projects; assessing additionality and baselines is arguably more difficult for projects in the electricity sector (where a range of project types may occur as part of business-as-usual activities) than for end-of-pipe projects such as landfill gas capture and flaring or decomposition of F-gases; much work has been done on assessing appropriate methods to determine baselines in the electricity sector, at the

Microcomputer model for an analysis of the financial feasibility of a mining project

International Nuclear Information System (INIS)

Ciruelos, J.; Duchene, M.

1983-01-01

The model presented permits a simulation of the predicted profitability of a mining project at the stage of feasibility studies by making use of a simple individual computer, the Apple II. The model presented can be used to treat the following three areas: definition of the mode of financing the project and calculation of the financial flows which make it possible to evaluate the profitability of this project; analysis of sensitivity, which makes it possible to determine the most critical variables for the future of the project; analysis of the risk [fr

The Vice: Some Historically Inspired and Proof-Generated Steps to Limits of Sequences

Science.gov (United States)

Burn, Bob

2005-01-01

This paper proposes a genetic development of the concept of limit of a sequence leading to a definition, through a succession of proofs rather than through a succession of sequences or a succession of epsilons. The major ideas on which it is based are historical and depend on Euclid, Archimedes, Fermat, Wallis and Newton. Proofs of equality by…

Power generation from MSW of Haridwar city: A feasibility study

Energy Technology Data Exchange (ETDEWEB)

Jain, Siddharth; Sharma, M.P. [Biofuel Research Laboratory, Alternate Hydro Energy Centre, Indian Institute of Technology Roorkee, Roorkee, Uttarakhand 247667 (India)

2011-01-15

Energy plays significant role in the development of a nation. The conventional sources, though exhausting and not environment friendly are being increasingly used. Looking at limited supplies and various environment problems associated with its uses, renewable energy sources are getting attention. Municipal solid waste [MSW] is getting importance in recent years. Having fewer disposal problems is being considered as valuable bio-energy resources. The MSW management involves collection, transportation, handling and conversion to energy by biological and thermal routes. The present paper reports the results of physical, proximate and TGA/DTA analysis, used to select the most appropriate method of energy conversion. Based on the energy potential available, the feasibility of energy conversion through biogas production using available waste has been carried out. The CDM benefits have also been considered. The cost of generation with and without CDM benefits is Rs. 1.36/- and Rs. 1.41/- per kWh respectively as compared to cost of energy from grid [Rs. 3.50/- per kWh]. Therefore power generation from MSW of Haridwar city using biomethanation conversion technology is feasible. (author)

The Versatile Link common project: feasibility report

International Nuclear Information System (INIS)

Vasey, F; Soos, C; Troska, J; Hall, D; Huffman, T; Weidberg, T; Kwan, S; Prosser, A; Xiang, A; Ye, J

2012-01-01

The Versatile Link is a bi-directional digital optical data link operating at rates up to 4.8 Gbit/s and featuring radiation-resistant low-power and low-mass front-end components. The system is being developed in multimode or singlemode versions operating at 850 nm or 1310 nm wavelength respectively. It has serial data interfaces and is protocol-agnostic, but is targeted to operate in tandem with the GigaBit Transceiver (GBT) serializer/deserializer chip being designed at CERN. This paper gives an overview of the project status three and a half years after its launch. It describes the challenges encountered and highlights the solutions proposed at the system as well as the component level. It concludes with a positive feasibility assesment and an outlook for future project development directions.

Intra-Target Microdosing - A Novel Drug Development Approach: Proof of Concept, Safety, and Feasibility Study in Humans.

Science.gov (United States)

Burt, T; MacLeod, D; Lee, K; Santoro, A; DeMasi, D K; Hawk, T; Feinglos, M; Rowland, M; Noveck, R J

2017-09-01

Intra-Target Microdosing (ITM) is a novel drug development approach aimed at increasing the efficiency of first-in-human (FIH) testing of new molecular entities (NMEs). ITM combines intra-target drug delivery and "microdosing," the subpharmacological systemic exposure. We hypothesized that when the target tissue is small (about 1/100th of total body mass), ITM can lead to target therapeutic-level exposure with minimal (microdose) systemic exposure. Each of five healthy male volunteers received insulin microdose into the radial artery or full therapeutic dose intravenously in separate visits. Insulin and glucose levels were similar between systemic administration and ITM administration in the ipsilateral hand, and glucose levels demonstrated a reduction in the ipsilateral hand but not in the contralateral hand. Positron emission tomography (PET) imaging of 18 F-fluorodeoxyglucose (FDG) uptake demonstrated differences between the ipsilateral and contralateral arms. The procedures were safe and well-tolerated. Results are consistent with ITM proof-of-concept (POC) and demonstrate the ethical, regulatory, and logistical feasibility of the approach. © 2017 The Authors. Clinical and Translational Science published by Wiley Periodicals, Inc. on behalf of American Society for Clinical Pharmacology and Therapeutics.

Half Moon Cove Tidal Project. Feasibility report

Energy Technology Data Exchange (ETDEWEB)

1980-11-01

The proposed Half Moon Cove Tidal Power Project would be located in a small cove in the northern part of Cobscook Bay in the vicinity of Eastport, Maine. The project would be the first tidal electric power generating plant in the United States of America. The basin impounded by the barrier when full will approximate 1.2 square miles. The average tidal range at Eastport is 18.2 feet. The maximum spring tidal range will be 26.2 feet and the neap tidal range 12.8 feet. The project will be of the single pool-type single effect in which generation takes place on the ebb tide only. Utilizing an average mean tidal range of 18.2 feet the mode of operation enables generation for approximately ten and one-half (10-1/2) hours per day or slightly in excess of five (5) hours per tide. The installed capacity will be 12 MW utilizing 2 to 6 MW units. An axial flow, or Bulb type of turbine was selected for this study.

Methodology study: Co-generation feasibility at sawmills

International Nuclear Information System (INIS)

Host, J.

1991-01-01

This report discussed the various factors that should be studied and evaluated before establishing a cogeneration plant. The results of three case studies and a survey of energy needs in smaller and medium size sawmills are also presented. In general, cogeneration is feasible for supplying electric energy required for processing logs using fuelbark and other residues from the manufacturing process. A rebuilt turbine-generator unit is an initial cost saving alternative that is advantageous throughout the life of the operation

Steam generator reliability improvement project

International Nuclear Information System (INIS)

Blomgren, J.C.; Green, S.J.

1987-01-01

Upon successful completion of its research and development technology transfer program, the Electric Power Research Institute's Steam Generator Owners Group (SGOG II) will disband in December 1986 and be replaced in January 1987 by a successor project, the Steam Generator Reliability Project (SGRP). The new project, funded in the EPRI base program, will continue the emphasis on reliability and life extension that was carried forward by SGOG II. The objectives of SGOG II have been met. Causes and remedies have been identified for tubing corrosion problems, such as stress corrosion cracking and pitting, and steam generator technology has been improved in areas such as tube wear prediction and nondestructive evaluation (NDE). These actions have led to improved reliability of steam generators. Now the owners want to continue with a centrally managed program that builds on what has been learned. The goal is to continue to improve steam generator reliability and solve small problems before they become large problems

Steam generator reliability improvement project

International Nuclear Information System (INIS)

Blomgren, J.C.; Green, S.J.

1987-01-01

Upon successful completion of its research and development technology transfer program, the Electric Power Research Institute's (EPRI's) Steam Generator Owners Group (SGOG II) will disband in December 1986, and be replaced in January 1987, by a successor project, the Steam Generator Reliability Project (SGRP). The new project, funded in the EPRI base program, will continue to emphasize reliability and life extension, which were carried forward by SGOG II. The objectives of SGOG II have been met. Causes and remedies have been identified for tubing corrosion problems such as stress corrosion cracking and pitting, and steam generator technology has been improved in areas such as tube wear prediction and nondestructive evaluation. These actions have led to improved reliability of steam generators. Now the owners want to continue with a centrally managed program that builds on what has been learned. The goal is to continue to improve steam generator reliability and to solve small problems before they become large problems

Feasibility study of Pridneprovskaya Thermal Power Plant reconstruction project

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

With objectives of saving energy and reducing greenhouse gas emission at the Pridneprovskaya power plant in Ukraine, a scrap and build project has been discussed. This project will abolish the unit No.12 among the eight units in the existing coal burning power generation facilities, and install a natural gas burning combined cycle plant comprising of three units each with an output of 100 MW. The new plant facilities will consist of gas turbines, steam turbines, HRSG and auxiliary devices, and an air-cooled synchronous power generator with a capacity of 119 MVA. Use of natural gas as fuel reduces generation of soot, sulfur oxides, nitrogen oxides, and CO. In addition, the hot effluent and waste liquor effluent will decrease from those at the present plant. The required fund will be 30,107 million yen. The energy saving effect of this project is reduction of about 7.5 million tons of crude oil equivalent as a total in 40 years. The greenhouse effect gas will decrease by about 39 million tons as a total in 40 years. The profitability estimation calls for the number of investment recovery year of 16 years, and internal profit rate of 7.32%, wherein the implementation of the project cannot be expected as a project to be carried out by private funds. (NEDO)

Transport project evaluation: feasibility risk assessment and scenario forecasting

DEFF Research Database (Denmark)

Salling, Kim Bang; Leleur, Steen

2017-01-01

This paper presents a new approach to transport project assessment in terms of feasibility risk assessment and reference class forecasting. Conventionally, transport project assessment is based upon a Cost-Benefit Analysis (CBA) where evaluation criteria such as Benefit Cost Ratios (BCR...... on the preliminary construction cost estimates. Hereafter, a quantitative risk analysis is provided making use of Monte Carlo simulation. This approach facilitates random input parameters based upon reference class forecasting, hence, a parameter data fit has been performed in order to obtain validated probability...... Scenario Forecasting (RSF) frame. The RSF is anchored in the cost-benefit analysis; thus, it provides decision-makers with a quantitative mean of assessing the transport infrastructure project. First, the RSF method introduces uncertainties within the CBA by applying Optimism Bias uplifts...

Fiscal Feasibility Assessment Applied to Transport Infrastructure Projects

Energy Technology Data Exchange (ETDEWEB)

Guilherme de Aragão, J.J.; Santos Fontes Pereira, L. dos; Yamashita, Y.; Brandão, R.

2016-07-01

The demand for transport infrastructure investment is a latent issue for several countries, mainly for developing countries. However, investments in major logistics projects should be carefully evaluated, in order that their deployment induces development without endangering fiscal sustainability by excessive public indebtedness. Fiscal accounting practices used currently in the feasibility studies of transport infrastructures in Brazil are very limited, as they do not consider indirect and induced effects of the infrastructure investment in the fiscal evaluation. In addition, the corresponding influence area has not an established delimitation method. The aim of the present paper is to develop a model for calculating economic and fiscal impacts of transport infrastructure investment projects that includes the direct, indirect and induced effects within a reference area do be determined. First, different project assessment guides in Brazil and abroad are examined with a special focus on the assessment of economic and fiscal impacts of the projects. Based on the assessment experience and on the definition of the fiscal balance of an infrastructure project, the next step sets up a framework for the calculation of the impacts, using more simplified data. (Author)

US NDC Modernization: Service Oriented Architecture Proof of Concept

Energy Technology Data Exchange (ETDEWEB)

Hamlet, Benjamin R. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Encarnacao, Andre Villanova [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Jackson, Keilan R. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Hays, Ian A. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Barron, Nathan E. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Simon, Luke B. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Harris, James M. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Young, Christopher J. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2014-12-01

This report is a progress update on the US NDC Modernization Service Oriented Architecture (SOA) study describing results from a proof of concept project completed from May through September 2013. Goals for this proof of concept are 1) gain experience configuring, using, and running an Enterprise Service Bus (ESB), 2) understand the implications of wrapping existing software in standardized interfaces for use as web services, and 3) gather performance metrics for a notional seismic event monitoring pipeline implemented using services with various data access and communication patterns. The proof of concept is a follow on to a previous SOA performance study. Work was performed by four undergraduate summer student interns under the guidance of Sandia staff.

Messiah College Biodiesel Fuel Generation Project Final Technical Report

Energy Technology Data Exchange (ETDEWEB)

Zummo, Michael M; Munson, J; Derr, A; Zemple, T; Bray, S; Studer, B; Miller, J; Beckler, J; Hahn, A; Martinez, P; Herndon, B; Lee, T; Newswanger, T; Wassall, M

2012-03-30

Many obvious and significant concerns arise when considering the concept of small-scale biodiesel production. Does the fuel produced meet the stringent requirements set by the commercial biodiesel industry? Is the process safe? How are small-scale producers collecting and transporting waste vegetable oil? How is waste from the biodiesel production process handled by small-scale producers? These concerns and many others were the focus of the research preformed in the Messiah College Biodiesel Fuel Generation project over the last three years. This project was a unique research program in which undergraduate engineering students at Messiah College set out to research the feasibility of small-biodiesel production for application on a campus of approximately 3000 students. This Department of Energy (DOE) funded research program developed out of almost a decade of small-scale biodiesel research and development work performed by students at Messiah College. Over the course of the last three years the research team focused on four key areas related to small-scale biodiesel production: Quality Testing and Assurance, Process and Processor Research, Process and Processor Development, and Community Education. The objectives for the Messiah College Biodiesel Fuel Generation Project included the following: 1. Preparing a laboratory facility for the development and optimization of processors and processes, ASTM quality assurance, and performance testing of biodiesel fuels. 2. Developing scalable processor and process designs suitable for ASTM certifiable small-scale biodiesel production, with the goals of cost reduction and increased quality. 3. Conduct research into biodiesel process improvement and cost optimization using various biodiesel feedstocks and production ingredients.

Ontological Proofs of Existence and Non-Existence

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2008-01-01

Roč. 90, č. 2 (2008), s. 257-262 ISSN 0039-3215 R&D Projects: GA AV ČR IAA100300503 Institutional research plan: CEZ:AV0Z10300504 Keywords : ontological proofs * existence * non-existence * Gödel * Caramuel Subject RIV: BA - General Mathematics

Biogas Koczala. Biogas project in Koczala. Feasibility study. Technical report

International Nuclear Information System (INIS)

2004-08-01

The present production of district heating in Koczala is based on coal. The district heating system is worn out technically and economically and according to the 2001 Energy Plan of Koczala the district heating plant shall be converted to a combination of a biogas fired CHP and a wood chip boiler. The overall objective of this project is to access the feasibility and viability construction an operation of a biogas plant owned by the co-operative agricultural company, Poldanor S.A. The feasibility study includes: 1) Availability of organic waste in the Koczala area, 2) Possibilities of using energy crops in the biogas plant, 3) Possibilities of receiving grants from the Polish National Fund for Environmental Protection, the new EU regional funds and through the joint implementation market (CO 2 quotas), 4) Alternative locations of the biogas plant and the CHP unit, 5) Alternative strategies for selling electricity and heat, 6) Organisational issues (ownership). This report concludes that implementing the biogas project is environmentally and financially feasible and viable. If organic waste and/or maize silage can be provided and gasified without problems, the plant can supply as well the Koczala farm as the fodder mill with steam and heat, and also supply Koczala district heating system with approx. 75% of yearly heat consumption. Furthermore, electricity is supplied to the fodder mill and the public grid. (BA)

New developments in Generator Services project

International Nuclear Information System (INIS)

Karneyeu, A; Kirsanov, M; Konstantinov, D; Ryabov, A; Zenin, O; Pokorski, W; Ribon, A

2011-01-01

The LOG Generator Services project provides validated, LOG compliant Monte Carlo generators code for both the theoretical and experimental communities at the LHC. In this paper we present the recent developments and the future plans of the project. We report on the current status of the generators repository, the new Autotools-based build system, as well as the new installation tools to create mirrors of the repository. We discuss new developments in testing and physics validation procedures in particular the use of HepMC Analysis Tool, as well as the Rivet validation tool. We also present a new activity, enlarging the scope of the Generator Services project, it is the involvement in the tuning of the Monte Carlo generators. This work, being essential for the understanding of the future LHC data, is now starting with the involvement of all the LHC experiments.

Feasibility of free piston generation unit for electrical power provision

Energy Technology Data Exchange (ETDEWEB)

Harvey, R.; Roskilly, A.; Shaw, R.; French, C. [Newcastle Univ. (United Kingdom)

2000-07-01

Free piston linear engines offer the capability of providing power without the need to convert reciprocating motion into rotary motion. This allows for the utilisation of higher peak pressures during the combustion process and thus improves efficiency. The objective of this paper is to outline the potential benefits of a Free Piston Generator (FPG) and discuss the feasibility of this technology as a potential platform for electrical power provision. (authors)

A comparison of some anthropometric parameters between an Italian and a UK population: 'proof of principle' of a European project using MammoGrid

International Nuclear Information System (INIS)

Warren, R.; Thompson, D.; Del Frate, C.; Cordell, M.; Highnam, R.; Tromans, C.; Warsi, I.; Ding, J.; Sala, E.; Estrella, F.; Solomonides, A.E.; Odeh, M.; McClatchey, R.; Bazzocchi, M.; Amendolia, S.R.; Brady, M.

2007-01-01

Aim: To demonstrate the use of grid technology to produce a database of mammograms and supporting patient data, specifically using breast density as a biomarker of risk for breast cancer, for epidemiological purposes. Method: The cohort comprised 1737 women from the UK and Italy, aged 28-87 years, mean 54.7 years, who underwent mammography after giving consent to the use of their data in the project. Information regarding height, weight, and exposure data (mAs and kV) was recorded. The computer program Generate-SMF was applied to all films in the database to measure breast volume, dense breast volume, and thereby percentage density. Visual readings of density using a six-category classification system were also available for 596 women. Results: The UK and Italian participants were similar in height, but the UK women were significantly heavier with a slightly higher body mass index (BMI), despite being younger. Both absolute and percentage breast density were significantly higher in the Udine cohort. Images from the medio-lateral projection (MLO) give a significantly lower percentage density than cranio-caudal (CC) images (p < 0.0001). Total breast volume is negatively associated with percentage density, as are BMI and age (p < 0.0001 for all), although 80% of the variability in percentage density remains unexplained. Conclusion: The study offers proof of principle that confederated databases generated using Grid technology provide a useful and adaptable environment for large quantities of image, numerical, and qualitative data suitable for epidemiological research using the example of mammographic density as a biomarker of risk for breast cancer

Evaluation of the Use of Home Blood Pressure Measurement Using Mobile Phone-Assisted Technology: The iVitality Proof-of-Principle Study

NARCIS (Netherlands)

Wijsman, L.W.; Richard, E.; Cachucho, R.; Craen, A.J. de; Jongstra, S.; Mooijaart, S.P.

2016-01-01

BACKGROUND: Mobile phone-assisted technologies provide the opportunity to optimize the feasibility of long-term blood pressure (BP) monitoring at home, with the potential of large-scale data collection. OBJECTIVE: In this proof-of-principle study, we evaluated the feasibility of home BP monitoring

Evaluation of the Use of Home Blood Pressure Measurement Using Mobile Phone-Assisted Technology: The iVitality Proof-of-Principle Study

NARCIS (Netherlands)

Wijsman, Liselotte W.; Richard, Edo; Cachucho, Ricardo; de Craen, Anton J. M.; Jongstra, Susan; Mooijaart, Simon P.

2016-01-01

Mobile phone-assisted technologies provide the opportunity to optimize the feasibility of long-term blood pressure (BP) monitoring at home, with the potential of large-scale data collection. In this proof-of-principle study, we evaluated the feasibility of home BP monitoring using mobile

A Simple Proof of Cauchy's Surface Area Formula

OpenAIRE

Tsukerman, Emmanuel; Veomett, Ellen

2016-01-01

We give a short and simple proof of Cauchy's surface area formula, which states that the average area of a projection of a convex body is equal to its surface area up to a multiplicative constant in the dimension.

Feasibility study of wind-generated electricity for rural applications in southwestern Ohio

Science.gov (United States)

Kohring, G. W.

The parameters associated with domestic production of wind generated electricity for direct use by small farms and rural homes in the southwestern Ohio region are discussed. The project involves direct utility interfaced electricity generation from a horizontal axis, down-wind, fixed pitch, wind powered induction generator system. Goals of the project are to determine: the ability to produce useful amounts of domestic wind generated electricity in the southwestern Ohio region; economic justification for domestic wind generated electrical production; and the potential of domestic wind generated electricity for reducing dependence on non-renewable energy resources in the southwestern Ohio region.

Proof complexity of intuitionistic implicational formulas

Czech Academy of Sciences Publication Activity Database

Jeřábek, Emil

2017-01-01

Roč. 168, č. 1 (2017), s. 150-190 ISSN 0168-0072 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : proof complexity * intuitionistic logic * implicational fragment Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 0.647, year: 2016 http://www.sciencedirect.com/science/article/pii/S0168007216301154

Towards Verification of Constituent Systems through Automated Proof

DEFF Research Database (Denmark)

Couto, Luis Diogo Monteiro Duarte; Foster, Simon; Payne, R

2014-01-01

This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports various contractual specification elements, such as state invariants and operation preconditions, which can be used...... to specify contractual obligations on the constituent systems of a SoS. To support verification of these obligations we have developed a proof obligation generator and theorem prover plugin for Symphony. The latter uses the Isabelle/HOL theorem prover to automatically discharge the proof obligations arising...... from a CML model. Our hope is that the resulting proofs can then be used to formally verify the conformance of each constituent system, which is turn would result in a dependable SoS....

Feasibility Study of Biomass Electrical Generation on Tribal Lands

Energy Technology Data Exchange (ETDEWEB)

Tom Roche; Richard Hartmann; Joohn Luton; Warren Hudelson; Roger Blomguist; Jan Hacker; Colene Frye

2005-03-29

The goals of the St. Croix Tribe are to develop economically viable energy production facilities using readily available renewable biomass fuel sources at an acceptable cost per kilowatt hour ($/kWh), to provide new and meaningful permanent employment, retain and expand existing employment (logging) and provide revenues for both producers and sellers of the finished product. This is a feasibility study including an assessment of available biomass fuel, technology assessment, site selection, economics viability given the foreseeable fuel and generation costs, as well as an assessment of the potential markets for renewable energy.

Analysis of Reasons for fluctuation in seal oil system on generator and countermeasures in Qinshan phase III project

International Nuclear Information System (INIS)

Jin Xiaodong

2012-01-01

Reasons for hydraulic differential fluctuations seal hydrogen oil on generator in Qinshan phase III project were analyzed, provide a basis for modifying Run method is to determine the causes and effects of seal oil flow changes and in the relationship between flow changes and hydraulic differential hydrogen oil changes according to reason Results were analyzed to adjust the running test, to verify the feasibility of running adjustment programs

Proofs with monotone cuts

Czech Academy of Sciences Publication Activity Database

Jeřábek, Emil

2012-01-01

Roč. 58, č. 3 (2012), s. 177-187 ISSN 0942-5616 R&D Projects: GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545 Institutional support: RVO:67985840 Keywords : proof complexity * monotone sequent calculus Subject RIV: BA - General Mathematics Impact factor: 0.376, year: 2012 http://onlinelibrary.wiley.com/doi/10.1002/malq.201020071/full

Thermal hydraulic feasibility assessment of the spent nuclear fuel project

International Nuclear Information System (INIS)

Heard, F.J.

1996-01-01

A series of analyses have been completed investigating the thermal-hydraulic performance and feasibility of the Spent Nuclear Fuel Project (SNFP) Integrated Process Strategy (IPS). The goal was to develop a series of thermal-hydraulic models that could respond to all process and safety related issues that may arise pertaining to the SNFP, as well as provide a basis for validation of the results. Results show that there is a reasonable envelope for process conditions and requirements that are thermally and hydraulically acceptable

Financial feasibility analysis on small medium reactor nuclear power plant (SMR NPP) project in Indonesia under uncertainty

International Nuclear Information System (INIS)

Nuryanti; Suparman; Mochamad Nasrullah; Elok Satiti Amitayani; Wiku Lulus Widodo

2015-01-01

NPP SMR is one alternative to overcome the Outside Java Bali region's dependence on diesel power plant. One crucial issue in the NPP project (including SMR) would be financing, associated with the capital-intensive nature of the project. In addition, the SMR NPP project also be vulnerable in occurrence of some uncertainties. Therefore, this study aimed to analyze the financial feasibility of SMR NPP project by accommodating the possibility of the uncertainties. The methodology used is probabilistic analysis which was performed by Monte Carlo technique. This technique simulates the relationship between the uncertainty variables with financial feasibility indicators. The results showed that in probabilistic approach, SMR NPP project is considered feasible on the 'most probable value' of electricity selling price of 15 cents/kWh, indicated by positive average value of NPV (US$ 135,324,004) and the average value of both of IRRs are bigger than MARR (IRR project = 10.65 %, IRR Equity = 14.29 %, while MARR = 10 %). The probability of rejection of the SMR project was about 20 %. The three main variables that are most influential in the project were: selling price of electricity, investment cost and inflation rate. (author)

Analogy, Explanation, and Proof

Directory of Open Access Journals (Sweden)

John eHummel

2014-11-01

Full Text Available People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic whose truth was not even known prior to the existence of the explanation (proof. What do the cognitive operations underlying the (inductive inference that the milk is sour have in common with the (deductive proof that, say, the square root of two is irrational? Our ability to generate explanations bears striking similarities to our ability to make analogies. Both reflect a capacity to generate inferences and generalizations that go beyond the featural similarities between a novel problem and familiar problems in terms of which the novel problem may be understood. However, a notable difference between analogy-making and explanation-generation is that the former is a process in which a single source situation is used to reason about a single target, whereas the latter often requires the reasoner to integrate multiple sources of knowledge. This small-seeming difference poses a challenge to the task of marshaling our understanding of analogical reasoning in the service of understanding explanation. We describe a model of explanation, derived from a model of analogy, adapted to permit systematic violations of this one-to-one mapping constraint. Simulation results demonstrate that the resulting model can generate explanations for novel explananda and that, like the explanations generated by human reasoners, these explanations vary in their coherence.

Analogy, explanation, and proof

Science.gov (United States)

Hummel, John E.; Licato, John; Bringsjord, Selmer

2014-01-01

People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that the milk is sour have in common with the proof that, say, the square root of two is irrational? Our ability to generate explanations bears striking similarities to our ability to make analogies. Both reflect a capacity to generate inferences and generalizations that go beyond the featural similarities between a novel problem and familiar problems in terms of which the novel problem may be understood. However, a notable difference between analogy-making and explanation-generation is that the former is a process in which a single source situation is used to reason about a single target, whereas the latter often requires the reasoner to integrate multiple sources of knowledge. This seemingly small difference poses a challenge to the task of marshaling our understanding of analogical reasoning to understanding explanation. We describe a model of explanation, derived from a model of analogy, adapted to permit systematic violations of this one-to-one mapping constraint. Simulation results demonstrate that the resulting model can generate explanations for novel explananda and that, like the explanations generated by human reasoners, these explanations vary in their coherence. PMID:25414655

Exploring the Feasibility and Potential of Virtual Panels for Soliciting Feedback on Nutrition Education Materials: A Proof-of-Concept Study.

Science.gov (United States)

Norman, Cameron D; Haresign, Helen; Mehling, Christine; Bloomberg, Honey

2016-01-01

A changing and cluttered information landscape has put pressure on health organizations to produce consumer information materials that are not only factual but high quality and engaging to audiences. User-centered design methods can be useful in obtaining feedback from consumers; however, they are labor intensive and slow, which is not responsive to the fast-paced communication landscape influenced by social media. EatRight Ontario (ERO), a provincial nutrition and health support program of Dietitians of Canada, develops evidence-based resources for consumers and sought to increase user-centered design activities by exploring whether the standard approach to feedback could be replicated online. While online feedback has been used in marketing research, few examples are available in health promotion and public health to guide programming and policy. This study compared a traditional in-person approach for recruitment and feedback using paper surveys with an Internet-based approach using Facebook as a recruitment tool and collecting user feedback via the Web. The purpose of the proof-of-concept study was to explore the feasibility of the approach and compare an online versus traditional approach in terms of recruitment issues and response. An exploratory, two-group comparative trial was conducted using a convenience and purposive sampling. Participants reviewed a handout on healthy eating and then completed an 18-item survey with both forced-choice items and open-ended responses. One group viewed a hard-copy prototype and completed a paper survey and the other viewed a PDF prototype via Web links and completed a Web survey. The total days required to fulfill the sample for each group were used as the primary method of efficiency calculation. In total, 44 participants (22 per condition) completed the study, consisting of 42 women and 2 men over the age of 18. Few significant differences were detected between the groups. Statistically significant (P≤.05) differences

Feasibility of wind power generation in Ghana | Ayensu | Journal of ...

African Journals Online (AJOL)

For payback period of 10 years, the projected cost of the energy produced by a single turbine was estimated to be GHC 0.30 (~ 20 cents) per kWh (compared to 14 cents/kWh for photovoltaic generation and 10 cents/kWh for solar thermal), which therefore makes large scale optimized wind power generation competitive in ...

Proofs without Words: A Visual Application of Reasoning and Proof

Science.gov (United States)

Bell, Carol J.

2011-01-01

Reasoning and Proof is one of the Process Standards set forth in National Council of Teachers of Mathematics' (NCTM) "Principles and Standards for School Mathematics." Thus, it is important to give students opportunities to build their reasoning skills and aid their understanding of the proof process. Teaching students how to do proofs is a…

Understanding mathematical proof

CERN Document Server

Taylor, John

2014-01-01

Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo

Gödel, Truth and Proof

Czech Academy of Sciences Publication Activity Database

Peregrin, Jaroslav

-, č. 82 (2007), s. 1-10 E-ISSN 1742-6596 R&D Projects: GA ČR(CZ) GA401/04/0117 Institutional research plan: CEZ:AV0Z90090514 Keywords : Gödel * incompleteness of arithmetic * proof vs. truth Subject RIV: AA - Philosophy ; Religion http://www.iop.org/EJ/ toc /1742-6596/82/1

Combinatorial Proofs and Algebraic Proofs

Indian Academy of Sciences (India)

Permanent link: https://www.ias.ac.in/article/fulltext/reso/018/07/0630-0645. Keywords. Combinatorial proof; algebraic proof; binomial identity; recurrence relation; composition; Fibonacci number; Fibonacci identity; Pascal triangle. Author Affiliations. Shailesh A Shirali1. Sahyadri School Tiwai Hill, Rajgurunagar Pune 410 ...

PUEBLO OF ZIA RENEWABLE ENERGY DEVELOPMENT FEASIBILITY STUDY

Energy Technology Data Exchange (ETDEWEB)

Pino, Peter M. [Tribal Administrator (Ret.), Pueblo of Zia; Lakshman, Jai [Project Manager (NDA) for Pueblo of Zia; Toole, G. Loren [Principal Investigator, Los Alamos National Laboratory - Energy Analysis Team/ CCS-3, D-4; Hand, Dan [P.E., Sustainable Enginerring; Witcher, James; Emerson, Michael A. [Senior V.P., ARES Corporation; Turner, Jeremy [Executive Director, NM Renewable Energy Transmission Authority; Sandidge, Wendy [Director of Operations, NM Community Capital

2014-06-30

The Pueblo of Zia will conduct a comprehensive feasibility study for best-use application(s) for development of renewable energy resources on its tribally held TRUST lands (i.e., Trust Lands of Zia Indian Reservation). The feasibility study is essential for determining the technical and economic viability of a future renewable project(s) on Zia tribal lands, including the potential economic and environmental benefits for the Tribe. Project Objectives: The feasibility study is essential for determining the technical and economic viability of future renewable project(s) on Zia tribal lands, including the potential economic and environmental benefits for the Tribe to: 1. Provide a balanced local renewable power supply for Zia Pueblo, its members, tribal offices, schools and buildings, and businesses on tribal lands 2. Provide a firm power supply for export and commercial market distribution 3. Provide economic development for the Tribe and its members, including job training and creation, each in accordance with the goals and objectives as conveyed by the Pueblo of Zia Tribal Council, Tribal Administration, and outlined in The Pueblo of Zia Comprehensive Plan and Pueblo of Zia — Zia Enterprise Zone Master Plan. A key goal of the study is to analyze the integrated development of solar, geothermal, and wind renewable energy resources at Zia Pueblo, with added potential to combine gas-fired generation to accomplish energy firming. Geothermal offers a base load source of energy, providing power continuously for end users. Wind and solar offer intermediate and peaking sources of energy, which can be harvested throughout the day, with periods of variable but predicable output. Variability will be managed in an integrated manner, using Zia Pueblo's combined renewable resources to generate high-quality power. Tasks are intended to collect, catalog, map, and analyze existing data on Zia Pueblo's renewable energy resource base and then match resource attributes with

Feasibility study of a hybrid wind turbine system – Integration with compressed air energy storage

International Nuclear Information System (INIS)

Sun, Hao; Luo, Xing; Wang, Jihong

2015-01-01

Highlights: • A new hybrid wind turbine system is proposed and feasibility study if conducted. • A complete mathematical model is developed and implemented in a software environment. • Multi-mode control strategy is investigated to ensure the system work smoothly and efficiently. • A prototype for implementing the proposed mechanism is built and tested as proof of the concept. • The proposed system is proved to be technically feasible with energy efficiency around 50%. - Abstract: Wind has been recognized as one of major realistic clean energy sources for power generation to meet the continuously increased energy demand and to achieve the carbon emission reduction targets. However, the utilisation of wind energy encounters an inevitable challenge resulting from the nature of wind intermittency. To address this, the paper presents the recent research work at Warwick on the feasibility study of a new hybrid system by integrating a wind turbine with compressed air energy storage. A mechanical transmission mechanism is designed and implemented for power integration within the hybrid system. A scroll expander is adopted to serve as an “air-machinery energy converter”, which can transmit additional driving power generalized from the stored compressed air to the turbine shaft for smoothing the wind power fluctuation. A mathematical model for the complete hybrid process is developed and the control strategy is investigated for corresponding cooperative operations. A prototype test rig for implementing the proposed mechanism is built for proof of the concept. From the simulated and experimental studies, the energy conversion efficiency analysis is conducted while the system experiences different operation conditions and modes. It is proved that the proposed hybrid wind turbine system is feasible technically

Systems Analysis and Design for Decision Support Systems on Economic Feasibility of Projects

Science.gov (United States)

Balaji, S. Arun

2010-11-01

This paper discuss about need for development of the Decision Support System (DSS) software for economic feasibility of projects in Rwanda, Africa. The various economic theories needed and the corresponding formulae to compute payback period, internal rate of return and benefit cost ratio of projects are clearly given in this paper. This paper is also deals with the systems flow chart to fabricate the system in any higher level computing language. The various input requirements from the projects and the output needed for the decision makers are also included in this paper. The data dictionary used for input and output data structure is also explained.

Student Teachers’ Proof Schemes on Proof Tasks Involving Inequality: Deductive or Inductive?

Science.gov (United States)

Rosyidi, A. H.; Kohar, A. W.

2018-01-01

Exploring student teachers’ proof ability is crucial as it is important for improving the quality of their learning process and help their future students learn how to construct a proof. Hence, this study aims at exploring at the proof schemes of student teachers in the beginning of their studies. Data were collected from 130 proofs resulted by 65 Indonesian student teachers on two proof tasks involving algebraic inequality. To analyse, the proofs were classified into the refined proof schemes level proposed by Lee (2016) ranging from inductive, which only provides irrelevant inferences, to deductive proofs, which consider addressing formal representation. Findings present several examples of each of Lee’s level on the student teachers’ proofs spanning from irrelevant inferences, novice use of examples or logical reasoning, strategic use examples for reasoning, deductive inferences with major and minor logical coherence, and deductive proof with informal and formal representation. Besides, it was also found that more than half of the students’ proofs coded as inductive schemes, which does not meet the requirement for doing the proof for the proof tasks examined in this study. This study suggests teacher educators in teacher colleges to reform the curriculum regarding proof learning which can accommodate the improvement of student teachers’ proving ability from inductive to deductive proof as well from informal to formal proof.

Feasibility and desirability of employing the thorium fuel cycle for power generation - 254

International Nuclear Information System (INIS)

Sehgal, B.R.

2010-01-01

Thorium fuel cycle for nuclear power generation has been considered since the very start of the nuclear power era. In spite of a very large amount of research, experimentation, pilot scale and prototypic scale installations, the thorium fuel was not adopted for large scale power generation [1,2]. This paper reviews the developments over the years on the front and the back-end of the thorium fuel cycle and describes the pros and cons of employing the thorium fuel cycle for large generation of nuclear power. It examines the feasibility and desirability of employing the thorium fuel cycle in concert with the uranium fuel cycle for power generation. (authors)

Feasibility study of generating ultra-high harmonic radiation with a single stage echo-enabled harmonic generation scheme

Energy Technology Data Exchange (ETDEWEB)

Zhou, Kaishang, E-mail: zhoukaishang@sinap.ac.cn; Feng, Chao, E-mail: fengchao@sinap.ac.cn; Wang, Dong, E-mail: wangdong@sinap.ac.cn

2016-10-21

The echo enabled harmonic generation (EEHG) scheme holds the ability for the generation of fully coherent soft x-ray free-electron laser (FEL) pulses directly from external UV seeding sources. In this paper, we study the feasibility of using a single stage EEHG to generate coherent radiation in the “water window” and beyond. Using the high-order operating modes of the EEHG scheme, intensive numerical simulations have been performed considering various three-dimensional effects. The simulation results demonstrated that coherent soft x-ray radiation at 150th harmonic (1.77 nm) of the seed can be produced by a single stage EEHG. The decreasing of the final bunching factor at the desired harmonic caused by intra beam scattering (IBS) effect has also been analyzed.

Projected Costs of Generating Electricity

International Nuclear Information System (INIS)

Plante, J.

1998-01-01

Every 3 to 4 years, the NEA undertakes a study on projected costs of generating electricity in OECD countries. This started in 1983 and the last study (1997) has just be completed. All together 5 studies were performed, the first three dealing with nuclear and coal options, while the 1992 and 1997 included also the gas option. The goal of the study is to compare, country by country, generating costs of nuclear, coal-fired and gas-fired power plants that could be commissioned in the respondent countries by 2005-2010

Environmental Restoration Program pollution prevention checklist guide for the feasibility study project phase

International Nuclear Information System (INIS)

1993-09-01

Feasibility studies (FS) determine what remedial alternatives are presented to regulators for site cleanup. A key consideration in this process is the waste to be generated. Minimizing the volume and toxicity of this waste will ultimately contribute to the selection of the best remedial option. The purpose of this checklist guide is to assist the user in incorporating pollution prevention/waste minimization (PP/WM) in all FS phase projects of the Environmental Restoration (ER) Program. This guide will help users document PP/WM activities for technology transfer and reporting requirements. Automated computer screens will be created from the checklist data to assist users with implementing and evaluating waste reduction. Users can then establish numerical performance measures to measure progress in planning, training, self-assessments, field implementation, documentation, and technology transfer. Cost savings result as users train and assess themselves and perform preliminary waste assessments

Online support groups for young women with breast cancer: a proof-of-concept study.

Science.gov (United States)

Stephen, Joanne; Rojubally, Adina; Linden, Wolfgang; Zhong, Lihong; Mackenzie, Gina; Mahmoud, Sahar; Giese-Davis, Janine

2017-07-01

This initial study examined a therapist-led, synchronous, online support group (OSG) with psycho-education (OSG + E) compared to self-help psycho-education (E). The study aims were to examine proof of concept-feasibility, acceptability, and usefulness-and to hone methods for a formal RCT. One hundred five young breast cancer survivors (<50 years) post-treatment were randomized either to OSG + E or E. OSG + E received a therapist-led 10-week synchronous online intervention. E received a self-help workbook. Assessments were at baseline, 10 weeks, and 3 months, with willing OSG + E members completing post-study interviews. Researchers used inductive analysis, generating qualitative themes for feasibility, acceptability, and usefulness. We examined trajectories for one primary and two secondary quantitative outcomes and a combined moderator to discover who preferentially benefitted from the intervention. Qualitative analyses revealed that synchronous chat was at times challenging, but minimal technical coaching, structure, set topics, and professional facilitation enabled conversations that were focused and meaningful. A combined moderator indicated that generally more women benefitted from OSG + E relative to E and particularly those women in semi-rural and rural areas. This study suggests that therapist-led synchronous OSGs are feasible, acceptable, and useful for young breast cancer survivors and that a future RCT with a larger sample size, perhaps more focused on non-urban areas, is needed to establish its effectiveness.

Feasibility of generating quantitative composition images in dual energy mammography: a simulation study

Science.gov (United States)

Lee, Donghoon; Kim, Ye-seul; Choi, Sunghoon; Lee, Haenghwa; Choi, Seungyeon; Kim, Hee-Joung

2016-03-01

Breast cancer is one of the most common malignancies in women. For years, mammography has been used as the gold standard for localizing breast cancer, despite its limitation in determining cancer composition. Therefore, the purpose of this simulation study is to confirm the feasibility of obtaining tumor composition using dual energy digital mammography. To generate X-ray sources for dual energy mammography, 26 kVp and 39 kVp voltages were generated for low and high energy beams, respectively. Additionally, the energy subtraction and inverse mapping functions were applied to provide compositional images. The resultant images showed that the breast composition obtained by the inverse mapping function with cubic fitting achieved the highest accuracy and least noise. Furthermore, breast density analysis with cubic fitting showed less than 10% error compare to true values. In conclusion, this study demonstrated the feasibility of creating individual compositional images and capability of analyzing breast density effectively.

Repowering analysis: Hanford Generating Project (HGP), Task Order Number 6

International Nuclear Information System (INIS)

1988-12-01

The Hanford Generating Project (HGP), owned by the Washington Public Power Supply System, consists of two low pressure steam turbines, generators, and associated equipment located adjacent to the Department of Energy's (DOE) N-Reactor. HGP has been able to produce approximately 800 MWe with low pressure steam supplied by N-Reactor. DOE has placed N-Reactor in cold standby status for an undetermined length of time. This results in the idling of the HGP since no alternative source of steam is available. Bonneville Power Administration contracted with Fluor Daniel, Inc. to investigate the feasibility and cost of constructing a new source of steam for (repowering) one of the HGP turbines. The steam turbine is currently operated with 135 psia steam. The turbines can be rebuilt to operate with 500 psia steam pressure by adding additional stages, buckets, nozzles, and diaphragms. Because of the low pressure design, this turbine can never achieve the efficiencies possible in new high pressure turbines by the presences of existing equipment reduces the capital cost of a new generating resource. Five repowering options were investigated in this study. Three cases utilizing gas turbine combined cycle steam generation equipment, one case utilizing a gas fired boiler, and a case utilizing a coal fired boiler. This report presents Fluor Daniel's analysis of these repowering options

Public summaries of feasibility studies conducted for the trinidad LNG project. Export trade information

Energy Technology Data Exchange (ETDEWEB)

NONE

1995-04-01

The study, conducted by The M. W. Kellog Company, was funded by the U.S. Trade and Development Agency on behalf of the National Gas Company of Trinidad and Tobago. It shows the results of Project Definition Phase which was implemented as a follow-up to two previous feasibility studies which were conducted for a LNG plant in Trinidad. The objective of this report is to develop a project design basis and implementation plan plus a cost estimate. The study is divided into the following sections: (1) Introduction; (2) Project Design Basis; (3) Seismic Hazard Assessment; (4) Geotechnical; and (5) Environmental Assessment.

Writing proofs in analysis

CERN Document Server

Kane, Jonathan M

2016-01-01

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical induction, and presented with a series of well-written proofs to mimic, this textbook teaches what a student needs to be thinking about when trying to construct a proof. Covering the fundamentals of analysis sufficient for a typical beginning Real Analysis course, it never loses sight of the fact that its primary focus is about proof writing skills. This book aims to give the student precise training in the writing of proofs by explaining exactly what elements make up a correct proof, how one goes about constructing an acceptable proof, and, by learning to recognize a correct proof, how to avoid writing incorrect proofs. T...

Report on the project for working out the new energy vision of the Kamoto Town area. Feasibility study; 2001 nendo Kamoto machi chiiki shin energy vision sakutei tou jigyo fijibiriti hokokusho

Energy Technology Data Exchange (ETDEWEB)

NONE

2002-02-01

For the realization of 'the introduction of biomass of animal manure/garbage,' an important item in 'the new energy vision of the Kamoto Town area (Kumamoto Prefecture),' a feasibility study was conducted. For the resource retrieval of animal manure, etc., only composting is generally conducted. In this project, however, two projects are combinedly conducted: project for producing biogas (main component: methane gas) and liquid fertilizer and project for producing compost. The project pursues the reduction in running cost by self-sufficiency of energy and the environmental preservation by recovery of methane gas. The plant for producing biogas and liquid fertilizer consists of garbage crusher, storage tank, anaerobic fermentation tank and generator. The plant for producing compost consists of solid liquid separator, fermentation tank, agitator and smell remover. In the feasibility study, the following were carried out: study of the establishment of specifications/selection of the necessary conditions for a plant tentatively named the Kamoto Town Biomass Center, study of the proposed site for plant, survey of the financial plan, survey of the operational system, study of the project promotion system, etc. (NEDO)

Housing Value Projection Model Related to Educational Planning: The Feasibility of a New Methodology. Final Report.

Science.gov (United States)

Helbock, Richard W.; Marker, Gordon

This study concerns the feasibility of a Markov chain model for projecting housing values and racial mixes. Such projections could be used in planning the layout of school districts to achieve desired levels of socioeconomic heterogeneity. Based upon the concepts and assumptions underlying a Markov chain model, it is concluded that such a model is…

Integrated multi-resource planning and scheduling in engineering project

Directory of Open Access Journals (Sweden)

Samer Ben Issa

2017-01-01

Full Text Available Planning and scheduling processes in project management are carried out sequentially in prac-tice, i.e. planning project activities first without visibility of resource limitation, and then schedul-ing the project according to these pre-planned activities. This is a need to integrate these two pro-cesses. In this paper, we use Branch and Bound approach for generating all the feasible and non-feasible project schedules with/without activity splitting, and with a new criterion called “the Minimum Moments of Resources Required around X-Y axes (MMORR”, we select the best feasible project schedule to integrate plan processing and schedule processing for engineering projects. The results illustrate that this integrated approach can effectively select the best feasible project schedule among alternatives, improves the resource utilization, and shortens the project lead time.

Code of Conduct for wind-power projects - Feasibility study; Code of Conduct fuer windkraftprojekte. Machbarkeitsstudie - Schlussbericht

Energy Technology Data Exchange (ETDEWEB)

Strub, P. [Pierre Strub, freischaffender Berater, Binningen (Switzerland); Ziegler, Ch. [Inter Act, Basel (Switzerland)

2009-02-15

This final report deals with the results of a feasibility study concerning the development of a Code of Conduct for wind-power projects. The aim is to strengthen the acceptance of wind-power by the general public. The necessity of new, voluntary market instruments is discussed. The urgency of development in this area is quoted as being high, and the authors consider the feasibility of the definition of a code of conduct as being proven. The code of conduct can, according to the authors, be of use at various levels but primarily in project development. Further free-enterprise instruments are also suggested that should help support socially compatible and successful market development. It is noted that the predominant portion of those questioned are prepared to co-operate in further work on the subject

Proof-testing strategies induced by dangerous detected failures of safety-instrumented systems

International Nuclear Information System (INIS)

Liu, Yiliu; Rausand, Marvin

2016-01-01

Some dangerous failures of safety-instrumented systems (SISs) are detected almost immediately by diagnostic self-testing as dangerous detected (DD) failures, whereas other dangerous failures can only be detected by proof-testing, and are therefore called dangerous undetected (DU) failures. Some items may have a DU- and a DD-failure at the same time. After the repair of a DD-failure is completed, the maintenance team has two options: to perform an insert proof test for DU-failure or not. If an insert proof test is performed, it is necessary to decide whether the next scheduled proof test should be postponed or performed at the scheduled time. This paper analyzes the effects of different testing strategies on the safety performance of a single channel of a SIS. The safety performance is analyzed by Petri nets and by approximation formulas and the results obtained by the two approaches are compared. It is shown that insert testing improves the safety performance of the channel, but the feasibility and cost of the strategy may be a hindrance to recommend insert testing. - Highlights: • Identify the tests induced by detected failures. • Model the testing strategies following DD-failures. • Propose analytical formulas for effects of strategies. • Simulate and verify the proposed models.

Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

DEFF Research Database (Denmark)

Stanciulescu, Stefan; Berger, Thorsten; Walkingshaw, Eric

2016-01-01

on a subset of all variants could ease the engineering of highly configurable software. We investigate the potential of one kind of such tools: projection-based variation control systems. For such systems we aim to understand: (i) what end-user operations they need to support, and (ii) whether they can...... realize the actual evolution of real-world, highly configurable software. We conduct an experiment that investigates variability-related evolution patterns and that evaluates the feasibility of a projection-based variation control system by replaying parts of the history of a highly configurable real......Highly configurable software often uses preproces- sor annotations to handle variability. However, understanding, maintaining, and evolving code with such annotations is difficult, mainly because a developer has to work with all variants at a time. Dedicated methods and tools that allow working...

Wabash River Coal Gasification Repowering Project: A DOE Assessment; FINAL

International Nuclear Information System (INIS)

National Energy Technology Laboratory

2002-01-01

The goal of the U.S. Department of Energy (DOE) Clean Coal Technology Program (CCT) is to furnish the energy marketplace with a number of advanced, more efficient, and environmentally responsible coal utilization technologies through demonstration projects. These projects seek to establish the commercial feasibility of the most promising advanced coal technologies that have developed beyond the proof-of-concept stage. This document serves as a DOE post-project assessment (PPA) of a project selected in CCT Round IV, the Wabash River Coal Gasification Repowering (WRCGR) Project, as described in a Report to Congress (U.S. Department of Energy 1992). Repowering consists of replacing an existing coal-fired boiler with one or more clean coal technologies to achieve significantly improved environmental performance. The desire to demonstrate utility repowering with a two-stage, pressurized, oxygen-blown, entrained-flow, integrated gasification combined-cycle (IGCC) system prompted Destec Energy, Inc., and PSI Energy, Inc., to form a joint venture and submit a proposal for this project. In July 1992, the Wabash River Coal Gasification Repowering Project Joint Venture (WRCGRPJV, the Participant) entered into a cooperative agreement with DOE to conduct this project. The project was sited at PSI Energy's Wabash River Generating Station, located in West Terre Haute, Indiana. The purpose of this CCT project was to demonstrate IGCC repowering using a Destec gasifier and to assess long-term reliability, availability, and maintainability of the system at a fully commercial scale. DOE provided 50 percent of the total project funding (for capital and operating costs during the demonstration period) of$438 million

The Feasibility of 3d Point Cloud Generation from Smartphones

Science.gov (United States)

Alsubaie, N.; El-Sheimy, N.

2016-06-01

This paper proposes a new technique for increasing the accuracy of direct geo-referenced image-based 3D point cloud generated from low-cost sensors in smartphones. The smartphone's motion sensors are used to directly acquire the Exterior Orientation Parameters (EOPs) of the captured images. These EOPs, along with the Interior Orientation Parameters (IOPs) of the camera/ phone, are used to reconstruct the image-based 3D point cloud. However, because smartphone motion sensors suffer from poor GPS accuracy, accumulated drift and high signal noise, inaccurate 3D mapping solutions often result. Therefore, horizontal and vertical linear features, visible in each image, are extracted and used as constraints in the bundle adjustment procedure. These constraints correct the relative position and orientation of the 3D mapping solution. Once the enhanced EOPs are estimated, the semi-global matching algorithm (SGM) is used to generate the image-based dense 3D point cloud. Statistical analysis and assessment are implemented herein, in order to demonstrate the feasibility of 3D point cloud generation from the consumer-grade sensors in smartphones.

The fifth generation computer project state of the art report 111

CERN Document Server

Scarrott

1983-01-01

The Fifth Generation Computer Project is a two-part book consisting of the invited papers and the analysis. The invited papers examine various aspects of The Fifth Generation Computer Project. The analysis part assesses the major advances of the Fifth Generation Computer Project and provides a balanced analysis of the state of the art in The Fifth Generation. This part provides a balanced and comprehensive view of the development in Fifth Generation Computer technology. The Bibliography compiles the most important published material on the subject of The Fifth Generation.

Structuring Interactive Correctness Proofs by Formalizing Coding Idioms

OpenAIRE

Gast, Holger

2012-01-01

This paper examines a novel strategy for developing correctness proofs in interactive software verification for C programs. Rather than proceeding backwards from the generated verification conditions, we start by developing a library of the employed data structures and related coding idioms. The application of that library then leads to correctness proofs that reflect informal arguments about the idioms. We apply this strategy to the low-level memory allocator of the L4 microkernel, a case st...

Biodigester Feasibility and Design for Space and Earth Project

Science.gov (United States)

Terrier, Douglas; Clayton, Ronald; Shutts, Stacy (Principal Investigator); Bacon, John; Ewert, Michael; Paul, Thomas

2016-01-01

Biodigesters harness and utilize byproducts, and are a valuable technology for waste conversion and advanced exploration closed loops targets (6.1.a-E), including that of human waste. On Mars and at JSC, this could lead to growing food and to more sustainable uses of waste. It is critical to understand biogas generation rates, odor management of the effluent, and nutrient viability. Improved efficiency and reliance on this renewable energy source can become feasible for deep space missions.

Prospective Teachers' Conceptions of Proof Comprehension: Revisiting a Proof of the Pythagorean Theorem

Science.gov (United States)

Zazkis, Dov; Zazkis, Rina

2016-01-01

A significant body of research literature in mathematics education attends to mathematical proofs. However, scant research attends to proof comprehension, which is the focus of this study. We examine perspective secondary teachers' conceptions of what constitutes comprehension of a given proof and their ideas of how students' comprehension can be…

Short proofs for the determinant identities

Czech Academy of Sciences Publication Activity Database

Hrubeš, Pavel; Tzameret, I.

2015-01-01

Roč. 44, č. 2 (2015), s. 340-383 ISSN 0097-5397 EU Projects: European Commission(XE) 339691 - FEALORA Program:FP7 Institutional support: RVO:67985840 Keywords : proof complexity * arithmetic circuits Subject RIV: BA - General Mathematics Impact factor: 0.841, year: 2015 http://epubs.siam.org/doi/abs/10.1137/130917788

Future-proofing nursing education.

Science.gov (United States)

Keighley, Tom

2014-12-01

The origin of future-proofing seems lost in the mists of recent history. Dictionaries date its use from about 1991, referring to the prevention of obsolescence in information technology manufacturing and occasionally in organizational systems. However, closer analysis in healthcare demonstrates it can be traced back to the Rand Corporation and the studies commissioned there in the 1960s. These aimed at identifying the predictive factors in planning healthcare, including development of the workforce. It is a managerial concept that helps to project a vision of change that is not simply reactive or short-term. It permits a focus on leadership and the maximising of learning opportunities and includes analysis of the policy horizon. It held within it an assumption about the importance of establishing the cognitive frameworks that would influence long-term behaviours and not focus simply on short-term gains. This paper utilises this approach to explore options for future-proofing of nurse education.

Three Steam Generator Replacement Projects in 1995

International Nuclear Information System (INIS)

Holz, R.; Clavier, G.

1996-01-01

Since the companies Siemens AG and Framatome S. A. joined their experience and efforts in the field of steam generator replacements and formed a consortium in 1991, the following projects were performed in 1995: Ringhals 3, Tihange 3 and Asco 1. Further projects will follow in 1996, i. e., Doel 4 and Asco 2. Currently, this European consortium is bidding for the contract to replace the steam generators at the Krsko NPP and hopes to be awarded in 1996. An overview of the way the Consortium Siemens and Framatome approaches SG replacement projects is given based on the projects performed in 1995. Various aspects of project planning, management, licensing, personnel qualification and techniques used on site will be discussed. (author)

PROOF as a Service on the Cloud: a Virtual Analysis Facility based on the CernVM ecosystem

CERN Document Server

Berzano, Dario; Buncic, Predrag; Charalampidis, Ioannis; Ganis, Gerardo; Lestaris, Georgios; Meusel, René

2014-01-01

PROOF, the Parallel ROOT Facility, is a ROOT-based framework which enables interactive parallelism for event-based tasks on a cluster of computing nodes. Although PROOF can be used simply from within a ROOT session with no additional requirements, deploying and configuring a PROOF cluster used to be not as straightforward. Recently great efforts have been spent to make the provisioning of generic PROOF analysis facilities with zero configuration, with the added advantages of positively affecting both stability and scalability, making the deployment operations feasible even for the end user. Since a growing amount of large-scale computing resources are nowadays made available by Cloud providers in a virtualized form, we have developed the Virtual PROOF-based Analysis Facility: a cluster appliance combining the solid CernVM ecosystem and PoD (PROOF on Demand), ready to be deployed on the Cloud and leveraging some peculiar Cloud features such as elasticity. We will show how this approach is effective both for sy...

PROOF on Demand

International Nuclear Information System (INIS)

Malzacher, Peter; Manafov, Anar

2010-01-01

PROOF on Demand (PoD) is a set of utilities, which allows starting a PROOF cluster at user request, on any resource management system. It provides a plug-in based system, which allows to use different job submission frontends, such as LSF or gLite WMS. Main components of PoD are the PROOFAgent and the PAConsole. PROOFAgent provides the communication layer between the PROOF master on the local machine and the PROOF workers on the remote resources, possibly behind a firewall. PAConsole provides a user-friendly GUI, which is used to setup, manage, and shutdown the dynamic PROOF cluster. Installation is simple and doesn't require administrator privileges, and all the processes run in user space. PoD gives users, who don't have a centrally-administrated static PROOF cluster at their institute, the possibility to enjoy the full power of interactive analysis with PROOF.

Tamper proofing of safeguards monitors

International Nuclear Information System (INIS)

Riley, R.J.

1982-11-01

The tamper proofing of safeguards monitors is essential if the data they produce is, and can be seen to be, reliable. This report discusses the problem of tamper proofing and gives guidance on when and how to apply tamper proofing techniques. The report is split into two parts. The first concerns the fundamental problem of how much tamper proofing to apply and the second describes methods of tamper proofing and discusses their usefulness. Both sections are applicable to all safeguards monitors although particular reference will be made to doorway monitors in some cases. The phrase 'tamper proofing' is somewhat misleading as it is impossible to completely tamper proof any device. Given enough time and resources, even the most elaborate tamper proofing can be overcome. In safeguards applications we are more interested in making the device tamper resistant and tamper indicating. That is, it should be able to resist a certain amount of tampering, and if tampering proves successful, that fact should be immediately obvious. Techniques of making a device tamper indicating and tamper resistant will be described below. The phrase tamper proofing will be used throughout this report as a generic term, including both tamper resistance and tamper indicating. (author)

Electricity generation projections of the world and Brazil

International Nuclear Information System (INIS)

Dias, Marcio Soares

2002-01-01

The world use of electricity is projected to increase by 9,570 billions kWh over a span of 20 years. Natural gas is expected to account for the largest increment in electricity generation. As a result of high oil and natural gas consumption fuel prices are projected to rise in nominal dollars over the forecast horizon. Higher capacity utilisation and fewer expected retirements of running nuclear plants have resulted in a revision of EIA's projected consumption of electricity from nuclear power. Projection of 3.6%/year in the electricity consumption in Brazil is lower than the historical correlation given by the GDP (5%) growth rate plus 1.2 to 1.7%. GDP and energy consumption growth rates for Brazil are projected to be higher than the world value, but are lower than the projected values for countries like Mexico and China. Trends in primary fuel prices and external dependence on fuel supply are important factors for the Brazilian investments on electricity generation due their impact on costs and standard of living. (author)

Feasibility Study and Demonstration of an Aluminum and Ice Solid Propellant

Directory of Open Access Journals (Sweden)

Timothee L. Pourpoint

2012-01-01

Full Text Available Aluminum-water reactions have been proposed and studied for several decades for underwater propulsion systems and applications requiring hydrogen generation. Aluminum and water have also been proposed as a frozen propellant, and there have been proposals for other refrigerated propellants that could be mixed, frozen in situ, and used as solid propellants. However, little work has been done to determine the feasibility of these concepts. With the recent availability of nanoscale aluminum, a simple binary formulation with water is now feasible. Nanosized aluminum has a lower ignition temperature than micron-sized aluminum particles, partly due to its high surface area, and burning times are much faster than micron aluminum. Frozen nanoscale aluminum and water mixtures are stable, as well as insensitive to electrostatic discharge, impact, and shock. Here we report a study of the feasibility of an nAl-ice propellant in small-scale rocket experiments. The focus here is not to develop an optimized propellant; however improved formulations are possible. Several static motor experiments have been conducted, including using a flight-weight casing. The flight weight casing was used in the first sounding rocket test of an aluminum-ice propellant, establishing a proof of concept for simple propellant mixtures making use of nanoscale particles.

Proof in geometry with "mistakes in geometric proofs"

CERN Document Server

Fetisov, A I

2006-01-01

This single-volume compilation of 2 books explores the construction of geometric proofs. It offers useful criteria for determining correctness and presents examples of faulty proofs that illustrate common errors. 1963 editions.

From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities

Science.gov (United States)

Kunjwal, Ravi; Spekkens, Robert W.

2018-05-01

The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental measurements because these are never free of noise and thus never truly projective. For nonprojective measurements, therefore, one must drop the requirement that an outcome be assigned deterministically in the model and merely require that it be assigned a distribution over outcomes in a manner that is context-independent. By demanding context independence in the representation of preparations as well, one obtains a generalized principle of noncontextuality that also supports a quantum no-go theorem. Several recent works have shown how to derive inequalities on experimental data which, if violated, demonstrate the impossibility of finding a generalized-noncontextual model of this data. That is, these inequalities do not presume quantum theory and, in particular, they make sense without requiring an operational analog of the quantum notion of projectiveness. We here describe a technique for deriving such inequalities starting from arbitrary proofs of the Kochen-Specker theorem. It extends significantly previous techniques that worked only for logical proofs, which are based on sets of projective measurements that fail to admit of any deterministic noncontextual assignment, to the case of statistical proofs, which are based on sets of projective measurements that d o admit of some deterministic noncontextual assignments, but not enough to explain the quantum statistics.

Sustainable income-generating projects for HIV-affected households in Zimbabwe: evidence from two high-density suburbs.

Science.gov (United States)

Mutenje, Munyaradzi J; Nyakudya, Innocent W; Katsinde, Constance; Chikuvire, Tichaedza J

2007-04-01

An estimated 25% of the adults in urban areas of Zimbabwe are living as HIV-positive. In HIV-affected households the need for income increases with the demand for medicines, food and funeral costs. One way to mitigate this effect of the epidemic is by expanding micro enterprises that can enhance the livelihoods of urban households affected by HIV. To identify viable income-generating projects for such households, five possible projects facilitated by two HIV/AIDS support organisations were selected for assessment. These were: selling second-hand clothing, poultry-keeping and nutritional/herbal gardens, freezit-making, mobile kitchens, and payphone set-ups. A case study of 200 households benefiting from one of these projects was done in two high-density suburbs in the town of Bindura, northern Zimbabwe. Information was collected from each household four times per year, over four years (2001-2004). Information on the income generated from the micro enterprises was collected monthly during the period. Descriptive statistics were used to analyse household demographic data; income data was analysed using cost-benefit analysis and analysis of variance. The results show that all five income-generating projects were viable for these households, although some were not feasible for the most vulnerable HIV-affected households. Making more efficient use of micro enterprises can be a valuable part of mainstreaming HIV-affected people and households in urban areas, and so allow people living with HIV to have longer and more meaningful lives.

Steam generator replacement project in 2000

International Nuclear Information System (INIS)

Cerjak, J.; Holz, R.; Haus, J.; Gloaguen, C.

1999-01-01

NE Krsko has awarded the contract for the Steam Generator Replacement Project, which is one of the modernization projects in Krsko, to the Consortium of Siemens / Framatome in February 1998. This paper deals with the various aspects of the project: scope planning, engineering, preparation of modification packages for licensing, management, major techniques used, etc., showing also the status of the activities for the project which are scheduled to be performed in April through June 2000. The project is being performed on a turnkey basis, that means the Consortium is performing all engineering, preparation of the modification packages and site activities; NE Krsko is dealing with the licensing of the project.(author)

A RFID grouping proof protocol for medication safety of inpatient.

Science.gov (United States)

Huang, Hsieh-Hong; Ku, Cheng-Yuan

2009-12-01

In order to provide enhanced medication safety for inpatients, the medical mechanism which adopts the modified grouping proof protocol is proposed in this paper. By using the grouping proof protocol, the medical staffs could confirm the authentication and integrity of a group of Radio-Frequency Identification (RFID) tags which are embedded on inpatient bracelets and the containers of drugs. This mechanism is designed to be compatible with EPCglobal Class-1 Generation-2 standard which is the most popular specification of RFID tags. Due to the light-weight computational capacity of passive tags, only the pseudo-random number generator (PRNG) and cyclic redundancy code (CRC) are allowed to be used in the communication protocol. Furthermore, a practical scenario of using this proposed mechanism in hospital to examine the medication safety is also presented.

Synchrotron radiation generation: Technological considerations, feasibility of practical realization with available way in the Country

International Nuclear Information System (INIS)

Moreira, A.F.O.

1983-01-01

Technological aspects linked to the synchrotron radiation generation in laboratory are discussed. A feasibility study for the implantation of a machine for such a radiation in a laboratory in Brazil is also discussed. (L.C.) [pt

Feasibility of a next generation underground water Cherenkov detector: UNO

International Nuclear Information System (INIS)

Jung, Chang Kee

2000-01-01

The feasibility of a next generation underground water Cherenkov detector is examined and a conceptual design (UNO) is presented. The design has a linear detector configuration with a total volume of 650 kton which is 13 times the total volume of the Super-Kamiokande detector. It corresponds to a 20 times increase in fiducial volume for physics analysis. The physics goals of UNO are to increase the sensitivity of the search for nucleon decay by a factor of ten and to make precision measurements of the solar and atmospheric neutrino properties. In addition, the detection sensitivity for supernova neutrinos will reach as far as the Andromeda galaxy

Mid-Columbia coho reintroduction feasibility project. Preliminary environmental assessment

International Nuclear Information System (INIS)

1999-01-01

Before the Bonneville Power Administration (BPA) decides whether to fund a program to reintroduce coho salmon to mid-Columbia River basin tributaries, research is needed to determine the ecological risks and biological feasibility of such an effort. Since the early 1900s, the native stock of coho has been decimated in the tributaries of the middle reach of the Columbia River. The four Columbia River Treaty Tribes identified coho reintroduction in the mid-Columbia as a priority in the Tribal Restoration Plan. It is a comprehensive plan put forward by the Tribes to restore the Columbia River fisheries. In 1996, the Northwest Power Planning Council (NPPC) recommended the tribal mid-Columbia reintroduction project for funding by BPA. It was identified as one of fifteen high-priority supplementation projects for the Columbia River basin, and was incorporated into the NPPC's Fish and Wildlife Program. The release of coho from lower Columbia hatcheries into mid-Columbia tributaries is also recognized in the Columbia River Fish Management Plan

Mid-Columbia Coho Salmon Reintroduction Feasibility Project : Environmental Assessment.

Energy Technology Data Exchange (ETDEWEB)

United States. Bonneville Power Administration; Washington (State) Department of Fish and Wildlife; Confederated Tribes and Bands of the Yakama Nation

1999-01-01

Before the Bonneville Power Administration (BPA) decides whether to fund a program to reintroduce coho salmon to mid-Columbia River basin tributaries, research is needed to determine the ecological risks and biological feasibility of such an effort. Since the early 1900s, the native stock of coho has been decimated in the tributaries of the middle reach of the Columbia River. The four Columbia River Treaty Tribes identified coho reintroduction in the mid-Columbia as a priority in the Tribal Restoration Plan. It is a comprehensive plan put forward by the Tribes to restore the Columbia River fisheries. In 1996, the Northwest Power Planning Council (NPPC) recommended the tribal mid-Columbia reintroduction project for funding by BPA. It was identified as one of fifteen high-priority supplementation projects for the Columbia River basin, and was incorporated into the NPPC`s Fish and Wildlife Program. The release of coho from lower Columbia hatcheries into mid-Columbia tributaries is also recognized in the Columbia River Fish Management Plan.

Proof of feasibility of the through casing resistivity technology

Energy Technology Data Exchange (ETDEWEB)

Vail, Dr. W. Banning; Momii, Steven T.

2000-06-21

This project is to definitely prove that the resistivity of geological formations can be measured from within cased wells and to license the relevant patents and technology to major wireline service companies.

The projected costs of electricity generation

International Nuclear Information System (INIS)

Cameron, R.; Keppler, J. H.

2010-10-01

This paper describes the outcomes from the joint report between the Nuclear Energy Agency and the International Energy Agency of the OECD on the projected costs of generating electricity. The study contains data on electricity generating costs for almost 200 power plants provided by 17 OECD member countries, 4 non-OECD countries and 4 industrial companies or industry organisations. The paper presents the projected costs of generating electricity calculated according to common methodological rules on the basis of the data provided by participating countries and organisations. Data were received for a wide variety of fuels and technologies, including coal, gas, nuclear, hydro, onshore and offshore wind, biomass, solar, wave and tidal. Cost estimates were also provided for combined heat and power plants, as well as for coal plants that include carbon capture. As in previous studies of the same series, all costs and benefits were discounted or capitalised to the date of commissioning in order to calculate the state of the electricity costs per MWh, based on plant operating lifetime data. In addition, the paper contains a discussion of a number of factors affecting the cost of capital, the outlook for carbon capture and storage and the working of electricity markets. (Author)

A Feasibility Study to Evaluate Wind Energy Potential on the Navajo Nation

Energy Technology Data Exchange (ETDEWEB)

Terry Battiest

2012-11-30

The project, A Feasibility Study to Evaluate Wind Energy Potential on the Navajo Nation, is funded under a solicitation issued by the U.S. Department of Energy Tribal Energy Program. Funding provided by the grant allowed the Navajo Nation to measure wind potential at two sites, one located within the boundaries of the Navajo Nation and the other off-reservation during the project period (September 5, 2005 - September 30, 2009). The recipient for the grant award is the Navajo Tribal Utility Authority (NTUA). The grant allowed the Navajo Nation and NTUA manage the wind feasibility from initial site selection through the decision-making process to commit to a site for wind generation development. The grant activities help to develop human capacity at NTUA and help NTUA to engage in renewable energy generation activities, including not only wind but also solar and biomass. The final report also includes information about development activities regarding the sited included in the grant-funded feasibility study.

THE USE OF PROJECTS IN GENERATING CHANGE IN ORGANIZATIONS

Directory of Open Access Journals (Sweden)

A. Vacar

2015-10-01

Full Text Available The article above is part of a research conducted in order to evidence the role of leaders in generating change in organizations and to observe the methods and techniques used, knowing that projects and their management are tools for implementing change in organizations. Leaders, by their influence and not by force, can determine their team to initiate new projects, considered by specialists and practitioners also, real practices of generating change in organizations.

Proof Problems with Diagrams: An Opportunity for Experiencing Proofs and Refutations

Science.gov (United States)

Komatsu, Kotaro; Tsujiyama, Yosuke; Sakamaki, Aruta; Koike, Norio

2014-01-01

It has become gradually accepted that proof and proving are essential at all grades of mathematical learning. Among the various aspects of proof and proving, this study addresses proofs and refutations described by Lakatos, in particular a part of increasing content by deductive guessing, to introduce an authentic process into mathematics…

Earthquake-proof supporting structure in reactor vessel

International Nuclear Information System (INIS)

Sakurai, Akio; Sekine, Katsuhisa; Madokoro, Manabu; Katoono, Shin-ichi; Konno, Mutsuo; Suzuki, Takuro.

1990-01-01

Conventional earthquake-proof structure comprises a vessel vibration stopper integrated to a reactor vessel, powder for restricting the horizontal displacements, a safety vessel surrounds the outer periphery of the reactor vessel and a safety vessel vibration stopper integrated therewith, which are fixed to buildings. However, there was a problem that a great amount of stresses are generated in the base of the reactor vessel vibration stopper due to reaction of the powders which restrict thermal expansion. In order to remarkably reduce the reaction of the powers, powders are charged into a spaces formed between each of the reactor vessel vibration stopper, the safety vessel vibration stopper and the flexible member disposed between them. According to this constitution, the reactor vessel vibration stopper does not undergo a great reaction of the powers upon thermal expansion of the reactor vessel to moderate the generated stresses, maintain the strength and provide earthquake-proof supporting function. (N.H.)

Cognitive Testing in People at Increased Risk of Dementia Using a Smartphone App: The iVitality Proof-of-Principle Study

NARCIS (Netherlands)

Jongstra, Susan; Wijsman, Liselotte Willemijn; Cachucho, Ricardo; Hoevenaar-Blom, Marieke Peternella; Mooijaart, Simon Pieter; Richard, Edo

2017-01-01

Background: Smartphone-assisted technologies potentially provide the opportunity for large-scale, long-term, repeated monitoring of cognitive functioning at home. Objective: The aim of this proof-of-principle study was to evaluate the feasibility and validity of performing cognitive tests in people

Decommissioning of nuclear facilities: Feasibility, needs and costs

International Nuclear Information System (INIS)

DeLaney, E.G.; Mickelson, J.R.

1985-01-01

The Nuclear Energy Agency's Working Group on Decommissioning is preparing a study entitled ''Decommissioning of Nuclear Facilities: Feasibility, Needs and Costs.'' The study addresses the economics, technical feasibility and waste management aspects of decommissioning larger commercial reactors and nuclear support facilities. Experience on decommissioning small reactors and fuel cycle facilities shows that current technology is generally adequate. Several major projects that are either underway or planned will demonstrate decommissioning of the larger and more complex facilities. This experience will provide a framework for planning and engineering the decommissioning of the larger commercial reactors and fuel cycle facilities. Several areas of technology development are desired for worker productivity improvement, occupational exposure reduction, and waste volume reduction. In order to assess and plan for the decommissioning of large commercial nuclear facilities, projections have been made of the capacity of these facilities that may be decommissioned in the future and the radioactive waste that would be produced from the decommissioning of these facilities. These projections through the year 2025 are based on current data and the OECD reactor capacity forecast through the year 2000. A 25-year operating lifetime for electrical power generation was assumed. The possibilities of plant lifetime extension and the deferral of plant dismantlement make this projection very conservative

Project risk management for development of non-utility power generators (NUGs)

International Nuclear Information System (INIS)

Lau, T.

1990-01-01

The growing Non-Utility Generation (NUG) industry has brought new opportunities and challenges for the insurance industry. There can be unique engineering and financial risks involved in the development of Non-Utility Power Generation projects. The use of new technologies to meet stringent environmental regulations and to improve project performance and efficiency presents new challenges to the project developers and designers. The lack of funding, resources and experience of some of these projects may create unusual risks that could result in failure or deficiency in the performance of the projects

Timing Sunsets with Smartphones: Proof of Concept for a Citizen Science Project that Quantifies the Atmosphere and Supports Astronomical Observations

Science.gov (United States)

Wilson, Teresa; Kantamneni, A.; Bartlett, J. L.; Nemiroff, R. J.

2014-01-01

Current models that predict the times of sunrise and sunset are only accurate, typically, to a few minutes. Variations in atmospheric refraction contribute to the differences between computed and observed times. At high latitudes, slight changes in refraction can cause the Sun to remain continuously above the horizon instead of appearing to set. A substantial collection of observations would help constrain atmospheric models, which should, in turn, complement astronomical observations through improved understanding of air stability, refraction, and transparency. We report on a small project recording data from a few smartphones as a proof of concept for a possible larger scale citizen science effort.

Cherokee Wind Energy Development - Feasibility and Pre-Construction Studies

Energy Technology Data Exchange (ETDEWEB)

McMillan, Andy [Cherokee Nation Businesses, LLC, Catoosa, OK (United States)

2017-06-30

Cherokee Nation Businesses (CNB) received a grant from the US Department of Energy to explore feasibility and pursue development of a wind power generation facility on Cherokee land in north-central Oklahoma. This project followed several years of initial study exploring the possibility of commercial-scale wind power generation on primarily agricultural land owned by the Cherokee Nation. This project produced detailed analysis of the legal, financial and market viability of such generation facilities, and encompassed a full technical evaluation of the engineering, environmental, and geotechnical aspects of installing this capacity. During the course of this project, information gleaned from this exploration changed CNB’s thinking about the best course of action for Cherokee participation in the development, eventually moving away from an equity-owner model and towards utilization of the land asset as a resource while mitigating Cherokee financial and operational risk.

Feasibility and application on steam injector for next-generation reactor

International Nuclear Information System (INIS)

Narabayashi, Tadashi; Ishiyama, Takenori; Miyano, Hiroshi; Nei, Hiromichi; Shioiri, Akio

1991-01-01

A feasibility study has been conducted on steam injector for a next generation reactor. The steam injector is a simple, compact passive device for water injection, such as Passive Core Injection System (PCIS) of Passive Containment Cooling System (PCCS), because of easy start-up without an AC power. An analysis model for a steam injector characteristics has been developed, and investigated with a visualized fundamental test for a two-stage Steam Injector System (SIS) for PCIS and a one-stage low pressure SIS for PCCS. The test results showed good agreement with the analysis results. The analysis and the test results showed the SIS could work over a very wide range of the steam pressure, and is applicable for PCIS or PCCS in the next generation reactors. (author)

The Atlin Hydro Project : generation for generations

Energy Technology Data Exchange (ETDEWEB)

Simpson, S. [Atlin Tlingit Development Corp., Atlin, BC (Canada)

2010-07-01

This presentation documented the step-by-step process by which the Atlin Hydro Project was developed. The Taku River Tlingit First Nation undertook the Atlin project as part of its vision for responsible resource management, sustainable economic development, and cultural revival. The Atlin Community Energy Plan involved an assessment of electricity demand, a 20-year demand projection, energy efficiency recommendations, and an assessment of power supply options such as wind towers, connection to the Yukon power grid, and hydro. The potential impact on fisheries, hydrology, wildlife habitat, roads and bridges, navigable waters and forests, existing rights, and First Nation archaeology were assessed, along with other factors such as hazards and flood control. A hydrology assessment of the Surprise-Pine Drainage Basin was undertaken, and stream-flow measurements were taken near the intake location on Pine Creek. The project comprises a discharge control structure and a fish ladder; an intake and weir on Pine Creek; a penstock pipeline from intake to powerhouse; a powerhouse with a 2.1 MW Pelton turbine generator and a switch yard; and a power line from the powerhouse to the interconnection with the existing grid. The impacts on fisheries, wildlife, and human movement are expected to be minimal. 28 figs., 3 tabs.

Using Patterns for Multivariate Monitoring and Feedback Control of Linear Accelerator Performance: Proof-of-Concept Research

International Nuclear Information System (INIS)

Cordes, Gail Adele; Van Ausdeln, Leo Anthony; Velasquez, Maria Elena

2002-01-01

The report discusses preliminary proof-of-concept research for using the Advanced Data Validation and Verification System (ADVVS), a new INEEL software package, to add validation and verification and multivariate feedback control to the operation of non-destructive analysis (NDA) equipment. The software is based on human cognition, the recognition of patterns and changes in patterns in time-related data. The first project applied ADVVS to monitor operations of a selectable energy linear electron accelerator, and showed how the software recognizes in real time any deviations from the optimal tune of the machine. The second project extended the software method to provide model-based multivariate feedback control for the same linear electron accelerator. The projects successfully demonstrated proof-of-concept for the applications and focused attention on the common application of intelligent information processing techniques

Case Study Application of the Biodiversity Security Index to Ranking Feasibility Studies for Ecosystem Restoration Projects of the U.S. Army Corps of Engineers

Science.gov (United States)

2016-04-01

ER D C/ EL C R- 16 -1 Ecosystem Management and Restoration Research Program Case Study Application of the Biodiversity Security Index... Biodiversity Security Index to Ranking Feasibility Studies for Ecosystem Restoration Projects of the U.S. Army Corps of Engineers Richard A. Cole... Biodiversity Security Index (BSI) was applied to 23 project sites ranked for restoration feasibility study annual funding by the U. S. Army Corps of

A Lightweight RFID Grouping-Proof Protocol Based on Parallel Mode and DHCP Mechanism

Directory of Open Access Journals (Sweden)

Zhicai Shi

2017-07-01

Full Text Available A Radio Frequency Identification (RFID grouping-proof protocol is to generate an evidence of the simultaneous existence of a group of tags and it has been applied to many different fields. For current grouping-proof protocols, there still exist some flaws such as low grouping-proof efficiency, being vulnerable to trace attack and information leakage. To improve the secure performance and efficiency, we propose a lightweight RFID grouping-proof protocol based on parallel mode and DHCP (Dynamic Host Configuration Protocol mechanism. Our protocol involves multiple readers and multiple tag groups. During the grouping-proof period, one reader and one tag group are chosen by the verifier by means of DHCP mechanism. When only a part of the tags of the chosen group exist, the protocol can also give the evidence of their co-existence. Our protocol utilizes parallel communication mode between reader and tags so as to ensure its grouping-proof efficiency. It only uses Hash function to complete the mutual authentication among verifier, readers and tags. It can preserve the privacy of the RFID system and resist the attacks such as eavesdropping, replay, trace and impersonation. Therefore the protocol is secure, flexible and efficient. It only uses some lightweight operations such as Hash function and a pseudorandom number generator. Therefore it is very suitable to some low-cost RFID systems.

Projected costs of generating electricity

International Nuclear Information System (INIS)

2005-01-01

Previous editions of Projected Costs of Generating Electricity have served as the reference in this field for energy policy makers, electricity system analysts and energy economists. The study is particularly timely in the light of current discussions of energy policy in many countries. The joint IEA/NEA study provides generation cost estimates for over a hundred power plants that use a variety of fuels and technologies. These include coal-fired, gas-fired, nuclear, hydro, solar and wind plants. Cost estimates are also given for combined heat and power plants that use coal, gas and combustible renewables. Data and information for this study were provided by experts from 19 OECD member countries and 3 non-member countries. The power plants examined in the study use technologies available today and considered by participating countries as candidates for commissioning by 2010-2015 or earlier. Investors and other decision makers will also need to take the full range of other factors into account (such as security of supply, risks and carbon emissions) when selecting an electricity generation technology. The study shows that the competitiveness of alternative generation sources and technologies ultimately depends on many parameters: there is no clear-cut ''winner''. Major issues related to generation costs addressed in the report include: descriptions of state-of-the-art generation technologies; the methodologies for incorporating risk in cost assessments; the impact of carbon emission trading; and how to integrate wind power into the electricity grid. An appendix to the report provides country statements on generation technologies and costs. Previous studies in the series were published in 1983, 1986, 1990, 1993 and 1998. (author)

17th Symposium of NEDO projects. Introducing/spreading project subcommittee; Donyu fukyu jigyo bunkakai. Dai 17kai jigyo hokokukai

Energy Technology Data Exchange (ETDEWEB)

NONE

1997-09-01

The results of the following themes are presented in this subcommittee; (1) outline of the new energy introduction promotion department, (2) the project results, and (3) introduction of the examples. For the theme (1), NEDO is supporting the projects for introducing and promoting new energy systems, feasibility studies for introduction of these systems, and field test (FT) projects to accumulate the experiences, e.g., collecting the data by operating these systems under actual loads, development and technology demonstration projects for introduction of new energy systems, and advisory projects for supporting introduction of new energy systems. For the theme (2), those results reported include the results and examples of the FT projects for power generation by photovoltaic cells and wind power generation, results of the FT project for power generation by fuel cells and creation of the FT projects for pioneer high-efficiency energy systems, current status of the environment-friendly energy community projects (heat supply systems), results and examples of the environment- friendly energy community projects (power generation projects), demonstration tests for establishing the distributed power supply systems of the next generation, tests for establishing techniques for, e.g., load-leveling in power generation by photovoltaic cells for residential purposes, results of the project for technology of utilizing unutilized energy, survey on the techniques for power generation by wastes, and advisory projects for supporting introduction of new energy. (NEDO)

Estimating Highway Volumes Using Vehicle Probe Data - Proof of Concept: Preprint

Energy Technology Data Exchange (ETDEWEB)

Hou, Yi [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Young, Stanley E [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Sadabadi, Kaveh [University of Maryland; SekuBa, PrzemysBaw [University of Maryland; Markow, Denise [I95 Corridor Coalition

2018-03-13

This paper examines the feasibility of using sampled commercial probe data in combination with validated continuous counter data to accurately estimate vehicle volume across the entire roadway network, for any hour during the year. Currently either real time or archived volume data for roadways at specific times are extremely sparse. Most volume data are average annual daily traffic (AADT) measures derived from the Highway Performance Monitoring System (HPMS). Although methods to factor the AADT to hourly averages for typical day of week exist, actual volume data is limited to a sparse collection of locations in which volumes are continuously recorded. This paper explores the use of commercial probe data to generate accurate volume measures that span the highway network providing ubiquitous coverage in space, and specific point-in-time measures for a specific date and time. The paper examines the need for the data, fundamental accuracy limitations based on a basic statistical model that take into account the sampling nature of probe data, and early results from a proof of concept exercise revealing the potential of probe type data calibrated with public continuous count data to meet end user expectations in terms of accuracy of volume estimates.

Feasibility of AmbulanCe-Based Telemedicine (FACT study: safety, feasibility and reliability of third generation in-ambulance telemedicine.

Directory of Open Access Journals (Sweden)

Laetitia Yperzeele

Full Text Available Telemedicine is currently mainly applied as an in-hospital service, but this technology also holds potential to improve emergency care in the prehospital arena. We report on the safety, feasibility and reliability of in-ambulance teleconsultation using a telemedicine system of the third generation.A routine ambulance was equipped with a system for real-time bidirectional audio-video communication, automated transmission of vital parameters, glycemia and electronic patient identification. All patients ( ≥ 18 years transported during emergency missions by a Prehospital Intervention Team of the Universitair Ziekenhuis Brussel were eligible for inclusion. To guarantee mobility and to facilitate 24/7 availability, the teleconsultants used lightweight laptop computers to access a dedicated telemedicine platform, which also provided functionalities for neurological assessment, electronic reporting and prehospital notification of the in-hospital team. Key registrations included any safety issue, mobile connectivity, communication of patient information, audiovisual quality, user-friendliness and accuracy of the prehospital diagnosis.Prehospital teleconsultation was obtained in 41 out of 43 cases (95.3%. The success rates for communication of blood pressure, heart rate, blood oxygen saturation, glycemia, and electronic patient identification were 78.7%, 84.8%, 80.6%, 64.0%, and 84.2%. A preliminary prehospital diagnosis was formulated in 90.2%, with satisfactory agreement with final in-hospital diagnoses. Communication of a prehospital report to the in-hospital team was successful in 94.7% and prenotification of the in-hospital team via SMS in 90.2%. Failures resulted mainly from limited mobile connectivity and to a lesser extent from software, hardware or human error. The user acceptance was high.Ambulance-based telemedicine of the third generation is safe, feasible and reliable but further research and development, especially with regard to high

Construction of hydroelectric project generation: Focuses of the option value

International Nuclear Information System (INIS)

Villegas P, Clara Ines

2002-01-01

Work present work aims at the development of an analysis, that using the option value approach allows finding the optimal moment (from the environmental point of view), for the construction of an electrical project generation in a zone with determined environmental characteristics. The construction of the project, constitutes an irreversible decision and with uncertainty associated. The evolution of the environmental damage of the zone can be attracting through the variable C of environmental damage. The analysis developed here allows the characterization of a rule (or a barrier of environmental damage called C, which determines when, is optimal to construct the generation project or to conserve the ecosystems of the zone of location. Over this barrier, the construction of the project becomes optimal and below her the conservation of the ecosystems of the zone is privileged

Business analysis of generation considering environmental opportunities; Analise de negocios de geracao considerando oportunidades ambientais

Energy Technology Data Exchange (ETDEWEB)

Cyrillo, Ivo Ordonha [Universidade de Sao Paulo (ENERQ/USP), SP (Brazil). Centro de Estudos em Regulacao e Qualidade de Energia; Pelegrini, Marcelo A.; Gemignani, Matheus M.F.

2008-07-01

The project 'Business's Power Generation Evaluation Considering Environmental Opportunities' is about developing a methodology to analyze feasibility of new power generation factory from the point of view of the investor, examining the technical, economic-financial, risk, regulatory, social and environmental aspects. The opportunities arising from Kyoto Protocol were added in feasibility's analysis. (author)

Fluorescence In Situ Hybridization (FISH Signal Analysis Using Automated Generated Projection Images

Directory of Open Access Journals (Sweden)

Xingwei Wang

2012-01-01

Full Text Available Fluorescence in situ hybridization (FISH tests provide promising molecular imaging biomarkers to more accurately and reliably detect and diagnose cancers and genetic disorders. Since current manual FISH signal analysis is low-efficient and inconsistent, which limits its clinical utility, developing automated FISH image scanning systems and computer-aided detection (CAD schemes has been attracting research interests. To acquire high-resolution FISH images in a multi-spectral scanning mode, a huge amount of image data with the stack of the multiple three-dimensional (3-D image slices is generated from a single specimen. Automated preprocessing these scanned images to eliminate the non-useful and redundant data is important to make the automated FISH tests acceptable in clinical applications. In this study, a dual-detector fluorescence image scanning system was applied to scan four specimen slides with FISH-probed chromosome X. A CAD scheme was developed to detect analyzable interphase cells and map the multiple imaging slices recorded FISH-probed signals into the 2-D projection images. CAD scheme was then applied to each projection image to detect analyzable interphase cells using an adaptive multiple-threshold algorithm, identify FISH-probed signals using a top-hat transform, and compute the ratios between the normal and abnormal cells. To assess CAD performance, the FISH-probed signals were also independently visually detected by an observer. The Kappa coefficients for agreement between CAD and observer ranged from 0.69 to 1.0 in detecting/counting FISH signal spots in four testing samples. The study demonstrated the feasibility of automated FISH signal analysis that applying a CAD scheme to the automated generated 2-D projection images.

Reviews on current carbon emission reduction technologies and projects and their feasibilities on ships

Science.gov (United States)

Wang, Haibin; Zhou, Peilin; Wang, Zhongcheng

2017-06-01

Concern about global climate change is growing, and many projects and researchers are committed to reducing greenhouse gases from all possible sources. International Maritime (IMO) has set a target of 20% CO2 reduction from shipping by 2020 and also presented a series of carbon emission reduction methods, which are known as Energy Efficiency Design Index (EEDI) and Energy Efficiency Operation Indicator (EEOI). Reviews on carbon emission reduction from all industries indicate that, Carbon Capture and Storage (CCS) is an excellent solution to global warming. In this paper, a comprehensive literature review of EEDI and EEOI and CCS is conducted and involves reviewing current policies, introducing common technologies, and considering their feasibilities for marine activities, mainly shipping. Current projects are also presented in this paper, thereby illustrating that carbon emission reduction has been the subject of attention from all over the world. Two case ship studies indicate the economic feasibility of carbon emission reduction and provide a guide for CCS system application and practical installation on ships.

Response to 'Burden of proof: A comprehensive review of the feasibility of 100% renewable-electricity systems'

DEFF Research Database (Denmark)

Brown, Timothy William Charles; Bischof-Niemz, Tobias; Blok, Kornelis

2017-01-01

feasibility. A more thorough review reveals that all of the issues have already been addressed in the engineering and modelling literature. Nuclear power, as advocated by some of the authors, faces other, genuine feasibility problems, such as the finiteness of uranium resources and a reliance on unproven...

Feasibility study on Bobovdol thermal power plant upgrading project

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

A survey has been made in relation with the improvement project intended of energy conservation, and reduction of global warming gas emission at the Bobovdol thermal power plant located in the suburb of Sofia, the capital of the Republic of Bulgaria. The existing Bobovdol power plant having a total capacity of 630 MW with three generators is a coal burning thermal power plant having been used already for 23 to 27 years, hence over-aged. The survey has discussed an improvement project of scrap-and-build type to make the plant a high-efficiency gas combined cycle power plant using gas turbines. The project calls for building 210-MW gas combined power generation facilities having 70-MW gas turbines, one each in three stages in 2007, 2012 and 2017. As a result of the discussions, the fuel consumption reducing rate was found to reach 37.99%, whereas the cumulative energy saving quantity in 41 years will reach 16.37 million tons of fuel oil equivalent. In addition, the reduction rate of global warming gas emission is 57.75%, and the cumulative reduction quantity in 41 years is 105.18 million tons. (NEDO)

A PROOF Analysis Framework

International Nuclear Information System (INIS)

González Caballero, I; Cuesta Noriega, A; Rodríguez Marrero, A; Fernández del Castillo, E

2012-01-01

The analysis of the complex LHC data usually follows a standard path that aims at minimizing not only the amount of data but also the number of observables used. After a number of steps of slimming and skimming the data, the remaining few terabytes of ROOT files hold a selection of the events and a flat structure for the variables needed that can be more easily inspected and traversed in the final stages of the analysis. PROOF arises at this point as an efficient mechanism to distribute the analysis load by taking advantage of all the cores in modern CPUs through PROOF Lite, or by using PROOF Cluster or PROOF on Demand tools to build dynamic PROOF cluster on computing facilities with spare CPUs. However using PROOF at the level required for a serious analysis introduces some difficulties that may scare new adopters. We have developed the PROOF Analysis Framework (PAF) to facilitate the development of new analysis by uniformly exposing the PROOF related configurations across technologies and by taking care of the routine tasks as much as possible. We describe the details of the PAF implementation as well as how we succeeded in engaging a group of CMS physicists to use PAF as their daily analysis framework.

Feasibility of sealed D-T neutron generator as neutron source for liver BNCT and its beam shaping assembly.

Science.gov (United States)

Liu, Zheng; Li, Gang; Liu, Linmao

2014-04-01

This paper involves the feasibility of boron neutron capture therapy (BNCT) for liver tumor with four sealed neutron generators as neutron source. Two generators are placed on each side of the liver. The high energy of these emitted neutrons should be reduced by designing a beam shaping assembly (BSA) to make them useable for BNCT. However, the neutron flux decreases as neutrons pass through different materials of BSA. Therefore, it is essential to find ways to increase the neutron flux. In this paper, the feasibility of using low enrichment uranium as a neutron multiplier is investigated to increase the number of neutrons emitted from D-T neutron generators. The neutron spectrum related to our system has a proper epithermal flux, and the fast and thermal neutron fluxes comply with the IAEA recommended values. Copyright © 2014 Elsevier Ltd. All rights reserved.

Slurry steam generator program and baseline eddy current examination

International Nuclear Information System (INIS)

Clark, R.A.; Doctor, P.G.

1985-01-01

The Steam Generator Group Project was initiated in January 1982 with formation of consortium including NRC, EPRI, Japanese, French, and Italian participants. The project utilizes a retired-from-service nuclear steam generator established in a specially designed facility which houses the unit in its normal vertical operating position. The most important objectives deal with validation of nondestructive examination (NDE) techniques used to characterize steam generators during service. This research generator offers the first opportunity to characterize a statistically significant number of service-induced defects nondestructively followed by destructive metallographic confirmation. The project seeks to establish the reliability of defect detection and the accuracy of sizing defects via current state-of-the-art NDE. Other service degraded tubes will be burst tested to establish remaining service integrity. The integrity information and NDE reliability results will serve as inputs to establish a model for steam generator in-service inspections, and provide a data base for evaluation of tube plugging criteria. In addition to NDE validation goals, the project will use the service degraded generator as a specimen for demonstration/proof testing of repair and maintenance techniques, including chemical cleaning/decontamination technologies. In addition to the efforts associated with NDE, a multitude of other project tasks have continued through 1984, and results are presented

Surry steam generator program and baseline eddy current examination

International Nuclear Information System (INIS)

Clark, R.A.; Doctor, P.G.

1985-01-01

The Steam Generator Group Project was initiated in January 1982 with formation of consortium including NRC, EPRI, Japanese, French, and Italian participants. The project utilizes a retired-from-service nuclear steam generator established in a specially designed facility which houses the unit in its normal vertical operating position. The most important objectives deal with validation of nondestructive examination (NDE) techniques used to characterize steam generators during service. This research generator offers the first opportunity to characterize a statistically significant number of service-induced defects nondestructively followed by destructive metallographic confirmation. The project seeks to establish the reliability of defect detection and the accuracy of sizing defects via current state-of-the-art NDE. Other service degraded tubes will be burst tested to establish remaining service integrity. The integrity information and NDE reliability results will serve as inputs to establish a model for steam generator in-service inspections, and provide a data base for evaluation of tube plugging criteria. In addition to NDE validation goals, the project will use the service degraded generator as a specimen for demonstration/proof testing of repair and maintenance techniques, including chemical cleaning/decontamination technologies. In addition to the efforts associated with NDE, a multitude of other project tasks have continued through 1984, and results are presented

Yet another proof of Hawking and Ellis's Lemma 8.5.5

International Nuclear Information System (INIS)

Krasnikov, S

2014-01-01

The fact that the null generators of a future Cauchy horizon are past-complete was first proved by Hawking and Ellis (1973 The Large Scale Structure of Spacetime (Cambridge: Cambridge University Press)). Then, Budzyński, Kondracki and Królak outlined a proof free from the error found in the original one (2000 New properties of Cauchy and event horizons arXiv:gr-qc/0011033). Now, Minguzzi has published his version of the proof (2014 J. Math. Phys. 55 082503), patching a previously unnoticed hole in the preceding two. I am not aware of any flaws in that last proof, but it is quite difficult. In this note, I present a simpler one. (note)

Volumetric MR-Guided High-Intensity Focused Ultrasound with Direct Skin Cooling for the Treatment of Symptomatic Uterine Fibroids : Proof-of-Concept Study

NARCIS (Netherlands)

Ikink, Marlijne E; van Breugel, Johanna M M; Schubert, Gerald; Nijenhuis, Robbert J; Bartels, LW; Moonen, Chrit T W; van den Bosch, Maurice A A J

2015-01-01

Objective. To prospectively assess the safety and technical feasibility of volumetric magnetic resonance-guided high-intensity focused ultrasound (MR-HIFU) ablation with direct skin cooling (DISC) during treatment of uterine fibroids. Methods. In this proof-of-concept study, eight patients were

Magnetic Gimbal Proof-of-Concept Hardware performance results

Science.gov (United States)

Stuart, Keith O.

1993-01-01

The Magnetic Gimbal Proof-of-Concept Hardware activities, accomplishments, and test results are discussed. The Magnetic Gimbal Fabrication and Test (MGFT) program addressed the feasibility of using a magnetic gimbal to isolate an Electro-Optical (EO) sensor from the severe angular vibrations induced during the firing of divert and attitude control system (ACS) thrusters during space flight. The MGFT effort was performed in parallel with the fabrication and testing of a mechanically gimballed, flex pivot based isolation system by the Hughes Aircraft Missile Systems Group. Both servo systems supported identical EO sensor assembly mockups to facilitate direct comparison of performance. The results obtained from the MGFT effort indicate that the magnetic gimbal exhibits the ability to provide significant performance advantages over alternative mechanically gimballed techniques.

AUDIT OF INNOVATIVE IDEAS AS THE PREVIOUS STAGE OF THE BUSINESS-PLAN OF START-UP PROJECTS

Directory of Open Access Journals (Sweden)

O. Zhylinska

2014-09-01

Full Text Available The phenomenon of feasibility reasoning of venture capital investment for the implementation of innovative ideas is revealed. The main elements of the methodology for feasibility of start-up projects, based on the concept of combination of life cycle of the market, product innovation and startup companies, are characterized. The comparative analysis of methods feasibility study and business plan start-up project is made, the importance of innovative ideas audit in future economic information generation and investment decisions of informal venture capital investors are shown.

Independent Study Workbooks for Proofs in Group Theory

Science.gov (United States)

Alcock, Lara; Brown, Gavin; Dunning, Clare

2015-01-01

This paper describes a small-scale research project based on workbooks designed to support independent study of proofs in a first course on abstract algebra. We discuss the lecturers' aims in designing the workbooks, and set these against a background of research on students' learning of group theory and on epistemological beliefs and study habits…

Craft-Joule Project: Stagnation proof transparently insulated flat plate solar collector (static)

Energy Technology Data Exchange (ETDEWEB)

Oliva, A; Cadafalch, J; Perez-Segarra, C.D. [Universitat Politecnica de Catalunya, Barcelona (Spain)] (and others)

2000-07-01

The STATIC (STAgnation proof Transparently Insulated flat plate Solar Collector) project is a Craft-Joule Project within the framework of the Non Nuclear Energy Programme Joule III coordinated by the Centre Technologic de Transferencia de Calor (CTTC). The core group of SMEs involved in the project has its main economical activity in the field of solar thermal systems at low temperature level (domestic hot water, solar heating, etc.). Beyond this, a large application potential exists for solar heating at medium temperature level (from 80 to 160 Celsius degrees) : industrial process heat, solar cooling and air conditioning, solar drying , distillation and desalination. Three of the four SME proposers are located in Southern Europe and in the Caribean, where a continuos increase of the demand for air conditioning and cooling has been demonstrated in the last years. The recent development of flat plate solar collectors with honeycomb-type transparent insulation cover has shown that this type of collectors can become a low cost alternative to evacuated tube and high concentrating CPC collectors in the medium temperature range from 80 to 160 Celsius degrees. With the expected reduction of collector cost, that forms 30%-50% of total system cost, a decisive break-through of solar thermal systems using heat in the medium temperature range can be achieved. The feasibility and good performance of these solar collectors has been proved in several prototypes. Nevertheless, up to now no commercial products are available. In order to reach this, the following developments of new concepts are necessary and are being carried out within this project: solution of the problem of overheating: development of collector versions for different working temperatures: optimization of the design with the support of high level numerical simulation. Several prototypes of the new solar collectors are being tested. System tests will also be carried or for two test arrays of optimized collector

Optimization of Feasibility Stage for Hydrogen/Deuterium Exchange Mass Spectrometry

Science.gov (United States)

Hamuro, Yoshitomo; Coales, Stephen J.

2018-03-01

The practice of HDX-MS remains somewhat difficult, not only for newcomers but also for veterans, despite its increasing popularity. While a typical HDX-MS project starts with a feasibility stage where the experimental conditions are optimized and the peptide map is generated prior to the HDX study stage, the literature usually reports only the HDX study stage. In this protocol, we describe a few considerations for the initial feasibility stage, more specifically, how to optimize quench conditions, how to tackle the carryover issue, and how to apply the pepsin specificity rule. Two sets of quench conditions are described depending on the presence of disulfide bonds to facilitate the quench condition optimization process. Four protocols are outlined to minimize carryover during the feasibility stage: (1) addition of a detergent to the quench buffer, (2) injection of a detergent or chaotrope to the protease column after each sample injection, (3) back-flushing of the trap column and the analytical column with a new plumbing configuration, and (4) use of PEEK (or PEEK coated) frits instead of stainless steel frits for the columns. The application of the pepsin specificity rule after peptide map generation and not before peptide map generation is suggested. The rule can be used not only to remove falsely identified peptides, but also to check the sample purity. A well-optimized HDX-MS feasibility stage makes subsequent HDX study stage smoother and the resulting HDX data more reliable. [Figure not available: see fulltext.

46 CFR 201.144 - Offer of proof.

Science.gov (United States)

2010-10-01

... 46 Shipping 8 2010-10-01 2010-10-01 false Offer of proof. 201.144 Section 201.144 Shipping... PROCEDURE Evidence (Rule 14) § 201.144 Offer of proof. An offer of proof made in connection with an... accompany the record as the offer of proof. ...

Wind Generation Feasibility Study for Sac & Fox Tribe of the Mississippi in Iowa (Meskwaki Nation)

Energy Technology Data Exchange (ETDEWEB)

Lasley, Larry C. [Sac & Fox Tribe of the Mississippi in Iowa

2013-03-19

1.2 Overview The Meskwaki Nation will obtain an anemometer tower. Install the tower at the site that has been pre-qualified as the site most likely to produce maximum electric power from the wind. It will collect meteorological data from the tower's sensors for a one year period, as required for due diligence to identify the site as appropriate for the installation of a wind turbine to provide electric power for the community. Have the collected data analyzed by a meteorologist and a professionally certified wind engineer to produce the reports of expected power generation at the site, for the specific wind turbine(s) under consideration for installation. 1.2.1 Goals of the Tribe The feasibility study reports, including technical and business analyses will be used to obtain contracts and financing required to develop and implement a wind turbine project on the Meskwaki Settlement. Our goal is to produce two (2) mega watts of power and to reduce the cost for electricity currently being paid by the Meskwaki Casino. 1.2.2 Project Objectives Meet the energy needs of the community with clean energy. Bring renewable energy to the settlement in a responsible, affordable manner. Maximize both the economic and the spiritual benefits to the tribe from energy independence. Integrate the Tribe's energy policies with its economic development goals. Contribute to achieving the Tribe's long-term goals of self-determination and sovereignty. 1.2.3 Project Location The precise location proposed for the tower is at the following coordinates: 92 Degrees, 38 Minutes, 46.008 Seconds West Longitude 41 Degrees, 59 Minutes, 45.311 Seconds North Latitude. A circle of radius 50.64 meters, enclosing and area of 1.98 acres in PLSS Township T83N, Range R15W, in Iowa. In relative directions, the site is 1,650 feet due west of the intersection of Highway 30 and 305th Street in Tama, Iowa, as approached from the direction of Toledo, Iowa. It is bounded on the north by Highway 30 and

Aggregated Dispatch of Distributed Generation Units: Final Report

Energy Technology Data Exchange (ETDEWEB)

2004-09-01

This final report describes a project to demonstrate the technical and economic feasibility of aggregating distributed generating resources in New York State. This project demonstrates a system that allows distributed generation (DG) to participate in competitive markets in much the same way as large central-station power plants. This approach involves aggregating the distributed demand-side resources into a single transaction entity consistent with the requirements of the New York Independent System Operator (NYISO). This single entity then buys or sells capacity and energy (i.e., curtailment) in NYISO markets.

Advances in proof theory

CERN Document Server

Strahm, Thomas; Studer, Thomas

2016-01-01

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch ...

Department of Energy Small-Scale Hydropower Program: Feasibility assessment and technology development summary report

International Nuclear Information System (INIS)

Rinehart, B.N.

1991-06-01

This report summarizes two subprograms under the US Department of Energy's Small-Scale Hydroelectric Power Program. These subprograms were part of the financial assistance activities and included the Program Research and Development Announcement (PRDA) feasibility assessments and the technology development projects. The other major subprograms included engineering research and development, legal and institutional aspects, and technology transfer. These other subprograms are covered in their respective summary reports. The problems of energy availability and increasing costs of energy led to a national effort to develop economical and environmental attractive alternative energy resources. One such alternative involved the utilization of existing dams with hydraulic heads of <65 ft and the capacity to generate hydroelectric power of 15 MW or less. Thus, the PRDA program was initiated along with the Technology Development program. The purpose of the PRDA feasibility studies was to encourage development of renewable hydroelectric resources by providing engineering, economic, environmental, safety, and institutional information. Fifty-five feasibility studies were completed under the PRDA. This report briefly summarizes each of those projects. Many of the PRDA projects went on to become technology development projects. 56 refs., 1 fig., 2 tabs

Department of Energy Small-Scale Hydropower Program: Feasibility assessment and technology development summary report

Energy Technology Data Exchange (ETDEWEB)

Rinehart, B.N.

1991-06-01

This report summarizes two subprograms under the US Department of Energy's Small-Scale Hydroelectric Power Program. These subprograms were part of the financial assistance activities and included the Program Research and Development Announcement (PRDA) feasibility assessments and the technology development projects. The other major subprograms included engineering research and development, legal and institutional aspects, and technology transfer. These other subprograms are covered in their respective summary reports. The problems of energy availability and increasing costs of energy led to a national effort to develop economical and environmental attractive alternative energy resources. One such alternative involved the utilization of existing dams with hydraulic heads of <65 ft and the capacity to generate hydroelectric power of 15 MW or less. Thus, the PRDA program was initiated along with the Technology Development program. The purpose of the PRDA feasibility studies was to encourage development of renewable hydroelectric resources by providing engineering, economic, environmental, safety, and institutional information. Fifty-five feasibility studies were completed under the PRDA. This report briefly summarizes each of those projects. Many of the PRDA projects went on to become technology development projects. 56 refs., 1 fig., 2 tabs.

Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem

Directory of Open Access Journals (Sweden)

Alex Biryukov

2017-04-01

Full Text Available Proof-of-work is a central concept in modern cryptocurrencies and denial-ofservice protection tools, but the requirement for fast verification so far has made it an easy prey for GPU-, ASIC-, and botnet-equipped users. The attempts to rely on memory-intensive computations in order to remedy the disparity between architectures have resulted in slow or broken schemes. In this paper we solve this open problem and show how to construct an asymmetric proof-of-work (PoW based on a computationally-hard problem, which requires a great deal of memory to generate a proof (called a ”memory-hardness” feature but is instant to verify. Our primary proposal, Equihash, is a PoW based on the generalized birthday problem and enhanced Wagner’s algorithm for it. We introduce the new technique of algorithm binding to prevent cost amortization and demonstrate that possible parallel implementations are constrained by memory bandwidth. Our scheme has tunable and steep time-space tradeoffs, which impose large computational penalties if less memory is used. Our solution is practical and ready to deploy: a reference implementation of a proof-of-work requiring 700 MB of RAM runs in 15 seconds on a 2.1 GHz CPU, increases the computations by a factor of 1000 if memory is halved, and presents a proof of just 120 bytes long.

The S-curve for forecasting waste generation in construction projects.

Science.gov (United States)

Lu, Weisheng; Peng, Yi; Chen, Xi; Skitmore, Martin; Zhang, Xiaoling

2016-10-01

Forecasting construction waste generation is the yardstick of any effort by policy-makers, researchers, practitioners and the like to manage construction and demolition (C&D) waste. This paper develops and tests an S-curve model to indicate accumulative waste generation as a project progresses. Using 37,148 disposal records generated from 138 building projects in Hong Kong in four consecutive years from January 2011 to June 2015, a wide range of potential S-curve models are examined, and as a result, the formula that best fits the historical data set is found. The S-curve model is then further linked to project characteristics using artificial neural networks (ANNs) so that it can be used to forecast waste generation in future construction projects. It was found that, among the S-curve models, cumulative logistic distribution is the best formula to fit the historical data. Meanwhile, contract sum, location, public-private nature, and duration can be used to forecast construction waste generation. The study provides contractors with not only an S-curve model to forecast overall waste generation before a project commences, but also with a detailed baseline to benchmark and manage waste during the course of construction. The major contribution of this paper is to the body of knowledge in the field of construction waste generation forecasting. By examining it with an S-curve model, the study elevates construction waste management to a level equivalent to project cost management where the model has already been readily accepted as a standard tool. Copyright © 2016 Elsevier Ltd. All rights reserved.

Performance Evaluation of a Printed Circuit Steam Generator for Integral Reactors: A Feasibility Test

Energy Technology Data Exchange (ETDEWEB)

Han, Hun Sik; Kang, Han-Ok; Yoon, Juhyeon; Kim, Young In; Kim, Keung Koo [KAERI, Daejeon (Korea, Republic of); Seo, Jang-won; Choi, Brain [Alfa Laval Korea Ltd., Daejeon (Korea, Republic of)

2015-05-15

SMART (System-integrated Modular Advanced ReacTor) is a small-sized integral type pressurized water reactor. It adopts advanced design features such as structural safety improvement, system simplification, and component modularization to achieve highly enhanced safety and improved economics. The design issues related to further safety enhancement and cost reduction have received significant attention to increase its competitiveness in the global small reactor market. For the cost reduction, it is important to design the reactor vessel as small as possible. Thus, it is necessary to reduce the volume of main components such as a steam generator. Its manufacturing processes of the chemical etching and diffusion bonding provide high effectiveness, high compactness, and inherent structural safety under high temperatures and high pressures. Thus, it is expected to be an alternative to the conventional shell and tube type steam generator in SMART. In this paper, simple thermal-hydraulic performance measurement of a small-scale printed circuit steam generator (PCSG) is conducted to investigate the feasibility of applying it to SMART. The simple thermal-hydraulic performance of the PCSG has been experimentally evaluated. A small-scale PCHE is employed to investigate the feasibility of operating it as a steam generator. The performance assessment reveals that the PCSG stably produces superheated steam, and the increased degree of superheat is obtained at lower water flow rate. However, the flow instability is increased with the decrease of the water flow rate. Thus, it is required to apply the orifice design into the cold side plate to suppress the density-wave oscillations. The pressure drops and heat transfer rates increase with the water flow rate.

Proof Nets for Lambek Calculus

NARCIS (Netherlands)

Roorda, Dirk

1992-01-01

The proof nets of linear logic are adapted to the non-commutative Lambek calculus. A different criterion for soundness of proof nets is given, which gives rise to new algorithms for proof search. The order sensitiveness of the Lambek calculus is reflected by the planarity condition on proof nets;

45 CFR 81.85 - Offer of proof.

Science.gov (United States)

2010-10-01

... 45 Public Welfare 1 2010-10-01 2010-10-01 false Offer of proof. 81.85 Section 81.85 Public Welfare... 80 OF THIS TITLE Hearing Procedures § 81.85 Offer of proof. An offer of proof made in connection with... identification and shall accompany the record as the offer of proof. ...

PROOF as a service on the cloud: a virtual analysis facility based on the CernVM ecosystem

International Nuclear Information System (INIS)

Berzano, D; Blomer, J; Buncic, P; Charalampidis, I; Ganis, G; Lestaris, G; Meusel, R

2014-01-01

PROOF, the Parallel ROOT Facility, is a ROOT-based framework which enables interactive parallelism for event-based tasks on a cluster of computing nodes. Although PROOF can be used simply from within a ROOT session with no additional requirements, deploying and configuring a PROOF cluster used to be not as straightforward. Recently great efforts have been spent to make the provisioning of generic PROOF analysis facilities with zero configuration, with the added advantages of positively affecting both stability and scalability, making the deployment operations feasible even for the end user. Since a growing amount of large-scale computing resources are nowadays made available by Cloud providers in a virtualized form, we have developed the Virtual PROOF-based Analysis Facility: a cluster appliance combining the solid CernVM ecosystem and PoD (PROOF on Demand), ready to be deployed on the Cloud and leveraging some peculiar Cloud features such as elasticity. We will show how this approach is effective both for sysadmins, who will have little or no configuration to do to run it on their Clouds, and for the end users, who are ultimately in full control of their PROOF cluster and can even easily restart it by themselves in the unfortunate event of a major failure. We will also show how elasticity leads to a more optimal and uniform usage of Cloud resources.

Increasing the Feasibility of Superconducting Generators for 10 MW Direct-Drive Wind Turbines

NARCIS (Netherlands)

Liu, D.

2017-01-01

In recent years, superconducting synchronous generators (SCSGs) have been proposed as an alternative to permanent magnet synchronous generators (PMSGs). They are expected to reduce the top head mass and the nacelle size for such large wind turbines. In 2012, the INNWIND.EU project initiated this

Pre-feasibility study of 80mw onshore wind farm

International Nuclear Information System (INIS)

Almas, M.S.

2014-01-01

This paper discusses a pre-feasibility study of 80MW onshore wind farm in the KPK (Khyber Pakhtunkhwa) province previously known as NWFP (North West Frontier) Province of Pakistan. The realistic data of wind speed is collected from Laboratory of Meteorology and Climatology (University of the Punjab) to study the feasibility of wind farm. Detailed analysis of wind turbines from four different manufacturers is carried out together with justifications of selecting a particular wind turbine. Issues related to site selection, wind farm civil foundation, recommendations for a particular choice of tower along with environmental effects are presented. Wind data analysis is carried out by using WINDROSE PRO software to determine the resultant direction of wind at the selected site for wind farm layout. The wind distribution at hub height of the wind turbine is calculated and is used to compute annual power production by the wind farm using power curves of the wind turbine. Electrical network integration issues of wind farm to the external grid are studied and the optimum point of connection is proposed. Finally, economic analysis of the whole wind farm project depending upon the LCC (Life Cycle Cost Analysis) is presented and the feasibility of the project from the investor's point of view is identified. The study concludes that the cost per kilowatt hour of electricity generated by this wind power plant will be 10.4 PKR/kWh and the payback period for the whole project is about 11.2 years. (author)

Feasibility and potential effects of the proposed Amargosa Creek Recharge Project, Palmdale, California

Science.gov (United States)

Christensen, Allen H.; Siade, Adam J.; Martin, Peter; Langenheim, V.E.; Catchings, Rufus D.; Burgess, Matthew K.

2015-09-17

Historically, the city of Palmdale and vicinity have relied on groundwater as the primary source of water, owing, in large part, to the scarcity of surface water in the region. Despite recent importing of surface water, groundwater withdrawal for municipal, industrial, and agricultural use has resulted in groundwater-level declines near the city of Palmdale in excess of 200 feet since the early 1900s. To meet the growing water demand in the area, the city of Palmdale has proposed the Amargosa Creek Recharge Project (ACRP), which has a footprint of about 150 acres along the Amargosa Creek 2 miles west of Palmdale, California. The objective of this study was to evaluate the long-term feasibility of recharging the Antelope Valley aquifer system by using infiltration of imported surface water from the California State Water Project in percolation basins at the ACRP.

Proofs, Upside Down

DEFF Research Database (Denmark)

Puech, Matthias

2013-01-01

this correspondence by applying a series of off-the-shelf program transformations à la Danvy et al. on a type checker for the bidirectional λ-calculus, and get a type checker for the λ¯ -calculus, the proof term assignment of LJT. This functional correspondence revisits the relationship between natural deduction......It is well known in proof theory that sequent-calculus proofs differ from natural deduction proofs by “reversing” elimination rules upside down into left introduction rules. It is also well known that to each recursive, functional program corresponds an equivalent iterative, accumulator......-passing program, where the accumulator stores the continuation of the iteration, in “reversed” order. Here, we compose these remarks and show that a restriction of the intuitionistic sequent calculus, LJT, is exactly an accumulator-passing version of intuitionistic natural deduction NJ. More precisely, we obtain...

Proof of Concept of ITS as An Alternative Data Resource: A Demonstration Project of Florida and New York Data

Energy Technology Data Exchange (ETDEWEB)

Hu, P.S.

2001-12-05

The use of ITS-generated data as a data resource is a multifaceted challenge. The most effective way of confronting this challenge is to focus early efforts on localized areas with well-defined parameters. With the idea of starting with a well-defined problem, this research demonstrates the feasibility of using ITS-generated data to meet traffic information needs. Specifically, this study focused on two crucial traffic parameters: (1) total traffic volume, and (2) total VMT--basically, the information collected from the Traffic Monitoring Program. Traffic data collected from Florida and New York ITS deployments were used to test the communications and estimation procedures.

Economic Analysis of Cikaso Mini Hydro Power Plant as a CDM Project for Increasing IRR

Directory of Open Access Journals (Sweden)

Irhan Febijanto

2013-12-01

Full Text Available Renewable energy fueled power generations are few developed by private sector in Indonesia. High-cost investment and low electricity selling price to PT PLN as a single buyer is main barriers for private sector to involve in the development of renewable energy fueled power generations. In this project, the economic feasibility of Mini Hydro Power Plant of Cikaso with capacity of 5.3 MW, located at Sukabumi Regency, West Java province was assessed. This project utilized revenue generated from carbon market to increase the economic feasibility. Procedure to register the project to United Nation for Climate Change Convention (UNFCCC as a Clean Development Mechanism project was explained in detail. Approved Consolidation Methodology (ACM 0002 Version 12.3.0 was used to calculate grid emission factor in Jawa-Bali-Madura the grid electricity system. It was calculated that the grid emission factor is 0.833 (t-CO2/MWh, and the carbon emission reduction generated for this project is 21,982 ton/year. From the analysis result, it can be proven that the additional revenue from carbon credit could increase the project IRR from 10.28% to 13.52%.

Projected costs of electricity generation

International Nuclear Information System (INIS)

Cameron, R.

2010-01-01

This paper describes the outcomes of a study on the projected costs of generating electricity. It presents the latest data available on electricity generating costs for a wide variety of fuels and technologies, including coal, gas, nuclear, hydro, onshore and offshore wind, biomass, solar, wave and tidal. The study reaches 2 key conclusions. First, at a 5% real interest rate, nuclear energy is the most competitive solution for base-load electricity generation followed by coal-fired plants without carbon capture and natural gas-fired combined plants. It should be noted that coal with carbon capture has not reached a commercial phase. Second, at a 10% interest rate, nuclear remains the most competitive in Asia and North America but in Europe, coal without carbon capture equipment, followed by coal with carbon capture equipment, and gas-fired combined cycle turbines are overall more competitive than nuclear energy. The results highlight the paramount importance of interest rates (this dependence is a direct consequence of the nuclear energy's high capital costs) and of the carbon price. For instance if we assume a 10% interest rate and a cost of 50 dollar per tonne of CO 2 , nuclear energy would become competitive against both coal and gas. (A.C.)

Proof patterns

CERN Document Server

Joshi, Mark

2015-01-01

This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics, and Euclidean geometry, enabling a broad familiarity. The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician’s toolkit.

A Generic Software Safety Document Generator

Science.gov (United States)

Denney, Ewen; Venkatesan, Ram Prasad

2004-01-01

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Modelling and analysis of piezoelectric cantilever energy harvester for different proof mass and material proportion

Science.gov (United States)

Shashank, R.; Harisha, S. K., Dr; Abhishek, M. C.

2018-02-01

Energy harvesting using ambient energy sources is one of the fast growing trends in the world, research and development in the area of energy harvesting is moving progressively to get maximum power output from the existing resources. The ambient sources of energy available in the nature are solar energy, wind energy, thermal energy, vibrational energy etc. out of these methods energy harvesting by vibrational energy sources gain more importance due to its nature of not getting influenced by any environmental parameters and its free availability at anytime and anywhere. The project mainly deals with validating the values of voltage and electrical power output of experimentally conducted energy harvester, varying the parameters of the energy harvester and analyse the effect of the parameters on the performance of the energy harvester and compare the results. The cantilever beam was designed, analysed and simulated using COMSOL multi-physics software. The energy harvester gives an electrical output voltage of the 2.75 volts at a natural frequency of 37.2 Hz and an electrical power of 29μW. Decreasing the percentage of the piezoelectric material and simultaneously increasing the percentage of polymer material (so that total percentage of proportion remains same) increases the electrical voltage and decreases the natural frequency of the beam linearly upto 3.9V and 28.847 Hz till the percentage proportion of the beam was 24% piezoelectric beam and 76% polymer beam when the percentage proportion increased to 26% and 74% natural frequency goes on decreases further but voltage suddenly drops to 2.8V. The voltage generated by energy harvester increases proportionally and reaches 3.7V until weight of the proof mass reaches 4 grams and further increase in the weight of the proof mass decreases the voltage generated by energy harvester. Thus the investigation conveys that the weight of the proof mass and the length of the cantilever beam should be optimised to obtain maximum

Technical and economic feasibility of distributed generation of electricity; Viabilidade tecnica e economica de geracao distribuida de energia eletrica

Energy Technology Data Exchange (ETDEWEB)

Rabelo, Frederico Augusto Ornelas; Espirito Santo, Marcos Vinicius do; Leite, Leonardo Henrique de Melo; Silva, Arlete Vieira da [Centro Universitario de Belo Horizonte (UnBH), MG (Brazil)], e-mails: fred.aor@hotmail.com, marcos_ves@yahoo.com.br, leonardo.leite@prof.unibh.br, arlete.silva@prof.unibh.br

2011-07-01

This article focuses on the technical and economic feasibility of the design and implementation of energy micro nets distributed generation (GD). For this, a study was conducted in a rural area to assess the potential of generating electricity from renewable sources, and this has assisted the Brazilian network of conventional energy. We studied the renewable energy village, considered the conventional system of generation, transmission, distribution of electricity in this region and the technical and economic feasibility of implementing distributed generation and its interconnection to the basic network or not. The methodological procedures were used bibliographic and documentary research, interviews with standardized forms, and Case Study. This study was conducted in Minas Gerais assessing the current conditions of the electrification of the area surveyed and deployment of the types of electricity sources - biomass (biogas and burning eucalyptus), wind, solar photovoltaic. The calculations were made from it with companies and budgets. It is conceived, then, models of generating electricity through renewable sources constitutes a GD. Finally, they estimated the costs of implementation of the models studied in the community where they were cost estimates for electric power production through private investment, considering some possible scenarios to be created, namely: generation for own consumption, generation the sale of surplus and possible expansions. In this way demonstrated the high value of the investments required for the use of renewable sources in electricity generation small, given the current scenario. (author)

An economic analysis of the electricity generation potential from biogas resources in the state of Indiana

Science.gov (United States)

Giraldo, Juan S.

Anaerobic digestion is a process that is a common part of organic waste management systems and is used in concentrated animal feeding operations (CAFOs), wastewater treatment plants (WWTPs), and municipal solid waste (MSW) landfills. The process produces biogas, which contains methane, and it can be burned to generate electricity. Previous reports have indicated that based on the availability of feedstocks there is a large potential for biogas production and use for electricity generation in the state of Indiana. However, these reports varied in their consideration of important factors that affect the technical and economic feasibility of being able to develop the resources available. The goal of this thesis is to make a more targeted assessment of the electricity generation potential from biogas resources at CAFOs, WWTPs, and MSW landfills in Indiana. A capital budgeting model is used to estimate the net present value (NPV) of biogas electricity projects at facilities that are identified as technically suitable. A statewide estimate of the potential generation capacity is made by estimating the number of facilities that could profitably undertake a biogas electricity project. In addition this thesis explored the impact that different incentive policies would have on the economic viability of these projects. The results indicated that the electricity generation potential is much smaller when technical and economic factors are taken into account in addition to feedstock availability. In particular it was found that projects at hog farms are unlikely to be economically feasible in the present even when financial incentives are considered. In total, 47.94 MW of potential generating capacity is estimated from biogas production at CAFOs, WWTPs, and MSW landfills. Though results indicated that 37.10 MW of capacity are economically feasible under current operating conditions, sensitivity analysis reveals that these projects are very sensitive to capital cost assumptions

PROOF on a Batch System

International Nuclear Information System (INIS)

Behrenhoff, W; Ehrenfeld, W; Samson, J; Stadie, H

2011-01-01

The 'parallel ROOT facility' (PROOF) from the ROOT framework provides a mechanism to distribute the load of interactive and non-interactive ROOT sessions on a set of worker nodes optimising the overall execution time. While PROOF is designed to work on a dedicated PROOF cluster, the benefits of PROOF can also be used on top of another batch scheduling system with the help of temporary per user PROOF clusters. We will present a lightweight tool which starts a temporary PROOF cluster on a SGE based batch cluster or, via a plugin mechanism, e.g. on a set of bare desktops via ssh. Further, we will present the result of benchmarks which compare the data throughput for different data storage back ends available at the German National Analysis Facility (NAF) at DESY.

Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Metcalfe, G.

2007-01-01

Roč. 46, č. 5-6 (2007), s. 347-363 ISSN 1432-0665 R&D Projects: GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10300504 Keywords : fuzzy logic * normal form * proof theory * hypersequents Subject RIV: BA - General Mathematics Impact factor: 0.620, year: 2007

What is Proof of Concept Research and how does it Generate Epistemic and Ethical Categories for Future Scientific Practice?

Science.gov (United States)

Kendig, Catherine Elizabeth

2016-06-01

"Proof of concept" is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I provide a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as "extended agency ethics". This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups.

Lakatos and Hersh on Mathematical Proof

Directory of Open Access Journals (Sweden)

Hossein Bayat

2015-12-01

Full Text Available The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant similarities and differences with each other. It seems that a comparison and critical review of these two theories will lead to a better understanding of the concept of mathematical proof and will be a big step towards solving many related problems. Lakatos and Hersh argue that, firstly, “mathematical proof” has two different meanings, formal and informal; and, secondly, informal proofs are affected by human factors, such as individual decisions and collective agreements. I call these two thesis, respectively, “proof dualism” and “humanism”. But on the other hand, their theories have significant dissimilarities and are by no means equivalent. Lakatos is committed to linear proof dualism and methodological humanism, while Hersh’s theory involves some sort of parallel proof dualism and sociological humanism. According to linear proof dualism, the two main types of proofs are provided in order to achieve a common goal: incarnation of mathematical concepts and methods and truth. However, according to the parallel proof dualism, two main types of proofs are provided in order to achieve two different types of purposes: production of a valid sequence of signs (the goal of the formal proof and persuasion of the audience (the goal of the informal proof. Hersh’s humanism is informative and indicates pluralism; whereas, Lakatos’ version of humanism is normative and monistic.

Quantitative indicators of the impacts generated in lineal development projects

International Nuclear Information System (INIS)

Ospina N, Jesus Efren; Lema T, Alvaro de J.

2002-01-01

This work outlines a methodological proposal for the elaboration of quantitative indicators of the impact caused by electrical power transmission projects, using the perspective of the model of environmental administration by dimensions (physical, biotic, cultural, economic, and political). The model achieved an integral and interdisciplinary analysis, managing to determine what the degree of impact that a project generates on a dimension and its relationships to the others, moreover the indicators identified are useful tools that should help support planning, project formulation, decisions making, and environmental studies, such as: environmental management plans and greater efficiency in the estimation of administrative costs, as well as in the techniques of generating location alternatives, and also may lead to better administration of economic and human resources, among others

Ascent performance feasibility for next-generation spacecraft

Science.gov (United States)

Mancuso, Salvatore Massimo

This thesis deals with the optimization of the ascent trajectories for single-stage suborbital (SSSO), single-stage-to-orbit (SSTO), and two-stage-to-orbit (TSTO) rocket-powered spacecraft. The maximum payload weight problem has been solved using the sequential gradient-restoration algorithm. For the TSTO case, some modifications to the original version of the algorithm have been necessary in order to deal with discontinuities due to staging and the fact that the functional being minimized depends on interface conditions. The optimization problem is studied for different values of the initial thrust-to-weight ratio in the range 1.3 to 1.6, engine specific impulse in the range 400 to 500 sec, and spacecraft structural factor in the range 0.08 to 0.12. For the TSTO configuration, two subproblems are studied: uniform structural factor between stages and nonuniform structural factor between stages. Due to the regular behavior of the results obtained, engineering approximations have been developed which connect the maximum payload weight to the engine specific impulse and spacecraft structural factor; in turn, this leads to useful design considerations. Also, performance sensitivity to the scale of the aerodynamic drag is studied, and it is shown that its effect on payload weight is relatively small, even for drag changes approaching ± 50%. The main conclusions are that: the design of a SSSO configuration appears to be feasible; the design of a SSTO configuration might be comfortably feasible, marginally feasible, or unfeasible, depending on the parameter values assumed; the design of a TSTO configuration is not only feasible, but its payload appears to be considerably larger than that of a SSTO configuration. Improvements in engine specific impulse and spacecraft structural factor are desirable and crucial for SSTO feasibility; indeed, it appears that aerodynamic improvements do not yield significant improvements in payload weight.

Feasibility study of VLH hydro turbine installation at Nam Pung hydropower plant, Thailand

Directory of Open Access Journals (Sweden)

Weerapon Nuantong

2016-10-01

Full Text Available The aim of this research was to study the feasibility of installing a Very Low Head (VLH hydro turbine at downstream of the Nam Pung hydropower plant by increasing the potential of renewable energy sources for the Electricity Generating Authority of Thailand (EGAT. Due to the constraints of the local site, the water head level was limited to less than 2 meters and the flow rate to below 5 m3/ s. The hydro turbine selected was an axial flow turbine with performance of 86.4%. The outcome of the power output was 84.61 kW. Investment analysis was subsequently applied to estimate feasibility of the project using engineering economics. The analyses of results have shown that the project is worthwhile in terms of an investment decision. The payback period of actual price was 0.83 and 0.88 years and general price case of 3.68 and 4.04 years, along with an interest rate of 6.75% and 12.625% respectively. Projected project lifespan is 25 years.

Complex proofs of real theorems

CERN Document Server

Lax, Peter D

2011-01-01

Complex Proofs of Real Theorems is an extended meditation on Hadamard's famous dictum, "The shortest and best way between two truths of the real domain often passes through the imaginary one." Directed at an audience acquainted with analysis at the first year graduate level, it aims at illustrating how complex variables can be used to provide quick and efficient proofs of a wide variety of important results in such areas of analysis as approximation theory, operator theory, harmonic analysis, and complex dynamics. Topics discussed include weighted approximation on the line, Müntz's theorem, Toeplitz operators, Beurling's theorem on the invariant spaces of the shift operator, prediction theory, the Riesz convexity theorem, the Paley-Wiener theorem, the Titchmarsh convolution theorem, the Gleason-Kahane-Żelazko theorem, and the Fatou-Julia-Baker theorem. The discussion begins with the world's shortest proof of the fundamental theorem of algebra and concludes with Newman's almost effortless proof of the prime ...

38 CFR 18b.64 - Offer of proof.

Science.gov (United States)

2010-07-01

... 38 Pensions, Bonuses, and Veterans' Relief 2 2010-07-01 2010-07-01 false Offer of proof. 18b.64... Procedures § 18b.64 Offer of proof. An offer of proof made in connection with an objection taken to any... record as the offer of proof. ...

Feasibility study report for Operable Unit 4: Fernald Environmental Management Project, Fernald, Ohio: Remedial investigation and feasibility study: Volume 3: Final report

International Nuclear Information System (INIS)

1994-02-01

This report documents the Feasibility Study (FS) phase of the Fernald Environmental Management Project (FEMP) Operable Unit 4 Remedial Investigation/Feasibility Study (RI/FS) Program. The FEMP, formerly known as the Feed Materials Production Center (FMPC), is a US Department of Energy (DOE) facility that operated from 1952 to 1989. The facility's primarily function was to provide high purity uranium metal products to support United States defense programs. Production operations were suspended in 1989 to focus on environmental restoration and waste management activities at the facility. The RI/FS is being conducted pursuant to the terms of a Consent Agreement between DOE and the US Environmental Protection Agency (EPA) under Sections 120 and 106(a) of the Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA), as amended. The Ohio Environmental Protection Agency (OEPA) is also participating in the RI/FS process at the FEMP through direct involvement in program review meetings and technical review of project documentation. The objective of the RI/FS process is to gather information to support an informed risk management decision regarding which remedy appears to be the most appropriate action for addressing the environmental concerns identified at the FEMP. This volume contains appendices F--J

A Feasibility Study of Power Generation from Sewage Using a Hollowed Pico-Hydraulic Turbine

OpenAIRE

Tomomi Uchiyama; Satoshi Honda; Tomoko Okayama; Tomohiro Degawa

2016-01-01

This study is concerned with the feasibility of power generation using a pico-hydraulic turbine from sewage flowing in pipes. First, the sewage flow rate at two connection points to the Toyogawa River-Basin Sewerage, Japan, was explored for over a year to elucidate the hydraulic energy potential of the sewage. Second, the performance of the pico-hydraulic turbine was investigated via laboratory experiments that supposed the turbine to be installed in the sewage pipe at the connection points. ...

The direct liquefaction proof of concept program

Energy Technology Data Exchange (ETDEWEB)

Comolli, A.G.; Lee, L.K.; Pradhan, V.R.; Stalzer, R.H. [New York & Puritan Avenues, Lawrenceville, NJ (United States)

1995-12-31

The goal of the Proof of Concept (POC) Program is to develop Direct Coal Liquefaction and associated transitional technologies towards commercial readiness for economically producing premium liquid fuels from coal in an environmentally acceptable manner. The program focuses on developing the two-stage liquefaction (TSL) process by utilizing geographically strategic feedstocks, commercially feasible catalysts, new prototype equipment, and testing co-processing or alternate feedstocks and improved process configurations. Other high priority objectives include dispersed catalyst studies, demonstrating low rank coal liquefaction without solids deposition, improving distillate yields on a unit reactor volume basis, demonstrating ebullated bed operations while obtaining scale-up data, demonstrating optimum catalyst consumption using new concepts (e.g. regeneration, cascading), producing premium products through on-line hydrotreating, demonstrating improved hydrogen utilization for low rank coals using novel heteroatom removal methods, defining and demonstrating two-stage product properties for upgrading; demonstrating efficient and economic solid separation methods, examining the merits of integrated coal cleaning, demonstrating co-processing, studying interactions between the preheater and first and second-stage reactors, improving process operability by testing and incorporating advanced equipment and instrumentation, and demonstrating operation with alternate coal feedstocks. During the past two years major PDU Proof of Concept runs were completed. POC-1 with Illinois No. 6 coal and POC-2 with Black Thunder sub-bituminous coal. Results from these operations are continuing under review and the products are being further refined and upgraded. This paper will update the results from these operations and discuss future plans for the POC program.

Renewable Energy Feasibility Study Leading to Development of the Native Spirit Solar Energy Facility

Energy Technology Data Exchange (ETDEWEB)

Carolyn Stewart; Tracey LeBeau

2008-01-31

DOE-funded renewable energy feasibility study conducted by Red Mountain Tribal Energy on behalf of the Southwest Tribal Energy Consortium (SWTEC). During the course of the study, SWTEC members considered multiple options for the organization structure, selected a proposed organization structure, and drafted a Memorandum of Understanding for the SWTEC organization. High-level resource assessments for SWTEC members were completed; surveys were developed and completed to determine each member’s interest in multiple participation options, including on-reservation projects. With the survey inputs in mind, multiple energy project options were identified and evaluated on a high-level basis. That process led to a narrowing of the field of technology options to solar generation, specifically, utility-scale Concentrating Solar-Powered Generation projects, with a specific, tentative project location identified at the Fort Mojave Indian Reservation -- the Native Spirit Solar Energy Facility.

Pre-Feasibility Study of 80MW Onshore Wind Farm

Directory of Open Access Journals (Sweden)

Muhammad Shoaib Almas

2014-10-01

Full Text Available This paper discusses a pre-feasibility study of 80MW onshore wind farm in the KPK (Khyber Pakhtunkhwa province previously known as NWFP (North West Frontier Province of Pakistan. The realistic data of wind speed is collected from Laboratory of Meteorology & Climatology (University of the Punjab to study the feasibility of wind farm. Detailed analysis of wind turbines from four different manufacturers is carried out together with justifications of selecting a particular wind turbine. Issues related to site selection, wind farm civil foundation, recommendations for a particular choice of tower along with environmental effects are presented. Wind data analysis is carried out by using WINDROSE PRO software to determine the resultant direction of wind at the selected site for wind farm layout. The wind distribution at hub height of the wind turbine is calculated and is used to compute annual power production by the wind farm using power curves of the wind turbine. Electrical network integration issues of wind farm to the external grid are studied and the optimum point of connection is proposed. Finally, economic analysis of the whole wind farm project depending upon the LCC (Life Cycle Cost Analysis is presented and the feasibility of the project from the investor?s point of view is identified. The study concludes that the cost per kilowatt hour of electricity generated by this wind power plant will be 10.4 PKR/kWh and the payback period for the whole project is about 11.2 years

The Economic Pre-feasibility Study of Madura Nuclear Desalination System

International Nuclear Information System (INIS)

Djoko-Birmanto, Moch; Suparman

2004-01-01

The feasibility study is needed in the planning of construction of NPPs SMART type coupled with desalination technology of MED tpe to produce clean water in Madura island. One important part of the feasibility study is the economical and financial analysis. The feasibility criteria of nuclear desalination project is analyzed by using the general parameters that is commonly used in evaluating a project, which is Financial Net Present Value (FNPV), Financial Internal Rate of Return (FIRR) and Payback Period. The calculation result shows that with the electricity selling price of 54.17 mills/KWh, for entirely project funded by the foreign loan, local loan and equity, it could be obtained FIRR 12.73 %, FNPV US$ 75.29 million and Payback Period is 8 years. By seeing from the project feasibility criteria, this nuclear desalination project can be feasible and the investment aspect shows that this project is beneficial because the capital return rate is rather high, the benefit in the end of the economic life-time is rather big and the capital payback period is fast. (author)

Nuclear power planning and feasibility studies

International Nuclear Information System (INIS)

Streeton, D.F.

1977-01-01

This lecture will review the basic steps associated with planning the introduction of nuclear power. Areas covered will include power market surveys, energy resources evaluations, potential alternative strategies, organisational factors and implementational requirements. The lecture will then consider the implications and requirements associated with establishing the feasibility of a nuclear project. Among others, aspects of power systems integration, site selection reactor type evaluation, cost and economic analysis, influence of contracting strategies, comparison with alternative power generation solutions, financial impact, etc. will be discussed and reviewed. (HK) [de

Safety and Feasibility of Using the Second-Generation Pillcam Colon Capsule to Assess Active Colonic Crohn's Disease

NARCIS (Netherlands)

D'Haens, Geert; Löwenberg, Mark; Samaan, Mark A.; Franchimont, Denis; Ponsioen, Cyriel; van den Brink, Gijs R.; Fockens, Paul; Bossuyt, Peter; Amininejad, Leila; Rajamannar, Gopalan; Lensink, Elsemieke M.; van Gossum, Andre M.

2015-01-01

The second-generation Pillcam Colon Capsule Endoscope (PCCE-2; Given Imaging Ltd, Yoqneam, Israel) is an ingestible capsule for visualization of the colon. We performed a multicenter pilot study to assess its safety and feasibility in evaluating the severity of Crohn's disease (CD). In a prospective

Environment-friendly type energy and coordinated community development project. Feasibility study for industrialization of high efficiency waste-fired power generation system using animal waste; Kankyo chowagata energy community keisei sokushin. Kokoritsu haikibutsu hatsuden (chikusan haikibutsu riyo) jigyoka FS chosa

Energy Technology Data Exchange (ETDEWEB)

NONE

1996-03-01

To introduce the power generation system fueled by animal waste (excrements), one of the so-called industrial waste, its feasibility has been studied in Koyu and surrounding area located in Miyazaki Prefecture. This report includes the technical feasibility of available quantity of animal waste, chemical analysis of the waste, and basic design of the power generation system containing the furnace model and also its economical feasibility. The available quantity of animal waste in Koyu area is about 169,000 tons a year, which can generate 10.5 MW of electric power. That including the surrounding area is about 219,000 tons a year, which can generate 15.0 MW. The heating values of animal excrements in average and as received are 970 kcal/kg for pigs and 1,230 to 2,700 kcal/kg for broilers. In the case of combustion of mixed broiler and pig excrements, both of the stoker and fluidized-bed model furnaces become refractory furnace construction and provide with heat recovery boiler due to their high moisture content. In addition, the stoker furnace model requires an excrement dryer system as pre-treatment of fuel. For the fluidized-bed furnace of 15 MW grade power plant using the mixed fuel of 50% broiler excrements and 50% pig excrements, the power generation efficiency of 23% can be expected at generator end. The generating cost is around 10 yen/kWh. 27 refs., 61 tabs.

Addressing asthma and obesity in children with community health workers: proof-of-concept intervention development

OpenAIRE

Martin, Molly A; Rothschild, Steven K.; Lynch, Elizabeth; Christoffel, Katherine Kaufer; Pag?n, Militza M.; Rodriguez, Jose Luis; Barnes, Anna; Karavolos, Kelly; Diaz, Antonieta; Hoffman, Lucretia M.; Plata, Diana; Villalpando, Sandra

2016-01-01

Background The objective of this study was to design and test the feasibility and impact of a community health worker (CHW) intervention for comorbid asthma and obesity. Methods Using a proof of concept study design, we collected pre/post outcomes from a single intervention cohort of urban low-income in a single community area. A community-based participatory research approach was employed. Forty-six children and their caregivers were recruited. Children were 5?12 years old with physician-dia...

Short proofs of strong normalization

OpenAIRE

Wojdyga, Aleksander

2008-01-01

This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The normalization proofs use translations of terms and types to systems, for which strong normalization property is known.

Next Generation Life Support Project Status

Science.gov (United States)

Barta, Daniel J.; Chullen, Cinda; Vega, Leticia; Cox, Marlon R.; Aitchison, Lindsay T.; Lange, Kevin E.; Pensinger, Stuart J.; Meyer, Caitlin E.; Flynn, Michael; Jackson, W. Andrew;

The Hodge theory of projective manifolds

CERN Document Server

de Cataldo, Mark Andrea

2007-01-01

This book is a written-up and expanded version of eight lectures on the Hodge theory of projective manifolds. It assumes very little background and aims at describing how the theory becomes progressively richer and more beautiful as one specializes from Riemannian, to Kähler, to complex projective manifolds. Though the proof of the Hodge Theorem is omitted, its consequences - topological, geometrical and algebraic - are discussed at some length. The special properties of complex projective manifolds constitute an important body of knowledge and readers are guided through it with the help of selected exercises. Despite starting with very few prerequisites, the concluding chapter works out, in the meaningful special case of surfaces, the proof of a special property of maps between complex projective manifolds, which was discovered only quite recently.

Superconducting Generators for Airborne Applications and YBCO-Coated Conductors (Preprint)

National Research Council Canada - National Science Library

Barnes, Paul N; Levin, George A; Durkin, Edward B

2008-01-01

.... Superconducting generators can address this need. Recently, several successful rotating machinery projects demonstrated the practicality and feasibility of the technology using the high temperature superconducting BSCCO wire...

Aggregation of Distributed Generation Assets in New York State: Appendix

Energy Technology Data Exchange (ETDEWEB)

2004-04-01

This report appendix describes aspects of a project to demonstrate the technical and economic feasibility of aggregating distributed generating resources in New York State. This project demonstrates a system that allows distributed generation (DG) to participate in competitive markets in much the same way as large central-station power plants. This approach involves aggregating the distributed demand-side resources into a single transaction entity consistent with the requirements of the New York Independent System Operator (NYISO). This single entity then buys or sells capacity and energy (i.e., curtailment) in NYISO markets.

Feasibility determination of low head hydroelectric power development at existing sites: Mousam River Project

Energy Technology Data Exchange (ETDEWEB)

1979-06-01

The technical and economic feasibility of low head hydroelectric power development at existing sites along the Mousam River in southeastern Maine was studied. The following areas were investigated: determination of available energy; development of restoration concepts; environmental studies; historical and archeological studies; assessment of civil construction requirements; geotechnical and geologic assessment of existing dams; assessment of turbine alternatives; assessment of generator and utility interface alternatives; economic analysis; and restoration concept evaluation and selection. The results of the hydropower evaluation showed that: of the seven sites evaluated, only four can be considered economically feasible for refurbishment at this time; the use of used and/or rebuilt equipment is more economically attractive than new equipment; the cost of equipment at each site was of the same order as the cost of the dam reconstruction; and the cost of fuel prices will be the determining feature of whether the sites should be reconstructed.

49 CFR 604.43 - Offer of proof.

Science.gov (United States)

2010-10-01

... 49 Transportation 7 2010-10-01 2010-10-01 false Offer of proof. 604.43 Section 604.43..., DEPARTMENT OF TRANSPORTATION CHARTER SERVICE Hearings. § 604.43 Offer of proof. A party whose evidence has... respond to the offer of proof, may offer the evidence on the record when filing an appeal. ...

36 CFR 1150.79 - Offer of proof.

Science.gov (United States)

2010-07-01

... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Offer of proof. 1150.79... BOARD PRACTICE AND PROCEDURES FOR COMPLIANCE HEARINGS Hearing Procedures § 1150.79 Offer of proof. An offer of proof made in connection with an objection taken to a ruling of the judge rejecting or...

ATAC Process Proof of Concept Final Report

Energy Technology Data Exchange (ETDEWEB)

Bri Rolston; Sarah Freeman

2014-03-01

Researchers at INL with funding from the Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.

Wabash River Coal Gasification Repowering Project: A DOE Assessment; FINAL

International Nuclear Information System (INIS)

National Energy Technology Laboratory

2002-01-01

The goal of the U.S. Department of Energy (DOE) Clean Coal Technology Program (CCT) is to furnish the energy marketplace with a number of advanced, more efficient, and environmentally responsible coal utilization technologies through demonstration projects. These projects seek to establish the commercial feasibility of the most promising advanced coal technologies that have developed beyond the proof-of-concept stage. This document serves as a DOE post-project assessment (PPA) of a project selected in CCT Round IV, the Wabash River Coal Gasification Repowering (WRCGR) Project, as described in a Report to Congress (U.S. Department of Energy 1992). Repowering consists of replacing an existing coal-fired boiler with one or more clean coal technologies to achieve significantly improved environmental performance. The desire to demonstrate utility repowering with a two-stage, pressurized, oxygen-blown, entrained-flow, integrated gasification combined-cycle (IGCC) system prompted Destec Energy, Inc., and PSI Energy, Inc., to form a joint venture and submit a proposal for this project. In July 1992, the Wabash River Coal Gasification Repowering Project Joint Venture (WRCGRPJV, the Participant) entered into a cooperative agreement with DOE to conduct this project. The project was sited at PSI Energy's Wabash River Generating Station, located in West Terre Haute, Indiana. The purpose of this CCT project was to demonstrate IGCC repowering using a Destec gasifier and to assess long-term reliability, availability, and maintainability of the system at a fully commercial scale. DOE provided 50 percent of the total project funding (for capital and operating costs during the demonstration period) of$438 million. Construction for the demonstration project was started in July 1993. Pre-operational tests were initiated in August 1995, and construction was completed in November 1995. Commercial operation began in November 1995, and the demonstration period was completed in December

Feasibility study on energy conservation and reduction of CO2 emissions using RDF (refused derived fuel) at a Chinese cement plant

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

The feasibility study was conducted on a project in China for energy saving and greenhouse gas emission reduction by introducing the energy-saving and alternative energy technologies in cement plants. The cement plant selected for the feasibility study is Shanghai Plant of Shanghai Allied Cement Co., Ltd. (SAC), for RDF receive and supply facility, chlorine bypass facility, exhaust heat power generation facility and RDF production facility. The study results indicate that the exhaust power generation can save energy of 4,700 tons/y as crude, or energy saving rate of 25.5%, and that replacing part of coal by RDF and exhaust power generation can reduce CO2 emissions by 25,500 and 18,500 tons/y, respectively. For the investment recovery, it is estimated that the investment can be recovered in 9 years, and the project value is 81.399 million Yuan with the initial investment and project profit in each year discounted to the present value. These results fail to satisfy the SAC's investment standards. (NEDO)

Feasibility study on energy conservation and reduction of CO2 emissions using RDF (refused derived fuel) at a Chinese cement plant

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

The feasibility study was conducted on a project in China for energy saving and greenhouse gas emission reduction by introducing the energy-saving and alternative energy technologies in cement plants. The cement plant selected for the feasibility study is Shanghai Plant of Shanghai Allied Cement Co., Ltd. (SAC), for RDF receive and supply facility, chlorine bypass facility, exhaust heat power generation facility and RDF production facility. The study results indicate that the exhaust power generation can save energy of 4,700 tons/y as crude, or energy saving rate of 25.5%, and that replacing part of coal by RDF and exhaust power generation can reduce CO2 emissions by 25,500 and 18,500 tons/y, respectively. For the investment recovery, it is estimated that the investment can be recovered in 9 years, and the project value is 81.399 million Yuan with the initial investment and project profit in each year discounted to the present value. These results fail to satisfy the SAC's investment standards. (NEDO)

43 CFR 4.840 - Offer of proof.

Science.gov (United States)

2010-10-01

... the Interior-Effectuation of Title VI of the Civil Rights Act of 1964 Hearing § 4.840 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the administrative law... 43 Public Lands: Interior 1 2010-10-01 2010-10-01 false Offer of proof. 4.840 Section 4.840 Public...

Lower Sioux Wind Feasibility & Development

Energy Technology Data Exchange (ETDEWEB)

Minkel, Darin

2012-04-01

This report describes the process and findings of a Wind Energy Feasibility Study (Study) conducted by the Lower Sioux Indian Community (Community). The Community is evaluating the development of a wind energy project located on tribal land. The project scope was to analyze the critical issues in determining advantages and disadvantages of wind development within the Community. This analysis addresses both of the Community's wind energy development objectives: the single turbine project and the Commerical-scale multiple turbine project. The main tasks of the feasibility study are: land use and contraint analysis; wind resource evaluation; utility interconnection analysis; and project structure and economics.

34 CFR 101.85 - Offer of proof.

Science.gov (United States)

2010-07-01

... 34 Education 1 2010-07-01 2010-07-01 false Offer of proof. 101.85 Section 101.85 Education... PRACTICE AND PROCEDURE FOR HEARINGS UNDER PART 100 OF THIS TITLE Hearing Procedures § 101.85 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the presiding officer...

7 CFR 15.122 - Offer of proof.

Science.gov (United States)

2010-01-01

... 7 Agriculture 1 2010-01-01 2010-01-01 false Offer of proof. 15.122 Section 15.122 Agriculture..., Decisions and Administrative Review Under the Civil Rights Act of 1964 Hearing Procedures § 15.122 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the hearing officer...

A Giant Step for Developing Countries, Lessons Learned from Feasibility Studies

Energy Technology Data Exchange (ETDEWEB)

Lee, Byoung Youp [Korea Hydro and Nuclear Power, Seoul (Korea, Republic of); Cho, Young Gon [Sanamyung Univ., Seoul (Korea, Republic of)

2014-05-15

According to the IAEA(International Atomic Energy Agency, hereinafter 'IAEA') research, the booming trend of nuclear renaissance among developing countries have initiated to investigate economic feasibility studies regarding future electricity demand and supply for the introduction of nuclear power generation in massive volume. Although the ambitious dream of public servants in the third nations who desperately want to instill nuclear power generation capacity promising generation abundance in their homeland, it is not easy to calculate economic benefits and its related costs where lots of blurred areas could not defined in plain terminology. For this reason, IAEA urges the new entrant countries should prepare carefully and design cautiously not to deter large lump sum nuclear power plant construction project. Nuclear power generation in civil area can be seen as righteous peaceful usage of nuclear energy in appropriate manner, although the advanced technology, capital intensive characteristics would hinder for the developing countries to implement proper scheduled ambitious nuclear power projects in timely course. In particular, the complicated economic feasibility studies are major tasks for poverty struck sovereigns to fulfill their ambitions. Thus further detailed design might be requested in order to relieve international concerns on possible military usage. This article is exploring to gauge multiple aspects of peaceful usage of nuclear energy and its economic benefits which allow power huger nations to achieve sustainable development and make significant advancement.

Test of the beam effect on vacuum arc occurrence in a high-gradient accelerating structure for the CLIC project

CERN Document Server

AUTHOR|(CDS)2130409; Gagliardi, Martino

A new generation of lepton colliders capable of reaching TeV energies is pres- ently under development, and to succeed in this task it is necessary to show that the technology for such a machine is available. The Compact Linear Collider (CLIC) is a possible design option among the future lepton collider projects. It consists of two normal-conducting linacs. Accelerating structures with a gradient of the order of 100 MV/m are necessary to reach the required high energies within a reasonable machine length. One of the strictest require- ments for such accelerating structures is a relatively low occurrence of vacuum arcs. CLIC prototype structures have been tested in the past, but only in absence of beam. In order to proof the feasibility of the high gradient technology for building a functional collider, it is necessary to understand the effect of the beam presence on the vacuum breakdowns. Tests of this type have never been performed previously. The main goal of this work is to provide a first measurement of t...

Updated (BP3) Technical and Economic Feasibility Study - Electrochemical Membrane for Carbon Dioxide Capture and Power Generation

Energy Technology Data Exchange (ETDEWEB)

Ghezel-Ayagh, Hossein

2016-10-12

This topical report summarizes the results of an updated Technical & Economic Feasibility Study (T&EFS) which was conducted in Budget Period 3 of the project to evaluate the performance and cost of the Electrochemical Membrane (ECM)-based CO2 capture system. The ECM technology is derived from commercially available inorganic membranes; the same used in FuelCell Energy’s commercial fuel cell power plants and sold under the trade name Direct FuelCell® (DFC®). The ECM stacks are utilized in the Combined Electric Power (generation) And Carbon dioxide Separation (CEPACS) systems which can be deployed as add-ons to conventional power plants (Pulverized Coal, Combined Cycle, etc.) or industrial facilities to simultaneously produce power while capturing >90% of the CO2 from the flue gas. In this study, an ECM-based CEPACS plant was designed to capture and compress >90% of the CO2 (for sequestration or beneficial use) from the flue gas of a reference 550 MW (nominal, net AC) Pulverized Coal (PC) Rankine Cycle (Subcritical steam) power plant. ECM performance was updated based on bench scale ECM stack test results. The system process simulations were performed to generate the CEPACS plant performance estimates. The performance assessment included estimation of the parasitic power consumption for CO2 capture and compression, and the efficiency impact on the PC plant. While the ECM-based CEPACS system for the 550 MW PC plant captures 90% of CO2 from the flue gas, it generates additional (net AC) power after compensating for the auxiliary power requirements of CO2 capture and compression. An equipment list, ECM stacks packaging design, and CEPACS plant layout were developed to facilitate the economic analysis. Vendor quotes were also solicited. The economic feasibility study included estimation of CEPACS plant capital cost, cost of electricity (COE) analyses and estimation of cost per ton of CO2 captured. The incremental COE for the ECM-based CO2 capture is expected to meet

Feasibility and pilot study of the Pediatric Anesthesia NeuroDevelopment Assessment (PANDA) project.

Science.gov (United States)

Sun, Lena S; Li, Guohua; DiMaggio, Charles J; Byrne, Mary W; Ing, Caleb; Miller, Tonya L K; Bellinger, David C; Han, Sena; McGowan, Francis X

2012-10-01

Animal studies have documented that exposure of the developing brain to commonly used anesthetic agents induces neurotoxicity and late abnormal neurobehavioral functions as adults. Results from clinical studies have all been analyzed using existing data sets, and these studies produced inconsistent results. To provide more definitive evidence to address the clinical relevance of anesthetic neurotoxicity in children, an interdisciplinary team of investigators designed and developed the Pediatric Anesthesia NeuroDevelopment Assessment (PANDA) project. We present pilot study results in 28 sibling pairs recruited and tested at the Columbia University Medical Center (CUMC) and Children's Hospital of Boston (CHB) for the PANDA project. The PANDA project uses an ambidirectional cohort design. We performed prospective neuropsychological assessment in 28 exposed-unexposed sibling pairs from 6 to 11 years of age. The exposed siblings were ASA 1 or 2 and had received a single episode of anesthesia for inguinal hernia repair before the age of 36 months and the unexposed siblings had no anesthesia before the age of 36 months. All the sibling pairs were English speaking and were 36 weeks of gestational age or older. Each sibling pair underwent a direct testing using the Wechsler Abbreviated Scale of Intelligence (WASI) and the NEuroPSYchological Assessment, second edition (NEPSY II), and the parents completed questionnaires related to behavior using CBCL and Conners rating. Data are presented as means±SD. We conducted descriptive analyses of the demographic data. We compared both the exposed and the unexposed sibling groups on WASI and NEPSY II, and total and T scores from CBCL and Conners rating were analyzed as continuous data using the paired t test between the two groups. A PPANDA study protocol was implemented to perform a pilot feasibility study. Our success rate was 96.7% in obtaining detailed medical and anesthesia records in our historical cohort. The scores for verbal

SG (steam generators) reliability project builds on Owners Group successes

International Nuclear Information System (INIS)

Green, S.

1988-01-01

In 1987, a five-year Steam Generator Reliability Project was established at the Electric Power Research Institute (EPRI) to deal with outstanding issues, following on from work initiated by the previous utility industry groupings (Steam Generator Owners Groups I and II). The work done by these groups is discussed and a listing of the major objectives of the new project is provided. (U.K.)

Economic feasibility of second generation ethanol with and without indirect greenhouse gas reduction benefits : a simulation for Brazil

NARCIS (Netherlands)

Lagares Tavora, F.; Bakker, R.R.; Stojanovic, M.; Elbersen, H.W.

2009-01-01

The aim of this study is to determine the economic feasibility of second generation ethanol from sugar cane, whereby traditional ethanol production is combined with the use of lignocellulosic biomass for ethanol production. By applying cost-benefit analysis, this study evaluated the viability of the

Feasibility study on consolidation of Fernald Environmental Management Project depleted uranium materials

International Nuclear Information System (INIS)

1995-01-01

In 1991, the DOE made a decision to close the FMPC located in Fernald, Ohio, and end its production mission. The site was renamed FEMP to reflect Fernald's mission change from uranium production to environmental restoration. As a result of this change, the inventory of strategic uranium materials maintained at Fernald by DOE DP will need to be relocated to other DOE sites. Although considered a liability to the Fernald Plant due to its current D and D mission, the FEMP DU represents a potentially valuable DOE resource. Recognizing its value, it may be important for the DOE to consolidate the material at one site and place it in a safe long-term storage condition until a future DOE programmatic requirement materializes. In August 1995, the DOE Office of Nuclear Weapons Management requested, Lockheed Martin Energy Systems (LMES) to assess the feasibility of consolidating the FEMP DU materials at the Oak Ridge Reservation (ORR). This feasibility study examines various phases associated with the consolidation of the FEMP DU at the ORR. If useful short-term applications for the DU fail to materialize, then long-term storage (up to 50 years) would need to be provided. Phases examined in this report include DU material value; potential uses; sampling; packaging and transportation; material control and accountability; environmental, health and safety issues; storage; project management; noneconomic factors; schedule; and cost

Stork Color Proofing Technology

Science.gov (United States)

Ekman, C. Frederick

1989-04-01

For the past few years, Stork Colorproofing B.V. has been marketing an analog color proofing system in Europe based on electrophoto-graphic technology it pioneered for the purpose of high resolution, high fidelity color imaging in the field of the Graphic Arts. Based in part on this technology, it will make available on a commercial basis a digital color proofing system in 1989. Proofs from both machines will provide an exact reference for the user and will look, feel, and behave in a reproduction sense like the printed press sheet.

Two proofs of Fine's theorem

International Nuclear Information System (INIS)

Halliwell, J.J.

2014-01-01

Fine's theorem concerns the question of determining the conditions under which a certain set of probabilities for pairs of four bivalent quantities may be taken to be the marginals of an underlying probability distribution. The eight CHSH inequalities are well-known to be necessary conditions, but Fine's theorem is the striking result that they are also sufficient conditions. Here two transparent and self-contained proofs of Fine's theorem are presented. The first is a physically motivated proof using an explicit local hidden variables model. The second is an algebraic proof which uses a representation of the probabilities in terms of correlation functions. - Highlights: • A discussion of the various approaches to proving Fine's theorem. • A new physically-motivated proof using a local hidden variables model. • A new algebraic proof. • A new form of the CHSH inequalities

Duan's fixed point theorem: Proof and generalization

Directory of Open Access Journals (Sweden)

Arkowitz Martin

2006-01-01

Full Text Available Let be an H-space of the homotopy type of a connected, finite CW-complex, any map and the th power map. Duan proved that has a fixed point if . We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a -structure as defined by Hemmi-Morisugi-Ooshima. The conclusion is that and each has a fixed point.

Economic Analysis of Cikaso Mini Hydro Power Plant as a CDM Project for Increasing IRR

OpenAIRE

Febijanto, Irhan

2013-01-01

Renewable energy fueled power generations are few developed by private sector in Indonesia. High-cost investment and low electricity selling price to PT PLN as a single buyer is main barriers for private sector to involve in the development of renewable energy fueled power generations. In this project, the economic feasibility of Mini Hydro Power Plant of Cikaso with capacity of 5.3 MW, located at Sukabumi Regency, West Java province was assessed. This project utilized revenue generated from ...

International project GT-MHR - New generation of nuclear reactors

International Nuclear Information System (INIS)

Vasyaev, A.; Kodochigov, N.; Kuzavkov, N.; Kuznetsov, L.

2001-01-01

Gas turbine-modular helium reactor (GT-MHR) is the reactor of new generation, which satisfies the requirements of the progressing large-scale nuclear power engineering. The activities in GT-MHR Project started in 1995. In 1997 the Conceptual Design was developed under four-side Agreement (MINATOM, General Atomics, FRAMATOME, Fuji Electric); it has passed through the internal and international reviews, has been approved and recommended for further development as one of new trends in creation of new generation plants. Starting from 1999, the activities in the development of the Preliminary Design of the plant were deployed under the Agreement between the Government of the United States of America and the Government of the Russian Federation on Scientific and Technical Cooperation in the Management of Plutonium That Has Been Withdrawn From Nuclear Military Programs dated July 24, 1998. The activities are established under the Contract between MINATOM and OKBM Russia, and under the General Agreement between Department of Energy (DOE), USA and OKBM. The GT-MHR Project is included into 'Development Strategy of Russian Nuclear Power in the first Half of the XXI-st Century' providing for 'the participation in an international project on the development and construction of GT-MHR nuclear power plant till year 2010 and 'operation of GT-MHR prototype unit and creation of fuel fabrication facility (within framework of International Project) till year 2030'. (author)

The statistical strength of nonlocality proofs

NARCIS (Netherlands)

Dam, van W.; Gill, R.D.; Grünwald, P.D.

2005-01-01

There exist numerous proofs of Bell's theorem, stating that quantum mechanics is incompatible with local realistic theories of nature. Here the strength of such nonlocality proofs is defined in terms of the amount of evidence against local realism provided by the corresponding experiments.

Gas core nuclear rocket feasibility project

International Nuclear Information System (INIS)

Howe, S.D.; DeVolder, B.; Thode, L.; Zerkle, D.

1997-09-01

The next giant leap for mankind will be the human exploration of Mars. Almost certainly within the next thirty years, a human crew will brave the isolation, the radiation, and the lack of gravity to walk on and explore the Red planet. However, because the mission distances and duration will be hundreds of times greater than the lunar missions, a human crew will face much greater obstacles and a higher risk than those experienced during the Apollo program. A single solution to many of these obstacles is to dramatically decrease the mission duration by developing a high performance propulsion system. The gas core nuclear rocket (GCNR) has the potential to be such a system. The gas core concept relies on the use of fluid dynamic forces to create and maintain a vortex. The vortex is composed of a fissile material which will achieve criticality and produce high power levels. By radiatively coupling to the surrounding fluids, extremely high temperatures in the propellant and, thus, high specific impulses can be generated. The ship velocities enabled by such performance may allow a 9 month round trip, manned Mars mission to be considered. Alternatively, one might consider slightly longer missions in ships that are heavily shielded against the intense Galactic Cosmic Ray flux to further reduce the radiation dose to the crew. The current status of the research program at the Los Alamos National Laboratory into the gas core nuclear rocket feasibility will be discussed

The Proof is in the Pudding The Changing Nature of Mathematical Proof

CERN Document Server

Krantz, Steven G

2011-01-01

This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to date. Most of the proofs are discussed in detail with figures and equations accompanying them, allowing both the professional mathematician and those less familiar with mathematics to derive the same joy from reading this book.

The feasibility of uranium enrichment in Brazil for use in nuclear bombs and the conceptual project of a nuclear explosive

International Nuclear Information System (INIS)

Rosa, L.P.

1990-05-01

This work reports the steps to define a brazilian system of nuclear safeguards under the congress responsibility. It discusses as well the feasibility of uranium enrichment for nuclear weapons, the construction of a nuclear submarine and the conceptual project of a nuclear explosive. (A.C.A.S.)

Feasibility of Smartphone Based Photogrammetric Point Clouds for the Generation of Accessibility Maps

Science.gov (United States)

Angelats, E.; Parés, M. E.; Kumar, P.

2018-05-01

Accessible cities with accessible services are an old claim of people with reduced mobility. But this demand is still far away of becoming a reality as lot of work is required to be done yet. First step towards accessible cities is to know about real situation of the cities and its pavement infrastructure. Detailed maps or databases on street slopes, access to sidewalks, mobility in public parks and gardens, etc. are required. In this paper, we propose to use smartphone based photogrammetric point clouds, as a starting point to create accessible maps or databases. This paper analyses the performance of these point clouds and the complexity of the image acquisition procedure required to obtain them. The paper proves, through two test cases, that smartphone technology is an economical and feasible solution to get the required information, which is quite often seek by city planners to generate accessible maps. The proposed approach paves the way to generate, in a near term, accessibility maps through the use of point clouds derived from crowdsourced smartphone imagery.

Measures and Metrics for Feasibility of Proof-of-Concept Studies With Human Immunodeficiency Virus Rapid Point-of-Care Technologies

Science.gov (United States)

Pant Pai, Nitika; Chiavegatti, Tiago; Vijh, Rohit; Karatzas, Nicolaos; Daher, Jana; Smallwood, Megan; Wong, Tom; Engel, Nora

2017-01-01

Objective Pilot (feasibility) studies form a vast majority of diagnostic studies with point-of-care technologies but often lack use of clear measures/metrics and a consistent framework for reporting and evaluation. To fill this gap, we systematically reviewed data to (a) catalog feasibility measures/metrics and (b) propose a framework. Methods For the period January 2000 to March 2014, 2 reviewers searched 4 databases (MEDLINE, EMBASE, CINAHL, Scopus), retrieved 1441 citations, and abstracted data from 81 studies. We observed 2 major categories of measures, that is, implementation centered and patient centered, and 4 subcategories of measures, that is, feasibility, acceptability, preference, and patient experience. We defined and delineated metrics and measures for a feasibility framework. We documented impact measures for a comparison. Findings We observed heterogeneity in reporting of metrics as well as misclassification and misuse of metrics within measures. Although we observed poorly defined measures and metrics for feasibility, preference, and patient experience, in contrast, acceptability measure was the best defined. For example, within feasibility, metrics such as consent, completion, new infection, linkage rates, and turnaround times were misclassified and reported. Similarly, patient experience was variously reported as test convenience, comfort, pain, and/or satisfaction. In contrast, within impact measures, all the metrics were well documented, thus serving as a good baseline comparator. With our framework, we classified, delineated, and defined quantitative measures and metrics for feasibility. Conclusions Our framework, with its defined measures/metrics, could reduce misclassification and improve the overall quality of reporting for monitoring and evaluation of rapid point-of-care technology strategies and their context-driven optimization. PMID:29333105

Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1

International Nuclear Information System (INIS)

1998-01-01

Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters

Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1

Energy Technology Data Exchange (ETDEWEB)

NONE

1998-05-21

Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.

Burdens of Proof, Presumptions and Standards of Proof in Criminal ...

African Journals Online (AJOL)

Worku_Y

evidential and persuasive burdens of proof as between the state and the ..... scholars have observed that the evidential burden is a function of the burden of ..... required to convince judges by creating such an intensity of belief in their minds.

MRI-guided robotic system for transperineal prostate interventions: proof of principle

International Nuclear Information System (INIS)

Van den Bosch, Michiel R; Moman, Maaike R; Van Vulpen, Marco; Battermann, Jan J; Lagendijk, Jan J W; Moerland, Marinus A; Duiveman, Ed; Van Schelven, Leonard J; De Leeuw, Hendrik

2010-01-01

In this study, we demonstrate the proof of principle of the University Medical Center Utrecht (UMCU) robot dedicated to magnetic resonance imaging (MRI)-guided interventions in patients. The UMCU robot consists of polymers and non-ferromagnetic materials. For transperineal prostate interventions, it can be placed between the patient's legs inside a closed bore 1.5T MR scanner. The robot can manually be translated and rotated resulting in five degrees of freedom. It contains a pneumatically driven tapping device to automatically insert a needle stepwise into the prostate using a controller unit outside the scanning room. To define the target positions and to verify the needle insertion point and the needle trajectory, a high-resolution 3D balanced steady state free precession (bSSFP) scan that provides a T2/T1-weighted contrast is acquired. During the needle insertion fast 2D bSSFP images are generated to track the needle on-line. When the target position is reached, the radiation oncologist manually places a fiducial gold marker (small seed) at this location. In total two needle trajectories are used to place all markers. Afterwards, a high-resolution 3D bSSFP scan is acquired to visualize the fiducial gold markers. Four fiducial gold markers were placed transperineally into the prostate of a patient with a clinical stage T3 prostate cancer. In the generated scans, it was possible to discriminate the patient's anatomy, the needle and the markers. All markers were delivered inside the prostate. The procedure time was 1.5 h. This study proves that MRI-guided needle placement and seed delivery in the prostate with the UMCU robot are feasible. (note)

MRI-guided robotic system for transperineal prostate interventions: proof of principle

Energy Technology Data Exchange (ETDEWEB)

Van den Bosch, Michiel R; Moman, Maaike R; Van Vulpen, Marco; Battermann, Jan J; Lagendijk, Jan J W; Moerland, Marinus A [Department of Radiotherapy, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands); Duiveman, Ed; Van Schelven, Leonard J [Medical Technology and Clinical Physics, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands); De Leeuw, Hendrik [Image Sciences Institute, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands)], E-mail: M.R.vandenBosch@umcutrecht.nl

2010-03-07

In this study, we demonstrate the proof of principle of the University Medical Center Utrecht (UMCU) robot dedicated to magnetic resonance imaging (MRI)-guided interventions in patients. The UMCU robot consists of polymers and non-ferromagnetic materials. For transperineal prostate interventions, it can be placed between the patient's legs inside a closed bore 1.5T MR scanner. The robot can manually be translated and rotated resulting in five degrees of freedom. It contains a pneumatically driven tapping device to automatically insert a needle stepwise into the prostate using a controller unit outside the scanning room. To define the target positions and to verify the needle insertion point and the needle trajectory, a high-resolution 3D balanced steady state free precession (bSSFP) scan that provides a T2/T1-weighted contrast is acquired. During the needle insertion fast 2D bSSFP images are generated to track the needle on-line. When the target position is reached, the radiation oncologist manually places a fiducial gold marker (small seed) at this location. In total two needle trajectories are used to place all markers. Afterwards, a high-resolution 3D bSSFP scan is acquired to visualize the fiducial gold markers. Four fiducial gold markers were placed transperineally into the prostate of a patient with a clinical stage T3 prostate cancer. In the generated scans, it was possible to discriminate the patient's anatomy, the needle and the markers. All markers were delivered inside the prostate. The procedure time was 1.5 h. This study proves that MRI-guided needle placement and seed delivery in the prostate with the UMCU robot are feasible. (note)

Design feasibility via ascent optimality for next-generation spacecraft

Science.gov (United States)

Miele, A.; Mancuso, S.

This paper deals with the optimization of the ascent trajectories for single-stage-sub-orbit (SSSO), single-stage-to-orbit (SSTO), and two-stage-to-orbit (TSTO) rocket-powered spacecraft. The maximum payload weight problem is studied for different values of the engine specific impulse and spacecraft structural factor. The main conclusions are that: feasibility of SSSO spacecraft is guaranteed for all the parameter combinations considered; feasibility of SSTO spacecraft depends strongly on the parameter combination chosen; not only feasibility of TSTO spacecraft is guaranteed for all the parameter combinations considered, but the TSTO payload is several times the SSTO payload. Improvements in engine specific impulse and spacecraft structural factor are desirable and crucial for SSTO feasibility; indeed, aerodynamic improvements do not yield significant improvements in payload. For SSSO, SSTO, and TSTO spacecraft, simple engineering approximations are developed connecting the maximum payload weight to the engine specific impulse and spacecraft structural factor. With reference to the specific impulse/structural factor domain, these engineering approximations lead to the construction of zero-payload lines separating the feasibility region (positive payload) from the unfeasibility region (negative payload).

FY 1999 report on the model project on the effective utilization of waste-base biomass fuels. Basic survey for the feasibility; 1999 nendo haikibutsukei biomass nenryo yuko riyo model jigyo jisshi kanosei kiso chosa hokokusho

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

Survey on the waste biomass was conducted for Thailand, Malaysia, Indonesia, Vietnam, Laos, Nepal, Butan, Myanmar and Cambodia to study feasibility of the project for the concrete utilization of biomass resources. In Thailand, it is expected to construct large-scale model plants for biomass resources such as rice hulls, bagasse, wood waste and oil palm. In Malaysia, expected are the cogeneration at 5MW class palm oil plant, large-scale power plant using wood waste, plant using the biomass from waste palm oil, etc. In Indonesia, there is a great potentiality, but it is necessary to handle it carefully in consideration of the unstable situation of the society. In Vietnam, the detailed survey of feasibility is needed on the project for efficiency heightening at state-run plants, the assumed national plants (recommended by the government), etc. In Laos, small-scale power generation using the forestry waste such as sawdust is expected. (NEDO)

Generalization of the Greenberger-Horne-Zeilinger algebraic proof of nonlocality

International Nuclear Information System (INIS)

Clifton, R.K.; Redhead, M.L.G.; Butterfield, J.N.

1991-01-01

The authors further develop a recent new proof (by Greenberger, Horne, and Zeilinger - GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, they generalize GHZ's proof so that it applied to factorable stochastic theories in which apparatus hidden variables are casually relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then they adopt a more general measure-theoretic approach which requires that GHZ's argument be modified in order to produce a valid proof. Finally, they motivate the more general proof's assumptions in a somewhat different way from previous authors in order to strengthen the implications of the proof as much as possible. After developing GHZ's proof along these lines, they then consider the analogue, for their proof, of Bohr's reply to the EPR argument, and conclude (pace GHZ) that in at least one respect (viz, that of most concern to Bohr) the proof is no more powerful than Bell's. Nevertheless, they point out some new advantages of their proof over Bell's, and over other algebraic proofs of nonlocality. And they conclude by giving a modified version of their proof that, like Bell's does not rely on experimentally unrealizable strict correlations, but still leads to a testable quasi-algebraic locality inequality

LED lighting and the Next Generation of Greenhouse for Tomatoes. Proof of Principle; LED belichting en Het Nieuwe Telen bij tomaat. Proof of Principle

Energy Technology Data Exchange (ETDEWEB)

Dueck, T.; Janse, J.; Eveleens, B. [Wageningen UR Glastuinbouw, Wageningen (Netherlands); Nieboer, S.; Valstar, W.; Grootscholten, M. [GreenQ Improvement Centre, Bleiswijk (Netherlands)

2012-08-15

In this Proof of Principle project a tomato crop was grown under artificial lighting with the aim of 30% energy saving at the same level of production. Tomatoes (cultivar Komeett) were illuminated with 110 {mu}mol m{sup -2} s{sup -1} HPS (High Pressure Sodium) above the crop and 85 {mu}mol m{sup -2} s{sup -1} LED interlighting. The LEDs hung in 2 rows, approximately 40 cm above the lower leaves and the second strand at 40 or 70 cm above that. There were two types of LEDs used: production LEDs (light efficiency 1.6 {mu}mol m{sup -2} s{sup -1}, 87% red/13% blue) and inter-lighting LEDs (light efficiency 1.9 {mu}mol m{sup -2} s{sup -1}, 95% red/5% blue), with the same light intensity. At the start, the crop was given as much light as it could handle, and because the crop developed so well, the stem density was increased relatively early. This resulted in high fruit load, while insufficient light was available to compensate for the low levels of sunlight in the winter. In the 192 cm row spacing system the plants were too close to each other. Additional problems occurred with trace elements, lesser bumble bee activity, and a moist greenhouse climate which weakened the crop in the winter. Thus Botrytis occurred on the leaves and stems. The crop struggled with its recovery until early spring with more sunlight. Compared to a reference crop with 79 kg m{sup -2} tomatoes, 75 kg m{sup -2} were produced under-production LEDs, and 80 kg m{sup -2} under the interlighting LEDs, mainly because latter LEDs were used longer during the summer. 30% of the energy for dehumidification and heat energy, and 27% of the electricity was saved, relative to the reference crop. Thus it appears possible to save 30% energy with a near identical production [Dutch] In dit Proof of Principle project is een belichte tomatenteelt geteeld met als doel 30% energiebesparing bij een gelijke productie. Tomaten van het ras Komeett werden belicht met 110 {mu}mol m{sup -2} s{sup -1} SON-T belichting boven

Substitution Frege and extended Frege proof systems in non-classical logics

Czech Academy of Sciences Publication Activity Database

Jeřábek, Emil

2009-01-01

Roč. 159, č. 2 (2009), s. 1-48 ISSN 0168-0072 R&D Projects: GA AV ČR IAA1019401 Institutional research plan: CEZ:AV0Z10190503 Keywords : propositional proof complexity * Frege system * model logic Subject RIV: BA - General Mathematics Impact factor: 0.667, year: 2009

Proof assistants: History, ideas and future

Indian Academy of Sciences (India)

application is and will be in computer supported modelling and verification of sys- tems. But there is still ... Introduction ... compute with them, but their main focus is on doing proofs. ..... Proof development in a type theory based proof assistant.

The on-board tailpipe emissions measurement system (TOTEMS) : proof\\0x2010 of\\0x2010concept.

Science.gov (United States)

2009-06-03

An on-board tailpipe emissions instrumentation system was designed, assembled and tested as proof-of-concept : for the University of Vermonts Transportation Research Center (TRC) Signature Project #2 real-world vehicle : emissions data colle...

A New Comment on Dyson's Exposition of Feynman's Proof of Maxwell Equations

International Nuclear Information System (INIS)

Pombo, Claudia

2009-01-01

A paper by Dyson, published nearly two decades ago, describing Feynman's proof of Maxwell equations, has generated many comments, analysis, discussions and generalizations of the proof. Feynman's derivation is assumed to be based on two main sets of equations. One is supposed to be the second law of Newton and the other a set of basic commutation relations from quantum physics.Here we present a new comment on this paper, focusing mainly on the initial arguments and applying a new method of analysis and interpretation of physics, named observational realism. The present discussion does not alter the technical steps of Feynman, but do clarify their basis. We show that Newton's physics is not a starting point in Feynman's derivation, neither is quantum physics involved in it, but the foundations of relativity only.

Positive projections of symmetric matrices and Jordan algebras

DEFF Research Database (Denmark)

Fuglede, Bent; Jensen, Søren Tolver

2013-01-01

An elementary proof is given that the projection from the space of all symmetric p×p matrices onto a linear subspace is positive if and only if the subspace is a Jordan algebra. This solves a problem in a statistical model.......An elementary proof is given that the projection from the space of all symmetric p×p matrices onto a linear subspace is positive if and only if the subspace is a Jordan algebra. This solves a problem in a statistical model....

Wood-fired electricity generation in Eastern Ontario

Energy Technology Data Exchange (ETDEWEB)

1978-07-01

The feasibility of using large areas of currently unproductive rural land in Ontario for poplar plantations which would supply fuel for wood-fired power plants was examined. Information is included on the productive potential of such poplar plantations, the technology of wood-fired steam-electric plants, costs of wood and water supplies, location of plants, cost of power generation, and socio-economic effects. It was concluded that approximately 1.7 million acres of unused land are available which could produce 7 to 10 million tons of wood fuel per year which in turn could be converted to 1600 MW/yr over the next 10 yr. No adverse environmental effects are expected. The project would economically benefit an area of high unemployment. It is recommended that a more detailed feasibility study be undertaken to establish land availability and acquisition, cost of power generation in wood-fired plants, and the economic impact of such a project. (LCL)

The Proof by Cases Property and its Variants in Structural Consequence Relations

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2013-01-01

Roč. 101, č. 4 (2013), s. 713-747 ISSN 0039-3215 R&D Project s: GA MŠk(CZ) 1M0545 EU Project s: European Commission(XE) 247584 - MATOMUVI Institutional research plan: CEZ:AV0Z1030915 Institutional support: RVO:67985556 Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics Subject RIV: BA - General Mathematics Impact factor: 0.330, year: 2013

The Proof by Cases Property and its Variants in Structural Consequence Relations

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2013-01-01

Roč. 101, č. 4 (2013), s. 713-747 ISSN 0039-3215 R&D Projects: GA MŠk(CZ) 1M0545 EU Projects: European Commission(XE) 247584 - MATOMUVI Institutional research plan: CEZ:AV0Z1030915 Institutional support: RVO:67985556 Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics Subject RIV: BA - General Mathematics Impact factor: 0.330, year: 2013

Next Generation Campus Network Deployment Project Based on Softswitch

OpenAIRE

HU Feng; LIU Ziyan

2011-01-01

After analyzing the current networks of Guizhou University，we brought forward a scheme of next generation campus networks based on softswitch technology by choosing SoftX3000 switching system of HuaWei and provided the specific solution of accessing campus networks in this paper. It is proved that this scheme is feasible by using OPNET, which not only accomplished the integration of the PSTN and IP networks but also achieved the combining of voice services and data services.

Validation, Proof-of-Concept, and Postaudit of the Groundwater Flow and Transport Model of the Project Shoal Area

International Nuclear Information System (INIS)

Ahmed Hassan

2004-01-01

The groundwater flow and radionuclide transport model characterizing the Shoal underground nuclear test has been accepted by the State of Nevada Division of Environmental Protection. According to the Federal Facility Agreement and Consent Order (FFACO) between DOE and the State of Nevada, the next steps in the closure process for the site are then model validation (or postaudit), the proof-of-concept, and the long-term monitoring stage. This report addresses the development of the validation strategy for the Shoal model, needed for preparing the subsurface Corrective Action Decision Document-Corrective Action Plan and the development of the proof-of-concept tools needed during the five-year monitoring/validation period. The approach builds on a previous model, but is adapted and modified to the site-specific conditions and challenges of the Shoal site

Validation, Proof-of-Concept, and Postaudit of the Groundwater Flow and Transport Model of the Project Shoal Area

Energy Technology Data Exchange (ETDEWEB)

Ahmed Hassan

2004-09-01

The groundwater flow and radionuclide transport model characterizing the Shoal underground nuclear test has been accepted by the State of Nevada Division of Environmental Protection. According to the Federal Facility Agreement and Consent Order (FFACO) between DOE and the State of Nevada, the next steps in the closure process for the site are then model validation (or postaudit), the proof-of-concept, and the long-term monitoring stage. This report addresses the development of the validation strategy for the Shoal model, needed for preparing the subsurface Corrective Action Decision Document-Corrective Action Plan and the development of the proof-of-concept tools needed during the five-year monitoring/validation period. The approach builds on a previous model, but is adapted and modified to the site-specific conditions and challenges of the Shoal site.

16 CFR 614.1 - Appropriate proof of identity.

Science.gov (United States)

2010-01-01

... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Appropriate proof of identity. 614.1 Section... IDENTITY § 614.1 Appropriate proof of identity. (a) Consumer reporting agencies shall develop and implement reasonable requirements for what information consumers shall provide to constitute proof of identity for...

Optimizing the financial structure and maximizing the future value of your generation project

International Nuclear Information System (INIS)

Arulampalam, G.; Letellier, M.

2004-01-01

This paper discusses ways of optimizing the financial structure and maximizing the future value of an electric power generation project. It outlines the project structure, the sponsor objectives, project finance lending criteria, project timeline, risk mitigation, bank and institutional financing, sponsor's role, impact of financing choices on project value, and impact of penalties and derivative products

Atmospheric River Tracking Method Intercomparison Project (ARTMIP: project goals and experimental design

Directory of Open Access Journals (Sweden)

C. A. Shields

2018-06-01

Full Text Available The Atmospheric River Tracking Method Intercomparison Project (ARTMIP is an international collaborative effort to understand and quantify the uncertainties in atmospheric river (AR science based on detection algorithm alone. Currently, there are many AR identification and tracking algorithms in the literature with a wide range of techniques and conclusions. ARTMIP strives to provide the community with information on different methodologies and provide guidance on the most appropriate algorithm for a given science question or region of interest. All ARTMIP participants will implement their detection algorithms on a specified common dataset for a defined period of time. The project is divided into two phases: Tier 1 will utilize the Modern-Era Retrospective analysis for Research and Applications, version 2 (MERRA-2 reanalysis from January 1980 to June 2017 and will be used as a baseline for all subsequent comparisons. Participation in Tier 1 is required. Tier 2 will be optional and include sensitivity studies designed around specific science questions, such as reanalysis uncertainty and climate change. High-resolution reanalysis and/or model output will be used wherever possible. Proposed metrics include AR frequency, duration, intensity, and precipitation attributable to ARs. Here, we present the ARTMIP experimental design, timeline, project requirements, and a brief description of the variety of methodologies in the current literature. We also present results from our 1-month proof-of-concept trial run designed to illustrate the utility and feasibility of the ARTMIP project.

Investigation of hydride generation from arsenosugars - Is it feasible for speciation analysis?

Czech Academy of Sciences Publication Activity Database

Marschner, Karel; Musil, Stanislav; Mikšík, Ivan; Dědina, Jiří

2018-01-01

Roč. 1008, MAY (2018), s. 8-17 ISSN 0003-2670 R&D Projects: GA MŠk(CZ) LH15174 Institutional support: RVO:68081715 ; RVO:67985823 Keywords : arsenosugars * hydride generation * speciation analysis Subject RIV: CB - Analytical Chemistry, Separation; CB - Analytical Chemistry, Separation (FGU-C) OBOR OECD: Analytical chemistry; Analytical chemistry (FGU-C) Impact factor: 4.950, year: 2016

Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concepts. Final report FY-96

Energy Technology Data Exchange (ETDEWEB)

Barrie, S.L.; Carpenter, G.S.; Crockett, A.B. [and others

1997-04-01

The Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concept Project was initiated for the expedited development of new or conceptual technologies in support of groundwater fate, transport, and remediation; buried waste characterization, retrieval, and treatment; waste minimization/pollution prevention; and spent fuel handling and storage. In Fiscal Year 1996, The Idaho National Engineering and Environmental Laboratory proposed 40 development projects and the Department of Energy funded 15. The projects proved the concepts of the various technologies, and all the technologies contribute to successful environmental management.

Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concepts. Final report FY-96

International Nuclear Information System (INIS)

Barrie, S.L.; Carpenter, G.S.; Crockett, A.B.

1997-04-01

The Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concept Project was initiated for the expedited development of new or conceptual technologies in support of groundwater fate, transport, and remediation; buried waste characterization, retrieval, and treatment; waste minimization/pollution prevention; and spent fuel handling and storage. In Fiscal Year 1996, The Idaho National Engineering and Environmental Laboratory proposed 40 development projects and the Department of Energy funded 15. The projects proved the concepts of the various technologies, and all the technologies contribute to successful environmental management

Other trigonometric proofs of Pythagoras theorem

OpenAIRE

Luzia, Nuno

2015-01-01

Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.

Tritium proof-of-principle pellet injector results

International Nuclear Information System (INIS)

Fisher, P.W.; Fehling, D.T.; Gouge, M.J.; Milora, S.L.

1989-01-01

The tritium proof-of-principle (TPOP) experiment was built by Oak Ridge National Laboratory (ORNL) to demonstrate the feasibility of forming solid tritium pellets and accelerating them to high velocities for fueling future fusion reactors. TPOP used a pneumatic pipe-gun with a 4-mm-i.d. by 1-m-long barrel. Nearly 1500 pellets were fired by the gun during the course of the experiment; about a third of these were tritium or mixtures of deuterium and tritium. The system also contained a cryogenic 3 He separator that reduced the 3 He level to <0.005%. Pure tritium pellets were accelerated to 1400 m/s. Experiments evaluated the effect of cryostat temperature and fill pressure on pellet size, the production of pellets from mixtures of tritium and deuterium, and the effect of aging on pellet integrity. The tritium phase of these experiments was performed at the Tritium Systems Test Assembly (TSTA) at Los Alamos National Laboratory. About 100 kCi of tritium was processed through the apparatus without incident. 8 refs., 7 figs

RGLite, an interface between ROOT and gLite—proof on the grid

Science.gov (United States)

Malzacher, P.; Manafov, A.; Schwarz, K.

2008-07-01

Using the gLitePROOF package it is possible to perform PROOF-based distributed data analysis on the gLite Grid. The LHC experiments managed to run globally distributed Monte Carlo productions on the Grid, now the development of tools for data analysis is in the foreground. To grant access interfaces must be provided. The ROOT/PROOF framework is used as a starting point. Using abstract ROOT classes (TGrid, ...) interfaces can be implemented, via which Grid access from ROOT can be accomplished. A concrete implementation exists for the ALICE Grid environment AliEn. Within the D-Grid project an interface to the common Grid middleware of all LHC experiments, gLite, has been created. Therefore it is possible to query Grid File Catalogues from ROOT for the location of the data to be analysed. Grid jobs can be submitted into a gLite based Grid. The status of the jobs can be asked for, and their results can be obtained.

RGLite, an interface between ROOT and gLite-proof on the grid

International Nuclear Information System (INIS)

Malzacher, P; Manafov, A; Schwarz, K

2008-01-01

Using the gLitePROOF package it is possible to perform PROOF-based distributed data analysis on the gLite Grid. The LHC experiments managed to run globally distributed Monte Carlo productions on the Grid, now the development of tools for data analysis is in the foreground. To grant access interfaces must be provided. The ROOT/PROOF framework is used as a starting point. Using abstract ROOT classes (TGrid, ...) interfaces can be implemented, via which Grid access from ROOT can be accomplished. A concrete implementation exists for the ALICE Grid environment AliEn. Within the D-Grid project an interface to the common Grid middleware of all LHC experiments, gLite, has been created. Therefore it is possible to query Grid File Catalogues from ROOT for the location of the data to be analysed. Grid jobs can be submitted into a gLite based Grid. The status of the jobs can be asked for, and their results can be obtained

FY 2000 Fundamental study for promotion of jointed implementations. Feasibility study on energy saving effect and reducing CO2 emissions by use of RDF in cement plants in China; 2000 nendo Chugoku cement kojo ni okeru RDF katsuyo ni yoru shoene koka oyobi nisanka tanso haishutsu sakugen ni kansuru feasibility study chosa hokokusho

Energy Technology Data Exchange (ETDEWEB)

NONE

2001-03-01

The feasibility study was conducted on a project in China for energy saving and greenhouse gas emission reduction by introducing the energy-saving and alternative energy technologies in cement plants. The cement plant selected for the feasibility study is Shanghai Plant of Shanghai Allied Cement Co., Ltd. (SAC), for RDF receive and supply facility, chlorine bypass facility, exhaust heat power generation facility and RDF production facility. The study results indicate that the exhaust power generation can save energy of 4,700 tons/y as crude, or energy saving rate of 25.5%, and that replacing part of coal by RDF and exhaust power generation can reduce CO2 emissions by 25,500 and 18,500 tons/y, respectively. For the investment recovery, it is estimated that the investment can be recovered in 9 years, and the project value is 81.399 million Yuan with the initial investment and project profit in each year discounted to the present value. These results fail to satisfy the SAC's investment standards. (NEDO)

Steam Generator Group Project. Annual report, 1982

International Nuclear Information System (INIS)

Clark, R.A.; Lewis, M.

1984-02-01

The Steam Generator Group Project (SGGP) is an NRC program joined by additional sponsors. The SGGP utilizes a steam generator removed from service at a nuclear plant (Surry 2) as a vehicle for research on a variety of safety and reliability issues. This report is an annual summary of progress of the program for 1982. Information is presented on the Steam Generator Examination Facility (SGEF), especially designed and constructed for this research. Loading of the generator into the SGEF is then discussed. The report then presents radiological field mapping results and personnel exposure monitoring. This is followed by information on field reduction achieved by channel head decontaminations. The report then presents results of a secondary side examination through shell penetrations placed prior to transport, confirming no change in generator condition due to transport. Decontamination of the channel head is discussed followed by plans for eddy current testing and removal of the plugs placed during service. Results of a preliminary profilometry examination are then provided

Energy Storage and Distributed Energy Generation Project, Final Project Report

Energy Technology Data Exchange (ETDEWEB)

Schwank, Johannes; Mader, Jerry; Chen, Xiaoyin; Mi, Chris; Linic, Suljo; Sastry, Ann Marie; Stefanopoulou, Anna; Thompson, Levi; Varde, Keshav

2008-03-31

This report serves as a Final Report under the “Energy Storage and Distribution Energy Generation Project” carried out by the Transportation Energy Center (TEC) at the University of Michigan (UM). An interdisciplinary research team has been working on fundamental and applied research on: -distributed power generation and microgrids, -power electronics, and -advanced energy storage. The long-term objective of the project was to provide a framework for identifying fundamental research solutions to technology challenges of transmission and distribution, with special emphasis on distributed power generation, energy storage, control methodologies, and power electronics for microgrids, and to develop enabling technologies for novel energy storage and harvesting concepts that can be simulated, tested, and scaled up to provide relief for both underserved and overstressed portions of the Nation’s grid. TEC’s research is closely associated with Sections 5.0 and 6.0 of the DOE "Five-year Program Plan for FY2008 to FY2012 for Electric Transmission and Distribution Programs, August 2006.”

ReACT Methodology Proof of Concept Final Report

Energy Technology Data Exchange (ETDEWEB)

Bri Rolston; Sarah Freeman

2014-03-01

The Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.

Markerless four-dimensional-cone beam computed tomography projection-phase sorting using prior knowledge and patient motion modeling: A feasibility study

Directory of Open Access Journals (Sweden)

Lei Zhang

2017-01-01

Conclusion: The study demonstrated the feasibility of using PCA coefficients for 4D-CBCT projection-phase sorting. High sorting accuracy in both digital phantoms and patient cases was achieved. This method provides an accurate and robust tool for automatic 4D-CBCT projection sorting using 3D motion modeling without the need of external surrogate or internal markers.

Introduction to proof in abstract mathematics

CERN Document Server

Wohlgemuth, Andrew

2011-01-01

The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. The self-contained treatment features many exercises, problems, and selected answers, including worked-out solutions. Starting with sets and rules of inference, this text covers functions, relations, operation, and the integers. Additional topics include proofs in analysis, cardinality, and groups. Six appendixe

Feasibility study for mega-electron-volt electron beam tomography.

Science.gov (United States)

Hampel, U; Bärtling, Y; Hoppe, D; Kuksanov, N; Fadeev, S; Salimov, R

2012-09-01

Electron beam tomography is a promising imaging modality for the study of fast technical processes. But for many technical objects of interest x rays of several hundreds of keV energy are required to achieve sufficient material penetration. In this article we report on a feasibility study for fast electron beam computed tomography with a 1 MeV electron beam. The experimental setup comprises an electrostatic accelerator with beam optics, transmission target, and a single x-ray detector. We employed an inverse fan-beam tomography approach with radiographic projections being generated from the linearly moving x-ray source. Angular projections were obtained by rotating the object.

Generation project development opportunities in Latin America

International Nuclear Information System (INIS)

Carter, R.W.

1993-01-01

This presentation addresses the pitfalls and benefits of developing power generation projects in Latin America. The topics of the presentation include the countries where there is opportunity for development, the opportunities that exist in these countries, the influence of geographic proximity, and competition from the Far East and the European Community

Analysis of the Effect of Environmental Conditions in Conducting Amphibious Assaults Using a Ship Simulator/Vessel-Response Model Proof-of-Concept Study

Science.gov (United States)

2017-05-01

the exit interview conducted at the conclusion of the testing period. Appendix B summarizes the recommendations the craftmasters made for improving ...the “Go/No-Go” condition. Unlike USACE applications , where that scenario is known by interviewing harbor pilots, the Go/No-Go conditions are...summarizes a proof-of-concept study for demonstrating the application of these technologies to allow commanders to determine the feasibility of surface

28 CFR 79.35 - Proof of onset of leukemia at least two years after first exposure, and proof of onset of a...

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Proof of onset of leukemia at least two... Participants § 79.35 Proof of onset of leukemia at least two years after first exposure, and proof of onset of... be the date of first or initial exposure. The date of onset will be the date of diagnosis as...

Assessing the Structural, Driver and Economic Impacts of Traffic Pole Mounted Wind Power Generator and Solar Panel Hybrid System

Science.gov (United States)

2012-06-01

This project evaluates the physical and economic feasibility of using existing traffic infrastructure to mount wind power : generators. Some possible places to mount a light weight wind generator and solar panel hybrid system are: i) Traffic : signal...

Impact- and earthquake- proof roof structure

International Nuclear Information System (INIS)

Shohara, Ryoichi.

1990-01-01

Building roofs are constituted with roof slabs, an earthquake proof layer at the upper surface thereof and an impact proof layer made of iron-reinforced concrete disposed further thereover. Since the roofs constitute an earthquake proof structure loading building dampers on the upper surface of the slabs by the concrete layer, seismic inputs of earthquakes to the buildings can be moderated and the impact-proof layer is formed, to ensure the safety to external conditions such as earthquakes or falling accidents of airplane in important facilities such as reactor buildings. (T.M.)

Semantics and correctness proofs for programs with partial functions

International Nuclear Information System (INIS)

Yakhnis, A.; Yakhnis, V.

1996-01-01

This paper presents a portion of the work on specification, design, and implementation of safety-critical systems such as reactor control systems. A natural approach to this problem, once all the requirements are captured, would be to state the requirements formally and then either to prove (preferably via automated tools) that the system conforms to spec (program verification), or to try to simultaneously generate the system and a mathematical proof that the requirements are being met (program derivation). An obstacle to this is frequent presence of partially defined operations within the software and its specifications. Indeed, the usual proofs via first order logic presuppose everywhere defined operations. Recognizing this problem, David Gries, in ''The Science of Programming,'' 1981, introduced the concept of partial functions into the mainstream of program correctness and gave hints how his treatment of partial functions could be formalized. Still, however, existing theorem provers and software verifiers have difficulties in checking software with partial functions, because of absence of uniform first order treatment of partial functions within classical 2-valued logic. Several rigorous mechanisms that took partiality into account were introduced [Wirsing 1990, Breu 1991, VDM 1986, 1990, etc.]. However, they either did not discuss correctness proofs or departed from first order logic. To fill this gap, the authors provide a semantics for software correctness proofs with partial functions within classical 2-valued 1st order logic. They formalize the Gries treatment of partial functions and also cover computations of functions whose argument lists may be only partially available. An example is nuclear reactor control relying on sensors which may fail to deliver sense data. This approach is sufficiently general to cover correctness proofs in various implementation languages

Merchant interconnector projects by generators in the EU: Profitability and allocation of capacity

International Nuclear Information System (INIS)

Koten, Silvester van

2012-01-01

When building a cross-border transmission line (a so-called interconnector) as a for-profit (merchant) project, where the regulator has required that capacity allocation be done non-discriminatorily by explicit auction, the identity of the investor can affect the profitability of the interconnector project and, once operational, the resulting allocation of its capacity. Specifically, when the investor is a generator (hereafter the integrated generator) who also can use the interconnector to export its electricity to a distant location, then, once operational, the integrated generator will bid more aggressively in the allocation auctions to increase the auction revenue and thus its profits. As a result, the integrated generator is more likely to win the auction and the capacity is sold for a higher price. This lowers the allocative efficiency of the auction, but it increases the expected ex-ante profitability of the merchant interconnector project. Unaffiliated, independent generators, however, are less likely to win the auction and, in any case, pay a higher price, which dramatically lowers their revenues from exporting electricity over this interconnector. - Highlights: ► A merchant interconnector owned by an electricity generator needs special attention of regulators. ► Even when allocation of the capacity is done by auctions, the generator will make a large profit. ► The generator will also decrease the allocation of capacity to competitors by bidding aggressively.

Feasibility of Tidal and Ocean Current Energy in False Pass, Aleutian Islands, Alaska final report

Energy Technology Data Exchange (ETDEWEB)

Wright, Bruce Albert [Aleutian Pribilof Islands Association, Inc., Anchorage, AK (United States)

2014-05-07

The Aleutian Pribilof Islands Association was awarded a U.S. Department of Energy Tribal Energy Program grant (DE-EE0005624) for the Feasibility of Tidal and Ocean Current Energy in False Pass, Aleutian Islands, Alaska (Project). The goal of the Project was to perform a feasibility study to determine if a tidal energy project would be a viable means to generate electricity and heat to meet long-term fossil fuel use reduction goals, specifically to produce at least 30% of the electrical and heating needs of the tribally-owned buildings in False Pass. The Project Team included the Aleut Region organizations comprised of the Aleutian Pribilof Island Association (APIA), and Aleutian Pribilof Island Community Development Association (APICDA); the University of Alaska Anchorage, ORPC Alaska a wholly-owned subsidiary of Ocean Renewable Power Company (ORPC), City of False Pass, Benthic GeoScience, and the National Renewable Energy Laboratory (NREL). The following Project objectives were completed: collected existing bathymetric, tidal, and ocean current data to develop a basic model of current circulation at False Pass, measured current velocities at two sites for a full lunar cycle to establish the viability of the current resource, collected data on transmission infrastructure, electrical loads, and electrical generation at False Pass, performed economic analysis based on current costs of energy and amount of energy anticipated from and costs associated with the tidal energy project conceptual design and scoped environmental issues. Utilizing circulation modeling, the Project Team identified two target sites with strong potential for robust tidal energy resources in Isanotski Strait and another nearer the City of False Pass. In addition, the Project Team completed a survey of the electrical infrastructure, which identified likely sites of interconnection and clarified required transmission distances from the tidal energy resources. Based on resource and electrical data

Application Development for Optimizing Patient Placement on Aeromedical Evacuation Flights: Proof-of-Concept

Science.gov (United States)

2018-01-12

PROGRAM ELEMENT NUMBER 6. AUTHOR(S) Brittany Fouts, Jennifer Serres, Ray Hill, Frank Ciarallo 5d. PROJECT NUMBER 5e. TASK NUMBER 5f...APPENDIX A – Flowchart for Graphical Prototype ...................................................................... 9 APPENDIX B – Proof-of-Concept App...would like to thank the programming team at the Department of Operational Analysis at the Air Force Institute of Technology at Wright-Patterson Air

Impact of trade in emission reduction credits on solar projects

International Nuclear Information System (INIS)

Kulkarni, P.

1993-01-01

Since the amendment of the Clean Air Act in 1990, the possibility of trading in Emission Reduction Credits has been looked upon as a strategy for improving the economic feasibility of solar projects. This paper discusses developments towards such a market and reviews current and proposed emission trading practices. The paper analyzes how the current characteristics of the market help or hinder the trading of credits generated by solar projects, and suggests possible solutions. Emission credits from four different solar projects and their trading potentials are presented

Project outline of high quality electron beam generation at Waseda University

Energy Technology Data Exchange (ETDEWEB)

Washio, M.; Hama, Y.; Kashiwagi, S.; Kuroda, R.; Kobuki, T. [Waseda Univ., Advanced Research Institute for Science and Engineering, Shinjuku, Tokyo (Japan); Hirose, T. [Tokyo Metropolitan Univ. (Japan). Dept. of Physics

2000-03-01

High quality electron beam generation project has been started at Waseda University under the grant of Ministry of Education, named High-Tech Research Center Project. In the project, we will install a laser photo-cathode RF Gun system with 1.6 accelerating structure cells of s-band and a stabilized RF power source. This RF Gun is expected to produce single electron bunch up to 1 or 2nC with around 10ps pulse duration. (author)

Project outline of high quality electron beam generation at Waseda University

International Nuclear Information System (INIS)

Washio, M.; Hama, Y.; Kashiwagi, S.; Kuroda, R.; Kobuki, T.; Hirose, T.

2000-01-01

High quality electron beam generation project has been started at Waseda University under the grant of Ministry of Education, named High-Tech Research Center Project. In the project, we will install a laser photo-cathode RF Gun system with 1.6 accelerating structure cells of s-band and a stabilized RF power source. This RF Gun is expected to produce single electron bunch up to 1 or 2nC with around 10ps pulse duration. (author)

An illustration of the explanatory and discovery functions of proof

Directory of Open Access Journals (Sweden)

Michael de Villiers