Results 11 to 20 of about 828,996 (313)
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
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
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
Using feature-based verification methods to explore the spatial and temporal characteristics of the 2019 chlorophyll-a bloom season in a model of the European Northwest Shelf [PDF]
Ocean Science, 2021 Two feature-based verification methods, thus far only used for the diagnostic evaluation of atmospheric models, have been applied to compare ∼7 km resolution pre-operational analyses of chlorophyll-a (Chl-a) concentrations to a 1 km gridded satellite ...
M. Mittermaier +4 more
doaj +1 more source
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
CoRR, 2016 We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous testing into the development environment: compatibility-checking, which verifies an object's use of other objects, and compliance-checking, which verifies an object's claim ...
Perera, Roly, Gay, Simon J.
openaire +3 more sources
Temporal verification in secure group communication system design [PDF]
, 2007 The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Villemur, Thierry +7 more
core +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
Measurement: Sensors, 2022 In a high-volume food production line, several stainless-steel hoppers store, mix and dispense powdered ingredients to form food powders of the desired composition.
Hari Krishna Salila Vijayalal Mohan +1 more
doaj +1 more source