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

Papers of the Regional Science Association 1976年第1期36卷 1-34页

作者： Rogers, Andrei Willekens, Frans The authors ate associated with the International Institute for Applied Systems Analysis (I.I.A.S.A.) Laxenburg Austria. Any views or conclusions are those of the authors and do not necessarily reflect those or I.I.A.S.A. The authors are grateful for the data processing and computer programming assistance provided by Luis Castro Jacques Ledent and Richard Wilz The figures were drawn by Luis Castro.

来源：评论

学校读者我要写书评

暂无评论

Uvlhub: A Feature Model Data Repository Using Uvl and Open Science Principles

SSRN

引用

SSRN 2023年

作者： Romero-Organvidez, David Galindo, José A. Sundermann, Chico Horcas, Jose-Miguel Benavides, David Department of Computer Languages and Systems University of Seville Spain Institute of Software Engineering and Programming Languages Ulm University Germany CAOSD ITIS Software University of Málaga Spain

Feature models are the de facto standard for modelling variabilities and commonalities. Concrete models in different domains exist;however, many are in private or sparse repositories or belong to discontinued projects. The dispersion of knowledge of feature models hinders the study and reuse of these artefacts in different studies. The Universal Variability Language (UVL) is a community effort textual feature model language that promotes a common way of serialising feature models independently of concrete tools. Open science principles promote transparency, accessibility, and collaboration in scientific research. Although some attempts exist to promote feature model sharing, the existing solutions lack open science principles by design. In addition, existing and public feature models are described using formats not always supported by current tools. This paper presents UVLHUB, a repository of feature models in UVL format. UVLHUB provides a front end that facilitates the search, upload, storage, and management of feature model datasets, improving the capabilities of discontinued proposals. Furthermore, the tool communicates with Zenodo providing a permanent save of datasets and following open science principles. UVLHUB includes existing datasets and is readily available to include new data and functionalities in the future. It is maintained by three active universities in variability modelling. © 2023, The Authors. All rights reserved.

关键词： Concretes

来源：评论

学校读者我要写书评

暂无评论

Energy Efficiency Improvement System for AC Circuits

Energy Efficiency Improvement System for AC Circuits

引用

2024 Conference of Young Researchers in Electrical and Electronic Engineering, ElCon 2024

作者： Kulagin, Vladimir Selivanov, Kirill Vlasov, Andrey Aminev, Dmitrii Bunina, Lyudmila Bikovsky, Sergey Moscow Technical University of Communications and Informatics Moscow Russia Bauman Moscow State Technical University Bmstu Department of Design and Technology of Electronic Devices Moscow Russia Russian Technological University - Mirea Department of Development of Software Solutions and System Programming Moscow Russia Russian Technological University - Mirea Department of Electrical Engineering Systems Moscow Russia

ISBN: (纸本)9798350360646

The problem of the rational use of energy resources remains constantly relevant and requires the search for new approaches. One of them is power control. In AC circuits, the authors see the most promising method of phase AC power control. Based on it, a power control module was developed. The structural and circuit diagrams of the developed device are presented to implement the proposed solution. The authors produced its experimental prototype and conducted experimental testing at various levels of regulated power. Savings when using the proposed power control module were calculated using the example of energy consumption in various sectors of energy-intensive systems. According to the data obtained, the module allows saving energy consumption without significant discomfort to the energy user. The calculated results allow concluding that the proposed AC power control module is fully operational, and its widespread use will significantly reduce the need for electricity. © 2024 IEEE.

关键词： energy consumption energy efficiency power control

来源：评论

学校读者我要写书评

暂无评论

Creating a Forecasting Model of Passenger Flows in Non-Scheduled Air Transportation

Creating a Forecasting Model of Passenger Flows in Non-Sched...

引用

Problems of Logistics, Management and Operation in the East-West Transport Corridor (PLMO), International Conference on

作者： Nadir Aghayev Dashqin Nazarli Department of Computer Systems and Programming National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan Department of Air Transport Production National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan

ISBN: (数字)9798350353099

ISBN: (纸本)9798350353105

In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of correlation functions in the calculation of forecast values based on statistical indicators of intra-row changes. In regular air transportation, the changes in the time series of statistical indicators are stable. On charter flights, these changes are unstable. This is due to the strong random effects of external factors (a sudden increase in demand for flights, economic changes, etc.) on the formation of charter flights. For this reason, the application of models based on trend changes does not give good enough results when building forecast models for charter flights. Therefore, to solve the problem, we propose to build a forecast model using a fuzzy approach, using the randomness of the intra-series changes of the statistical indicators of this type of air transportation. The researched method was checked based on the actual data of the time series of charter flights, and the results were obtained within acceptable limits.

关键词： Economics Correlation Atmospheric modeling Time series analysis Buildings Predictive models Air transportation Market research Forecasting Logistics

来源：评论

学校读者我要写书评

暂无评论

On the Use of XMDD in Software Development Education

On the Use of XMDD in Software Development Education

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Anna-Lena Lamprecht Tiziana Margaria Johannes Neubauer University of Potsdam Institute of Computer Science Potsdam Germany University of Limerick and Lero The Irish Software Research Centre Limerick Ireland TU Dortmund Chair for Programming Systems Dortmund Germany

Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without putting the focus on the technical part of coding. eXtreme Model Driven Design (XMDD) is a paradigm that focuses on the What (solving problems), rather than on the How (the technical skills of writing code). In this way it renders application design and implementation less daunting, thus accessible and more appealing to people that are either less technically skilled, or simply not interested at all in learning usual programming. In this paper we report on our experiences with the use of the jABC process modeling framework for teaching service-based software development in an XMDD fashion to students of different fields and on different levels of education.

