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

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Herasymenko, Vitalii Zakovorotnyi, Oleksandr Pliuhin, Vladyslav Mezentsev, Mykola Noskov, Valentyn Orlova, Tetyana Department of Electric Transport O. M. Beketov National University of Urban Economy in Kharkiv Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine Department of the Systems of Electricity Supply and Electricity Consumption of Cities O. M. Beketov National University of Urban Economy in Kharkiv Kharkiv Ukraine Computer Engineering and Programming Department National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350395532

DC traction motors are widely used in all branches of urban economy. They began to be used in industry about a hundred years ago with the advent of the first calculation methods. When designing a DC motor, it is important to consider it comprehensively, together with the electric drive system. The article discusses the application of a more correct approach to modeling a series-excited DC motor using the ANSYS software package, in particular, the ANSYS RMxprt/Maxwell/Simplorer bundle. The main stages of initial data input are considered and the main calculation results are shown. Using ANSYS Maxwell allows you to quickly and automatically build a typical machine geometry using RMxprt. When solving non-standard structures, it is possible to use 3D design with step-by-step elements. The analysis of the obtained graphic dependences of electric power parameters makes it possible to judge the efficiency of the electric motor and its operational properties in idling and under load. The simulation results show excellent agreement with the data obtained experimentally. © 2023 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Monte-Carlo Tree Search with Tree Shape Control

Monte-Carlo Tree Search with Tree Shape Control

引用

IEEE Ukraine Conference on Electrical and Computer Engineering

作者： Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"

ISBN: (纸本)9781509030071

The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree Search with Tree Shape Control (MCTS-TSC) and which uses original Depth-Width Criteria (DWCs) for both tree shape estimation and control during search and for estimation and selection of potentially better options for search continuation. Proposed Tree Shape Control (TSC) technique can be used with some other tuning, pruning, and learning techniques. Besides, it can provide better scheduling of MCTS parallelization.

关键词： Monte-Carlo Tree Search (MCTS) Game tree MCTS improvement techniques Exploitation-exploration dilemma Tree shape control MCTS parallelization

来源：评论

学校读者我要写书评

暂无评论

Estimation of Pareto's Law from Grouped Observations

引用

Journal of the American Statistical Association 1970年第330期65卷 712-712页

作者： Aigner, Dennis J. Goldberger, Arthur S. Associate professor of economics and director of the programming and computation service Social Systems Research Institute University of Wisconsin Madison. Professor of economics University of Wisconsin Madison

The problem of estimating the scale parameter in the Pareto distribution from grouped observations is considered. Several estimators--the maximum likelihood estimator and four variants of least squares--are evaluated. Most of these have identical BAN properties but require nonlinear computations. A linearized BAN estimator is constructed, and numerical illustrations are provided. [ABSTRACT FROM AUTHOR]

关键词：

来源：评论

学校读者我要写书评

暂无评论

Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System

Approbation of a Generalization of the Synergetic Design of ...

引用

Information Technology and Nanotechnology (ITNT), International Conference on

作者： Svetlana Kolesnikova Ekaterina Kustova Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation St. Petersburg Russia

ISBN: (数字)9798350372939

ISBN: (纸本)9798350372946

The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base object with a delay, it is shown that the assumptions on the object controllability in the state space and the analytical description of the target invariant of the system are the sufficient conditions for an existence of a stochastic regulator minimizing the dispersion of the output variable in transferring a random controlled object to a target manifold of states.

关键词： Analytical models Regulators Immunology Databases Heuristic algorithms Stochastic processes Process control

来源：评论

学校读者我要写书评

暂无评论

Situational method engineering applied for the enactment of development processes - An agent based approach

Situational method engineering applied for the enactment of ...

引用

作者： Seemueller, Holger Voos, Holger Honke, Benjamin Bauer, Bernhard Mobile Robotics and Mechatronics Lab. University of Applied Sciences Ravensburg-Weingarten D-88241 Weingarten Germany Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg D-86135 Augsburg Germany

ISBN: (纸本)9789898425065

