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

7th israeli conference on computer systems and software engineering, ICCSSE 1996

ISBN: (纸本)0818675365

The proceedings contain 16 papers. The topics discussed include: combining function points software estimation model with ADISSA methodology for systems analysis and design;modeling an industrial software process using a commercially available tool;creating transient hypertextual access structures for c programs;automatic jazz accompaniment computation: open advice-based approach;computer science apprenticeship;a system for document reuse;tool and method reciprocity: a case study in requirements management;testing concurrent programs: a formal evaluation of coverage criteria;and integrating groupware activities into workflow management systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Study on the Evaluation of Cyber Security Vulnerabilities in Medical software

A Study on the Evaluation of Cyber Security Vulnerabilities ...

引用

International conference on Electronics, Information and Communications (ICEIC)

作者： Jeong-Hyun Woo Jee-Hyun Koo Byung-Suk Seo Sun-Young Son Kwang-Man Ko Dept. of Computer Engineering Sang-Ji University Republic of Korea Dept. of Bigdata Science Sang-Ji University Republic of Korea Dept. of Electrical and Electronic Engineering Sang-Ji University Republic of Korea

ISBN: (数字)9798331510756

ISBN: (纸本)9798331510763

In this paper, we examine the cybersecurity vulnerability assessment method of medical software. Medical software processes patient sensitive data and is linked to various medical devices and systems in real time. Due to these characteristics, medical software is highly likely to be exposed to various cybersecurity threats such as ransomware, data leakage, and medical device hacking. Based on the international standard IEC TS 60601-4-5, we propose threat modeling, vulnerability scanning, and penetration testing as a methodology for assessing the security vulnerabilities of medical software. Through this, we can identify security vulnerabilities in advance and prepare measures to respond quickly. We can prevent security threats and improve the safety of medical software through response strategies such as security patches and updates, network separation, data encryption, and security education. In conclusion, strengthening the security of medical software is essential to maintain patient safety and the reliability of the medical system, and systematic security assessment and continuous response are required.

关键词： Threat modeling Medical devices Education software software reliability Encryption computer crime IEC Standards Standards Penetration testing

来源：评论

学校读者我要写书评

暂无评论

Palantir: Towards Efficient Super Resolution for Ultra-high-definition Live Streaming 25

Palantir: Towards Efficient Super Resolution for Ultra-high-...

引用

16th ACM Multimedia systems conference, MMSys 2025

作者： Jin, Xinqi Zhu, Zhui Sun, Xikai Dang, Fan Liu, Jiangchuan Xu, Jingao Liu, Kebin Chen, Xinlei Liu, Yunhao School of Software & BNRist Tsinghua University Beijing China Department of Automation & BNRist Tsinghua University Beijing China School of Software Engineering Beijing Jiaotong University Beijing China School of Computing Science Simon Fraser University Burnaby Canada Computer Science Department Carnegie Mellon University Pittsburgh United States Global Innovation Exchange Tsinghua University Beijing China Shenzhen International Graduate School Tsinghua University Shenzhen China

ISBN: (纸本)9798400714672

Neural enhancement through super-resolution (SR) deep neural networks (DNNs) opens up new possibilities for ultra-high-definition (UHD) live streaming. Yet, the heavy SR DNN inference overhead leads to severe deployment challenges. To reduce the overhead, existing systems propose to apply DNN-based SR only on carefully selected anchor frames while upscaling non-anchor frames via the lightweight reusing-based SR approach. However, frame-level scheduling is coarse-grained and fails to deliver optimal efficiency. In this work, we propose Palantír, the first neural-enhanced UHD live streaming system with fine-grained patch-level *** the core of Palantír is its SR video quality estimation strategy which guides the low-delay selection of the most beneficial anchor patches. Although existing systems propose estimation strategies for anchor frame selection, these strategies heavily rely on empirical insights that cannot be transferred to our context, making fine-grained scheduling a challenging problem that requires a fundamentally new solution. Facing the challenge, we follow the first-principles approach and derive a directed acyclic graph (DAG) model to address the problem. The model can also be generalized to various settings due to its first-principles nature. Compared to the state-of-the-art real-time frame-level scheduling strategy for live streaming, Palantír reduces the anchor size by 80.1% at most and 38.4% on average without compromising the quality gain. Furthermore, Palantír incurs a scheduling latency accounting for only 0.6-3.9% of the end-to-end latency requirement for UHD live streaming. © 2025 Copyright is held by the owner/author(s). Publication rights licensed to ACM.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Learning of Generative Automaton Models from Sequential Data 22nd

Hierarchical Learning of Generative Automaton Models from ...

引用

22nd International conference on software engineering and Formal Methods, SEFM 2024

作者： von Berg, Benjamin Aichernig, Bernhard K. Rindler, Maximilian Štern, Darko Tappler, Martin Institute of Software Technology Graz University of Technology Graz Austria TU Wien Vienna Austria AVL List GmbH Graz Austria