关键词： Games Software Process modeling Education programming profession

来源：评论

学校读者我要写书评

暂无评论

Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications

Using Natural Version Redundancy of FPGA Projects in Area of...

引用

IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)

作者： Oleksandr Drozd Vitaliy Romankevich Mykola Kuznietsov Myroslav Drozd Oleksandr Martynyuk Department of Computer Intelligent Systems and Networks Odessa National Polytechnic University Odessa Ukraine System programming and specialized computer systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine Department of Information Systems Odessa National Polytechnic University Odessa Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

The paper focuses on the role of version redundancy, which increases with the expansion of critical applications and the tightening of their functional safety requirements. International standards governing these requirements have already fixed the importance of version redundancy to counter common cause failures in safety-related systems. The problem of hidden faults inherent in these systems is equally acute, undermining confidence in the fault tolerance of circuit solutions important for functional safety. We suggest that this problem be seen as a growth problem where the system rises to the level of diversification in modes of operation by dividing them into normal and emergency and checkability circuits, but components continue to be stamped at a lower level of replication. Then the solution to the problem is to raise the components to the level of the system by developing their version redundancy. We demonstrate this development for FPGA components with LUT-oriented architecture and offer a method to improve the FPGA-ready project by natural version redundancy of its program code. The method generates a set of program code versions and selects versions that improve the checkability of circuits with respect to constant faults and the trustworthiness of results, respectively, in normal and emergency mode to reduce a set of hidden faults. The method is illustrated by an iterative array multiplier implemented in an FPGA project. Versions are generated, evaluated, and selected using the program developed for this.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ADAM: Adaptive autonomous machine 1

ADAM: Adaptive autonomous machine

引用

1st Euromicro Workshop on Advanced Mobile Robots, EUROBOT 1996

作者： Van Oosten, Daan C. Nijenhuis, Lucas F.J. Bakkers, Andre W.P. Vervoort, Wiek A. Dutch Open University P.O. Box 2960 Heerlen6401 DL Netherlands Control Laboratory University of Twente Electrical Engineering Faculty P.O.Box 217 Enschede7500 AE Netherlands Systems Programming and Architecture University of Twente Informatics Department P.O.Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)0818676957

This paper describes a part of the development of an adaptive autonomous machine that is able to move in an unknown world extract knowledge out of the perceived data, has the possibility to reason, and finally has the capability to exchange experiences and knowledge with other agents. The agent is not pre-programmed by its designer but was given simple rules of life, i.e. what is good and what is bad. By evaluating its sensor inputs these rules of life were transformed into a rule based reactive system. Simulations of the system showed that the agent is able to learn by its own experience. By representing the learned knowledge in an appropriate way, the acquired knowledge could be judged on its effectiveness and also this knowledge could be shared with other, less experienced agents. © 1996 IEEE.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

On causal semantics of petri nets

arXiv

引用

arXiv 2021年

作者： van Glabbeek, Rob Goltz, Ursula Schicke, Jens-Wolfhard NICTA Sydney Australia School of Comp. Sc. and Engineering Univ. of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany

We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the notion of process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. A well-known problem is how to generalise this notion for nets where places may carry several tokens. Goltz and Reisig have defined such a generalisation by distinguishing tokens according to their causal history. However, this so-called individual token interpretation is often considered too detailed. A number of approaches have tackled the problem of defining a more abstract notion of process, thereby obtaining a so-called collective token interpretation. Here we give a short overview on these attempts and then identify a subclass of Petri nets, called structural conflict nets, where the interplay between conflict and concurrency due to token multiplicity does not occur. For this subclass, we define abstract processes as equivalence classes of Goltz-Reisig processes. We justify this approach by showing that we obtain exactly one maximal abstract process if and only if the underlying net is conflict-free with respect to a canonical notion of conflict. © 2021, CC BY.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

ADAM: adaptive autonomous machine

ADAM: adaptive autonomous machine

引用

Euromicro Workshop on Advanced Mobile Robot

作者： D.C. van Oosten L.F.J. Nijenhuis A.W.P. Bakkers W.A. Vervoort Dutch Open University Heerlen Netherlands Electrical Engineering Faculty Control Laboratory University of Twente Enschede Netherlands Informatics Department Systems Programming and Architecture University of Twente Enschede Netherlands

关键词： Sensor systems Laboratories Electronic mail Informatics Data mining Artificial intelligence Humans Robot sensing systems Filters Actuators

来源：评论

学校读者我要写书评

暂无评论

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)

Revisiting the Performance-Explainability Trade-Off in Expla...

引用

IEEE International Requirements Engineering Conference Workshops (REW)

作者： Barnaby Crook Maximilian Schlüter Timo Speith Department of Philosophy University of Bayreuth Bayreuth Germany Chair for Programming Systems Technical University Dortmund Dortmund Germany Center for Perspicuous Computing Saarland University Saarbrücken Germany

Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory standards has garnered recognition. In general, explainability has emerged as an important non-functional requirement that impacts system quality. However, the supposed trade-off between explainability and performance challenges the presumed positive influence of explainability. If meeting the requirement of explainability entails a reduction in system performance, then careful consideration must be given to which of these quality aspects takes precedence and how to compromise between them. In this paper, we critically examine the alleged trade-off. We argue that it is best approached in a nuanced way that incorporates resource availability, domain characteristics, and considerations of risk. By providing a foundation for future research and best practices, this work aims to advance the field of RE for AI.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：