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

2023 IEEE International Conference on Energy Technologies for Future Grids, ETFG 2023

作者： Carrasco-González, David Sarrias-Mena, Raúl Horrillo-Quintero, Pablo Llorens-Iborra, Francisco Fernández-Ramírez, Luis M. Suret Research Group Department of Electrical Engineering Algeciras Spain Uca Suret Reseach Group Dept. of Engineering in Automation Electronics and Computer Architecture and Networks Algeciras Spain

ISBN: (纸本)9781665471640

Currently, microgrid clusters (MGC) are being increasingly used owing to their benefits and human needs. MGs can be composed of power generation, consumption, and storage elements. They permit the combination of DC and AC technologies, even for a single microgrid (MG). In this paper, a new control system of a MGC consisting of two MGs connected to the main grid is developed. One of them is a DC MG that is composed of a wind turbine (WT), electrolyzer (EZ), ultracapacitor (UC), fuel cell (FC) and DC loads. The other MG is an AC MG, which is made up of a PV generator, a battery bank and AC loads. The MGC is tested under different working conditions in an experimental setup composed of a Raspberry Pi microcontroller, an OPAL-RT 4510 unit and a PC host. The experimental setup allows the system to run in real time and validate the results obtained. Finally, the control system implemented in the MGC exhibits a correct behaviour under different conditions, according to the results obtained. © 2023 IEEE.

关键词： energy management system Microgrid cluster Raspberry Pi real-time simulation

来源：评论

学校读者我要写书评

暂无评论

Timed hazard analysis of self-healing systems

Timed hazard analysis of self-healing systems

引用

ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems, ASAS 2011

作者： Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden

ISBN: (纸本)9783642362484

Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components' connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures in the architectural configuration over time with respect to the structural reconfiguration. However, current approaches do not take into account the timing properties of the failure propagation and the structural reconfiguration. In this paper, we present a hazard analysis approach which specifically considers these timing properties. We illustrate our approach by an example case study from the RailCab project. Further, we demonstrate the scalability of the approach by experiments. © 2013 Springer-Verlag.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Static Analysis Techniques for Fixing software Defects in MPI-Based Parallel Programs

引用

computers, Materials & Continua 2024年第5期79卷 3139-3173页

作者： Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Software Engineering and Distributed System Research Group King Abdulaziz UniversityJeddah21589Saudi Arabia

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关键词： High-performance computing parallel computing software engineering software defect message passing interface deadlock

来源：评论

学校读者我要写书评

暂无评论

A genetic algorithm based approach to service identification

A genetic algorithm based approach to service identification

引用

2011 IEEE World Congress on Services, SERVICES 2011

作者： Kazemi, Ali Rostampour, Ali Jamshidi, Pooyan Nazemi, Eslam Shams, Fereidoon Azizkandi, Ali Nasirzadeh Automated Software Engineering Research Group Faculty of Electrical and Computer Engineering Shahid Beheshti University Tehran Iran Lero - the Irish Software Engineering Research Centre School of Computing Dublin City University Dublin Ireland

ISBN: (纸本)9780769544618

One of the key activities in service-oriented solution development is the identification of services according to a set of predefined design principles. Existing service identification approaches are often prescriptive and based on the architect's experience, therefore might lead to non-optimal designs which results in lower performance, reduced scalability, and complicated dependencies between services. In this paper, an automated method for identifying business services has been proposed by adopting design metrics based on top-down decomposition of processes. This method takes a set of enterprise business processes as input and produces a set of non-dominated solutions representing appropriate business services using a multi-objective genetic algorithm. The method has been realized in form of a tool implementation and a case study has been conducted to show its applicability. © 2011 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Design recommendations for self-monitoring in the workplace: Studies in software development

引用

Proceedings of the ACM on Human-computer Interaction 2017年第CSCW期1卷 1-24页

作者： Meyer, Andre N. Murphy, Gail C. Zimmermann, Thomas Fritz, Thomas Department of Informatics University of Zurich Zurich Switzerland Department of Computer Science University of British Columbia VancouverBC Canada Empirical Software Engineering Group Microsoft Research RedmondOR United States

One way to improve the productivity of knowledge workers is to increase their self-awareness about productivity at work through self-monitoring. Yet, little is known about expectations of, the experience with, and the impact of self-monitoring in the workplace. To address this gap, we studied software developers, as one community of knowledge workers. We used an iterative, user-feedback-driven development approach (N=20) and a survey (N=413) to infer design elements for workplace self-monitoring, which we then implemented as a technology probe called WorkAnalytics. We field-tested these design elements during a three-week study with software development professionals (N=43). Based on the results of the field study, we present design recommendations for self-monitoring in the workplace, such as using experience sampling to increase the awareness about work and to create richer insights, the need for a large variety of different metrics to retrospect about work, and that actionable insights, enriched with benchmarking data from co-workers, are likely needed to foster productive behavior change and improve collaboration at work. Our work can serve as a starting point for researchers and practitioners to build self-monitoring tools for the workplace. © 2017 Association for Computing Machinery.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

Security modeling and analysis of a self-cleansing intrusion tolerance technique 11

Security modeling and analysis of a self-cleansing intrusion...

引用

11th International Conference on Information Assurance and Security, IAS 2015

作者： Mir, Iman El Kim, Dong Seong Haqiq, Abdelkrim Computer Networks Mobility and Modeling Laboratory FST Hassan 1 University Settat Morocco Department of Computer Science and Software Engineering University of Canterbury New Zealand E-NGN Research Group Africa and Middle East South Africa

