The electricity spot price, the wholesale cost paid by utility companies, has experienced increased volatility due to the need for equilibrium between supply and demand. Traditional spot price models have been explore...
详细信息
Many countries worldwide have adopted Egovernment as a result of its advantages. However, there isn't enough research to support a measurement model for gauging Electronic Government (E-government) uptake in devel...
详细信息
The proceedings contain 116 papers. The topics discussed include: multimodal spatiotemporal graph convolutional neural networks for extracting metadata for artwork identification;research on kinematics modeling method...
ISBN:
(纸本)9798350308341
The proceedings contain 116 papers. The topics discussed include: multimodal spatiotemporal graph convolutional neural networks for extracting metadata for artwork identification;research on kinematics modeling method of serial chain manipulators;diet planning models based on linear programming theory for catering problems;feature decoupled of deep mutual information maximization;a double strategy improved artificial bee colony algorithm and its application;random-matrix based extended object tracking using multiple sensors with different measurement matrices;design and verification of an avalanche photodiode device for rare earth fluorescence detection;and design of a drone system for large thermal power boiler inspection.
computer-based collaborative office automation systems enable resource sharing and information collaboration through computer network technology, widely enhancing the efficiency of businesses and organizations. In the...
详细信息
This paper proposes a novel multi-coil inductive displacement measurement sensor that can achieve high-precision position calculation. Conventionally, precise adjustment of windings is made to enhance the linearity ra...
详细信息
The measurement of total traffic volumes plays a central role in modern intelligent transportation systems. In this study, we regard this issue as a total traffic volume estimation task based on synchronous partial ob...
详细信息
ISBN:
(数字)9781665468800
ISBN:
(纸本)9781665468800
The measurement of total traffic volumes plays a central role in modern intelligent transportation systems. In this study, we regard this issue as a total traffic volume estimation task based on synchronous partial observations of probe vehicles. Conventionally, measurements by loop detectors have been used to collect total traffic volume data. However, the number of loop detectors is severely limited owing to the high maintenance costs. Therefore, improving the feasibility of extended estimations by combining loop detector and probe vehicle data has gained attention. We propose an accurate and lightweight algorithm to estimate the total traffic volume with a mixed effect model by leveraging the statistical modeling approach. This algorithm proposes to incorporate various factors, such as road type, day and hour traffic frequency, and road network topology, into a model. We further introduce a model fusion algorithm to reduce the total number of model sizes built in various areas, such as cities, states, and prefectures. The effectiveness of this algorithm was demonstrated by experiments conducted in 18 cities of Japan.
In this paper, we present an approach based on Attribute Based Access Control (ABAC) and Risk Adaptive Access Control (RAdAC) to improve the reliability of the risk assessment and authorization process. The model has ...
详细信息
In recent years, the In-band Network Telemetry (INT) method with fine measurement ability has been gradually deployed in various datacenter networks. However, in real-world production practice, it is difficult to repl...
详细信息
The water level is the most straightforward way to assess the condition of a water body, making it an essential indicator in the majority of water conservancy projects. At present, the water level monitoring in these ...
详细信息
The proceedings contain 14 papers. The special focus in this conference is on Formal Methods for Industrial Critical systems. The topics include: UPPAAL-Based modeling and Verification of ROS 2 Multi-threade...
ISBN:
(纸本)9783031681493
The proceedings contain 14 papers. The special focus in this conference is on Formal Methods for Industrial Critical systems. The topics include: UPPAAL-Based modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations;Formalising the Industrial Language SMMT in mCRL2;fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics;logika: The Sireum Verification Framework;fuzzing an Industrial Proprietary Protocol;Modelling and Analysis of DTLS: Power Consumption and Attacks;verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges;reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report;formal Analysis and Monitoring of Legacy Safety-Critical Interlocking systems with the Use of Certified Industrial Tools;unifying Syntactic and Semantic Abstractions for Deep Neural Networks;multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical systems;surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance.
暂无评论