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

19th ACM SIGSOFT Symposium on Foundations of software engineering, SIGSOFT/FSE'11

作者： Clements, Paul Escalona, María J. Inverardi, Paola Malavolta, Ivano Marchetti, Eda Software Engineering Institute Carnegie Mellon University United States Department of Languages and Computer Systems University of Sevilla Spain Department of Computer Science University of Aquila Italy Software Engineering Laboratory ISTI-CNR Pisa Italy

ISBN: (纸本)9781450304436

Currently, software testing is mainly carried on independently from software architecture-related information. Some approaches propose to perform integration and regression testing with respect to software architecture descriptions, but less attention has been paid to analysing software architecture in order to develop a less costly and time-consuming test plan that covers the requirements of the system of interest. If on one side, it is well known that providing an effective test plan is crucial to software quality, on the other side software testing is extremely difficult because it stems from the complexity of current software systems. In this paper we (i) elaborate on how a new architectural analysis can help in producing better test plans and (ii) identify a set of corresponding research challenges. We believe that considering and analysing architectural information for requirements satisfaction testing purposes will provide substantial benefits in terms of test plan specification process, test plan effectiveness, and test cases understandability. © 2011 ACM.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

A modeling and simulation framework for UAVs utilizing 4G-LTE cellular networks

引用

International Journal of Modeling, Simulation, and Scientific Computing 2018年第5期9卷 108-139页

作者： Shafagh Jafer Stephen Jones Ashok Vardhan Raja Department of Electrical ComputerSoftwareand Systems Engineering Embry-Riddle Aeronautical UniversityDaytona Beach32114 FLUSA

Only a small amount of work has been published on the topic of exploiting existing Long-Term Evolution-Advanced(LTE)cellular communication network infrastructure for Unmanned Aerial Vehicles(UAV)data *** paper documents a modeling and simulation(m&s)framework that has been developed utilizing the powerful OMNeT++simulation tool for assessing the feasibility and effectiveness of this prospect in various UAV *** multiple scenarios,we have studied the data rate requirements for communications between small and medium-sized UAVs and base *** this framework,we have shown that the data rate requirements for the links are within the data throughput achieved by LTE *** developed framework implements a propagation model endorsed by the 3GPP LTE project team and also accurately models the high mobility of *** framework is highly configurable and extensible and boasts of automatic aggregation of results and chart *** outcomes of this research may be utilized by industry for rapidly deploying highly mobile,low-cost UAVs in a wide range of applications and scenarios.

关键词： Unmanned air vehicle communication UAV Data Link OMNET++ 4GLTE modeling and simulation.

来源：评论

学校读者我要写书评

暂无评论

Investigating the Use of Email Application in Illiterate and Semi-Illiterate Population

引用

computers, Materials & Continua 2020年第3期62卷 1473-1486页

作者： Sadeeq Jan Imran Maqsood Salman Ahmed Zahid Wadud Iftikhar Ahmad National Center for Cyber Security-UETP Department of CS&ITUniversity of Engineering&TechnologyPeshawarPakistan Department of Computer Software Engineering University of Engineering&TechnologyMardanPakistan Department of Computer Systems Engineering University of Engineering&TechnologyPeshawarPakistan 不详

The use of electronic communication has been significantly increased over the last few *** is one of the most well-known means of electronic *** email applications are widely used by a large population;however,illiterate and semi-illiterate people face challenges in using them.A major population of Pakistan is illiterate that has little or no practice of computer *** this paper,we investigate the challenges of using email applications by illiterate and semi-illiterate *** addition,we also propose a solution by developing an application tailored to the needs of illiterate/semi-illiterate *** shows that illiterate people are good at learning the designs that convey information with pictures instead of text-only,and focus more on one object/action at a *** proposed solution is based on designing user interfaces that consist of icons and vocal/audio instructions instead of ***,we use background voice/audio which is more helpful than flooding a picture with a lot of *** tested our application using a large number of users with various skill levels(from no computer knowledge to experts).Our results of the usability tests indicate that the application can be used by illiterate people without any training or third-party’s help.

