Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

“…User-friendly formal specifications and verification of parallel and distributed systems from various subject fields, such as automatic control, telecommunications, business processes, are active research topics due to its practical significance. …”
Get full text

Analyzing the Spatial-Temporal Patterns of Urban Heat Islands in Nanjing: The Role of Urbanization and Different Land Uses by Ji-Yu Deng, Hua Lao, Chenyang Mei, Yizhen Chen, Yueyang He, Kaihuai Liao

“…This study explores the spatiotemporal distribution and formation mechanisms of urban heat islands (UHIs) in Nanjing during summer, utilizing temperature data from 82 automatic weather stations (AWSs) distributed across five concentric zones. …”
Get full text

An empirical study on the stochastic long-term travel demands of a large-scale metro network by Sen Huang, Xiangdong Xu, Yichao Pu

“…In contrast to the simple average-based data processing of OD passenger demand in metro networks, this paper presents a new perspective of mining long-term continuous data to understand the inherent stochasticity of OD passenger demands. …”
Get full text

The Optimal Cost Design of Reinforced Concrete Beams Using an Artificial Neural Network—The Effectiveness of Cost-Optimized Training Data by Jaemin So, Seungjae Lee, Jonghyeok Seong, Donwoo Lee

Get full text

Automatización y optimización del diseño de intercambiadores de calor de tubo y coraza mediante el método de Taborek//Automatization and optimization of shell and tube heat exchang... by Maida Bárbara Reyes‐Rodríguez, Jorge Laureano Moya‐Rodríguez, Oscar Miguel Cruz‐Fonticiella, Eduardo Miguel Fírvida‐Donéstevez, José Alberto Velázquez‐Pérez

Get full text

Bidirectional relationships between phonological processing and basic number knowledge in kindergarten children: a longitudinal study by Xin Chen, Chi Ma, Zihan Yang, Xiujie Yang

“…In contrast, rapid automatized naming had no such predictive relations with other variables. …”
Get full text

Ontological analysis in the problems of container applications threat modelling by A. I. Brazhuk, E. V. Olizarovich

“…The main purpose of the work is the experimental verification of the method of automatic threat modelling based on the ontological approach using the example of multicomponent container applications presented in the form of data flow diagrams.Methods. …”
Get full text

Synthesis of invariant circuit angular stabilization of unmanned aircraft at the pitch angle by I. V. Rozhkov

“…The article considers the synthesis methods of an automatic invariant system of the pitch angle stabilization of an unmanned aerial vehicle that is based on the concept of inverse dynamics problems. …”
Get full text

Optical link establishment method with CoS in ASON by LI Wei1, LI Yuan2, HUANG De-xiu1, LIU De-ming1

“…The proceeding scheme of the network node was also presented. Through simulation and experiment in a star wavelength router network, the method is verified and is useful for the optical link establishment in automatic switching optical network.…”
Get full text

A Method of Train Velocity Curve Calculation for ATP Compatible with the Highest Version of ETCS by LIU Dongqing

Get full text

Home Energy Management within Smart Grid via WSN by Pooja Rajput, Kiran Rajput, Muhammad Zakir Shaikh, B. S. Chowdhry, M. Aamir

“… This paper presents a framework for a home automation scenario within a Smart Grid System. …”
Get full text

CASCADE CONTROL ALGORITHM OF THE ROBOTIC ARM'S SERVOMOTOR by MORARU, Dumitru, FIODOROV, Ion, IZVOREANU, Bartolomeu, COJUHARI, Irina

“…The control object is the robotic arm which is actuated by a servo motor presented as an automatic cascade control system which is consisting of two loops. …”
Get full text

Transfer Learning for Distance Classification of Marine Vessels Using Underwater Sound by Decrop Wout, Deneudt Klaas, Parcerisas Clea, Schall Elena, Debusschere Elisabeth

“…Acoustic data from these environments can offer valuable insights for tracking human activity and improving the monitoring of sensitive areas, such as marine protected areas (MPAs) and offshore wind farms. This study presents a convolutional neural network (CNN) trained to classify vessel distances from passive acoustic recordings. …”
Get full text

Sleep Staging Using Compressed Vision Transformer With Novel Two-Step Attention Weighted Sum by Hyounggyu Kim, Moogyeong Kim, Wonzoo Chung

“…This study presents a novel automatic sleep staging method utilizing a pre-trained vision transformer with compression as a sequence encoder and a two-step attention to enhance the sleep-stage classification performance. …”
Get full text

Free Vibration Analysis of Hydraulic Quick Couplings Considering Fluid–Structure Interaction Characteristics by Yuchao Liu, Fei Ma, Xiaoguang Geng, Songyuan Wang, Zhihong Zhou, Chun Jin

“…As an important component of the automatic hydraulic quick coupling device (AHQCD) on rescue vehicles, the hydraulic quick couplings (HQCs) are used to rapidly dock hydraulic lines and transport fluid while changing and operating hydraulic working tools. …”
Get full text

YOLORM: An Advanced Key Point Detection Method for Accurate and Efficient Rotameter Reading in Low Flow Environments by Huang Yong, Xia Xing, Xiao Shengwang

“…Automatic reading of rotameters in low flow and challenging environments poses substantial accuracy and efficiency challenges. …”
Get full text

An Auto-Annotation Approach for Object Detection and Depth-Based Distance Estimation in Security and Surveillance Systems by Misbah Bibi, Muhammad Faseeh, Anam Nawaz Khan, Atif Rizwan, Qazi Waqas Khan, Rashid Ahmad, Do-Hyeun Kim

“…The framework incorporates both manual and automatic modes, offering flexibility in object labeling. …”
Get full text

Colorectal cancer unmasked: A synergistic AI framework for Hyper-granular image dissection, precision segmentation, and automated diagnosis by Akella S. Narasimha Raju, K. Venkatesh, M. Rajababu, Ranjith Kumar Gatla, Shaik Jakeer Hussain, G. Satya Mohan Chowdary, T. Ganga Bhavani, Mohammed Kareemullah, Sameer Algburi, Ali Majdi, Ahmed M. Abdulhadi, Wahaj Ahmad Khan

Get full text

Research on Software Defined Network Application in Optical Transmission Network by Yunbo Li, Han Li, Sheng Liu

Get full text

Vision-Guided Fuzzy Adaptive Impedance-Based Control for Polishing Robots Under Time-Varying Stiffness by Qinsheng Li, Xiaozhen Lian

Get full text