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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

38 篇 会议
10 篇 期刊文献
1 册 图书

馆藏范围

49 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

30 篇 工学
- 21 篇 计算机科学与技术...
- 15 篇 软件工程
- 6 篇 力学（可授工学、理...
- 6 篇 电气工程
- 5 篇 信息与通信工程
- 4 篇 电子科学与技术（可...
- 4 篇 石油与天然气工程
- 3 篇 动力工程及工程热...
- 3 篇 控制科学与工程
- 3 篇 船舶与海洋工程
- 3 篇 安全科学与工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 交通运输工程
- 2 篇 航空宇航科学与技...
- 1 篇 生物工程
- 1 篇 公安技术
- 1 篇 网络空间安全
12 篇 理学
- 6 篇 物理学
- 5 篇 数学
- 2 篇 海洋科学
- 1 篇 大气科学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 法学
- 1 篇 公安学

主题

4 篇 computational mo...
3 篇 linux
3 篇 optimization
3 篇 numerical simula...
3 篇 blades
3 篇 software
3 篇 propellers
3 篇 wakes
2 篇 tools
2 篇 reliability
2 篇 computer archite...
2 篇 manuals
2 篇 geophysical meas...
2 篇 specifications
2 篇 software testing
2 篇 contracts
2 篇 ground penetrati...
2 篇 kernel
2 篇 testing
2 篇 microprocessors

机构

7 篇 ivannikov instit...
4 篇 college of engin...
3 篇 ivannikov instit...
3 篇 school of naval ...
3 篇 ivannikov instit...
3 篇 programming of t...
3 篇 software enginee...
2 篇 ivannikov instit...
2 篇 institute of nuc...
2 篇 software enginee...
2 篇 department of ne...
2 篇 ocean university...
2 篇 shandong provinc...
2 篇 samsung electron...
2 篇 cloud technologi...
2 篇 software enginee...
2 篇 laboratory of in...
2 篇 compiler technol...
2 篇 key laboratory o...
2 篇 laboratory of ul...

作者

9 篇 yevtushenko nina
4 篇 qin zhang
4 篇 kossachev alexan...
4 篇 burdonov igor
3 篇 epikhin andrey
3 篇 wan decheng
3 篇 andrey epikhin
3 篇 nina yevtushenko
3 篇 strijhak sergei
2 篇 vladislav ivanis...
2 篇 xin liu
2 篇 avetisyan arutyu...
2 篇 pozin boris a.
2 篇 igor burdonov
2 篇 kamkin alexander
2 篇 mkoyan ruslan
2 篇 vinarskii evgeni...
2 篇 cavalli ana rosa
2 篇 bo yang
2 篇 kraposhin matvey

语言

49 篇 英文

检索条件"机构=Software Engineering of Ivannikov Institute for System Programming"

共 49 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

International Conference on Actual Problems of systems and software engineering

作者： Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona

ISBN: (纸本)9781728160627

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite state machine (FSM) Quasi-deterministic FSM Quasi-complete FSM Moore pair Synchronous composition Pairing multi-input output ports harbors finite state machines deterministic

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable model-based test program generator for microprocessors

Reconfigurable model-based test program generator for microp...

引用

International Workshop on Variability-intensive systems Testing, Validation, and Verification

作者： Kamkin, Alexander Kornykhin, Eugene Vorobyev, Dmitry Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769543451

Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with little reuse of well-tried components. State-of-the-art tools, like Genesys-Pro and RAVEN, meet the challenge by using a model-based approach, where a microprocessor model is separated from a platform-independent generation core. However, there is still a problem. Developing a microprocessor model is rather difficult and usually requires deep knowledge of the inner-core structure and interfaces. In this paper, we describe a concept of a reconfigurable test program generator being customized with the help of architecture specifications and configuration files, which describe parameters of the microprocessor subsystems (pipeline, memory, and others). The suggested approach eases the model development and makes it possible to apply the model-based testing in the early design stages when the microprocessor architecture is frequently modified. © 2011 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

International Conference on Actual Problems of systems and software engineering

作者： Denis Kildishev Alexey Khoroshilov Software Engineering Ivannikov Institute for System Programming of the Russian Academy of Sciences

ISBN: (纸本)9781728160627

Requirements management is a significant part of development of complex safety-critical systems. software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The paper reveals some implementation details of Requality open source requirements management tool that is being applied in several projects developed according DO-178C and that is expanding with features originating from these projects.

关键词： Requirements management tool Safety-critical systems Implementation details Requirements safety-critical software systems software open source Requirements management

来源：评论

学校读者我要写书评

暂无评论