ISBN: (纸本)9783031773815

Passive automata learning is a method for inferring automaton models from a given collection of observations of system behavior (traces). It has been applied to reactive systems with probabilistic behavior. In particular, IOAlergia is a well known algorithm for inferring models in the form of deterministically labeled Markov decision processes from system traces. The quality of the resulting model depends heavily on the provided data set and suffers if data is scarce. However, in many cases additional knowledge about the system is available. This work aims to incorporate knowledge about system modes into the learning process in order to improve model quality for low-data scenarios. This is done by splitting the traces according to system modes, learning individual models for each mode and combining those models into one model with sub-regions corresponding to individual system modes. In our evaluation on artificial models, our method outperforms the baseline in at least 90 % of cases for all considered metrics. This method was developed to learn generative models of human driving behavior. Data from recorded test drives on highways was used to learn a hierarchical stochastic model of typical acceleration behavior of human drivers. In the automotive industry, such models make the simulations of driving emissions more realistic. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Optimal Sizing and Feasibility Study of Micro-Grid System for Rural Area in Gashamo Village, Somali Region of Ethiopia 11th

Optimal Sizing and Feasibility Study of Micro-Grid System fo...

引用

11th EAI International conference on Advancement of Science and Technology, ICAST 2023

作者： Tegegn, Eyob Abayneh Beza, Teketay Mulu Faculty of Electrical and Computer Engineering Bahir Dar Institute of Technology Bahir Dar University Bahir Dar Ethiopia

ISBN: (纸本)9783031641503

Micro-grid power systems that utilize renewable energy sources, such as solar PV and wind turbines, are a viable solution for providing electricity to remote areas that are not connected to national grids. By combining various renewable energy sources and utilizing battery storage and backup diesel generators, these hybrid systems can provide reliable off-grid power. This paper focused on optimal sizing and feasibility study of a micro-grid system consisting of solar PV, wind turbines, battery banks, diesel generator, and a converter for the rural area of Gashamo village, located in the eastern part of Jarar Zone in the Somali Region of Ethiopia. The hybrid system was designed based on the primary load demand of the village, which was 2895 kWh/day, with a peak load of 176 kW, deferrable energy of 225 kWh/day, and a deferrable peak load of 37 kW, with a COE of $0.162/kWh. The HOMER (Hybrid Optimization Model for Electric Renewable) software tool was utilized to simulate and optimize the off-grid system and energy management system. Solar PV and wind energy were considered as primary sources to supply electricity directly to the load and to charge the battery bank when excess energy generation was available, with the diesel generator serving as a backup. During the design of the power system setup, simulation and optimization were conducted based on load demand, climatic data, economics of integrated system components, and other parameters, with the aim of minimizing the total NPC and levelized COE to select an economically feasible and technically capable hybrid power system. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Wind power

来源：评论

学校读者我要写书评

暂无评论

Analysis of AI Singing Technology Based on Praat software

Analysis of AI Singing Technology Based on Praat Software

引用

Electronics, Energy systems and Power engineering (EESPE), IEEE International conference on

作者： Ruoyu Wang School of Computer Science Hong Kong Baptist University Hong Kong China

ISBN: (数字)9798350389579

ISBN: (纸本)9798350389586

This study explores the core technology behind many contemporary virtual singers, specifically AI singing technology, from the perspective of the Xiaoice framework. The paper compares AI singing with human singing in terms of resonance, breathing, head-chest voice transition, and articulation. Using Praat software, the study analyzes pitch, timbre, and transitions between vowels and consonants. The results reveal significant differences between AI and human singing in terms of pitch processing and articulation, which in turn affect the emotional expression and performance of songs. While certain features of AI singing are difficult for the human ear to distinguish, other features are easily identifiable. The study concludes that AI singing technology needs further refinement to surpass the expressive capabilities of the human voice. Additionally, the paper discusses the future prospects of AI singing technology, emphasizing that AI with singing capabilities, unlike AI that merely provides knowledge storage, is less likely to become obsolete and has considerable potential for development.

关键词： Power engineering Entertainment industry Ear Information age software Resonance Timbre Human voice Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

QIoT: IoT Architectures in Quantum Computing Era

QIoT: IoT Architectures in Quantum Computing Era

引用

IEEE International conference on software Architecture Workshops (ICSAW)

作者： Mina Alipour MMMI Software Engineering University of Southern Denmark Odense Denmark

ISBN: (数字)9798331533366

ISBN: (纸本)9798331533373

Recent advancements in quantum computing have highlighted the necessity for specialized software to effectively address the unique challenges of quantum systems. The integration of quantum computing with IoT ecosystems, forming the Quantum Internet of Things (QIoT), offers transformative potential across security, efficiency, and computational scalability. This paper presents a review of QIoT architectures, focusing on their core dimensions, including security, blockchain integration, quantum-assisted machine learning, and quality attributes. By synthesizing findings and proposing a structured taxonomy, we address gaps and explore pathways for future research and innovation. The paper aims to serve as a roadmap for researchers and practitioners navigating the complexities of QIoT systems.

