Log in

Relevant bibliographies by topics / Verification Regime

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Verification Regime'

Author: Grafiati

Published: 4 June 2021

Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Verification Regime.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Verification Regime"

1

Robertson, Craig. "A DOCUMENTARY REGIME OF VERIFICATION." Cultural Studies 23, no. 3 (2009): 329–54. http://dx.doi.org/10.1080/09502380802016253.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ahmad, A. H., David I. Harvey, and Eric J. Pentecost. "Exchange rate regime verification: An alternative method of testing for regime changes." Economics Letters 113, no. 1 (2011): 96–98. http://dx.doi.org/10.1016/j.econlet.2011.05.050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gidaspow, Dimitri, and Marcelo S. Bacelos. "Kinetic theory based multiphase flow with experimental verification." Reviews in Chemical Engineering 34, no. 3 (2018): 299–318. http://dx.doi.org/10.1515/revce-2016-0044.

Full text

Abstract:

Abstract This review is an extension of our 2014 circulating fluidized bed (CFB) plenary lecture. A derivation of multiphase mass, momentum and energy balances is presented, with a review of elementary kinetic theory, to explain the concepts of granular temperature and pressure and the core-annular flow regime commonly observed in CFB. The kinetic theory shows that the particle concentration is given by the reciprocal of a fourth order parabola of dimensional tube radius, in agreement with experiments. Computed flow regimes and heat and mass transfer coefficients in fluidization are also discu

APA, Harvard, Vancouver, ISO, and other styles

4

Giménez-Curto, Luis A., and Miguel A. Corniero Lera. "Verification of the flow separation in the jet regime." Journal of Hydraulic Research 38, no. 2 (2000): 97–99. http://dx.doi.org/10.1080/00221680009498345.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zhokh, Alexey A., and Peter E. Strizhak. "An accurate computational method for the diffusion regime verification." Chemical Physics Letters 698 (April 2018): 176–80. http://dx.doi.org/10.1016/j.cplett.2018.03.020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wei, Fan Jun, Richard A. Mole, Sunil K. Karna, Jin-Wei Shi, Jinn-Kong Sheu, and Kung-Hsuan Lin. "Verification of complex acoustic mismatch model in sub-THz regime." Applied Physics Letters 114, no. 15 (2019): 151106. http://dx.doi.org/10.1063/1.5092358.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Schulze, Matthias. "The State of Cyber Arms Control. An International Vulnerabilities Equities Process as the Way to go Forward?" Sicherheit & Frieden 38, no. 1 (2020): 17–21. http://dx.doi.org/10.5771/0175-274x-2020-1-17.

Full text

Abstract:

Although the threat of cyber-conflict is rising at the moment, not much ground has been gained with cyber arms control regimes. The article analyses proposals for cyber arms control, modelled after traditional arms control regimes. It finds that challenges of the digital domain, issues of regime verification and the lack of political will are big inhibitors in transferring these to the cyber-domain. To overcome these inhibitors, cyber-experts proposed a new type of regime focusing on Zero-day vulnerabilities. Since nobody so far explained how a so-called International Vulnerabilities Equities

APA, Harvard, Vancouver, ISO, and other styles

8

Shahandeh, Farid, and Martin Ringbauer. "Optomechanical state reconstruction and nonclassicality verification beyond the resolved-sideband regime." Quantum 3 (February 25, 2019): 125. http://dx.doi.org/10.22331/q-2019-02-25-125.

Full text

Abstract:

Quantum optomechanics uses optical means to generate and manipulate quantum states of motion of mechanical resonators. This provides an intriguing platform for the study of fundamental physics and the development of novel quantum devices. Yet, the challenge of reconstructing and verifying the quantum state of mechanical systems has remained a major roadblock in the field. Here, we present a novel approach that allows for tomographic reconstruction of the quantum state of a mechanical system without the need for extremely high quality optical cavities. We show that, without relying on the usual

APA, Harvard, Vancouver, ISO, and other styles

9