Visualization of behavioral aspects of AADL-models 11

Visualization of behavioral aspects of AADL-models

引用

11th International Conference on Computer Science and Information Technologies, CSIT 2017

作者： Zelenov, Sergey Buzdalov, Denis Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781538628317;9781538628300

In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to debug behavioral specifications. In the paper, we consider examples of the metamodel usage to represent dynamics for the following two aspects of AADL-models: 1) simulation of a modelled system on the basis of a Behavior Annex specification;2) failure modes and effects analysis on the basis of an Error Model Annex specification. We also present a stepwise visualization tool (engine and applications for both mentioned examples) that is implemented in MASIW framework for design of modern avionics systems. © 2017 IEEE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Runtime verification of linux kernel modules based on call interception

Runtime verification of linux kernel modules based on call i...

引用

IEEE International Conference on software Testing, Verification and Validation

作者： Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769543420

Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems. © 2011 IEEE.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs

Deriving adaptive homing sequences for weakly initialized no...

引用

2019 IEEE East-West Design and Test Symposium, EWDTS 2019

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (纸本)9781728110035

State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs. © 2019 IEEE.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of non/ductedpropeller under the influence of vertical wall

Comparative analysis of non/ductedpropeller under the influe...

引用

2022 ivannikov Open Conference, ISPRAS 2022

作者： Wang, Mengfei Qingxu Zhang, Qin Epikhin, Andrey Liang, Bingchen Ocean University of China College of Engineering Qingdao China Programming of the Ras Ivannikov Institute for System Moscow Russia Shandong Provincial Key Laboratory of Ocean Engineering Qingdao China

ISBN: (纸本)9798350398533

A numerical and experimental study has been conducted to explore the influence of vertical wall on the wake of the non/ducted propeller. The numerical simulation is achieved using a structured and transient sliding mesh approach. The control equations are closed by the Delayed Detached Eddy Simulation (DDES), and the computational results are compared with the available experimental data. By dividing the ducted propeller flow wake vortex shape into different behavior regions, the temporal vortex evolution near the wake of the propellers under the influence of different vertical walls are emphatically analysed. The results show that the jet flow wake reaches the wall, forming a conical low-speed area at the centre of the wall. The fluid circulates from the outer side to the inner side of the cone, forming a vortex whose size first increases and then decreases with the distance between the propellers and the wall. In addition, the change of propellers wake velocity profile is given. The wake velocity of propeller and ducted propeller decreases exponentially and linearly along the flow direction, respectively. © 2022 IEEE.

关键词： Wakes

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ruslan Mkoyan Daria Romanova Sevak Sargsyan Andrey Epikhin Center of advanced software technologies Russian-Armenian University Ivannikov Institute for System Programming of the RAS Yerevan Armenia Lomonosov MSU Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

system-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs

System-Wide Elimination of Unreferenced Code and Data in Dyn...

引用

ivannikov ISPRAS Open Conference (ISPRAS)

作者： Vladislav Ivanishin Evgeny Kudryashov Alexander Monakov Dmitry Melnik Jehyung Lee Ivannikov Institute for System Programming of Russian Academy of Sciences Samsung Electronics Software Center

Embedded devices may be significantly constrained in main memory, storage and CPU loads they can accommodate. The smaller the program, the faster it is loaded into memory. The smaller the system image, the cheaper can be production of the device. There are two ways to approach system image minification. The first way is to carefully write software adding no unnecessary parts from the start. The second way is to use existing software with unnecessary parts removed. In this work we implement the latter approach. Our work is concerned with eliminating unused code and data from dynamically linked programs; for statically linked programs, simple linker analysis is sufficient and has already been implemented.

关键词： Libraries software Optimization Ground penetrating radar Geophysical measurement techniques Manuals Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Pioneers of Russian Computers and Computer Graphics 5

Pioneers of Russian Computers and Computer Graphics

引用

5th International Scientific Conference: History of Computers and Informatics in the Former Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020

作者： Karpov, Leonid E. Karpova, Vera B. Tomilin, Alexander N. Ivannikov Institute for System Programming Lomonosov Moscow State University Russian Academy of Sciences Moscow Russia Lebedev Institute of Precise Mechanics and Computer Engineering Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781665403184

The work of the creators of the first electronic computer of the BESM series is briefly described. This computer served as the technical basis for the first Russian project in computer graphics area. The article also tells about the activities of Russian pioneers of computer graphics, who worked for the Academy of Sciences of the USSR at the institute of Precise Mechanics and Computer engineering and at the institute of Applied Mathematics. © 2020 IEEE.

关键词： Computer graphics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：