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

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts 1

30th IFIP WG 6.1 International Conference on Testing Software and systems (ICTSS)

作者： Tvardovskii, Aleksandr El-Fakih, Khaled Yevtushenko, Nina Tomsk State Univ Tomsk Russia Amer Univ Sharjah Sharjah U Arab Emirates RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (数字)9783319999272

ISBN: (纸本)9783319999272;9783319999265

In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialized deterministic FSMs with timeouts based on an appropriate FSM abstraction of the timed FSM specification. We also show how the same approach can be used for deriving tests for FSMs with both time guards and timeouts.

关键词： Conformance testing Timed finite state machines

来源：评论

学校读者我要写书评

暂无评论

Diagnostics of Corrosion Protection Potential for Electric Water Heaters

Diagnostics of Corrosion Protection Potential for Electric W...

引用

18th International Scientific Conference on Diagnostics of Machines and Vehicles (Diagnostyka)

作者： Martynyuk, Valeriy Liss, Michal Wilczarska, Joanna Khmelnytsky Natl Univ Programming & Comp Telecommun Syst Fac Dept Telecommun & Comp Integrated Technol 11 Inst Ska Str UA-29016 Khmelnitsky Ukraine UTP Bydgoszcz Fac Mech Engn Dept Vehicle Engn Al Prof S Kaliskiego 7 PL-85796 Bydgoszcz Poland

The paper represents the mathematical model for diagnostics of the corrosion protection potential for the electric water heaters (EWH). The research objectives are the problem of determining the EWH corrosion protection technical condition during its operation. The EWH corrosion protection diagnostics is based on the mathematical model of the corrosion protection potential for EWH. The model is based on the nonlinear equivalent circuit which is modelling the nonlinear impedance of the corrosion cathodic protection. In the development of the mathematical model the authors carried out experimental measurements of the impedance for the EWH body fragment. The obtained experimental results show that mathematical model includes the fractional integrating elements. By using of the experimental results the expressions of the impedance, the impulse response is obtained. The methodological approach to increasing the reliability of the EWH corrosion protection diagnostics has been proposed, in terms of the multi-parameter diagnostics, by applying the EWH corrosion protection impedance model.

关键词： Equivalent circuits

来源：评论

学校读者我要写书评

暂无评论

Minimizing Deterministic Timed Finite State Machines

Minimizing Deterministic Timed Finite State Machines

引用

14th IFAC International Workshop on Discrete Event systems (WODES)

作者： Bresolin, Davide Tvardovskii, Aleksandr Yevtushenko, Nina Villa, Tiziano Gromov, Maxim Univ Padua Padua Italy Tomsk State Univ Tomsk Russia RAS Inst Syst Programming Moscow Russia Univ Verona Verona Italy

Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends the expressive power of FSMs by introducing a single clock, timed guards which restrict when the input/output transitions may happen, and timeouts on the transitions. We derived an abstraction procedure to convert a TFSM into an equivalent untimed FSM. Here, we extend the model with output timeouts and derive a minimal form for deterministic TFSMs that reduces the number of states, the number of transitions and the timeout values at each state. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Timed Finite State Machines Minimization Real-time systems Automata theory Timed Automata

来源：评论

学校读者我要写书评

暂无评论

Peripheral device register support for source code boilerplate generator of QEMU Development Toolkit

Peripheral device register support for source code boilerpla...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Efimov, Vasily Padaryan, Vartan RAS Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia

ISBN: (纸本)9781538676905

QEMU emulator is used together with different security tools to solve problems where maximum control over virtual machine is required. Absence of a proper VM with specific devices is a widespread issue. Also, development of a new virtual device (device model) is a error prone and time consuming process. The QEMU Development Toolkit (QDT) can be used to simplify the first stage of this process by generating boilerplate code for models. Currently QDT can generate the bulk of device model code. The paper discusses some extensions of QDT capabilities. A device register model was added. The register model allows to generate extra code for frequently met device register behavior patterns. The model is implemented as an extension to QDT device description API in Python. Evaluation showed that size of device register description is half of C-code boilerplate generated from it. The register description is gathered in one place, that's more convenient for developer whereas generated code is spread across the boilerplate.

关键词： QEMU boilerplate generation device semantic

来源：评论

学校读者我要写书评