Manley, R. G. "Verification under the Chemical Weapons Convention. A reflective review." Pure and Applied Chemistry 74, no. 12 (2002): 2235–40. http://dx.doi.org/10.1351/pac200274122235.

Full text

Abstract:

The verification regime of the Chemical Weapons Convention (CWC) has now been in operation for more than five years. Its two principal components are the declarations to be made by States Parties and the on-site inspections carried out by the Organisation for the Prohibition of Chemical Weapons (OPCW) inspectors to verify these declarations. Its implementation has proved to be a resounding success - more than 1200 on-site inspections have been carried out in ver 50 of the Convention ’s 145 States Parties and many practical lessons have been learned. To ensure the continued success of the verif

APA, Harvard, Vancouver, ISO, and other styles

10

YE, C., R. H. LIU, and D. REN. "OPTIMAL ASSET ALLOCATION WITH STOCHASTIC INTEREST RATES IN REGIME-SWITCHING MODELS." International Journal of Theoretical and Applied Finance 21, no. 05 (2018): 1850032. http://dx.doi.org/10.1142/s0219024918500322.

Full text

Abstract:

This paper focuses on optimal asset allocation with stochastic interest rates in regime-switching models. A class of stochastic optimal control problems with Markovian regime-switching is formulated for which a verification theorem is provided. The theory is applied to solve two portfolio optimization problems (a portfolio of stock and savings account and a portfolio of mixed stock, bond and savings account) while a regime-switching Vasicek model is assumed for the interest rate. Closed-form solutions are obtained for a regime-switching power utility function. Numerical results are provided to

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Verification Regime"

1

Blackburn, Douglas L. "The Chemical Weapons Convention verification regime a model for a new NPT? /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA277976.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Solodov, Alexander. "Use of open source information and commercial satellite imagery for nuclear nonproliferation regime compliance verification by a community of academics." [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-1946.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lalande, Michèle. "Contribution a l'etude des structures filiaires en regime transitoire : reponse d'une antenne yagi a une impulsion de champ electromagnetique : calcul et verification experimentale." Limoges, 1986. http://www.theses.fr/1986LIMO0028.

Full text

Abstract:

L'objet de cette etude est de calculer la reponse a une onde plane de champ electromagnetique impulsionnel (temps de montee 10 ns, largeur a mi-hauteur 200 ns) d'une antenne yagi fonctionnant a 100 mhz. Deux calculs differents sont envisages. Le premier consiste a resoudre les equations integrales du probleme dans le domaine frequentiel puis a pratiquer une inversion de fourier. Le second, temporel, resoud les equations de maxwell dans tout l'espace par une methode aux differences finies. C'est le calcul temporel qui se revele ici le plus efficace. Des essais experimentaux realises en simulate

APA, Harvard, Vancouver, ISO, and other styles

4

Fowler, Lee Everett. "A Virtual pilot algorithm for synthetic HUMS data generation." Thesis, Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/54473.

Full text

Abstract:

Regime recognition is an important tool used in creation of usage spectra and fatigue loads analysis. While a variety of regime recognition algorithms have been developed and deployed to date, verification and validation (V&V) of such algorithms is still a labor intensive process that is largely subjective. The current V&V process for regime recognition codes involves a comparison of scripted flight test data to regime recognition algorithm outputs. This is problematic because scripted flight test data is expensive to obtain, may not accurately match the maneuver script, and is often used t

APA, Harvard, Vancouver, ISO, and other styles

5

Silva, Homero Ghioti da. "Regime não-linear de trens de ondas modulados na direção transversal em um escoamento de Poiseuille plano." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12062008-145838/.

Full text

Abstract:

A presente tese se refere a três principais objetivos. Um objetivo foi desenvolver um código de simulação numérica direta para simulação de ondas de instabilidade em um escoamento de Poiseuille plano. O outro objetivo foi analisá-Io através do Método das Soluções Manufaturadas (MMS), e por fim, um terceiro objetivo foi estudar o regime não-linear da evolução de trens de ondas modulados em um escoamento de Poiseuille plano. O código resolve numericamente, com diferenças finitas de ordem de precisão alta e métodos pseudo espectrais, as equações de Navier-Stokes tri-dimensionais e incompressíveis

