检索结果-内蒙古大学图书馆

Correctness by construction for high-integrity real-time systems: a metamodel-driven approach 07

Proceedings of the 12th international conference on Reliable software technologies

作者： Matteo Bordin Tullio Vardanega Department of Pure and Applied Mathematics University of Padua Padova Italy

ISBN: (纸本)9783540732297

Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business applications. Unfortunately, model-driven approaches as they presently stand focus more on attaining greater extents of automation than on warranting absolute end-to-end correctness for the target development process. this paper presents some elements of a novel approach that centres on a correctness-by-construction philosophy rooted on a domain-specific metamodel designed to formally define and constrain the design space and prove the allowable model transformations down to automated code generation.

关键词： metamodelling correctness by construction Ravenscar Profile model-driven architecture

来源：评论

学校读者我要写书评

暂无评论

Bio-Inspired Quadruped Robots: Autonomous Navigation In Dynamic Environments

Bio-Inspired Quadruped Robots: Autonomous Navigation In Dyna...

引用

RSI/ISM international conference on Robotics and Mechatronics (ICROM)

作者： Omid Koochakianfard Milad Alizadeh Majid Sadedel dept. Biomedical Engineering Tehran University of Medical Sciences Tehran Iran dept. Mechanical Engineering Tarbiat Modares University Tehran Iran

ISBN: (数字)9798331529734

ISBN: (纸本)9798331529741

this paper presents a novel approach to autonomous navigation for an insect-inspired bio-mimetic quadruped robot in dynamic unknown environments. the proposed navigation system integrates a behavior-based control algorithm, combining goal attraction, obstacle avoidance, and wall-following strategies to enhance adaptability of quadruped robots in dynamic environments. the robot is modeled as a unicycle to simplify control, allowing it to track reference trajectories using only linear and angular velocities. A multilayer control architecture is employed, transforming high-level navigation decisions into joint-level commands for real-time locomotion. Simulation results demonstrate the robot's ability to achieve real-time path planning, maintain safe distances from obstacles, and exhibit efficient locomotion even in obstacle-rich and dynamic environments. this study offers a robust solution for enhancing the autonomy and adaptability of quadruped robots, with significant implications for applications in search and rescue, exploration, and medical assistance.

关键词： Legged locomotion Adaptation models Navigation Heuristic algorithms Robot sensing systems real-time systems Trajectory Quadrupedal robots Robots Autonomous robots

来源：评论

学校读者我要写书评

暂无评论

real time Road Lane Detection and Vehicle Detection on YOLOv8 with Interactive Deployment

Real Time Road Lane Detection and Vehicle Detection on YOLOv...

引用

international conference on Computational Intelligence and Communication Networks (CICN)

作者： Girish Sai Pavan Kumar Segu Annam Devi Satya Naga Sivannarayana S. Ramesh Department of Computing Technologies School of Computing College of Engineering and Technology SRM Institute of Science and Technology

ISBN: (数字)9798331505264

ISBN: (纸本)9798331505271

Modern strides in autonomous vehicles and embedded advanced driver assistant part systems(ADAS) have forced the need of an efficient in addition to accurate system intended for clear road lane as in addition to vehicle detection. For road lane detection, this study introduces a new proposal through the combination of YOLOv8 (You Only Look Once), and YOLO for vehicle detection, creating a complete package for road understanding and navigation. To achieve accurate road lane detection, YOLOv8, which is the fastest and most accurate model to date, is used to ensure that it can keep track of these lanes in real-time with consistent accuracy whenever the camera is placed under various scenarios with insufficient lighting and occlusions as well. At the same time it uses YOLO for vehicle detection, which improves the recognition and interpretation of the presence and motion of vehicles in real time. the system uses Streamlit, which is an open-source app framework for Machine Learning and Data Science projects to provide an intuitive user experience. Finally, we build an interface to provide results of lane and vehicle detection in realtime manner to allow ease of monitoring and evaluation on the overall system. the combination of YOLOv8 and YOLO with Streamlit provides a powerful, scalable, and deployable solution for practical computer vision applications. Combining well established object detection algorithms with a simplified deployment platform, the proposed system tackles some of the hardest and time consuming areas of autonomous driving. the goal is to make significant contributions to both the safety and efficiency of autonomous vehicles and pave the way for further inevitable advances in ADAS.

