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

International Russian Automation Conference (RusAutoCon)

作者： A. A. Kolesnikov S. I. Kolesnikova Institute of Computer Technology and Information Security South Federal University Taganrog Russia Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia

ISBN: (数字)9781728161303

ISBN: (纸本)9781728161310

The nonlinear adaptation algorithm is considered as applied to stabilization of the center of mass of a moving object subject to nonrandom noise in the control variable. An unknown disturbance is a bounded and continuous function of time. To solve the problem of its modeling and suppression, the following result is used: continuous functions can be described as partial solutions of some differential equations. The developed control algorithm guarantees full compensation of the external disturbance under certain conditions. The simulation result of the obtained control is applied to a manipulation object.

关键词： Mathematical model Regulators Manifolds Automation Aerospace electronics Gold

来源：评论

学校读者我要写书评

暂无评论

Spatial population dynamics

引用

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

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Advanced Computer-Aided Optimization of Quartz Resonator-Based Sensors

Advanced Computer-Aided Optimization of Quartz Resonator-Bas...

引用

International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Volodymyr Savchenko Oksana Mnushka Oleg Sokulskyi Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Information Systems and Technologies Department National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

In this study, we present an improved approach to optimizing the parameters of sensor sensing elements using quartz resonators with an interelectrode gap. We combine graphical and analytical methods to solve the multi-criteria optimization problem. The work focuses on the modes of operation of a quartz resonator equipped with an interelectrode gap in sensors with a frequency output, determining a set of optimal parameters and representing them as surfaces in a particular optimization parameter space. The presented results reveal specific areas on the surface of the objective function where optimization of design and technological parameters is possible, taking into account technological influences and features of the sensor design, including the initial value of the interelectrode gap. By using an improved mathematical model for the oscillations of a quartz resonator with an electrode gap, this study achieves results with an accuracy of ($8 . . .11$)% higher than previous studies, demonstrating the effectiveness of the proposed method in improving the design and functionality of piezoelectric sensors for advanced applications.

关键词： Micromechanical devices Electrodes Accuracy Resonant frequency Linear programming Mathematical models Sensors

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation systems for Managing the Transport Activity of the Urban Population 23

Using the Model of a Functional Rationalizer of Consumer Beh...

引用

23rd International Conference on Soft Computing and Measurements, SCM 2020

作者： Seliverstov, Yaroslav A. Seliverstov, Svytoslav A. Podoprigora, Nikolay V. Starichenkov, Alexey L. Naryshkin, Roman S. Solomenko Institute of Transport Problems Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University Laboratory of Intelligent Transport Systems St. Petersburg Russia Saint Petersburg State University of Architecture and Civil Engineering Department of Ground Transportation Technological Machines St. Petersburg Russia Saint Petersburg Electrotechnical University 'LETI' Department of Ship Control Systems St. Petersburg Russia Saint Petersburg State University Department of Programming Technology St. Petersburg Russia

ISBN: (纸本)9781728196923

An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the functional rationalizer of consumer behavior (SM FRCB) was developed for the first time. PMFRCB allows the user to expand the number of his preferred needs (occupations, activities) during the daily cycle through intelligent recommendations. Also, SM FRCB allows you to optimize needs (activities, activities) at the cost and rate of their use. The SM FRCB is made in Python_3 using the libraries matplotlib, collections, numpy, pyplot, mplot3d. The analysis of consumer behavior before and after using the functional rationalizer model is carried out. The graphical results of a structural analysis of the costs of old and new consumer behavior, analysis of consumer behavior within the boundaries of the theory of possibilities and the model of transport behavior of a resident before and after applying the functional rationalizer model are presented. The prospects of further improving the SM FRCB are considered. © 2020 IEEE.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

Towards integrated rule-driven software development for IT e...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems; the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems.

关键词： Ecosystems Unified modeling language programming Computer architecture Ontologies Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes

arXiv

引用

arXiv 2024年

作者： Gorczyca, Piotr Arndt, Dörthe Diller, Martin Kettmann, Pascal Mennicke, Stephan Strass, Hannes Computational Logic Group Institute of Artificial Intelligence Germany Logic Programming and Argumentation Group Institute of Artificial Intelligence Germany Knowledge-Based Systems Group Institute for Theoretical Computer Science Germany Faculty of Computer Science TU Dresden Germany

We introduce the Riskman ontology & shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions so a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text. We propose to use classes from the Riskman ontology to logically model risk management documentation, and to use the included SHACL constraints to check for syntactic completeness and conformity to relevant standards. In particular, the ontology is modelled after ISO 14971 and the recently published VDE Spec 90025. Our proposed methodology has the potential to save many person-hours for both manufacturers (when creating risk management documentation) as well as notified bodies (when assessing submitted applications for certification), and thus offers considerable benefits for healthcare and, by extension, society as a whole. Copyright © 2024, The Authors. All rights reserved.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：