APA, Harvard, Vancouver, ISO, and other styles

6

MacKenzie, Raymond Wilbert. "Field verification of DRAINMOD for the Quebec region." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=69549.

Full text

Abstract:

Field water table measurements were taken at two sites in Southern Quebec in order to validate DRAINMOD, a field scale water table management model. Two growing seasons of data were collected on a loamy sand soil near Sorel, Quebec and one year of data on a clay soil to the south-west of Montreal. Several water table management schemes were investigated, ranging from conventional subsurface drainage to automated subsurface irrigation.<br>DRAINMOD was used to simulate the measured water table fluctuations and relative corn crop yields over the growing season. Verification of the model was neede

APA, Harvard, Vancouver, ISO, and other styles

7

Gupta, Prashant. "Verification and validation of a DEM-CFD model and multiscale modelling of cohesive fluidization regimes." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/10449.

Full text

Abstract:

Fluidization of solid particles using gas flow is an important process in chemical and pharmaceutical industries. The dynamics of fluidisation are intricately related to particle scale physics. Fluid-particle interactions dominate gas-solid fluidization behaviour for particles with average size and density greater than 10-4 m and 103 kg/m3, respectively, classified as Geldart B and D particles. Inter-particle forces, such as cohesion, play an increasingly important role in the fluidization dynamics of smaller particles, which are classified as Geldart A and C. In particular, interesting fluidi

APA, Harvard, Vancouver, ISO, and other styles

8

Chihaoui, Takwa. "Système d'identification de personnes basé sur la rétine." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC1145/document.

Full text

Abstract:

Notre travail s’inscrit dans le cadre de la biométrie par la rétine. La rétine est la couche sensorielle de l’œil, elle présente une texture riche et unique même chez les jumeaux. Ses propriétés ont fait de la biométrie par la rétine un axe de recherche actif. En effet, de nombreuses méthodes ont été proposées pour les différentes étapes de la méthode biométrique allant du prétraitement de l’image rétinienne à son analyse, en passant par sa caractérisation, afin d’identifier et authentifier un individu. Nous nous intéressons dans ces travaux de thèse, à l’étude, la conception, le développement

APA, Harvard, Vancouver, ISO, and other styles

9

Pearson, Graham S. "The CWC Verification Regime: Implications for the Biotechnological and Pharmaceutical Industry." 1998. http://hdl.handle.net/10454/756.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Pearson, Graham S. "The Strengthened BTWC Protocol: An Integrated Regime." 1998. http://hdl.handle.net/10454/757.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Verification Regime"

1

Canada. Arms Control and Disarmament Division., ed. Security considerations and verification of a Central American arms control regime. External Affairs and International Trade Canada, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Blackburn, Douglas L. The Chemical Weapons Convention verification regime: A model for a new NPT? Naval Postgraduate School, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Latham, Andrew. Toward an effective verification regime for the convention on certain conventional weapons: The outline of an incremental approach. Dept. of Foreign Affairs and International Trade, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lambers, William. "Open Skies" for peace: Contributing to the development of peace worldwide by the creation of the Open Skies regime for aerial observation. Lambers Publications,], 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

On-site inspection in theory and practice: A primer on modern arms control regimes. Praeger, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Division, Canada Arms Control and Disarmament. Arms control in the North Pacific: The role for confidence-building and verification : Cooperative Research Workshop, 19-21 February, 1993, final report. External Affairs and International Trade Canada, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Jasani, Bhupendra. The role of space-based surveillance in Gulf security. Emirates Center for Strategic Studies and Research, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Jasani, Bhupendra. The role of space-based surveillance in Gulf security. Emirates Center for Strategic Studies and Research, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Oberthür, Sebastian. Compliance under the Evolving Climate Change Regime. Edited by Kevin R. Gray, Richard Tarasofsky, and Cinnamon Carlarne. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780199684601.003.0006.

