Results 21 to 30 of about 1,018,595 (300)
Independent verification and validation of an industrial simulation model [PDF]
, 2010 The independent verification and validation (IV&V) of simulation models is largely restricted to applications in the military and public policy domains. There is little evidence of IV&V for industrial simulation models. This is largely because industrial
Brooks RJ +3 more
core +1 more source
Research on wireless acquisition and analysis system of gateway table data based on improved ACO algorithm [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
An Chao, Wang Minzhe, Lv Lianxin
doaj +1 more source
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments
Sensors, 2021 Real-time estimation of temperatures in indoor environments is critical for several reasons, including the upkeep of comfort levels, the fulfillment of legal requirements, and energy efficiency. Unfortunately, setting an adequate number of sensors at the
Andrea Brunello +4 more
doaj +1 more source
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science, 2007 AbstractMost of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are ubiquitous in safety-critical applications such as those supporting transportation and medical automation; their ...
John Regehr, Nathan Cooprider
openaire +2 more sources
Research on the construction of load management system for power supply guarantee target [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
Guo Linlang, An Chao, Huang Yihao
doaj +1 more source
AE-YOLOv5 for Detection of Power Line Insulator Defects
IEEE Open Journal of the Computer SocietyThe power transmission network, which delivers power energy from generator to customers, plays an important role in the power grid. Insulator is a basic component in the power transmission network.
Wei Shen +6 more
doaj +1 more source
Sensors and Actuators Reports, 2022 Food and beverage (F&B) industries employ containers to package, store and transport ingredients/products. High-speed capping of containers is prone to defective sealing, which affects containment and subsequently causes leaks during transportation ...
Hari Krishna Salila Vijayalal Mohan +2 more
doaj +1 more source
, 2011 List of Web sites, movies, TV shows, books, and SBU courses that deal with truth and verification. 4 pages.Truth and Verification Lecture Trailheads -- lecture-8-truth-and-ver-trailheads.pdfThe work(s) contained within this record have been analyzed and ...
Rosenfeld, Adam
core +2 more sources
Library stock verification: a ritual and an occupational hazard [PDF]
, 1991 Explains the sensitive, controversial stock verification as one of the occupational hazards and a postmortem, emphasises need for clarity of objectives and procedures regarding stock verification and responsibilities of loss, points out that the cost of ...
Sridhar, M. S.
core +1 more source