暂无评论

The Turkic colour term kok 'blue-green'. The evolution of its semantics and its impact on the system of colour terms in the contact languages

TURKIC LANGUAGES

引用

TURKIC LANGUAGES 2020年第1期24卷 10-29页

作者： Dubrovskaya, Natalia Normanskaya, Julia Tomsk State Univ TSU Fac Philol Lab Linguist Anthropol Lenina 36 Tomsk Russia Tomsk State Pedag Univ TSPU Kievskaya 60 Tomsk 634000 Russia ISP RAS Lab Linguist Platforms Ivannikov Inst Syst Programming RAS Bolshoy Kislovsky Lane 1Bldg 1 Moscow 125009 Russia RAS Moscow Inst Linguist Bolshoy Kislovsky Lane 1Bldg 1 Moscow 125009 Russia

According to B. Berlin and P. Kay's classic theory of the universality of colour terms, the basic colour lexicon in various languages of the world must historically have passed through certain universal evolutionary stages of development in the appropriate order. The article aims to contribute to the study of questions related to the evolution of colour term systems characterized by macrocolours, which depict the main parts of the spectrum of blue, green and yellow. The linguistic representation of such systems is featured by the designation of blue-green, or yellow-green, or blue-yellow-green parts of the spectrum by means of one term. The study shows that in the 20th century, significant number of the languages of Eurasia were characterized by the existence of the blue-green colour system. It can be assumed that the reason for the destruction of such systems in the languages of the European part of the continent was the close interaction with the native speakers of the Iranian, Volga and Perm languages in the Seljuk and Bulgar States. The situation was different for the languages geographically located in Siberia, where the Turkic and Tungusic languages, with their blue-green systems, had an assimilating effect on speakers of the Samoyed and Ob-Ugric languages, for which in the 18th century the yellow-green-blue system was recorded, which became blue-green for the majority of the speakers by the 20th century. Our analysis of the changes is based on the actual fixations of the relevant linguistic phenomena in dictionaries and written documents. It shows how the systems with macrocolours evolved, outlies the areas of their distribution and explains the evolutionary processes caused by the intensive interlanguage contacts, the study of which yields two possible scenarios for the development of the systems of colour terms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees 11th

引用

11th International Andrei P. Ershov Informatics Conference on Perspectives of system Informatics (PSI)

作者： Morozov, Sergey Semenov, Vitaly Tarlapan, Oleg Zolotov, Vladislav Russian Acad Sci Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ Moscow Russia Moscow Inst Phys & Technol Dolgoprudnyi Moscow Region Russia

ISBN: (纸本)9783319743134;9783319743127

The paper is devoted to theoretical and experimental study of indexing methods as applied to spatial-temporal datasets appearing in different science and industry domains. For this purpose a general spatial-temporal data model is presented as a scene that admits hierarchically organized, heterogeneous spatial objects with individual temporal behaviors. For the model presented we argue the relevance of dynamic event-driven regular octrees as an underlying spatial-temporal indexing structure to a wide class of applications and prove its effectiveness for queries such as scene reconstruction, region search, and collision detection. For hierarchically organized scenes a complementary generalization of the octrees is proposed. Its performance and memory consumption advantages over traditional structures are confirmed by carrying out a series of computational experiments with industry meaningful datasets originated from the construction modeling applications. Results of computational experiments substantiate theoretical conclusions and demonstrate possibilities of creating efficient applications under the conditions of permanently growing scales and complexity of spatial-temporal data.

关键词： Indexing (of information)

来源：评论

学校读者我要写书评

暂无评论

Flow simulation around 3D bodies by using Lagrangian vortex loops method with boundary condition satisfaction with respect to tangential velocity components

引用

AEROSPACE SCIENCE AND TECHNOLOGY 2019年 94卷 105374-000页

作者： Dergachev, S. A. Marchevsky, I. K. Shcheglov, G. A. Bauman Moscow State Tech Univ 2 Nd Baumanskaya St5 Moscow 105005 Russia Russian Acad Sci Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow 109004 Russia

