The modern rapid development of means and technologies for education is aimed at reducing classroom classes and remote control of knowledge and skills of education seekers. The adaptation of the education system to th...
详细信息
ISBN:
(数字)9798350374865
ISBN:
(纸本)9798350374872
The modern rapid development of means and technologies for education is aimed at reducing classroom classes and remote control of knowledge and skills of education seekers. The adaptation of the education system to the remote regime has become especially relevant throughout the world during the period of quarantine restrictions caused by COVID-19. In Ukraine, the urgency of developing and implementing info-communication systems in the education process has been intensified by the martial law since February 24, 2022. The urgent need to rebuild a large number of buildings and structures destroyed and damaged by hostilities makes special demands on graduates of construction educational institutions. However, the fundamental studying of specialists in this field in remote mode requires specialized info-communication systems, creating of which need taking part of specialists in the field. On-line testing is the main means of guaranteeing the quality of the modern educational process. Therefore, the article presents the specialized on-line testing system "Fast Knowledge Test", which was developed at the Kyiv National University of Construction and architecture with the participation of stakeholders. The system operates during 2021-2023 and while the monitoring of students’ knowledge and skills remains with the teacher, but the service provides for its automation.
Advanced Air Mobility (AAM) envisages a sustainable, safe, convenient, and affordable air transport system. In socio-technical transition of AAM, there are a number of trade-offs in ecosystem that need to be studied. ...
详细信息
Advanced Air Mobility (AAM) envisages a sustainable, safe, convenient, and affordable air transport system. In socio-technical transition of AAM, there are a number of trade-offs in ecosystem that need to be studied. Three perspectives on economic feasibility are explored: first, based on history of VTOL services and value of time estimates, we discuss whether AAM can provide customers with competitive mobility services; second, what are the stakeholders’ insights on the deployment of AAM; last, the experience in the development of autonomous driving technology, such as parallel intelligence, can inform future AAM research.
In realistic distributed optimization scenarios, individual nodes possess only partial information and communicate over bandwidth constrained channels. For this reason, the development of efficient distributed algorit...
详细信息
ISBN:
(数字)9798350316339
ISBN:
(纸本)9798350316346
In realistic distributed optimization scenarios, individual nodes possess only partial information and communicate over bandwidth constrained channels. For this reason, the development of efficient distributed algorithms is essential. In our paper we addresses the challenge of unconstrained distributed optimization. In our scenario each node’s local function exhibits strong convexity with Lipschitz continuous gradients. The exchange of information between nodes occurs through 3-bit bandwidth-limited channels (i.e., nodes exchange messages represented by a only 3 -bits). Our proposed algorithm respects the network’s bandwidth constraints by leveraging zoom-in and zoom-out operations to adjust quantizer parameters dynamically. We show that during our algorithm’s operation nodes are able to converge to the exact optimal solution. Furthermore, we show that our algorithm achieves a linear convergence rate to the optimal solution. We conclude the paper with simulations that highlight our algorithm’s unique characteristics.
Timely updating of Internet of Things (IoT) data is crucial for immersive vehicular metaverse services. However, challenges such as latency caused by massive data transmissions, privacy risks associated with user data...
详细信息
We use fixed relays deployed by network operators to reduce re-transmission (thereby reducing network power requirements) in addition to providing excellent end-to-end error performance in a revisit to automatic repea...
详细信息
The popularity of Metaverse as an entertainment, social, and work platform has led to a great need for seamless avatar integration in the virtual world. In Metaverse, avatars must be updated and rendered to reflect us...
详细信息
Similarity transformation problems are important in robotic instrumentation and computer vision based measurements since in many cases the information of visually observed scene scale is unknown and must be restored f...
详细信息
Similarity transformation problems are important in robotic instrumentation and computer vision based measurements since in many cases the information of visually observed scene scale is unknown and must be restored for accurate 3-dimensional reconstruction. In existing solvers, the scale is often considered as a scalar, i.e., isotropic, which may be invalid for anisotropic-scale setups. This paper exploits some mathematical coincidences that will lead to efficient solution to these problems. Possible further applications also include hand-eye calibration and structure-from-motion. We revisit pose estimation problems within the framework of similarity transformation, the one that considers scale-stretching, rotation and translation simultaneously. Two major problems are taken into account, i.e., the scale-stretching point-cloud registration and perspective-n-points (PnP). It has been found out that these two problems are quite similar. Moreover, we solve the anisotropic-scale registration problem that is important and is a remaining unsolved one in previous literatures. To compute the globally optimal solution of these non-convex problems, algebraic solution is obtained to compute all local minima using computationally efficient methods. The designed algorithm is deployed for robotic-arm pose estimation. We also extend the algorithm for solving the problem of robust magnetometer calibration. Visual pose experiments verify the superiority of the proposed method compared with representatives, including P3P, Lambda-Twist P3P and EPnP, which can be reproduced by repository in https://***/zarathustr/APnP. IEEE
In this paper, we introduce a ROS based framework designed for the planning and control of robotic systems within the context of precision agriculture, with an emphasis on human-in-the-loop capabilities. Utilizing Lin...
详细信息
ISBN:
(数字)9798350358513
ISBN:
(纸本)9798350358520
In this paper, we introduce a ROS based framework designed for the planning and control of robotic systems within the context of precision agriculture, with an emphasis on human-in-the-loop capabilities. Utilizing Linear Temporal Logic to articulate complex task specifications, our algorithm creates high-level robotic plans that are not only correct by design but also adaptable in real time by human operators. This dual-focus approach ensures that while humans have the flexibility to modify the high-level plan on-the-fly or even take over low-level control of the robots, the system inherently safeguards against any human actions that could potentially breach the predefined task specifications. We demonstrate our algorithm within the dynamic and challenging environment of a real vineyard, where the collaboration between human workers and robots is critical for tasks such as harvesting and pruning, and show the practical applicability and robustness of our software. This work marks a pioneering application of formal methods to complex, real-world agricultural environments.
This paper studies the problem of secure state estimation of a linear time-invariant (LTI) system with bounded noise in the presence of sparse attacks on an unknown, time-varying set of sensors. At each time, the atta...
详细信息
This paper studies the problem of secure state estimation of a linear time-invariant (LTI) system with bounded noise in the presence of sparse attacks on an unknown, time-varying set of sensors. At each time, the attacker has the freedom to choose an arbitrary set of no more than p sensors and manipulate their measurements without restraint. To this end, we propose a secure state estimation scheme and guarantee a bounded estimation error irrespective of the attack signals subject to 2p-sparse observability and a mild, technical assumption that the system matrix has no degenerate eigenvalues. The proposed scheme comprises a design of decentralized observers for each sensor based on the local observable subspace decomposition. At each time step, the local estimates of sensors are fused by a median operator to obtain a secure estimation, which is then followed by a local detection-and-resetting process of the decentralized observers. The estimation error is shown to be upper-bounded by a constant which is determined only by the system parameters and noise magnitudes. Moreover, we design the detector threshold to ensure that the benign sensors never trigger the detector. The efficacy of the proposed algorithm is demonstrated by its application on a benchmark example of IEEE 14-bus system. We show that our proposed scheme can effectively tolerate sparse attacks on an unknown set of sensors, ensuring a bounded estimation error and effectively detecting and resetting the attacked sensors.
暂无评论