Full text

Abstract:

This chapter assesses the ways in which compliance has been addressed under the United Nations Framework Convention on Climate Change (UNFCCC) and the Kyoto Protocol. It highlights the different merits of assessing and promoting compliance with international commitments on climate change, as it goes beyond the measuring, reporting, and verification of relevant data. In particular, compliance mechanisms stabilize cooperation and enhance effective implementation by helping to build and maintain trust, address capacity problems, clarify rule ambiguities, and protect against free-riding. The polit

APA, Harvard, Vancouver, ISO, and other styles

10

William, Lambers, ed. "Open Skies" for peace: Contributing to the development of peace worldwide by the creation of the Open Skies regime for aerial observation. Lambers Publications,], 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Verification Regime"

1

Dahlman, Ola, P. Mykkeltveit, and Hein Haak. "Establishing the Verification Regime." In Nuclear Test Ban. Springer Netherlands, 2009. http://dx.doi.org/10.1007/978-1-4020-6885-0_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Higinbotham, William A., Helen M. Hunt, Milton M. Hoenig, et al. "Nuclear Confidence-Building: Models for a Bilateral Safeguards and Verification Regime." In Averting a Latin American Nuclear Arms Race. Palgrave Macmillan UK, 1992. http://dx.doi.org/10.1007/978-1-349-12099-4_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Leggett, Jeremy. "A Comprehensive Test-Ban Verification Regime: Implications of Cooperative Measures in INF and START." In Global Problems and Common Security. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-75072-4_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gee, John, Ralf Trapp, and Maurizio Barbeschi. "Strategy Development, Risk Assessment and Resource Management: Some Issues Related to the Implementation of the Verification Regime of the Chemical Weapons Convention." In Probabilistic Safety Assessment and Management ’96. Springer London, 1996. http://dx.doi.org/10.1007/978-1-4471-3409-1_36.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Junges, Sebastian, Nils Jansen, and Sanjit A. Seshia. "Enforcing Almost-Sure Reachability in POMDPs." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_28.

Full text

Abstract:

AbstractPartially-Observable Markov Decision Processes (POMDPs) are a well-known stochastic model for sequential decision making under limited information. We consider the EXPTIME-hard problem of synthesising policies that almost-surely reach some goal state without ever visiting a bad state. In particular, we are interested in computing the winning region, that is, the set of system configurations from which a policy exists that satisfies the reachability specification. A direct application of such a winning region is the safe exploration of POMDPs by, for instance, restricting the behavior of a reinforcement learning agent to the region. We present two algorithms: A novel SAT-based iterative approach and a decision-diagram based alternative. The empirical evaluation demonstrates the feasibility and efficacy of the approaches.

APA, Harvard, Vancouver, ISO, and other styles

6

Yang, Zhengfeng, Yidan Zhang, Wang Lin, et al. "An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_22.

Full text

Abstract:

AbstractIn this paper, we propose a safe reinforcement learning approach to synthesize deep neural network (DNN) controllers for nonlinear systems subject to safety constraints. The proposed approach employs an iterative scheme where a learner and a verifier interact to synthesize safe DNN controllers. The learner trains a DNN controller via deep reinforcement learning, and the verifier certifies the learned controller through computing a maximal safe initial region and its corresponding barrier certificate, based on polynomial abstraction and bilinear matrix inequalities solving. Compared with the existing verification-in-the-loop synthesis methods, our iterative framework is a sequential synthesis scheme of controllers and barrier certificates, which can learn safe controllers with adaptive barrier certificates rather than user-defined ones. We implement the tool SRLBC and evaluate its performance over a set of benchmark examples. The experimental results demonstrate that our approach efficiently synthesizes safe DNN controllers even for a nonlinear system with dimension up to 12.

APA, Harvard, Vancouver, ISO, and other styles

7