A new approach is developed for incompressible 3D flow simulation around bodies by Lagrangian vortex method. Closed vortex loops are considered as vortex elements, which are generated on all the body surface and provide the satisfaction of the boundary condition on the body surface. The procedure of the double layer potential density reconstruction, called T-scheme is proposed, which consists of two steps. Firstly, the integral equation with respect to vortex sheet intensity is solved, which expresses the equality between the tangential components of flow velocity limit value and the body surface velocity. It is solved by using Galerkin approach. Secondly, the least-squares procedure is implemented, which permits to find nodal values of the double layer potential density. It is shown that the developed algorithm makes it possible to improve significantly the quality of solution for the complex-shaped bodies with low-quality surface meshes. The combination of this approach with vortex wake modeling with vortex loops permits to simulate unsteady flows with acceptable computational complexity. It can be useful for CFD applications and visual effects reproducing in computer graphics. (C) 2019 Elsevier Masson SAS. All rights reserved.

关键词： Vortex method 3D flow Boundary condition Boundary integral equation Double layer potential Vortex loop

来源：评论

学校读者我要写书评

暂无评论

RETRO-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support 18

RETRO-λ: An Event-sourced Platform for Serverless Applicati...

引用

12th ACM International Conference on Distributed and Event-Based systems (DEBS)

作者： Meissner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Ulm Univ Inst Distributed Syst Ulm Germany Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781450357821

State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primarily due to the complexity of temporal changes and a difficult alignment with prevalent programming primitives and persistence strategies. Retroactive computing enables powerful capabilities though, including computations and predictions of alternate application timelines, post-hoc bug fixes, or retroactive state explorations. We propose an event-driven programming model that is oriented towards serverless computing and applies retroaction to the event sourcing paradigm. Our model is deliberately restrictive, but therefore keeps the complexity of retroactive operations in check. We introduce RETRO-lambda, a runtime platform that implements the model and provides retroactive capabilites to its applications. While RETRO-lambda only shows negligible performance overheads compared to similar solutions for running regular applications, it enables its users to execute retroactive computations on the application histories as part of its programming model.

关键词： event sourcing retroactive computing event processing serverless computing event-driven architecture retroaction

来源：评论

学校读者我要写书评

暂无评论

Management of Complex Product Data Using Incremental Semantic Validation 25

Management of Complex Product Data Using Incremental Semanti...

引用

25th ISPE Inc International Conference on Transdisciplinary Engineering

作者： Ilyin, Denis Morozov, Sergey Semenov, Vitaly Tarlapan, Oleg Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ Moscow Russia State Univ Moscow Inst Phys & Techol Moscow Russia

ISBN: (纸本)9781614998983;9781614998976

Management of semantically complex product data is one of the challenging problems tightly connected with emerging concurrent engineering environments and next generation product data management systems (PDM). Although ACID principles (Atomicity, Consistency, Isolation, and Durability) are widely recognized and recommended for any information system, it is hard to guarantee the consistency of the product data. Such data are usually driven by formal models in EXPRESS language being part of the STEP standard (ISO 10303). To be consistent and unambiguously interpretable by computer programs the data must satisfy syntactic and semantic rules defined by the standards. Available PDM systems are rather limited in maintaining the data consistency. Complete semantic validation requires extremely high costs, often exceeding the processing time of individual transactions. Periodic validation or validation on user demand is possible, but at a high risk of losing data that become useless in case of rule violation. In the paper an effective incremental method for semantic validation of product data is presented. It is guaranteed that the final data revision is consistent if only the original revision was consistent and the spot rules were not violated. Static analysis of the model specifications is applied and a dependency graph is formed. The dependency graph enables to identify the spot rules and the data that should be inspected against the rules. Computational experiments prove the effectiveness of the method in conformity to complex large-scale product data managed under an innovative platform PDMhub.

关键词： Product data management STEP ACID data consistency

来源：评论

学校读者我要写书评

暂无评论

The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture

引用

programming AND COMPUTER SOFTWARE 2017年第6期43卷 366-372页

作者： Batuzov, K. A. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

The complexity of software is ever increasing, and it requires more and more computational resources for its execution. A way to satisfy these requirements is the use of vector instructions that can operate with fixed-length vectors of data of the same. A method for representing vector instructions of one processor architecture in terms of the vector instructions of another architecture during the dynamic binary translation is proposed. An implementation of this method that includes the translation of vector addition and memory access increased the performance of the QEMU emulator by a factor greater than three on an artificial example and 12% on a real-life application.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：