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

2023 IEEE International Conference on Environment and Electrical engineering and 2023 IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2023

作者： Carrasco-González, David Horrillo-Quintero, Pablo García-Triviño, Pablo Sarrias-Mena, Raúl García-Vázquez, Carlos Andrés Fernández-Ramirez, Luis M. University of Cadiz SURET Research Group Department of Electrical Engineering Algeciras Spain University of Cadiz SURET Research Group Department of Engineering in Automation Electronics and Computer Architecture and Networks Algeciras Spain

ISBN: (纸本)9798350347432

Nowadays, the use of quasi-Z-source cascaded H-bridge multilevel inverters (qZS-CHBMLI) in photovoltaic (PV) has gained their attention. They permit the single-stage power transformation of a PV generator adjusting the DC voltage independently in each module to operate each PV generator at maximum power. This paper develops a new control strategy that allows the system to continue operating after a fault in a module, by increasing the DC voltage in the operating modules. The control strategy is employed to a grid-connected qZS-CHBMLI, which consists of three cascaded qZSI powered by independent 4.8 kW PV cells. Under several operating circumstances, the proposed control system is evaluated. The results demonstrate how the control strategy applied to the system successfully reacts to the failure of a module. © 2023 IEEE.

关键词： Control systems

来源：评论

学校读者我要写书评

暂无评论

Constructing self-supporting surfaces with planar quadrilateral elements

引用

Computational Visual Media 2022年第4期8卷 571-583页

作者： Long Ma Sidan Yao Jianmin Zheng Yang Liu Yuanfeng Zhou Shi-Qing Xin Ying He School of Software Shandong UniversityJinan 250101China School of Computer Science and Engineering Nanyang Technological UniversitySingapore 639798Singapore Internet Graphics Group Microsoft Research AsiaBeijing 100080China School of Computer Science and Technology Shandong UniversityQingdao 266237China

We present a simple yet effective method for constructing 3D self-supporting surfaces with planar quadrilateral(PQ)*** with a triangular discretization of a self-supporting surface,we firstcompute the principal curvatures and directions of each triangular face using a new discrete differential geometryapproach,yielding more accurate results than existing ***,we smooth the principal direction field to reduce the number of ***,we partition all faces into two groups in terms of principalcurvature *** each face with small curvature difference,we compute a stretch matrix that turns the principal directions into a pair of conjugate *** the remaining triangular faces,we simply keep their smoothed principal ***,applying a mixed-integer programming solver to the mixed principal and conjugate direction field,we obtain a planar quadrilateral *** results show that our method is computationally efficient and can yield high-quality PQ meshes that well approximate the geometry of the input surfaces and maintain their self-supporting properties.

关键词： self-supporting surfaces planar quadri-lateral(PQ)meshes conjugate direction fields(CDFs)

来源：评论

学校读者我要写书评

暂无评论

A Decision Model for Selecting Serverless Platforms

SSRN

引用

SSRN 2025年

作者： Hamza, Muhammad Farshidi, Siamak Akbar, Muhammad Azeem Capilla, Rafael Jansen, Slinger Smolander, Kari Department of Software Engineering LUT University Lahti15210 Finland Information Technology Group Wageningen University & Research Wageningen6700 Netherlands Department of Computer Science and Statistics Rey Juan Carlos University Madrid28933 Spain Department of Information and Computer Science Utrecht University Utrecht3584 Netherlands

Context: Serverless computing has revolutionized cloud computing by enabling developers to concentrate on developing the application logic without managing the underlying infrastructure. Organizations need to select among various serverless platforms such as AWS Lambda and OpenWhisk to develop serverless applications. However, the increasing number of serverless platforms and their diverse features, such as timeout limitation, cold start, and package size limitations, make the decision-making process increasingly complex. Moreover, decision-makers often lack specialized expertise in each platform, compelling them to continuously adapt to the rapidly evolving ***: The main objective of this study is to support decision-makers in selecting appropriate serverless platforms by designing an effective and systematic decision model. The model aims to simplify the selection process, reduce time and effort, and provide deeper insights into platform suitability based on specific organizational ***: We employed a mixed-method research design to develop a decision model for the serverless platforms selection problem. The model contains a mapping of 219 features across 16 serverless ***: The model was evaluated through five real-world case studies conducted at different software development companies. It suggests and prioritizes more than one serverless platform based on the participants’ requirements. The case study participants reported that the model offered valuable insights and significantly simplified the selection process by reducing the time and costs associated with ***: We observe in the empirical evidence that decision-makers can make more rational, efficient, and effective decisions with the decision model. Additionally, the model provides reusable insights that can support future research, such as developing new frameworks and solutions for emerging challenges in serverless computing. © 2025, The

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Distributed Control for a Microgrid Cluster: Implementation and Experimental Validation 24