Yu, Fang, and Bow-Yaw Wang. "Toward Unbounded Model Checking for Region Automata." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30476-0_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wang, Qiuye, Mingshuai Chen, Bai Xue, Naijun Zhan, and Joost-Pieter Katoen. "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_21.

Full text

Abstract:

AbstractA barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition—thereby synthesizing invariant barrier certificates—can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems. This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, in the sense that a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmark examples demonstrate the effectiveness and efficiency of our approach.

APA, Harvard, Vancouver, ISO, and other styles

9

Akshay, S., Paul Gastin, and Karthik R. Prakash. "Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_30.

Full text

Abstract:

AbstractGiven the versatility of timed automata a huge body of work has evolved that considers extensions of timed automata. One extension that has received a lot of interest is timed automata with a, possibly unbounded, stack, also called pushdown timed automata (PDTA). While different algorithms have been given for reachability in different variants of this model, most of these results are purely theoretical and do not give rise to efficient implementations. One main reason for this is that none of these algorithms (and the implementations that exist) use the so-called zone-based abstraction, but rely either on the region-abstraction or other approaches, which are significantly harder to implement.In this paper, we show that a naive extension, using simulations, of the zone based reachability algorithm for the control state reachability problem of timed automata is not sound in the presence of a stack. To understand this better we give an inductive rule based view of the zone reachability algorithm for timed automata. This alternate view allows us to analyze and adapt the rules to also work for pushdown timed automata. We obtain the first zone-based algorithm for PDTA which is terminating, sound and complete. We implement our algorithm in the tool TChecker and perform experiments to show its efficacy, thus leading the way for more practical approaches to the verification of timed pushdown systems.

APA, Harvard, Vancouver, ISO, and other styles

10

Boulkenafet, Zinelabidine, Elhocine Boutellaa, Messaoud Bengherabi, and Abdenour Hadid. "Face Verification Based on Gabor Region Covariance Matrices." In Image Analysis. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19665-7_41.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Verification Regime"

1

Okorn, Boris, Silvio Hrabar, Eva Kovacevic, and Jordi Sancho-Parramorr. "Towards verification of D-dot loop concept in optical regime." In 2015 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium). IEEE, 2015. http://dx.doi.org/10.1109/usnc-ursi.2015.7303346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Deng, Dingfeng, and Minel J. Braun. "Experimental Verification of a New Model for Transition Flow of Thin Films in Long Journal Bearings." In STLE/ASME 2010 International Joint Tribology Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/ijtc2010-41205.

Full text

Abstract:

A new model for predicting the flow behavior in long journal bearing films in the transition regime (Taylor and wavy vortex regimes) was previously proposed by the authors. This paper presents the experimental verification. A comparison between the experimental and numerical results of the Torque–Speed graphs is presented with good agreement between the numerical and experimental data for the Couette, Taylor and pre-wavy regimes. In the wavy and turbulent regime, the magnitude of the numerically obtained data is larger than the corresponding measured torques, but the difference is confined to

APA, Harvard, Vancouver, ISO, and other styles

3

Vegendla, Prasad, and Rui Hu. "Modeling and Simulations of Deteriorated Turbulent Heat Transfer in Wall Heated Cylindrical Tube." In ASME 2019 Verification and Validation Symposium. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/vvs2019-5114.

Full text

Abstract:

Abstract The paper discusses the modeling and simulations of Deteriorated Turbulent Heat Transfer (DTHT) for a wall-heated fluid flows, which can be observed in gas-cooled nuclear power reactors during Pressurized Conduction Cooldown (PCC) event due to loss of force circulation flow. The DTHT regime is defined as the deterioration of normal turbulent heat transport due to increase of acceleration and buoyancy forces. The Computational Fluid Dynamics (CFD) tools such as Nek5000 and STAR-CCM+ can help to analyze the DTHT phenomena in reactors for efficient thermal-fluid designs. 3D CFD non-isoth

APA, Harvard, Vancouver, ISO, and other styles

4