关键词： YOLO Accuracy Lane detection Vehicle detection Roads Radar tracking real-time systems Safety Autonomous vehicles Vehicles

来源：评论

学校读者我要写书评

暂无评论

Iterative Scheduling for Distributed Stream Processing systems 18

Iterative Scheduling for Distributed Stream Processing Syste...

引用

Proceedings of the 12th ACM international conference on Distributed and Event-based systems

作者： Leila Eskandari Jason Mair Zhiyi Huang David Eyers Department of Computer Science University of Otago Dunedin New Zealand

ISBN: (纸本)9781450357821

Nowadays data stream processing systems need to efficiently handle large volumes of data in near real-time. To achieve this, the schedulers within such systems minimise the data movement between highly communicating tasks, improving system throughput. However, finding an optimal schedule for these systems is NP-hard. In this research, we propose a heuristic scheduling algorithm which reliably and efficiently finds the highly communicating tasks by exploiting graph partitioning algorithms and a mathematical optimisation software package. We evaluate our scheduler with two popular existing schedulers R-Storm and Aniello et al.'s 'Online scheduler' using two real-world applications and show that our proposed scheduler outperforms R-Storm, increasing throughput by between 3% and 30% and Online scheduler by 20--86% as a result of finding a more efficient schedule.

关键词： Stream processing Graph Partitioning Scheduling

来源：评论

学校读者我要写书评

暂无评论

applications, Insights and Implications of Digital Twins in Smart City Management

Applications, Insights and Implications of Digital Twins in ...

引用

international Smart Grid Workshop and Certificate Program (ISGWCP)

作者： Mustafa Ersan Erdal Irmak Alperen Mustafa Colak Department of Electrical and Electronics Engineering Graduate School of Natural and Applied Sciences Gazi University Ankara Türkiye Department of Electrical and Electronics Engineering Faculty of Technology Gazi University Ankara Türkiye Industrial and Energy Systems Division Toshiba Mitsubishi-Electric Industrial Systems Corporation Tokyo Japan

ISBN: (数字)9798350361612

ISBN: (纸本)9798350361629

Digital twins (DTs) represent a transformative paradigm in urban management, leveraging computer modelling and real-time data integration to create virtual replicas of physical entities and systems. this paper explores their multifaceted applications, emphasizing efficiency, sustainability, and resilience. Synthesizing insights from diverse disciplines, it delineates the process of building digital twins and underscores their role in predictive maintenance, optimized performance, and data-driven decision-making. Using a smart city example, the paper illustrates how digital twins facilitate proactive interventions, resource optimization, and informed decision-making in domains such as traffic management, energy optimization, and public safety. It highlights the significance of digital twins in fostering collaboration, innovation, and resilience, empowering cities to address complex challenges and create inclusive, sustainable environments. In conclusion, digital twins emerge as indispensable tools in realizing the vision of smart, connected, and adaptive cities, poised to navigate the complexities of the contemporary urban landscape and pave the way for a sustainable future.

关键词： Technological innovation Smart cities Decision making real-time systems Public security Digital twins Sustainable development

来源：评论

学校读者我要写书评

暂无评论

FAO WaPOR open access data for improved irrigation advisory services: applications example from Tunisia

FAO WaPOR open access data for improved irrigation advisory ...

引用

international conference on Agro-Geoinformatics

作者： Karim Bergaoui Makram Belhaj Fraj Anis Bousselmi Radhouan Nciri Rabah Kalboussi Mark Dougherty Insaf Cheriff Virginie Gillet Karl Morteo Petra Schmitter Moctar Dembélé Livia Peiser International Water Management Institute Tunis Tunisia Institut National des Grandes Cultures Tunis Tunisia Auburn University Auburn USA Food and Agriculture Organization of the United Nations Tunis Tunisia Food and Agriculture Organization of the United Nations Rome Italy