关键词： Technological innovation Quantum computing Navigation Scalability Taxonomy computer architecture Machine learning Blockchains Security Internet of Things

来源：评论

学校读者我要写书评

暂无评论

EduGym Post-Mortem: Open Educational Resource for Educational Game

EduGym Post-Mortem: Open Educational Resource for Educationa...

引用

Advancement in Data Science, E-learning and Information systems (ICADEIS), International conference on

作者： Jos Timanta Tarigan Elviawaty Muisa Zamzami Niskarto Zendrato Anandhini Medianty Nababan Faculty of Computer Science and Information Technology Universitas Sumatera Utara Medan Indonesia

ISBN: (数字)9798331513320

ISBN: (纸本)9798331513337

This paper aims to delve into the development of EduGym, an educational microlearning game specifically designed for mobile platforms. The discussion highlights the implementation and integration of Open Educational Resources (OER) and examines their significant impact on the development process. The project strategically used OER as the primary content source to ensure seamless future content expansion without requiring changes to the core application. This approach also empowers other developers to repurpose and adapt the content for various educational applications. Furthermore, the paper addresses key challenges encountered during the development process from a software engineering standpoint, including maintaining flexibility, ensuring scalability, and managing resource allocation. The study outlines the overall architecture of EduGym, detailing the development workflow and the ways in which OER integration influenced both development and resource management. The aim is to offer valuable insights and practical guidance for developers and educators who are exploring similar methodologies, informed by the lessons learned and experiences gained through the creation of EduGym.

关键词： Human computer interaction Electronic learning Scalability Games Open Educational Resources computer architecture Data science Resource management software engineering Information systems

来源：评论

学校读者我要写书评

暂无评论

Real-Time Simulation of Complex 4D Wind Fields and Gusts for UAS Control System Development

Real-Time Simulation of Complex 4D Wind Fields and Gusts for...

引用

International conference on Unmanned Aircraft systems (ICUAS)

作者： Surabhi Parab Artur Wolek Dipankar Maity Andrew Willis Electrical and Computer Engineering Charlotte NC USA Mechanical Engineering and Engineering Science University of North Carolina at Charlotte Charlotte NC USA

ISBN: (数字)9798331513283

ISBN: (纸本)9798331513290

This article describes a new suite of simulation plugins for the Gazebo 3D simulator to facilitate realistic simulation of time-varying 3D wind fields and gusts. The plugins integrate with ROS and Pixhawk PX4 software-In-The-Loop (SITL) firmware to aid in the development of robust UAS control systems. Our approach features two main components: (1) real-time plugins for simulating environmental and sensed versions of complex, spatially varying wind velocity fields, using a Fourier-based compression of large CFD datasets, and (2) real-time plugins for modeling environmental and sensed versions of short-duration windblasts. By building on opensource Gazebo and ROS software, the developed framework provides high-accuracy physics simulation with support for multiple vehicles, fostering improved flight controller design and testing in cluttered or challenging atmospheric conditions.

关键词： Three-dimensional displays Atmospheric modeling Wind speed Urban areas Control systems Aerodynamics Real-time systems Vehicle dynamics Time-varying systems Testing

来源：评论

学校读者我要写书评

暂无评论

LED there be DoS: Exploiting variable bitrate IP cameras for network DoS

arXiv

引用

arXiv 2025年

作者： Goldberg, Emmanuel Brodt, Oleg Elyashar, Aviad Puzis, Rami Department of Software and Information Systems Engineering Ben-Gurion University of the Negev Israel Cyber Labs@BGU Ben-Gurion University of the Negev Israel Department of Computer Science Shamoon College of Engineering Israel

Variable-bitrate video streaming is ubiquitous in video surveillance and CCTV, enabling high-quality video streaming while conserving network bandwidth. However, as the name suggests, variable-bitrate IP cameras can generate sharp traffic spikes depending on the dynamics of the visual input. In this paper, we show that the effectiveness of video compression can be reduced by up to 6× using a simple laser LED pointing at a variable-bitrate IP camera, forcing the camera to generate excessive network traffic. Experiments with IP cameras connected to wired and wireless networks indicate that a laser attack on a single camera can cause significant packet loss in systems sharing the network with the camera and reduce the available bandwidth of a shared network link by 90%. This attack represents a new class of cyber-physical attacks that manipulate variable bitrate devices through changes in the physical environment without a digital presence on the device or on the network. We also analyze the broader view of multidimensional cyberattacks that involve both the physical and digital realms and present a taxonomy that categorizes attacks based on their direction of influence (physical-to-digital or digital-to-physical) and their method of operation (environment-driven or device-driven), highlighting multiple areas for future research. © 2025, CC BY-NC-ND.

关键词： Video streaming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：