Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
29,065
result(s) for
"verification"
Sort by:
Principles of model checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
eBook
Research on the integrated planning method of the power network and storage based on the two-layer model of decision-making and verification
As the proportion and load of renewable energy keep growing may lead to blockages in the Shanxi power network. Therefore, the reasonable and scientific planning of the power network in Shanxi is becoming increasingly important. The study proposed a hierarchical computational model integrating decision optimization and verification mechanisms. Then, single planning of the power network and Integrated Planning of the power network and Storage were compared. This paper analyzes the operating states of the Shanxi power network to verify the feasibility of the proposed platform-based method. The results demonstrate that the method effectively achieves integrated planning of energy storage and the power network.
Journal Article
Trust in nuclear disarmament verification
In the nuclear arena, disarmament verification is often viewed purely in terms of a dispassionate, scientific process. Yet this view is fundamentally flawed since the technical impossibility of 100 per cent verification opens the door to a host of complex issues and questions regarding the process and its outcomes. Central among these is the fact that those involved in any verification inspection process must inevitably conduct their work in a space that falls well short of absolute certainty. The lines between scientific enquiry and human psychology can become blurred and outcomes have the potential to be influenced by perceptions. Drawing on extensive empirical evidence, the authors explore the complex interplay between evidence-based judgements and perceptions of intentions that frames the science of verification. The book provides new insights into the role and influence of human factors in the verification process.
Book
Research on the responsive characteristics of isolation mechanisms in MEMS safety systems
In response to issues such as the unclear characteristics of isolation mechanisms, explosion-proof ability, high dynamic environmental response characteristics in MEMS safety systems, and insufficient design verification basis, the basic theory of the motion process of the explosion-proof mechanism was analyzed starting from the working principle of the explosion-proof mechanism. The explosion-proof performance and response characteristics of the explosion-proof mechanism under different preset conditions were studied through simulation calculation and experimental verification. The results show that when the thickness of the nickel material partition is less than 0.3 mm, it can block the high-speed impact of titanium flying plates with a design size of Φ 0.75 mm ×0.025 mm and the speed not exceeding 2,800 m/s; when the projectile speed is not less than 20,000 r/min, the isolation mechanism can move in place normally and lock successfully, while also having the ability to resist high overload impact. Under the action of not more than 50,000 g rear seat overload, the structure of the explosion-proof mechanism is intact without any failure.
Journal Article
UVM-Based Verification of AMBA AHB-To-APB Bridge Using Modularized Interfaces and Reactive Slaves
This paper presents a high-level verification environment for the Advanced High-performance Bus (AHB) to Advanced Peripheral Bus (APB) bridge design using the UVM framework. In the verification model, we apply two advanced techniques including modularized interface and reactive slave to create an accurate, automated, and completely reusable testing environment. A detailed test plan with the full functions of the AHB and APB was built to verify the AHB-to-APB bridge design. The verification component (VC) of the AHB and APB has been developed and extended for the testbench. Therefore, the testbench can be reused while still ensuring each VC is separate and connected to the interfaces using the interface modularization method. The scoreboard is also meticulously developed to check designs automatically. The experimental result shows that the functional and toggle coverage scores are achieved up to 100% and 92%, respectively.
Journal Article
Verified : how to think straight, get duped less, and make better decisions about what to believe online
\"These days, the world wide web has become the Wild West. We are faced with a seemingly endless source of information, all of it difficult to evaluate. Trusted sources can be full of ads, bad actors can slip under the radar, and seemingly questionable databases might hold a helpful treasure trove. Historian Sam Wineburg and media literacy guru Mike Caulfield are here to help with this informative, approachable guide to navigating the internet. With this illustrated tool kit, readers will learn to identify red flags, get quick context, and make better use of common tools like Google and Wikipedia that have the ability to help and hinder in equal measure\"-- Provided by publisher.
Book
Introduction to the design and verification of the cross-arm T pole for the 110kV transmission line and the single-loop T pole
With the development of various fields in China, users have higher and higher requirements for power reliability. In order to improve the reliability of 110 kV transmission lines, a new type of cross-arm T-connection technology came into being. This paper introduces the characteristics of the original T-connection technology and the new T-connection mode of the new T-connection technology, as well as the design verification of the new single-loop T-connection tower, and draws the conclusion that the new T-connection tower model is reasonable and the force of the rod can be effectively configured.
Journal Article