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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

242 篇 会议
56 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

168 篇 工学
- 114 篇 计算机科学与技术...
- 90 篇 软件工程
- 22 篇 信息与通信工程
- 22 篇 控制科学与工程
- 18 篇 生物医学工程（可授...
- 17 篇 安全科学与工程
- 16 篇 电气工程
- 14 篇 生物工程
- 11 篇 电子科学与技术（可...
- 9 篇 网络空间安全
- 7 篇 仪器科学与技术
- 7 篇 材料科学与工程（可...
- 6 篇 光学工程
- 6 篇 土木工程
- 5 篇 动力工程及工程热...
- 5 篇 交通运输工程
91 篇 理学
- 42 篇 数学
- 30 篇 物理学
- 18 篇 统计学（可授理学、...
- 15 篇 生物学
- 12 篇 系统科学
- 4 篇 化学
- 4 篇 海洋科学
45 篇 管理学
- 31 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 11 篇 工商管理
16 篇 医学
- 14 篇 临床医学
- 12 篇 基础医学(可授医学...
- 9 篇 药学(可授医学、理...
6 篇 教育学
- 6 篇 教育学
4 篇 法学
4 篇 农学
3 篇 经济学

主题

14 篇 software
10 篇 training
8 篇 forecasting
7 篇 computer archite...
7 篇 neural networks
7 篇 monitoring
6 篇 safety
6 篇 static analysis
6 篇 machine learning
6 篇 hardware
6 篇 testing
6 篇 mathematical mod...
5 篇 tools
5 篇 software quality
4 篇 information syst...
4 篇 reliability
4 篇 registers
4 篇 support vector m...
4 篇 programming
4 篇 automation

机构

30 篇 department of sy...
25 篇 department of co...
13 篇 department of co...
8 篇 computer techniq...
6 篇 department of co...
6 篇 computer enginee...
6 篇 mart learning ed...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of fo...
5 篇 department of co...
5 篇 department of in...
5 篇 universitat kass...
4 篇 school of electr...
4 篇 department of co...
4 篇 university of ka...
4 篇 information comm...
4 篇 department of sy...

作者

19 篇 abotaleb mostafa
16 篇 mostafa abotaleb
14 篇 josef börcsök
12 篇 ali hayek
10 篇 börcsök josef
10 篇 hayek ali
10 篇 boercsoek josef
9 篇 yevtushenko nina
9 篇 el-kenawy el-say...
9 篇 roy abi zeid dao...
8 篇 makarovskikh tat...
8 篇 abdelhameed ibra...
7 篇 daou roy abi zei...
7 篇 oleg savenko
7 篇 tetiana hovorush...
6 篇 el-sayed m. el-k...
6 篇 hovorushchenko t...
6 篇 krini abderrahim
6 篇 savenko oleg
5 篇 el-sayed m.el-ke...

语言

294 篇 英文
3 篇 中文
1 篇 俄文
1 篇 其他

检索条件"机构=Department of System Programming"

共 299 条记录，以下是21-30 订阅

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

详细简洁

排序：

Mjolnirr: A hybrid approach to distributed computing architecture and implementation

Mjolnirr: A hybrid approach to distributed computing archite...

引用

4th International Conference on Cloud Computing and Services Science, CLOSER 2014

作者： Savchenko, Dmitry Radchenko, Gleb System Programming Department South Ural State University Chelyabinsk Russia

ISBN: (纸本)9789897580192

A private PaaS enables enterprise developers to leverage all the benefits of a public PaaS to deploy, manage, and monitor applications, while meeting the security and privacy requirements your enterprise demands. In this paper we propose the design and implementation of a Mjolnirr private cloud platform for development of the private PaaS cloud infrastructure. It provides means for custom applications development which uses resources of distributed computing environment. Copyright © 2014 SCITEPRESS - Science and Technology Publications.

关键词： Platform as a Service (PaaS)

来源：评论

学校读者我要写书评

暂无评论

Student Attendance Control system with Face Recognition Based on Neural Network

Student Attendance Control System with Face Recognition Base...

引用

2021 International Russian Automation Conference, RusAutoCon 2021

作者： Strueva, Anastasiya Yu. Ivanova, Eleva V. South Ural State University Department of System Programming Chelyabinsk Russia

ISBN: (纸本)9780738131566

In this research we implement a system to monitor student attendance at South Ural State University. Our system is based on the automatic recognition of students' faces using neural networks. In this paper, we investigate the process, methods and algorithms of face recognition to build a student attendance control system that allows to easily add a new person to the system without additional training of neural networks within the system. In working, we identified and studied the parameters that reduce the efficiency of the recognition, as well as equipping our system with algorithms that reduce the negative impact of these parameters. We conducted experiments that prove the effectiveness of our solution. © 2021 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

Deep learning based ensemble approach to predict student academic performance: Case study 3

Deep learning based ensemble approach to predict student aca...

引用

3rd International Conference on Intelligent Sustainable systems, ICISS 2020

作者： Salal, Y.K. Abdullaev, S.M. South Ural State University Department of System Programming Chelyabinsk Russia

ISBN: (纸本)9781728170893

Traditional practices of education, medicine, and economics often use collective expert methods to find acceptable solutions to complex issues. The computer model of such methods is an ensemble classification which combines prediction of a number base classifier trained by various machine learning techniques. The predictive sample in the educational process is always not balanced-it leads to a shift in estimates. The basic idea of this work is that the binary forecasting on unbalanced datasets is carried out by a Meta-classifier-an ensemble of different classification algorithm (Decision tree J48, Naive base NB, Multilayer perception MLP, k-Neighbour Nearest k-NN and Support Vector Machine SVM) which trained by stacking, bagging and boosting procedures on SMOTE, RUS, ROS balanced samples. The experiments conducted on moderately unbalanced dataset of 350 tuples of student data with using simple voting Meta-ensemble models, show that the best overall accuracy A and F1 measure of minority class were achieved by the Meta-ensembles containing 5-15 members classifiers trained on samples prepared by *** is also proposed that these of Meta-ensembles can be used to resolve quantification learning problem-novel task to predict collective performance. As in our recent works the deterministic outputs of Meta-ensemble members can be transformed to probabilistic outputs and then to prediction of class frequency. After analyzing the results of quantification, it becomes obvious that the most optimal design of the meta-ensembles is to collect pre-boosted classifiers trained on the SMOTE sample. © 2020 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Model Based Development Methodology in Compliance with ISO 26262 for Safe Automotive ECU

Model Based Development Methodology in Compliance with ISO 2...

引用

2023 IEEE International Conference on Electrical, Computer and Energy Technologies, ICECET 2023

作者： Hafiz, Muhammad Ikram University of Kassel Department of Computer Architecture and System Programming Kassel Germany

ISBN: (纸本)9798350327816

This work presents a practical approach of designing a functionally safe ECU for automotive application by implementing the Model Based Development (MBD) methodology. Functional safety (FuSa) in automotive can be achieved by strictly following the processes of electrical and electronic systems development as given in the ISO 26262. The scope of FuSa encompasses the risks emerging from systematic failures and random hardware failures. One approach to mitigate these failures is the Model Based Development (MBD) on which the ISO 26262 provides guidance. This approach enables to model an ECU and accelerates an IP creation by automatic RTL code generation for rapid prototyping on an FPGA level. In this work the MBD is implemented in accordance to the ISO 26262 to design and test a hardware model of an embedded ECU. The embedded Design under Test (DUT) is simulated and its output verified in Matlab/Simulink. Upon successful results, the RTL codes of the DUT are generated for a target FPGA. The RTL codes are simulated and the functionality of the DUT is verified at the FPGA level. © 2023 IEEE.

关键词： FPGA Functional Safety HDL code generation ISO 26262 Model Based Development systematic failures

来源：评论

学校读者我要写书评

暂无评论

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata

Evaluating the length of distinguishing sequences for nondet...

引用

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

作者： Burdonov, Igor Kossachev, Alexandr Yevtushenko, Nina Demakov, Alexey Software Engineering Department Ivannikov Institute for System Programming of RAS Moscow Russia

ISBN: (纸本)9781728110035

Distinguishing sequences are used in model based mutation testing in order to distinguish the specification from its mutants that usually represent critical implementation faults. In this paper, we consider distinguishing sequences for Input/Output automata when a sequence of inputs can be applied before getting any response or a sequence of output responses from an implementation under test. We propose a technique for deriving an r- distinguishing trace, i.e. a distinguishing trace with respect to the trace inclusion (quasi-reduction) relation, and obtain the least and upper bounds on the length of a shortest r- distinguishing trace showing that the exponential upper bound with respect to the number of states of the specification automaton is reachable;the results are then adapted for a proper case of Input/Output automata when each input is followed by an output, i.e., for Finite State Machines. © 2019 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Implementing a Virtual Network on the SDN Data Plane

Implementing a Virtual Network on the SDN Data Plane

引用

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

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728198996

The paper investigates the implementation of virtual networks on the SDN data plane, modeled by a graph of physical connections between network nodes. A virtual network is defined as a set of ordered host pairs (sender, receiver), and it is implemented by a set of host-host paths that uniquely determine the switch settings. It is shown that any set of host pairs can be implemented on a connected graph without the occurrence of an infinite transfer of packets in a loop and without duplicate paths when the host receives the same packet several times. However, undesired paths may occur when a host receives a packet that is not intended for this host. On the other hand, it is shown that in some cases, implementation without undesired paths inevitably leads to duplication or looping of packets. The question is posed: on which graph can any set of host pairs be implemented without looping, duplication and undesired paths? A sufficient condition is proposed and a hypothesis is put that this condition is also the necessary condition. © 2020 IEEE.

关键词： Software defined networking

来源：评论

学校读者我要写书评

暂无评论

Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011 1

Forming the logical conclusion about sufficiency of informat...

引用

1st IEEE Ukraine Conference on Electrical and Computer Engineering, UKRCON 2017

作者： Hovorushchenko, Tetiana Computer Engineering and System Programming Department Khmelnitsky National University Khmelnitsky Ukraine

ISBN: (纸本)9781509030064

The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient;creates the sorted list of missing measures as the recommended priority of their addition in the SRS;evaluates the veracity of software quality assessment based on the available in the SRS measures. © 2017 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Comparison Between Two systems for Forecasting Covid-19 Infected Cases 1

引用

1st IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021

作者： Makarovskikh, Tatiana Abotaleb, Mostafa Department of System Programming South Ural State University Chelyabinsk454080 Russia

ISBN: (数字)9783030865825

ISBN: (纸本)9783030865818

Building a system to forecast Covid-19 infected cases is of great importance at the present time, so in this article, we present two systems to forecast cumulative Covid-19 infected cases. The first system (DLM-system) is based on deep learning models, which include both long short-term memory (LSTM), bidirectional long short-term memory (Bi-LSTM), and Gated recurrent unit (GRU). The second system is a (TS-system) based on time series models and neural networks, with a Prioritizer for models and weights for time series models acting as an ensemble between them. We did a comparison between them in order to choose the best system to forecast cumulative Covid-19 infected cases, using the example of 7 countries. As some of them have finished the second wave and others have finished the third wave of infections (Russia, the United States of America, France, Poland, Turkey, Italy, and Spain). The criterion for choosing the best model is MAPE. It is a percentage, not an absolute value. It was concluded that an ensemble method gave the smallest errors compared to the errors of the models in the (TS-system). © 2021, IFIP International Federation for Information Processing.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

Deriving Distinguishing Sequences for Input/Output Automata

Deriving Distinguishing Sequences for Input/Output Automata

引用

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

作者： Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (纸本)9781728198996

Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability relations is much bigger than for classical deterministic Finite State Machines (FSM). In order to avoid submitting the same test sequence several number of times, i.e., avoid the "all weather conditions"assumption, the separability relation can be considered. If two Input/Output automata are separable then there exists an input sequence such that after submitting this sequence and observing produced outputs it can be uniquely concluded which automaton is under testing. In this paper, we modify the discipline of applying input sequences and discuss the derivation of separating sequences for automata with mixed states, i.e., states where transitions both under inputs and under outputs are defined, as well as with cycles labeled by outputs. We also illustrate how an adaptive separating sequence can be derived when both automata are input-enabled. © 2020 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Botnet detection technique for corporate area network

Botnet detection technique for corporate area network

引用

2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing systems, IDAACS 2013

作者： Savenko, Oleg Lysenko, Sergii Kryshchuk, Andrii Klots, Yuriy Department of System Programming Khmelnitsky National University Instytutska 11 Khmelnitsky Ukraine

ISBN: (纸本)9781479914265

A new approach for the botnet detection based on multi-agent system is proposed. For increasing of the efficiency of botnet detection the multi-agent system was involved that allowed to make botnet detection via agents' communication within corporate network. A new technique with the usage of fuzzy and neural-fuzzy systems that makes the conclusion about botnet presence degree in computer systems is developed. The analysis of the botnets' actions demonstrations in the situation of the intentionally computer system reconnection is performed. It takes into account the botnet demonstrations in the several computer systems which are available in the network. © 2013 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：