The proceedings contain 19 papers. The special focus in this conference is on integrated Formal Methods. The topics include: Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study...
ISBN:
(纸本)9783031765537
The proceedings contain 19 papers. The special focus in this conference is on integrated Formal Methods. The topics include: Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study;veriCode: Correct Translation of Abstract Specifications to C Code;proving Termination via Measure Transfer in Equivalence Checking;PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases;stateful Functional modeling with Refinement (a Lean4 Framework);modeling Register Pairs in CompCert;monitoring Extended Hypernode Logic;towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata;monitoring Real-Time systems Under Parametric Delay;veyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory;correct and Complete Symbolic Execution for Free;solvent: Liquidity Verification of Smart Contracts;StEVe: A Rational Verification Tool for Stackelberg Security Games;PyQBF: A Python Framework for Solving Quantified Boolean Formulas;Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters;active Learning of Runtime Monitors Under Uncertainty;specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.
In creating integrated automated production control systems, there is an open question of simulation fidelity distribution between MES- and APC-systems according to the requirement for speed and decision-making horizo...
详细信息
ISBN:
(纸本)9783031734168;9783031734175
In creating integrated automated production control systems, there is an open question of simulation fidelity distribution between MES- and APC-systems according to the requirement for speed and decision-making horizon at each level. Operational planning forms a set of discrete operations organized by time and indicators. The period of the operations includes the transient and steady-state mode of the manufacturing process, but does not affect the values of transient mode indicators. Transient mode is the "noise" for operational production planning. The period of scheduled operations should be determined for petroleum refineries so that the level of the "noise" does not exceed the required production planning accuracy. The paper presents a method of calculating the transient mode parameters and the analysis results for refinery process time series, enabling us to determine the minimum operation period for the required operational production planning accuracy in the MES-system. Presents response time, average control action period and obtained estimates of transient speed on the example unit for each group of real refinery processes.
We consider optimization problems from an industrial use case, arising in the management of automated slick rail systems. These are used for sorting and picking high quality clothes in dedicated distribution centers. ...
详细信息
This study investigates the use of Artificial Adaptive (AA) systems for predicting energy consumption in Smart Buildings, focusing on optimizing energy usage with sensors, actuators, and intelligent systems. Using the...
详细信息
This paper compares the efficacy of classical topic modeling approaches namely the Latent Dirichlet Allocation (LDA) and Non-Negative Matrix Factorization (NMF) with their respective word embedding enhanced techniques...
详细信息
Addressing uncertainties in data is crucial for real-world applications, including social networks, where relationships often lack clear definition. Soft and rough graph theories allow for nuanced modeling of such dat...
详细信息
Brain tumors are one of the most serious and potentially fatal diseases in the world, to have any hope of being successfully treated it is imperative that they be discovered early. Conventional diagnostic methods such...
详细信息
Recommender systems are information filtering tools designed to recommend items of potential interest to users based on their preferences. Graph Neural Network (GNN)-based recommender systems have demonstrated state-o...
详细信息
The proceedings contain 35 papers. The topics discussed include: an analysis of the standard unit of processing on the Sperry UNIVAC series 1100 computer system;the critical need for computermeasurement in the 1980&#...
The proceedings contain 35 papers. The topics discussed include: an analysis of the standard unit of processing on the Sperry UNIVAC series 1100 computer system;the critical need for computermeasurement in the 1980's;capacity management: a few suggestions for survival;monitoring data communications systems with emphasis on open system interconnections (OSI);parameterization of CPU loading in packet computer networks;issues in design and measurement of local area networks;the design of a telecommunications network at the travelers insurance companies;a multi-class queueing network model of an interactive system;alternative parameterizations of product-form queueing networks;the use of analytic modelling in system selection;consider the performance of large software systems before implementation;and controlling the cost of computer performance evaluation.
The proceedings contain 38 papers. The topics discussed include: assessing manufacturing agility: an updated state-of-the-art and operational insights;a review of quality improvement framework for industry 4.0;uncover...
The proceedings contain 38 papers. The topics discussed include: assessing manufacturing agility: an updated state-of-the-art and operational insights;a review of quality improvement framework for industry 4.0;uncovering the potential and pitfalls of process mining in manufacturing;long-pulse fiber laser micro-hole drilling of nickel superalloy;image processing with deep-learning and transfer learning for cutting tool degradation monitoring;methodologies for connecting an external signal-processing unit for adaptive control in machining systems;research on internal surface finishing of multi-cross channels;static stiffness analysis of an electronically preloaded rack and pinion feed drive system;and an advanced method to assess mechanical filtering effect of tactile coordinate-measuring system in dimensional measurement of additive manufacturing parts.
暂无评论