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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

143 篇 会议
57 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

112 篇 工学
- 92 篇 计算机科学与技术...
- 79 篇 软件工程
- 28 篇 力学（可授工学、理...
- 17 篇 控制科学与工程
- 11 篇 机械工程
- 11 篇 信息与通信工程
- 11 篇 安全科学与工程
- 10 篇 电气工程
- 7 篇 航空宇航科学与技...
- 6 篇 电子科学与技术（可...
- 6 篇 生物工程
- 5 篇 动力工程及工程热...
- 4 篇 轻工技术与工程
- 3 篇 光学工程
- 3 篇 化学工程与技术
- 3 篇 石油与天然气工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 测绘科学与技术
- 2 篇 交通运输工程
76 篇 理学
- 45 篇 数学
- 31 篇 物理学
- 15 篇 统计学（可授理学、...
- 9 篇 系统科学
- 6 篇 生物学
- 4 篇 化学
- 4 篇 大气科学
15 篇 管理学
- 8 篇 管理科学与工程(可...
- 6 篇 图书情报与档案管...
- 3 篇 工商管理
1 篇 哲学
1 篇 经济学
1 篇 历史学
1 篇 农学

主题

19 篇 static analysis
12 篇 conferences
7 篇 computational mo...
7 篇 fuzzing
7 篇 codes
7 篇 source coding
6 篇 libraries
6 篇 software testing
6 篇 numerical models
5 篇 tools
5 篇 instruments
5 篇 numerical simula...
5 篇 stochastic syste...
5 篇 pipelines
5 篇 software
5 篇 mathematical mod...
5 篇 data models
5 篇 standards
4 篇 programming
4 篇 computer bugs

机构

57 篇 ivannikov instit...
36 篇 ivannikov instit...
29 篇 lomonosov moscow...
17 篇 moscow institute...
14 篇 lomonosov moscow...
12 篇 ivannikov instit...
11 篇 ivannikov instit...
9 篇 bauman moscow st...
9 篇 bauman moscow st...
8 篇 ivannikov instit...
6 篇 moscow institute...
6 篇 ivannikov instit...
5 篇 ivannikov instit...
5 篇 programming of t...
5 篇 lomonosov moscow...
4 篇 college of engin...
4 篇 ivannikov instit...
4 篇 mohamed bin zaye...
3 篇 nrc kurchatov in...
3 篇 tomsk state univ...

作者

14 篇 yevtushenko nina
12 篇 vishnyakov alexe...
11 篇 kuts daniil
10 篇 parygina darya
10 篇 fedotov andrey
7 篇 gasnikov alexand...
7 篇 logunova vlada
7 篇 marchevsky ilia
7 篇 burdonov igor
6 篇 daniil kuts
6 篇 epikhin andrey
6 篇 kobrin eli
6 篇 savidov georgy
5 篇 borodin alexey
5 篇 ilia marchevsky
5 篇 alexey vishnyako...
5 篇 alexey borodin
5 篇 nina yevtushenko
5 篇 elistratov stepa...
4 篇 andrey belevants...

语言

199 篇 英文
5 篇 其他
2 篇 俄文

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

共 204 条记录，以下是51-60 订阅

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

详细简洁

排序：

Using Homing Traces for Simplifying Passive Testing of Discrete Event systems

Using Homing Traces for Simplifying Passive Testing of Discr...

引用

2022 International Russian Automation Conference, RusAutoCon 2022

作者： Tvardovskii, Aleksandr Yevtushenko, Nina National Research Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (数字)9781665466554

ISBN: (纸本)9781665466554

The paper continues to study the use of state identification sequences for simplifying passive testing of discrete event systems. The knowledge of the current state of an implementation under test (IUT) which behavior is described by a Finite State Machine (FSM), can be utilized for effective monitoring only some critical properties or only some properties at critical states. The state identification can be performed by observing so-called homing IUT traces, i.e. input/output sequences which take the IUT to a known state independently of the initial state. In this work, we discuss homing trace derivation for FSMs which can be nondeterministic and partial. We also prolong the results obtained for classical Finite State Machines for those with timeouts, since nowadays, time aspects became very important for software and hardware systems. © 2022 IEEE.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Perspectives of system Informatics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Alexander K. Petrenko Andrei Voronkov

来源：评论

学校读者我要写书评

暂无评论

Analysis of wake around DARPA Suboff including self-propulsion with a seven-blade propeller in positive pitches

Analysis of wake around DARPA Suboff including self-propulsi...

引用

2022 ivannikov Open Conference, ISPras 2022

作者： Wang, Xinyu Zhang, Qin Qin, Yingfan Wang, Tianyuan Wang, Zhicheng Epikhin, Andrey Ocean University of China College of Engineering Qingdao China Programming of the Ras Ivannikov Institute for System Moscow Russia

ISBN: (纸本)9798350398533

The Delayed Detached Eddy Simulation(DDES) of the DARPA Suboff, including self-propulsion with sail, fins and seven-blade propeller, is performed at high Reynolds number and pitch-angle inflow besed OpenFOAM, the mixing evolution and energy performance of the vortex structure have been focused. Computations of Suboff are validated against reference data, simulation and experiment of the propeller are carried out simultaneously under the condition of high blade load (J = 0). The time-averaged, phase-averaged, instantaneous vorticity fields and power spectral density (PSD) around the submarine including self-propulsion, are reported under oblique inflow with drift angles of 0°, 7° and 15°. Computations demonstrate that the oblique inflow will deflect and attenuate the horseshoe vortex behind the sail resulting in no longer interacting with fin. Besides, it will speed up the process of the vortex dissipation to a certain extent. With the increase of inflow angle, the hydrodynamic performance of the propeller will have an increasing trend, but the trend will decrease. The fin-sheet vortex accelerates the instability process of the leeward wake, moreover, the horizontal fin-sheet vortex and propeller wake will deflect leeward with the inflow-angle increasing, varying the area of interaction. It is worth noting that the tip-vortex induced by leeward fin is attracted to wake, resulting in the abnormal wake under 15° inflow, and drift opposite to the rotation direction of the propeller. © 2022 IEEE.

关键词： Wakes

来源：评论

学校读者我要写书评

暂无评论

Validation of the developed open source library for far-field noise prediction 27

Validation of the developed open source library for far-fiel...

引用

27th International Congress on Sound and Vibration, ICSV 2021

作者： Epikhin, Andrey Ivannikov Institute for System Programming RAS Moscow Russia Bauman Moscow State Technical University Moscow Russia

ISBN: (纸本)9788378807995

The paper is focused on the validation of the developed open-source library libAcoustics for the far-field noise prediction by means of integral acoustic analogy. The library uses OpenFOAM for the near-field flow calculation and is available online at GitHub. Two benchmark cases with different formulations for computing the Ffowcs Williams and Hawkings equation are considered. In the first one, the spectrum of the acoustic noise generated by a rod-airfoil configuration is investigated. The near-field is calculated using large eddy simulation with a low-dissipation scheme, the far-field noise is predicted by a formulation based on the Garrick triangle. In the second case, acoustic perturbations generated by the compressible jet at a low Reynolds number are analyzed. Acoustic noise calculations are performed for the jet with Mach 0.9 and Reynolds number 3600 using Farassat 1A formulation. The obtained time-averaged and pulsating flow parameters and far-field noise have been compared with the available experimental data. The results of numerical simulations show a good agreement with the reference data. Thus, the developed library exhibits the potential for solving a wide range of computational aeroacoustics problems. © "Advances in Acoustics, Noise and Vibration - 2021" Proceedings of the 27th International Congress on Sound and Vibration, ICSV 2021. All rights reserved.

关键词： Acoustic noise

来源：评论

学校读者我要写书评

暂无评论

Symbolic Security Predicates: Hunt Program Weaknesses

Symbolic Security Predicates: Hunt Program Weaknesses

引用

2021 ivannikov Ispras Open Conference, ISPras 2021

作者： Vishnyakov, Alexey Logunova, Vlada Kobrin, Eli Kuts, Daniil Parygina, Darya Fedotov, Andrey Ivannikov Institute For System Programming Of The Ras Russia Lomonosov Moscow State University Russia Moscow Institute Of Physics And Technology Moscow Russia

ISBN: (纸本)9781665423304

Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don't trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security predicate to verify some error condition. Thus, we may change the program data flow to entail null pointer dereference, division by zero, out-of-bounds access, or integer overflow weaknesses. Unlike static analysis, dynamic symbolic execution does not only report errors but also generates new input data to reproduce them. Furthermore, we introduce function semantics modeling for common C/C++ standard library functions. We aim to model the control flow inside a function with a single symbolic formula. This assists bug detection, speeds up path exploration, and overcomes overconstraints in path predicate. We implement the proposed techniques in our dynamic symbolic execution tool Sydr. Thus, we utilize powerful methods from Sydr such as path predicate slicing that eliminates irrelevant constraints. We present Juliet Dynamic to measure dynamic bug detection tools accuracy. The testing system also verifies that generated inputs trigger sanitizers. We evaluate Sydr accuracy for 11 CWEs from Juliet test suite. Sydr shows 95.59% overall accuracy. We make Sydr evaluation artifacts publicly available to facilitate results reproducibility. © 2021 IEEE.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

Advanced Grammar-Based Fuzzing

Advanced Grammar-Based Fuzzing

引用

2022 ivannikov Memorial Workshop, IVMEM 2022

作者： Sargsyan, Sevak Hakobyan, Jivan Mehrabyan, Matevos Mkoyan, Ruslan Sahakyan, Vardan Melkonyan, Vahagn Arutunian, Mariam Fahradyan, Arman Avetisyan, Arutyun Russian-Armenian University Center of Advanced Software Technologies Yerevan Armenia Programming of the RAS Ivannikov Institute for System Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

This article presents novel method for efficient fuzzing of programs accepting complex structured data. It generates input data based on formal grammar description. Data generator is periodically autoconfigured based on target programs code coverage. It means that the type of generated programs is dynamically changed to increase code coverage. Data generator uses descriptions of BNF (Backus-Naur Form) rules in ANTLR (ANother Tool for Language Recognition) platform. More than 250 languages and data formats are supported. Every rule of grammar is designed as universal pushdown automata, which allows automatically generate BNF compatible data by traversing automata. We added weights for each transition of automata to provide priority of highly efficient paths (sequence of transitions). These weights are automatically changed by fuzzing engine, which provides data generator adaptation based on the coverage of the target programs. According to experimental results, we were able to increase code coverage significantly for several widely used programs including compilers. © 2022 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis fo...

引用

2022 ivannikov Open Conference, ISPras 2022

作者： Vishnyakov, Alexey Kuts, Daniil Logunova, Vlada Parygina, Darya Kobrin, Eli Savidov, Georgy Fedotov, Andrey Ivannikov Institute for System Programming of the Ras Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Russia

ISBN: (纸本)9798350398533

Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated bug detection based on hybrid fuzzing. We implement the proposed pipeline in the continuous fuzzing toolset Sydr-Fuzz which is powered by hybrid fuzzing orchestrator, integrating our DSE tool Sydr with libFuzzer and AFL++. Sydr-Fuzz also incorporates security predicate checkers, crash triaging tool Casr, and utilities for corpus minimization and coverage gathering. The benchmarking of our hybrid fuzzer against alternative state-of-the-art solutions demonstrates its superiority over coverage-guided fuzzers while remaining on the same level with advanced hybrid fuzzers. Furthermore, we approve the relevance of our approach by discovering 85 new real-world software flaws within the OSS-Sydr-Fuzz project. Finally, we open Casr source code to the community to facilitate examination of the existing crashes. © 2022 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Mixed characteristic discontinuous Galerkin approach for perfect gas dynamics modeling 4

Mixed characteristic discontinuous Galerkin approach for per...

引用

4th Virtual Workshop on Numerical Modeling in MHD and Plasma Physics: Methods, Tools, and Outcomes, MHD-PP 2021

作者： Gatsuk, V.K. Lukin, V.V. Bauman Moscow State Technical University Moscow Russia Keldysh Institute of Applied Mathematics RAS Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia

The numerical method based on the discontinuous Galerkin (DG) approach for perfect inviscid compressible gas dynamics modelling is developed. The approximate Riemann solvers in combination with gas dynamics equations system characteristic properties are used to calculate the numerical fluxes on the cells interfaces and inside the cells. A number of approximate Riemann solvers are considered. The solution characteristic decomposition is used in the similar to PPML way. The developed algorithm is tested using problems with smooth and discontinuous solutions. Both one-dimensional and two-dimensional test problems are considered. The method provides accurate discontinuity resolution and ability to compute gas-dynamic instabilities with minimal artificial distortion. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Gas dynamics

来源：评论

学校读者我要写书评

暂无评论

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Adaptive Homing Sequences for Partial Weakly-initialized Obs...

引用

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

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Yevtushenko, Nina Higher School of Economics Moscow Russia Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665445030

Finite State Machine (FSM) based state identification problem is widely used for analysis of discrete event systems. A homing sequence (HS) allows to determine the current state of an FSM under investigation. An HS is known to always exist and has polynomial length with respect to the number of states for a non-initialized reduced complete deterministic FSM where for each input sequence there is exactly one output sequence and any state can be an initial state. The HS problem becomes more complex if partial, non-deterministic or weakly-initialized machines are considered;for such FSMs an HS not always exists and can be much longer when existing. In particular, it has been proven that for a complete weakly-initialized non-deterministic FSM, length of a shortest adaptive HS (AHS) can be exponential with respect to the number of FSM states but HS length was not evaluated. In this paper, we consider the HS problem for partial observable possibly non-deterministic FSMs. In particular, we suggest a criterion for the existence of an AHS for a partial observable FSM and estimate the length of a shortest AHS. © 2021 IEEE.

关键词： Automata Discrete-event systems

来源：评论

学校读者我要写书评

暂无评论

Verifying cryptographic protocols by Tamarin Prover

Verifying cryptographic protocols by Tamarin Prover

引用

2020 ivannikov Memorial Workshop, IVMEM 2020

作者： Vinarskii, Evgenii Demakov, Alexey Kamkin, Alexander Yevtushenko, Nina Moscow Institute of Physics and Technology Higher School of Economics Ivannikov Institute for System Programming of the Ras Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781728190884

Cryptographic protocols are utilized for establishing a secure session between 'honest' agents which communicate strictly according to the protocol rules as well as for ensuring the authenticated and confidential transmission of messages. The specification of a cryptographic protocol is usually presented as a set of requirements for the sequences of transmitted messages including the format of such messages. Note that protocol can describe several execution scenarios. All these requirements lead to a huge formal specification for a real cryptographic protocol and therefore, it is difficult to verify the security of the whole cryptographic protocol at once. In this paper, to overcome this problem, we suggest verifying the protocol security for its fragments. Namely, we verify the security properties for a special set of so-called traces of the cryptographic protocol. Intuitively, a trace of the cryptographic protocol is a sequence of computations, value checks, and transmissions on the sides of 'honest' agents permitted by the protocol. In order to choose such set of traces, we introduce an Adversary model and the notion of a similarity relation for traces. We then verify the security properties of selected traces with Tamarin Prover. Experimental results for the EAP and Noise protocols clearly show that this approach can be promising for automatic verification of large protocols. © 2020 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：