关键词： Illiterate semi-illiterate email usability user interfaces

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints

arXiv

引用

arXiv 2025年

作者： Kordabad, Arash Bahari Vlahakis, Eleftherios E. Lindemann, Lars Gros, Sebastien Dimarogonas, Dimos V. Soudjani, Sadegh The Max Planck Institute for Software Systems Kaiserslautern Germany The Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden The Thomas Lord Department of Computer Science the Ming Hsieh Department of Electrical and Computer Engineering Viterbi School of Engineering University of Southern California Los Angeles United States Trondheim Norway

In this paper, we propose a distributionally robust control synthesis for an agent with stochastic dynamics that interacts with other agents under uncertainties and constraints expressed by signal temporal logic (STL). We formulate the control synthesis as a chance-constrained program (CCP) with STL specifications that must be satisfied with high probability under all uncertainty tubes induced by the other agents. To tackle the CCP, we propose two methods based on concentration of measure (CoM) theory and conditional value at risk (CVaR) and compare the required assumptions and resulting optimizations. These approaches convert the CCP into an expectation-constrained program (ECP), which is simpler to solve than the original CCP. To estimate the expectation using a finite set of observed data, we adopt a distributionally robust optimization (DRO) approach. The underlying DRO can be approximated as a robust data-driven optimization that provides a probabilistic under-approximation to the original ECP, where the probability depends on the number of samples. Therefore, under feasibility, the original STL constraints are satisfied with two layers of designed confidence: the confidence of the chance constraint and the confidence of the approximated data-driven optimization, which depends on the number of samples. We then provide details on solving the resulting robust data-driven optimization numerically. Finally, we compare the two proposed approaches through case studies. Copyright © 2025, The Authors. All rights reserved.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

Unified resilience model using deep learning for assessing power system performance

引用

Heliyon 2025年第4期11卷 e42802页

作者： Artemchuk, Volodymyr Garbuz, Iurii Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Oliinyk, Andrii Bin Yusof, Mohd Faizal Herawan, Safarudin Gazali Department of Mathematical and Econometric Modelling G.E. Pukhov Institute for Modelling in Energy Engineering of the NAS of Ukraine Kyiv Ukraine Department of Environmental Protection Technologies and Radiation Safety Center for Information-analytical and Technical Support of Nuclear Power Facilities Monitoring of the NAS of Ukraine Kyiv Ukraine Department of Іnformation Systems in Economics Kyiv National Economic University Named After Vadym Hetman Kyiv Ukraine Department of Computerized Control System National Aviation University Kyiv Ukraine Department of Engineering Technology Fakulti Teknologi Dan Kejuruteraan Elektronik Dan Komputer (FTKEK) Universiti Teknikal Malaysia Melaka (UTeM) Melaka 76100 Malaysia Department of Computer Systems Networks and Cybersecurity of the National University of Life and Environmental Sciences of Ukraine Kyiv Ukraine Department of Software Tools Faculty of Computer Science and Technology Zaporizhzhia Polytechnic National University Zaporizhzhia Ukraine Research Section Faculty of Resilience Rabdan Academy Abu Dhabi United Arab Emirates Industrial Engineering Department Faculty of Engineering Bina Nusantara University Jakarta 11480 Indonesia

Energy resilience in renewable energy sources dissemination components such as batteries and inverters is crucial for achieving high operational fidelity. Resilience factors play a vital role in determining the performance of power systems, regardless of their operating environment and interruptions. This article introduces a Unified Resilience Model (URM) using Deep Learning (DL) to enhance power system performance. The proposed model analyzes environmental factors impacting the resilience of batteries and energy storage devices. This deep learning approach trains performance-impacting factors using previously known low resilience drain data. The learning output is utilized to augment various strengthening factors, thereby improving resilience. Drain mitigation and performance improvements are combined for direct impact verification. This process validates the model's fidelity in enhancing power system performance, with a specific focus on the impact of weather factors. © 2025 The Authors

