Results 11 to 20 of about 12,037,247 (302)
Improving search order for reachability testing in timed automata [PDF]
, 2015 Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a waiting strategy. This paper discusses the reason why
Herbreteau, Frédéric, Tran, Thanh-Tung
core +3 more sources
Current situation and development strategy of health emergency standardization system
Shanghai yufang yixue, 2022 In recent years， the increasing scale and scope of public health emergencies have brought serious challenges to China's health emergency system. It is in urgent need to develop the existing health emergency system toward the goal of multi-industry， multi-
XIONG Jiasheng, WU Huanyu, ZHAO Qi
doaj +1 more source
Challenges and Future Development Paths of Low Carbon Building Design: A Review
Buildings, 2022 Excessive carbon emissions are causing the problems of global warming and the greenhouse effect, which urgently need to be controlled worldwide. It is crucial to reduce the carbon emissions of the construction industry as it is one of the main sources ...
Chang Xi, Shi-Jie Cao
doaj +1 more source
Failure of standard approximations of the exchange coupling in nanostructures [PDF]
, 2007 We calculate the exchange coupling for a double dot system using a novel, numerically exact yet efficient technique, based on finite-element methods. Specifically, we evaluate the exchange coupling both for a quasi-one and a two-dimensional system, also ...
Flindt, Christian +3 more
core +2 more sources
You-qi chuyun, 2022 The construction of standard system by Chinese enterprises is characterized by the repeated and crossing contents, as well as multiple reference levels, of the single technical standards and the standards formulated by the standards committees of various
Zhensheng WANG
doaj +1 more source
Establishment of national food safety standard system for food contact materials
Zhongguo shipin weisheng zazhi, 2022 This paper takes the establishment of the national food safety standard system for food contact materials （FCM） as the mainline， combined with the role of FCM risk monitoring， risk assessment and related basic research， to demonstrate the achievements of
ZHANG Hong +4 more
doaj +1 more source
Statistical analysis of coal mine safety standards in China
Meikuang Anquan, 2021 Coal mine safety standard is the basis of ensuring coal mine safety production, mine ecological environment safety and employees’ safety and health, preventing coal mine accidents and occupational hazards, and is also an important support for the ...
CHEN Yupeng, QIN Yujin, REN Shaokui, LIU Enhui
doaj +1 more source
Construction of Standard System Framework for Intelligent Agricultural Machinery in China
智慧农业, 2020 Standard system is the overall strategic planning and implementation guidance for standardization in professional field. In view of the missing of standard system on intelligent agricultural machinery, a standard system framework was contributed for the ...
HU Xiaolu +4 more
doaj +1 more source
The Higgs System in and Beyond the Standard Model
, 2014 After the discovery of the Higgs boson particle on the 4th of July of 2012 at the Large Hadron Collider, sited at the european CERN laboratory, we are entering in a fascinating period for Particle Physics where both theorists and experimentalists are ...
A Dobado +10 more
core +1 more source
Research on Intelligent Manufacturing Standard System for Rail Transit Industry
Chengshi guidao jiaotong yanjiu［Objective］ With the rapid development of rail transit industry, intelligent manufacturing has become an important driving force for the transformation and upgrading of the industry.
ZHANG Xiaokun +3 more
doaj +1 more source