Okorn, Boris, Silvio Hrabar, and Jordi Sancho-Parramon. "Verification of concepts of D-dot wire and D-dot loop in RF regime." In 2014 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. IEEE, 2014. http://dx.doi.org/10.1109/aps.2014.6904379.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lee, H. K., P. A. Ward, A. E. Duwel, et al. "Verification of the phase-noise model for MEMS oscillators operating in the nonlinear regime." In TRANSDUCERS 2011 - 2011 16th International Solid-State Sensors, Actuators and Microsystems Conference. IEEE, 2011. http://dx.doi.org/10.1109/transducers.2011.5969667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Iovine, R., M. Mariano, C. Martinangeli, E. Uffredi, and F. Bonifazi. "Numerical and experimental verification of a broadband amplifier in the Very-Ultra High Frequency regime." In 2016 22nd International Conference on Applied Electromagnetics and Communications (ICECOM). IEEE, 2016. http://dx.doi.org/10.1109/icecom.2016.7843893.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Herb, Joachim. "A Continuous Integration Platform for the Deterministic Safety Analyses Code System AC2." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81123.

Full text

Abstract:

At GRS, a continuous integration platform based on the software Jenkins is used to verify and validate the code system AC2 consisting of the codes ATHLET, ATHLET-CD and COCOSYS. It automates different steps of the verification and validation process. If these steps were done manually, they would take up significant resources. Each time new or changed code is sent to the source code management system, the software is built for all supported operating systems and configurations and verifications as well as validation tests are executed. If test builds do not work or the results of verification o

APA, Harvard, Vancouver, ISO, and other styles

8

Buitrago, Jaime, Michael S. Weir, and Wan C. Kan. "Fatigue Design and Performance Verification of Deepwater Risers." In ASME 2003 22nd International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2003. http://dx.doi.org/10.1115/omae2003-37492.

Full text

Abstract:

With the advent of the development of deepwater projects, ExxonMobil developed and successfully implemented a fatigue design and verification protocol for fracture-critical components, such as risers and tendons, to ensure design performance and reliability. This protocol has now become an industry practice. This paper discusses the analytical, fabrication, and testing aspects of the design process. The linkage among actual weld performance, welding procedures and inspection reliability is addressed. From the design implementation standpoint, reliability of the fabrication inspection is the ke

APA, Harvard, Vancouver, ISO, and other styles

9

Mokry, Sarah, Yevgeniy Gospodinov, Igor Pioro, and Pavel Kirillov. "Supercritical Water Heat-Transfer Correlation for Vertical Bare Tubes." In 17th International Conference on Nuclear Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/icone17-76010.

Full text

Abstract:

This paper presents an analysis of heat transfer to supercritical water in bare vertical tubes. A large set of experimental data, obtained in Russia, was analyzed and an updated heat-transfer correlation for supercritical water was developed. This experimental dataset was obtained within conditions similar to those for proposed SuperCritical Water-cooled nuclear Reactor (SCWR) concepts. Thus, the new correlation presented in this paper can be used for preliminary heat-transfer calculations in SCWR fuel channels. The experimental dataset was obtained for supercritical water flowing upward in a

APA, Harvard, Vancouver, ISO, and other styles

10

Holmstro¨m, Stefan, Anssi Laukkanen, Juhani Rantala, Kari Kolari, Heikki Keina¨nen, and Olli Lehtinen. "Modeling and Verification of Creep Strain and Exhaustion in a Welded Steam Mixer." In ASME 2008 Pressure Vessels and Piping Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/pvp2008-61028.

Full text

Abstract:

Structures operating in the creep regime will consume their creep life at a greater rate in locations where the stress state is aggravated by triaxiality constraints. Many structures, such as the welded steam mixer studied here, also have multiple material zones differing in microstructure and material properties. The 3-dimensional structure as such in addition to interacting material zones is a great challenge for finite element analysis (FEA), even to accurately pinpoint the critical locations where damage will be found. The studied steam mixer, made of 10CrMo 9-10 steel (P22), has after 100

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Verification Regime"

1