Distributed Control for a Microgrid Cluster: Implementation ...

引用

24th EEEIC International Conference on Environment and Electrical engineering and 8th I and CPS Industrial and Commercial Power Systems Europe, EEEIC/I and CPS Europe 2024

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

ISBN: (纸本)9798350355185

In response to growing energy demands and concerns about climate change, microgrid clusters (MGCs) are gaining widespread attention. Their ability to integrate technologies for energy consumption, generation, and storage in AC, DC or a compound of both offer a high degree of flexibility and resiliency. This research introduces a new control strategy for an MGC composed of two MGs interconnected to a local grid via a point of common coupling. The first one is a DC MG comprising an ultracapacitor (UC), wind turbine (WT), DC loads and hydrogen system. The second is an AC MG with a battery bank, AC loads and photovoltaic (PV) generator. The control strategy employs local controllers for each device and distributed control via two control agents, coordinating the power distribution among the energy storage systems (ESSs) of the MGC. This system is tested and validated on a real-time experimental setup, using two Raspberry Pi microcontrollers and an OPAL-RT unit, under different working conditions. The results obtained in this work show that the control strategy implemented in the MGC works correctly. © 2024 IEEE.

关键词： Windmill

来源：评论

学校读者我要写书评

暂无评论

Security modeling and analysis of an intrusion tolerant cloud data center 3

Security modeling and analysis of an intrusion tolerant clou...

引用

3rd IEEE World Conference on Complex Systems, WCCS 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 Morocco

ISBN: (纸本)9781467396691

It is important to protect a Cloud Data Center even if there are attacks by an adversary. In order to improve the security of a Cloud Data Center (CDC) in particular, system availability, a proactive approach named SCIT (Self-Cleansing Intrusion Tolerance) may be adopted to the CDC. In this paper, we present a general analytic model of the SCIT approach for the CDC. We first introduce an architecture and its flow of an intrusion tolerant CDC. We focus on a SCIT approach for a virtual machine (VM) in a CDC. We model and implement the SCIT in SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) and carry out numerical analysis. Our numerical results show that the SCIT approach can increase the system availability. © 2015 IEEE.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

A language for modeling software development life cycles

A language for modeling software development life cycles

引用

作者： Cachia, Ernest Micallef, Mark Software Engineering Process Improvement Research Group Department of Computer Science University of Malta Malta

ISBN: (纸本)1891706241

As the profession of software engineering has continued to mature, a substantial body of work has built up in the area of software development life cycles. A variety of generic models ranging from waterfall to agile have appeared over the past few decades, all claiming to address prominent issues in software engineering. In this paper, the authors make an argument for developing a unifying language with the capabilities of defining and modeling any software development life cycle. The concept is similar to the way UML is a language that can be used to model any conceivable object oriented software solution. A number of reasons are provided as to why this would be a useful contribution to software engineering. The authors also discuss work which they have been carrying out in this area and outline the main features and semantics of such a language.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An architecture for deploying model based testing in embedded systems

An architecture for deploying model based testing in embedde...

引用

Forum on Specification and Design Languages

作者： Iyenghar, Padma Westerkamp, Clemens Wuebbelmann, Juergen Pulvermueller, Elke Faculty of Engineering and Computer Science University of Applied Sciences Osnabrueck Germany Software Engineering Research Group Department of Mathematics and Computer Science University of Osnabrueck Germany

ISBN: (纸本)9782953050431

