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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

482 篇 会议
163 篇 期刊文献
6 册 图书

馆藏范围

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

日期分布

学科分类号

364 篇 工学
- 298 篇 计算机科学与技术...
- 236 篇 软件工程
- 47 篇 力学（可授工学、理...
- 43 篇 控制科学与工程
- 33 篇 信息与通信工程
- 30 篇 机械工程
- 23 篇 电气工程
- 20 篇 安全科学与工程
- 19 篇 电子科学与技术（可...
- 15 篇 化学工程与技术
- 15 篇 航空宇航科学与技...
- 14 篇 生物工程
- 12 篇 动力工程及工程热...
- 11 篇 仪器科学与技术
- 10 篇 生物医学工程（可授...
- 9 篇 光学工程
- 9 篇 交通运输工程
- 8 篇 石油与天然气工程
- 7 篇 材料科学与工程（可...
- 7 篇 土木工程
203 篇 理学
- 122 篇 数学
- 68 篇 物理学
- 45 篇 统计学（可授理学、...
- 16 篇 生物学
- 16 篇 系统科学
- 13 篇 化学
64 篇 管理学
- 33 篇 图书情报与档案管...
- 31 篇 管理科学与工程(可...
- 13 篇 工商管理
8 篇 医学
- 8 篇 临床医学
6 篇 法学
5 篇 农学
3 篇 经济学
1 篇 哲学
1 篇 教育学
1 篇 历史学

主题

29 篇 static analysis
24 篇 libraries
20 篇 conferences
19 篇 computer archite...
18 篇 computational mo...
17 篇 software
15 篇 programming
15 篇 safety
14 篇 linux
13 篇 registers
13 篇 semantics
13 篇 numerical models
12 篇 tools
12 篇 hardware
12 篇 testing
11 篇 xml
11 篇 software testing
10 篇 machine learning
10 篇 cloud computing
10 篇 mathematical mod...

机构

57 篇 ivannikov instit...
45 篇 lomonosov moscow...
42 篇 ivannikov instit...
36 篇 ivannikov instit...
24 篇 moscow institute...
21 篇 ivannikov instit...
21 篇 institute for sy...
19 篇 department of sy...
18 篇 lomonosov moscow...
18 篇 ivannikov instit...
17 篇 bauman moscow st...
17 篇 institute for sy...
17 篇 south ural state...
15 篇 institute for sy...
15 篇 north-caucasus f...
15 篇 institute for sy...
13 篇 bauman moscow st...
12 篇 ivannikov instit...
11 篇 ivannikov instit...
11 篇 ivannikov instit...

作者

22 篇 yevtushenko nina
14 篇 alexander kamkin
13 篇 khoroshilov alex...
12 篇 turdakov denis
12 篇 josef börcsök
12 篇 vishnyakov alexe...
11 篇 mostafa abotaleb
11 篇 kuts daniil
10 篇 gasnikov alexand...
10 篇 parygina darya
10 篇 fedotov andrey
10 篇 arutyun avetisya...
9 篇 denis turdakov
9 篇 avetisyan arutyu...
9 篇 ilia marchevsky
9 篇 burdonov igor
9 篇 el-kenawy el-say...
9 篇 nina yevtushenko
9 篇 abotaleb mostafa
8 篇 drobyshevskiy mi...

语言

629 篇 英文
14 篇 其他
10 篇 俄文
1 篇 中文

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

共 651 条记录，以下是251-260 订阅

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

详细简洁

排序：

Dedoc: A Universal system for Extracting Content and Logical Structure From Textual Documents

Dedoc: A Universal System for Extracting Content and Logical...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Oksana Belyaeva Anastasiia Bogatenkova Denis Turdakov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow

Document analysis has been a longstanding topic of research because of its great impact on a wide range of practical applications. The sheer number of different document formats and domains make this task particularly difficult. The existing solutions propose parsing documents of various formats, still there exists the problem of structure extraction for different document types. Dedoc is an open-source library that allows to extract document content in a unified representation and make it structuralized according to the specific domain of the document. The system architecture provides its scalability, i.e. the possibility to add new document formats and structure types handlers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

New algorithms for lexical query optimization

New algorithms for lexical query optimization

引用

International Conference on Information Technology Interfaces

作者： Nikita Mendkovich Sergey Kuznetsov Institute of System Programming Russian Academy of Science Moscow Russia

New algorithms for query modifications are proposed. These algorithms involve lexical optimization based on mathematical transformations that have never been used for query optimization before.

关键词： Query processing Standardization Databases Algebra system performance Data mining Information retrieval Delay Information technology Mathematics

来源：评论

学校读者我要写书评

暂无评论

Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments 2

Training Policy for Privacy-Preserving Logistic Regression i...

引用

2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024

作者： Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9798350354812

Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%. ©2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verification

Developing cycle-accurate contract specifications for synchr...

引用

International Baltic Electronics Conference, BEC

作者： M. Chupilko A. Kamkin Institute for System Programming Russian Academy of Sciences Moscow Russia

The paper describes a methodology for formal cycle-accurate specification of synchronous parallel-pipeline hardware. The main application of the methodology is simulation-based verification of control-intensive digital designs. Its key features are as follows: (1) resources of a design under verification (buffers, arbiters, data transfer channels, etc.) are specified by means of reusable cycle-accurate models; (2) operations of a design (pipeline control flows) are described by defining contracts (i.e. pre- and post-conditions) for all operation stages (functional units of a pipeline). Formal specifications of that kind can be easily applied to automate simulation-based verification. The suggested solution is aimed at achieving technological effectiveness of specifications development.

关键词： Hardware Contracts Pipelines Libraries Timing Automation Documentation

来源：评论

学校读者我要写书评

暂无评论

Rewriting-based optimization for XQuery transformational queries

Rewriting-based optimization for XQuery transformational que...

引用

International Symposium on Database Engineering and Applications (IDEAS)

作者： M. Grinev M. Pleshachkov Institute for System Programming Russian Academy of Sciences Moscow Russia

The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. For "querying" queries almost all techniques inherited from SQL-oriented DBMS may be applied. The XQuery transformation facilities are XML-specific and have no counterparts in other query languages. That is why XQuery transformational queries need to be optimized with novel techniques. In this paper two kinds of such techniques (namely push predicates down XML element constructors and projection of transformation) are considered. A subset of XQuery for which these techniques can be fully implemented is identified. This subset seems to be the most interesting from the practical viewpoint. Rewriting rules for this subset are proposed and the correctness of these rules is formally justified. For the rest of the language we propose solutions that work for the most of common cases or consider the problems we have encountered.

关键词： XML Database languages Query processing Statistics Standards development Performance evaluation Data engineering

来源：评论

学校读者我要写书评

暂无评论

Toward to usage of regularized Stefan problem solution in icing modeling

Toward to usage of regularized Stefan problem solution in ic...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Alexander V. Ivanov Mikhail P. Levin Tatiana V. Stenina Sergey V. Strijhak Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

In 2019 Tong Liu and coauthors proposed the development of the Messinger-Myers models for modeling the icing of aircraft. Their proposal consists in replacing the quasi-stationary heat equation for the ice region with a non-stationary heat equation. In our work, we propose to consider the same replacement for the water film region also. Then in the region of ice and water film, the temperature is described by a unified equation of thermal conductivity with discontinuous coefficients at the interface is known as Stefan problem. Stefan problem is a fundamental problem describing phenomena in phase transitions of substance. It was investigated as analytically and numerical both by various authors. Due to complexity of the considering problem the analytics is available only in simple cases. The main complexity of this problem relates with the internal boundary moving. The numerical solution of this incorrect problem is not simple. To date, a few of regularization methods proposed for the solution of Stefan problems by various authors. The main goal of this paper is investigate regularization of considering problem by omitting of classic Stefan condition at interface boundary. For solving of regularized problem we apply two different finite difference schemes of the second order approximation. The first is a second order hybrid finite difference scheme in and the second is a uniform second order finite difference scheme. Computations in Open Source Octave environment were provided and numerical results obtained by different schemes compared together, and with analytical solution. Computations of ice accretion on the NACA 0012 airfoil computed by iceFoam solver and Messenger-Mayer model are presented.

关键词： Heating systems Atmospheric modeling Computational modeling Ice Numerical models Mathematical model Finite difference methods

来源：评论

学校读者我要写书评

暂无评论

Dynamic Analysis of ARINC 653 RTOS with LLVM

Dynamic Analysis of ARINC 653 RTOS with LLVM

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Vitaly Cheptsov Alexey Khoroshilov Ivannikov Institute for System Programming of the Russian Academy of Sciences Higher School of Economics Moscow Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in modern aircraft. The measures taken are meant to reduce the risks of undesired consequences, but have strongly varying costs. Dynamic instrumentation and static analysis are common practices used to automatically find software defects, from strictly non-conforming code constructions to memory corruptions or invalid control flow. LLVM analyser and sanitizer infrastructure, while regularly applied to general-purpose software, originally was not thought to be introduced to heavily restricted environments. In this paper we discuss the specifics of airborne systems with regards to dynamic instrumentation and provide practical considerations to be taken into account for the effective use of general-purpose instrumentation tools. We bring a complete LLVM stack support to JetOS, a prospective onboard real-time operating system currently being developed at ISP RAS in collaboration with GosNIIAS. As an example, we port AddressSanitizer, MemorySanitizer, and UndefinedBehaviorSanitizer and provide the details against the caveats on all relevant sides: a sanitizer, a compiler, and an operating system. In addition we suggest uninvolved optimisations and enhancements to the runtimes to maximise the effects of the tools.

关键词： Tools Instruments Operating systems Standards Aerospace electronics Real-time systems

来源：评论

学校读者我要写书评

暂无评论

The UniTESK Approach to Specification-Based Validation of Hardware Designs

The UniTESK Approach to Specification-Based Validation of Ha...

引用

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Alexander Kamkin Institute for System Programming Russian Academy of Sciences Moscow Russia

Functional validation is a major bottleneck in hardware design. Two main approaches to ensure functional correctness of hardware systems are based on formal verification and simulation techniques. It is widely recognized that formal verification techniques are exhaustive but do not scale well; simulation-based techniques are scalable but are not exhaustive. Possible compromise is provided by semi-formal approaches combining formal specifications, functional coverage definition, and simulation. This paper describes the UniTESK approach to specification-based validation of hardware designs in which a good balance of exhaustiveness and scalability is found. UniTESK is originally intended for the development of high-quality functional tests for software systems. The paper shows how to adapt it for functional validation of Verilog HDL and systemC designs.

关键词： system testing Hardware design languages Software testing Object oriented modeling Formal verification Computer architecture Formal specifications Software systems Functional programming Scalability

来源：评论

学校读者我要写书评

暂无评论

A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble Techniques 7

A Practical Approach for Reliability Prediction of Safety Cr...

引用

7th International Conference on system Reliability and Safety, ICSRS 2023

作者： Ouertani, Aymen Krini, Ossmane Börcsök, Habil. Josef Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany Computer Architecture und System Programming University of Kassel Kassel Germany

ISBN: (纸本)9798350306057

This paper introduces a novel and comprehensive approach for estimating the reliability of safety critical software components in autonomous vehicle motion systems. The proposed approach in this paper presents a combination software reliability model (CSRM) that integrates multiple non-homogeneous Poisson process (NHPP) software reliability growth models (SRGMs) to achieve a reasonable compromise between accuracy, the trade-off between the goodness of fit and the simplicity, and stability. By using machine learning techniques, the CSRM effectively combines the strengths of individual SRGMs while mitigating their weaknesses through suitable evaluation and calibration techniques. The developed CSRM has been successfully applied and validated to facilitate a smoother and more efficient evaluation of reliability targets for software components in autonomous robotic wheelchair (ARW). Based on the validation results, the new CSRM has significantly enhanced the efficiency of the process for evaluating whether the defined reliability goals were being achieved. Furthermore, has facilitated a more accurate assessment of the need for further test executions and better planning of the required verification and validation session. This new approach provides valuable insights into the reliability of the developed software, particularly for software developers lacking extensive experience in identifying and applying appropriate SGRM. © 2023 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Complexity Reduced IIR Filter Design for FPGA 2

Complexity Reduced IIR Filter Design for FPGA

引用

2nd IEEE International Conference on system Analysis and Intelligent Computing, SAIC 2020

作者： Sergiyenko, Anatoliy Serhienko, Anastasia Igor Sikorsky Kyiv Polytechnic Institute Dept. of Computer Engineering Kyiv Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. of System Programming and Specialized Computer Systems Kyiv Ukraine

ISBN: (纸本)9781728190822

In this paper, a method of high order IIR filter design is proposed in which the coefficients in the canonical binary number system representation are searched by the simulated annealing algorithm. The high-quality IIR filters are designed using the all-pass filter stages, methods of masking filters and multiplied delays. It was proven, that if the coefficients of the multiplierless filter have no more than three summands in their representation, then its pipelined implementation in FPGA has the highest clock frequency. The use of the VHDL language in all the steps of the filter design helps to speed-up and improve the filter optimization. © 2020 IEEE.

关键词： IIR filters

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共66页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：