关键词： Deep learning Energy resilience Fidelity Weather impact

来源：评论

学校读者我要写书评

暂无评论

Robust Cluster-Based Routing Protocol for IoT-Assisted Smart Devices in WSN

引用

computers, Materials & Continua 2021年第6期67卷 3505-3521页

作者： Maryam Shaq Humaira Ashraf Ata Ullah Mehedi Masud Muhammad Azeem N.Z.Jhanjhi Mamoona Humayun Department of Computer Science and Software Engineering International Islamic University IslamabadIslamabadPakistan Department of Computer Science National University of Modern LanguagesIslamabadPakistan Department of Computer Science College of Computers and Information TechnologyTaif UniversityTaif21944Saudi Arabia School of Computer Science and Engineering(SCE) Taylor’s UniversitySelangorMalaysia Department of Information Systems College of Computer and Information ScienceJouf UniversityAl-JoufSaudi Arabia

The Internet of Things(IoT)is gaining attention because of its broad applicability,especially by integrating smart devices for massive communication during sensing ***-assisted Wireless Sensor Networks(WSN)are suitable for various applications like industrial monitoring,agriculture,and *** this regard,routing is challenging to nd an efcient path using smart devices for transmitting the packets towards big data repositories while ensuring efcient energy *** paper presents the Robust Cluster Based Routing Protocol(RCBRP)to identify the routing paths where less energy is consumed to enhances the network *** scheme is presented in six phases to explore ow and *** propose the two algorithms:(i)energy-efcient clustering and routing algorithm and (ii)distance and energy consumption calculation *** scheme consumes less energy and balances the load by clustering the smart *** work is validated through extensive simulation using *** elucidate the dominance of the proposed scheme is compared to counterparts in terms of energy consumption,the number of packets received at BS and the number of active and dead *** the future,we shall consider edge computing to analyze the performance of robust clustering.

关键词： Energy efciency routing load balancing cluster selection

来源：评论

学校读者我要写书评

暂无评论

Robust sliding mode control of general time-varying delay stochastic systems with structural uncertainties

引用

Control Theory and Technology 2014年第4期12卷 357-367页

作者： Sheng-Guo WANG Libin BAI Mingzhi CHEN Department of Engineering Technology and Department of Software and Information Systems (Graduate Faculty) University of North Carolina at Charlotte (UNC Charlotte) Department of Software and Information Systems UNC Charlotte NC 28223-0001 U.S.A. College of Mathematics and Computer Science Fuzhou University

This paper presents a new robust sliding mode control （SMC） method with well-developed theoretical proof for general uncertain time-varying delay stochastic systems with structural uncertainties and the Brownian noise （Wiener process）. The key features of the proposed method are to apply singular value decomposition （SVD） to all structural uncertainties and to introduce adjustable parameters for control design along with the SMC method. It leads to a less-conservative condition for robust stability and a new robust controller for the general uncertain stochastic systems via linear matrix inequality （LMI） forms. The system states are able to reach the SMC switching surface as guaranteed in probability 1. Furthermore, it is theoretically proved that the proposed method with the SVD and adjustable parameters is less conservatism than the method without the SVD. The paper is mainly to provide all strict theoretical proofs for the method and results.

关键词： Robust control Time-varying delay systems Stochastic systems Lyapunov methods Sliding mode control Time-varying systems

来源：评论

学校读者我要写书评

暂无评论

Domain adaptive person re-identification via homogeneous hierarchical progressive adaptation and multi-view consistency

引用

Advanced engineering Informatics 2025年 67卷

作者： Zhengyang Wang Xiufen Ye Xue Shang Shuxiang Guo College of Intelligent Systems Science and Engineering Harbin Engineering University Harbin 150001 China Department of Electrical Computer and Software Engineering University of Auckland Auckland 1142 New Zealand Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen 518055 China