Interdisciplinary product development is faced with the collaboration of diverse roles and a multitude of interrelated artifacts. Traditional and sequential process models cannot deal with the long-lasting and dynamic behavior of the development processes of today. Moreover, development processes have to be tailored to the needs of the projects, which are usually distributed today. Thus, keeping these projects on track from a methodology point of view is difficult. In order to deal with these challenges, this paper will present a novel method engineering and enactment approach. It combines the ideas of workflow technologies and product line engineering for method engineering as well as agent technology for the development process enactment.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Using the Topological Characterization of Synchronous Models 1

引用

Electronic Notes in Theoretical Computer Science 2003年 81卷 36-47页

作者： Giovanni Adagio Distributed Programming Laboratory School of Computer Science and Communication Systems Swiss Federal Institute of Technology in Lausanne (EPFL) Institute of Mathematics School of Basic Sciences Swiss Federal Institute of Technology in Lausanne (EPFL) Switzerland

This paper contributes to the characterization of synchronous models of distributed computing using topological techniques. We consider a generic synchronous model with send-omission failures and use a topological structure corresponding to a bounded number of rounds of the model. We observe some nice properties of the structure and derive from these properties necessary and sufficient conditions to solve consensus in this model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and Information systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

A Formal Model of XML Schema

A Formal Model of XML Schema

引用

International Conference on Data Engineering Workshops

作者： L. Novak A. Zamulin Institute for System Programming Russian Academy of Science Moscow Russia A.P. Ershov Institute of Informatics Systems Russian Academy of Science Novosibirsk Russia

The semantics of the core features of XML Schema in terms of XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many sorted algebra whose sorts are sets of data type values and different kinds of nodes and whose operations are data type operations and node accessors. The values of some node accessors, such as "parent", "children" and "attributes", define a document tree with a definite order of nodes. The values of other node accessors help to make difference between kinds of nodes, learn the names, types and values associated with the corresponding document entities, etc., i.e., provide primitive facilities for a query language. As a result, a document can be easily mapped to its implementation in terms of nodes and accessors defined on them.

关键词： XML Data models Algebra Database languages Informatics Spatial databases Data engineering

来源：评论

学校读者我要写书评

暂无评论

Protecting Locks Against Unbalanced Unlock()

arXiv

引用

arXiv 2023年

作者： Shahare, Vivek Chabbi, Milind Hegde, Nikhil Indian Institute of Technology Dharwad India Programming Systems Group Uber Technologies Inc. SunnyvaleCA United States

The lock is a building-block synchronization primitive that enables mutually exclusive access to shared data in shared-memory parallel programs. Mutual exclusion is typically achieved by guarding the code that accesses the shared data with a pair of lock() and unlock() operations. Concurrency bugs arise when this ordering of operations is violated. In this paper, we study a particular pattern of misuse where an unlock() is issued without first issuing a lock(), which can happen in code with complex control flow. This misuse is surprisingly common in several important open-source repositories we study. We systematically study what happens due to this misuse in several popular locking algorithms. We study how misuse can be detected and how the locking protocols can be fixed to avoid the unwanted consequences of misuse. Most locks require simple changes to detect and prevent this misuse. We evaluate the performance traits of modified implementations, which show mild performance penalties in most scalable locks. © 2023, CC BY-SA.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements

Method of Activity of Intelligent Agent for Semantic Analysi...

引用

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems

作者： Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"

ISBN: (纸本)9781728140704

The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of the requirements, determines the number and percentage of missing indicators for determining the metrics of complexity and quality of software, displays which indicators are missing for each metric, and also forms the real ontology of the domain "Software Engineering" (part "Quality and complexity of software. Metric analysis"). During an experiment, which is conducted with the help of the realized IA, the semantic analysis of requirements for the Internet of Things (IoT)-system was performed. Such analysis provides an increase of the volume and ensures of the sufficiency of metric information in the software requirements, which, in turn, provides an improvement in the quality of the software of IoT-system.

关键词： Natural language software requirements Semantic analysis Intelligent agent (IA) Ontology-based intelligent agent (OBIA) Internet of things (IoT)-system software requirements Intelligent agents Semantics Metronidazole activity INFORMATION ASSURANCE Metric computer software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：