Miller, Karen A. Verification Technologies for the International Nuclear Nonproliferation Regime. Office of Scientific and Technical Information (OSTI), 2013. http://dx.doi.org/10.2172/1073753.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Borrett, Veronica, Melissa Hanham, Gunnar Jeremias, et al. Science and Technology for WMD Compliance Monitoring and Investigations. The United Nations Institute for Disarmament Research, 2020. http://dx.doi.org/10.37559/wmd/20/wmdce11.

Full text

Abstract:

The integration of novel technologies for monitoring and investigating compliance can enhance the effectiveness of regimes related to weapons of mass destruction (WMD). This report looks at the potential role of four novel approaches based on recent technological advances – remote sensing tools; open-source satellite data; open-source trade data; and artificial intelligence (AI) – in monitoring and investigating compliance with WMD treaties. The report consists of short essays from leading experts that introduce particular technologies, discuss their applications in WMD regimes, and consider s

APA, Harvard, Vancouver, ISO, and other styles

3

Carlson, John. Nuclear verification in a Middle East WMD-Free Zone: Lessons from Past Verification Cases and Other Precedents. The United Nations Institute for Disarmament Research, 2021. http://dx.doi.org/10.37559/wmdfz/21/nv/01.

Full text

Abstract:

Verification will be of critical importance to achieving and maintaining a Middle East zone free of weapons of mass destruction (ME WMD). Effective verification arrangements would serve a vital national security objective for each state in the region by reducing tensions, removing the motivation to proliferate, and mitigating the risk of a virtual nuclear arms race (or war). In view of the high levels of tension and mistrust within the zone, ensuring effective verification will be especially demanding. The paper examines specific elements of the future nuclear verification of the zone, includi

APA, Harvard, Vancouver, ISO, and other styles

4

Luke, S. Exploring the Possible Use of Information Barriers for future Biological Weapons Verification Regimes. Office of Scientific and Technical Information (OSTI), 2011. http://dx.doi.org/10.2172/1034493.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hamill, Daniel D., Jeremy J. Giovando, Chandler S. Engel, Travis A. Dahl, and Michael D. Bartles. Application of a Radiation-Derived Temperature Index Model to the Willow Creek Watershed in Idaho, USA. U.S. Army Engineer Research and Development Center, 2021. http://dx.doi.org/10.21079/11681/41360.

Full text

Abstract:

The ability to simulate snow accumulation and melting processes is fundamental to developing real-time hydrological models in watersheds with a snowmelt-dominated flow regime. A primary source of uncertainty with this model development approach is the subjectivity related to which historical periods to use and how to combine parameters from multiple calibration events. The Hydrologic Engineering Center, Hydrological Modeling System, has recently implemented a hybrid temperature index (TI) snow module that has not been extensively tested. This study evaluates a radiatative temperature index (RT

APA, Harvard, Vancouver, ISO, and other styles

6

Edwards, C. L., and D. F. Baker. Integrated Verification Experiment data collected as part of the Los Alamos National Laboratory's Source Region Program. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/6339879.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fitzgerald, T. J., R. C. Carlos, and P. E. Argo. Integrated Verification Experiment data collected as part of the Los Alamos National Laboratory's Source Region Program. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/6296876.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Whitaker, R. W., and S. D. Noel. Integrated Verification Experiment data collected as part of the Los Alamos National Laboratory's Source Region Program. Office of Scientific and Technical Information (OSTI), 1992. http://dx.doi.org/10.2172/6531933.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Whitaker, R. W., and S. D. Noel. Integrated Verification Experiment data collected as part of the Los Alamos National Laboratory`s Source Region Program. Appendix C, Infrasonic measurements of IVE events: Los Alamos Source Region Program. Office of Scientific and Technical Information (OSTI), 1992. http://dx.doi.org/10.2172/10165083.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Weaver, T. A., D. F. Baker, C. L. Edwards, and S. H. Freeman. Integrated Verification Experiment data collected as part of the Los Alamos National Laboratory`s Source Region Program. Appendix B: Surface ground motion. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10193511.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!