There have been several model based approaches used in the recent past for alleviating complexity in design, development and test case generation for real-time embedded software systems. However, deploying/executing these test cases in the embedded target without affecting the real-time behavior of the system still remains a challenging and unanswered question. To address this, we propose a novel architecture to perform an integrated model based testing for embedded systems. We introduce a holistic model based design, development and testing approach with the aid of a monitor and target debugger solution for real-time embedded systems. Our proposed approach eliminates the need for dynamic source code instrumentation inserted into the target to execute the software test routines. This will result in preserving the real-time behavior which is a boon especially for real-time critical and code size constrained embedded systems. We illustrate our proposed approach with a prototype and an example.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Scaling parallel rule-based reasoning

Scaling parallel rule-based reasoning

引用

11th International Conference on Semantic Web: Trends and Challenges, ESWC 2014

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

ISBN: (纸本)9783319074429

Using semantic technologies the materialization of implicit given facts that can be derived from a dataset is an important task performed by a reasoner. With respect to the answering time for queries and the growing amount of available data, scaleable solutions that are able to process large datasets are needed. In previous work we described a rule-based reasoner implementation that uses massively parallel hardware to derive new facts based on a given set of rules. This implementation was limited by the size of processable input data as well as on the number of used parallel hardware devices. In this paper we introduce further concepts for a workload partitioning and distribution to overcome this limitations. Based on the introduced concepts, additional levels of parallelization can be proposed that benefit from the use of multiple parallel devices. Furthermore, we introduce a concept to reduce the amount of invalid triple derivations like duplicates. We evaluate our concepts by applying different rulesets to the real-world DBPedia dataset as well as to the synthetic Lehigh University benchmark ontology (LUBM) with up to 1.1 billion triples. The evaluation shows that our implementation scales in a linear way and outperforms current state of the art reasoner with respect to the throughput achieved on a single computing node. © 2014 Springer International Publishing.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Rule-based reasoning on massively parallel hardware 9

Rule-based reasoning on massively parallel hardware

引用

9th International Workshop on Scalable Semantic Web Knowledge Base Systems, SSWS 2013 - Co-located with the International Semantic Web Conference, ISWC 2013

In order to enable the semantic web as well as other time critical semantic applications, scaleable reasoning mechanisms are indispensable. To address this issue, in this paper we propose a rule-based reasoning algorithm which explores the highly parallel hardware of modern processors. In contrast to other approaches of parallel reasoning, our algorithm works with rules that can be defined depending on the application scenario and thus is able to apply different semantics. Furthermore we show how vector-based operations can be used to implement a performant match algorithm. We evaluate our approach by applying the ρdf, RDFS and pD∗ rule sets to different data sets and compare our results with other recent work. The evaluation shows that our approach is up to 9 times faster depending on the rule set and the used ontology and is able for example to apply the ρdf rules to an ontology with 2.2 million triples (and 1.3 million inferred triples) in less than 6 seconds.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Approach for IoT-Based Monitoring Systems in Industry 4.0 4

A Model-Driven Approach for IoT-Based Monitoring Systems in ...

引用

4th International Conference on Smart Cities, Internet of Things and Applications, SCIoT 2020

作者： Ziaei, Mahdi Zamani, Bahman Bohlooli, Ali University of Isfahan Mdse Research Group Department of Software Engineering Isfahan Iran University of Isfahan Faculty of Computer Engineering Isfahan Iran

ISBN: (纸本)9781728196114

Industry 4.0 provides a framework for applying new technologies in industrial environments to boost the efficiency and intelligence. A recently blossomed technology in Industry 4.0 is Internet of Things (IoT), which allows us to create a smart environment by connecting various equipment. One of the main applications of IoT in a smart factory is to design monitoring systems, which helps put the behavior of devices under permanent and comprehensive supervision. However, the rapid growth and change in the monitoring facilities creates a big challenge for people who either want to use that equipment in Industry 4.0, or want to update the systems to benefit from this technology. To address this problem, this paper presents new approach based on model-driven engineering paradigm, for simplifying the design and development of real-Time monitoring systems in an industrial environment. Our approach includes a domain-specific modeling language, a graphical editor, and model-To-code transformations that generate a hardware descriptive code, a mobile application, and a web application for a monitoring system. To evaluate the applicability of our approach, a scenario in the power industry has been designed, which offers user a VHDL code, a mobile application, and a web application for monitoring processes of the plant. © 2020 IEEE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：