ISBN: (数字)9798350380606

ISBN: (纸本)9798350380613

FAO with the support of the Government of the Netherlands maintain a publicly accessible near real time database called WaPOR (https://***). the information provided enables a range of services for farmers, irrigation operators and government agencies to better monitor and promote the efficient use of natural resources. To translate the data into actionable and policy relevant information, remote sensing, hydrology and agronomy experts are developing tools and applications in selected countries. In Tunisia, for example, data from WaPOR is being used to support agricultural advisory services delivered through a smartphone application. WaPOR Actual EvapoTranspiration ETa data from Jendouba area is used in the IREY app developed by the Institut National des Grandes Cultures (INGC). the Smart Irrigation App IREY provides advices to farmers on real-time irrigation schedules for selected crops.

关键词： Natural resources Irrigation Schedules Hydrology Open Access Government real-time systems

来源：评论

学校读者我要写书评

暂无评论

Design and Development of Cyber Physical System for real-time Web-based Visualization and Control of Robot Arm

Design and Development of Cyber Physical System for Real-Tim...

引用

IEEE international conference on Control and Robotics Engineering (ICCRE)

作者： Suwanan Khrueangsakun Santi Nuratch Panuthat Boonpramuk Embedded Computing and Control Laboratory Faculty of Engineering KMUTT Bangkok Thailand

ISBN: (数字)9781728167916

ISBN: (纸本)9781728167923

Since Cyber-Physical System or CPS currently takes part in industrial, there is a lot of research for developing this system. From the survey and the trend of CPS research, a human user interface for control and monitor was highlighted as Digital Twins where VR and AR are introduced to improve the visualization for easier system interpretation. this paper introduces the proposed design of real-time control web-based monitor and control of 4-DoF robotic arm system where the robotic arm represents a physical part and web-based visualization as a cyber-part. the 4-DoF robotic arm was utilized from MeArm robot and was controlled via ESP32 WROOM with Wi-Fi module in order to pursue wireless data transmission. WebSocket protocol will be exploited to connect between the physical and cyber-part where the virtual model was displayed and controlled via web-browser, the virtual model of the robot was created with 3D blender and operated with WebGL-based 3D application which can be integrated and run on web-browser without extension. the proposed design was evaluated with operational time and error between the controlled virtual model and actual physical angle, the result achieved 278.772 ms for average operational time and 0.32% in error of angle between virtual and actual. As a result, the proposed design provided two-way communication, real-time control, and monitor which can be applied in industrial applications.

关键词： Manipulators Solid modeling three-dimensional displays real-time systems Servers Service robots

来源：评论

学校读者我要写书评

暂无评论

SyncSnap: Synchronized Live Memory Snapshots of Virtual Machine Networks

SyncSnap: Synchronized Live Memory Snapshots of Virtual Mach...

引用

IEEE international conference on High Performance computing and Communications (HPCC)

作者： Bin Shi Bo Li Lei Cui Jieyu Zhao Jianxin Li School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781479961245

With the prevalence of virtualization technology, virtual machine networks (VMN) have been widely used in host network applications. To provide fault tolerance and non-stop features to network applications and preserve the network consistency among virtual machines (VM), the distributed snapshot technique of virtual machine networks regains the attention of academia. While existing approaches still suffer from long service interruption and performance degradation when taking snapshots. Especially the TCP back off problem, which is due to the inconsistence of the snapshot completion time among VMs, may lead to network packet loss and even crash the connections among virtual machines. In this paper, we present Sync Snap, a system that takes live distributed memory snapshots of virtual machine networks synchronously with only milliseconds of downtime and ensure all the VMs complete snapshots at almost the same time. An adaptive single-VM snapshot approach is proposed to accurately control the snapshot duration through dynamically adjusting the snapshot speed. Furthermore, a synchronization mechanism is designed to ensure that a global consistency state of VMN can be reached by controlling snapshot duration of each VM. We have implemented SyncSnap on QEMU/KVM and performed several experiments to evaluate its effectiveness and efficiency. the experimental results demonstrate that our approach can control the VM snapshot duration to a given value with only tens of milliseconds deviation and reduce TCP back off duration to hundreds milliseconds.

关键词： Virtual machining Servers Synchronization real-time systems Calibration Radiation detectors Process control

来源：评论

学校读者我要写书评

暂无评论

Exploring the Feasibility of Event-Related Potentials in Visual Surveillance applications

Exploring the Feasibility of Event-Related Potentials in Vis...

引用

international Winter Workshop on Brain-Computer Interface (BCI)

作者： Byoung-Hee Kwon Dong-Kyun Han Hyung-Ju Ahn Dept. of Brain and Cognitive Engineering Korea University Seoul Republic of Korea Dept. of Artificial Intelligence Korea University Seoul Republic of Korea

this study investigates the feasibility of leveraging Event-Related Potentials (ERP) within the realm of military surveillance, utilizing non-invasive brain-computer interface (BCI) technologies. Focused on enhancing static image target recognition capabilities, especially in the domain of satellite imagery, our research involved the creation of an extensive EEG database to foster advanced ERP classification through deep learning methodologies. ERPs, known for their association with sensory, cognitive, or motor event processing, are pivotal in the effective deployment of BCI for practical applications. Our approach entailed an in-depth analysis of EEG data, derived from personnel engaged in simulated surveillance tasks, to discern nuanced ERP classifications crucial for military surveillance operations. the cornerstone of our study was the real-time analysis of single-trial ERP data, employing sophisticated deep learning algorithms, with the objective of validating the practical applicability of EEG-based systems in military surveillance contexts. the outcomes of this research have the potential to inaugurate a new frontier in military surveillance, synergizing human cognitive prowess with advanced computational techniques. this integration of human cognitive processes with machine learning algorithms in military surveillance and target recognition is a significant contribution to the burgeoning field of BCI, offering novel solutions for bolstering national security and defense mechanisms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performance and energy efficiency analysis of HPC physics simulation applications in a cluster of ARM processors

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年第22期29卷 e4014.1-e4014.16页

作者： Bez, Jean Luca Bernart, Eliezer E. dos Santos, Fernando F. Schnorr, Lucas Mello Alexandre Navaux, Philippe Olivier Fed Univ Rio Grande do Sul UFRGS Inst Informat Caixa Postal 15064 BR-91501970 Porto Alegre RS Brazil

We analyze the feasibility and energy efficiency of using an unconventional cluster of low-power Advanced RISC Machines processors to execute two scientific parallel applications. For this purpose, we have selected two applications that present high computational and communication cost: the Ondes3D that simulates geophysical events, and the all-pairs N-Body that simulates astrophysical events. We compare and discuss the impact of different compilation directives and processor frequency and how they interfere in time-to-Solution and Energy-to-Solution. Our results demonstrate that by correctly tuning the application at compile time, for the Advanced RISC Machines architecture, we can considerably reduce the execution time and the energy spent by computing simulations. Furthermore, we observe reductions of up to 54.14% in time-to-Solution and gains of up to 53.65% in Energy-to-Solution with two cores. Additionally, we consider the impact of two processor frequency governors on these metrics. Results indicate that the powersave governor presents a smaller instantaneous power consumption. However, it spends more time executing tasks, increasing the energy needed to achieve the solution. Finally, we correlate the energy consumption with the execution time in the experimental results using Pareto. these findings suggest that it is possible to explore low-powered clusters for high-performance computing applications by tuning application and hardware configuration to achieve energy efficiency. Copyright (c) 2016 John Wiley & Sons, Ltd.

关键词： ARM energy-to-solution time-to-solution HPC

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：