ISBN: (纸本)9781467387156

Since security is increasingly the principal concern in the conception and implementation of software systems, it is very important that the security mechanisms are designed so as to protect the computer systems against cyber attacks. An Intrusion Tolerance Systems play a crucial role in maintaining the service continuity and enhancing the security compared with the traditional security. In this paper, we propose to combine a preventive maintenance with existing intrusion tolerance system to improve the system security. We use a semi-Markov process to model the system behavior. We quantitatively analyze the system security using the measures such as system availability, Mean Time To Security Failure and cost. The numerical analysis is presented to show the feasibility of the proposed approach. © 2015 IEEE.

关键词： Preventive maintenance

来源：评论

学校读者我要写书评

暂无评论

Performance Considerations in Ontology Based Ambient Intelligence Architectures

Performance Considerations in Ontology Based Ambient Intelli...

引用

4th International Symposium on Ambient Intelligence, ISAmI 2013

作者： Peters, Martin Brink, Christopher Sachweh, Sabine Zündorf, Albert Department of Computer Science University of Applied Sciences Dortmund Germany Software Engineering Research Group Department of Computer Science and Electrical Engineering University of Kassel Kassel Germany

ISBN: (纸本)9783319005652

One limitation that still exists for the use of ontologies in pervasive and ambient intelligence environments is the performance of the reasoning task, which can slow down the use of an application and make a solution inappropriate for some scenarios. In this paper we first present the results of a user evaluation that substantiates the amount of time, that is acceptable (from the point of view of a user) as a delay resulting from the reasoning process in ontology based scenarios. Based on this results we introduce an experimental setup to test the performance of an ontology based architecture. This test shall demonstrate the performance of the state of the art technology without specific performance optimizations and provide concrete measurements for such a setup. © Springer International Publishing Switzerland 2013.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Connected Cows: Utilizing Fog and Cloud Analytics toward Data-Driven Decisions for Smart Dairy Farming

引用

IEEE Internet of Things Magazine 2019年第4期2卷 32-37页

作者： Taneja, Mohit Jalodia, Nikita Malone, Paul Byabazaire, John Davy, Alan Olariu, Cristian Emerging Networks Laboratory Telecommunications Software and Systems Group Waterford Institute of Technology (WIT) Ireland Department of Computing and Mathematics Emerg.ing Networks Lab Research Unit in Telecommunications Software and Systems Group WIT Agri-Tech School of Computer Science University College Dublin Ireland Department of Computing and Mathematics School of Science and Computing Waterford Institute of Technology Innovation Exchange IBM Ireland

The Internet of Things (IoT) is about connecting people, processes, data, and things, and is changing the way we monitor and interact with things. An active incorporation of information and communication technology coupled with sophisticated data analytics approaches has the potential to transform some of the oldest industries in the world, including dairy farming. It presents a great opportunity for verticals such as the dairy industry to increase productivity by getting actionable insights to improve farming practices, thereby increasing efficiency and yield. Dairy farms have all the constraints of a modern business-they have a fixed production capacity, a herd to manage, expensive farm labor, and other varied farm-related processes to take care of. In this technology-driven era farmers look for assistance from smart solutions to increase profitability and to help manage their farms well. We present an end-To-end IoT application system with fog assistance and cloud support that analyzes data generated from wearables on cows' feet to detect anomalies in animal behavior that relate to illness such as lameness. The solution leverages behavioral analytics to generate early alerts toward the animals' well being, thus assisting the farmer in livestock monitoring. This in turn also helps in increasing productivity and milk yield by identifying potential diseases early on. The project specializes in detecting lameness in dairy cattle at an early stage, before visible signs appear to the farmer or an animal expert. Our trial results in a real-world smart dairy farm setup, consisting of a dairy herd of 150 cows in Ireland, demonstrate that the designed system delivers a lameness detection alert up to three days in advance of manual observation. © 2018 IEEE.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

From uni-directional model transformation to incremental model synchronization

From uni-directional model transformation to incremental mod...

引用

2011 5th Malaysian Conference in software engineering, MySEC 2011

作者： Hassani, Fatemeh Sedighiani, Kavan Aliee, Fereidoon Shams Angabini, Alireza Automated Software Engineering Research Group Faculty of Electrical and Computer Engineering Shahid Beheshti University GC Tehran Iran School of Electrical and Computer Engineering University of Tehran Tehran Iran

ISBN: (纸本)9781457715310

Model driven architecture is an approach to develop software based on transforming models automatically. In this approach, models co-exist and can be modified independently in different stages of software development, but the consistency between models should be preserved by appropriate propagation of changes to the related models. However, most approaches do not support complete synchronization for uni-directional transformations. This paper proposes a new method for incremental synchronization of models that are related to each other by a uni-directional transformation. For this aim, traces of transformation are used for delete and update change propagation. Also, a knowledge base is generated automatically that encompasses patterns of transformation and employed for propagating insertion in source and target models. The knowledge base contains rules defined based on source and target metamodels that produced and evaluated automatically. The proposed method was evaluated by applying it to synchronize a class diagram as a source model and a relational database diagram as a target one. © 2011 IEEE.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

μFUP: A software development process for embedded systems

μFUP: A software development process for embedded systems

引用

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme - Workshop on Model-Based Development of Embedded Systems, MBEES 2005

作者： Geiger, Leif Siedhof, Jörg Zündorf, Albert University of Kassel Software Engineering Research Group Department of Computer Science and Electrical Engineering Wilhelmshöher Allee 73 34121 Kassel Germany

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：