Domain adaptive person re-identification (Re-ID) encounters significant challenges when models trained on one dataset are deployed in new environments. It is particularly critical in engineering applications where surveillance infrastructure must be rapidly adapted to new environments without compromising security system reliability. The problem represents a knowledge-intensive engineering task that requires sophisticated knowledge representation and transfer mechanisms to support automated system reconfiguration decisions. These challenges include preserving fine-grained visual details, handling camera-specific variations, generating reliable pseudo-labels, maintaining consistency across multiple camera views, and managing varying difficulty levels in domain transfer. To address these issues, we propose a novel framework that separates adaptation into intra-domain and cross-domain learning phases. Our approach introduces several key innovations: an adaptive fine-grained network that preserves spatial details while ensuring domain invariance, a memory-guided learning method for stable feature representation, and a hierarchical adaptation strategy for reliable intra-domain learning. Additionally, we incorporate a progressive learning strategy for gradual domain adaptation and a consistency reinforcement mechanism to resolve cross-camera identity conflicts. Experiments on the Market-1501, DukeMTMC-reID, and MSMT17 datasets across four domain adaptation tasks show that our method outperforms state-of-the-art approaches, significantly improving both mAP and CMC accuracy. This work contributes to engineering informatics by providing a reliable solution for automating knowledge-intensive tasks across diverse engineering domains, while also laying the foundation for advancements in intelligent surveillance systems and automated decision-making in engineering infrastructures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-speed software development practices: What works, what doesn't

引用

IT Professional 2006年第4期8卷 29-36页

作者： Baskerville, Richard Ramesh, Balasubramaniam Levine, Linda Pries-Heje, Jan Department of Computer Information Systems Georgia State University Carnegie Mellon University Software Engineering Institute Department of Design of Organizational IT IT University of Copenhagen

An empirical study of high-speed software development practices was conducted in US companies. Fast development, along with low cost and high quality has formed a tripartite tension among software engineering goals. The detailed case studies of Internet software development were reviewed in 10 companies and then knowledge was synthesized on best practice for quality and agility. Agile methodologies, including Extreme Programming and Scrum are found increasing in the software development field. Some of the problems identified in high speed software development, include demands of time-to-market compression, insufficient programmer productivity, ambiguous requirements, fluid requirements, lack of design time and experience, and changing environment. The solutions to the problems identified, include parallel development and frequent releases, greater reliance on tools and reusable components, production prototyping, customer implantation, multitiered architecture and emphasis on acquiring the right expertise and tailored methodology.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Collaborative creativity: From hand drawn sketches to formal domain specific models and back again

Collaborative creativity: From hand drawn sketches to formal...

引用

Workshop on Models and Their Role in Collaboration, MoRoCo 2013 - Co-located with the 13th European Conference on computer Supported Cooperative Work, ECSCW 2013

作者： Bartelt, Christian Vogel, Martin Warnecke, Tim Software Systems Engineering Department for Computer Science University of Clausthal Germany

Most of the time developers make extensive use of software tools in a software development process to support them in their day-to-day work. One of the first and most important phases is the design phase. Here tools are missing which support the creative and collaborative workflow (parallel/distributed). At the moment software designers uses classic whiteboards in team meetings to express their ideas. Subsequently a coworker uses a mobile phone or a camera to take photos of the work and remodel the picture with a modeling tool. That process is very inconvenient, error-prone and hinders a creative modeling cycle. For overcoming this ineffective process this paper shows a new approach to use digital whiteboards to transform free hand sketches in formal models and back again while modeling in a distributed team. The approach is completely independent from a pre-defined modeling language. It provides an interactive training mode to learn new graphical syntax elements and map these elements to formal metamodel entities. Based on the approach a collaborative sketch and modeling infrastructure was implemented. Copyright © 2013 for the individual papers by the papers' authors.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：