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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

41,866 篇 会议
903 册 图书
384 篇 期刊文献
1 篇 学位论文

馆藏范围

43,152 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

29,344 篇 工学
- 22,624 篇 计算机科学与技术...
- 15,164 篇 软件工程
- 7,465 篇 控制科学与工程
- 4,934 篇 信息与通信工程
- 3,737 篇 电气工程
- 2,282 篇 机械工程
- 2,151 篇 生物工程
- 2,078 篇 生物医学工程（可授...
- 1,581 篇 电子科学与技术（可...
- 1,392 篇 交通运输工程
- 1,322 篇 动力工程及工程热...
- 1,225 篇 安全科学与工程
- 1,219 篇 光学工程
- 1,171 篇 仪器科学与技术
- 885 篇 化学工程与技术
11,024 篇 理学
- 5,984 篇 数学
- 2,599 篇 生物学
- 2,257 篇 物理学
- 1,951 篇 系统科学
- 1,736 篇 统计学（可授理学、...
- 1,035 篇 化学
6,688 篇 管理学
- 4,476 篇 管理科学与工程(可...
- 2,815 篇 图书情报与档案管...
- 2,324 篇 工商管理
2,109 篇 医学
- 1,916 篇 临床医学
- 1,802 篇 基础医学(可授医学...
- 1,012 篇 公共卫生与预防医...
- 932 篇 药学(可授医学、理...
1,150 篇 法学
- 957 篇 社会学
819 篇 教育学
- 807 篇 教育学
676 篇 经济学
440 篇 农学
111 篇 文学
86 篇 军事学
21 篇 艺术学
2 篇 历史学
1 篇 哲学

主题

1,504 篇 control systems
1,267 篇 computer science
855 篇 real-time system...
702 篇 covid-19
640 篇 access control
619 篇 computational mo...
612 篇 artificial intel...
606 篇 computer archite...
456 篇 internet of thin...
441 篇 deep learning
409 篇 accuracy
379 篇 protocols
347 篇 process control
329 篇 monitoring
328 篇 feature extracti...
309 篇 reinforcement le...
291 篇 training
286 篇 machine learning
276 篇 learning systems
260 篇 reliability

机构

38 篇 school of comput...
34 篇 college of compu...
34 篇 department of el...
29 篇 college of infor...
25 篇 univ chinese aca...
23 篇 college of compu...
23 篇 univ politehn bu...
22 篇 department of co...
21 篇 school of comput...
19 篇 school of automa...
18 篇 college of compu...
18 篇 federal research...
18 篇 center for astro...
18 篇 school of comput...
18 篇 department of ph...
18 篇 department of ph...
18 篇 the graduate sch...
18 篇 department of ph...
18 篇 graduate school ...
17 篇 school of comput...

作者

26 篇 andrzej napieral...
24 篇 wang jing
23 篇 liu yang
22 篇 li yang
20 篇 jui c.c.h.
20 篇 oshima a.
20 篇 tsuda r.
20 篇 kim j.h.
20 篇 bergman d.r.
20 篇 allen m.
20 篇 matsuyama t.
20 篇 wong t.
19 篇 ishii t.
18 篇 zhang lei
18 篇 uchihori y.
18 篇 kim s.w.
18 篇 takamura m.
17 篇 machida k.
17 篇 ohnishi m.
16 篇 wang lei

语言

41,517 篇 英文
1,413 篇 其他
365 篇 中文
17 篇 俄文
10 篇 西班牙文
2 篇 法文
1 篇 葡萄牙文
1 篇 乌克兰文

检索条件"任意字段=19th International Conference on Control Systems and Computer Science"

共 43154 条记录，以下是4801-4810 订阅

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

详细简洁

排序：

Overview of Modern Forecasting Methods and Models 16

Overview of Modern Forecasting Methods and Models

引用

16th international conference Management of Large-Scale System Development, MLSD 2023

作者： Ivanyuk, Vera Tsvirkun, Anatoliy Sunchalina, Anna Goroshnikova, Tatiana Sunchalin, Andrey Zholobova, Galina Financial University under the Government of the Russian Federation Department of Data Analysis and Machine Learning Moscow Russia Bauman Moscow State Technical University Department of Higher Mathematics Moscow Russia V.A.Trapeznikov Institute of Control Sciences of Ras Laboratory of Management of the Development of Large-Scale Systems Moscow Russia Financial University under the Government of the Russian Federation Faculty of International Economic Relations Moscow Russia Financial University under the Government of the Russian Federation Department of Mathematics Moscow Russia

the development of accurate forecasting models for financial time series is an essential area of research in finance and economics. the article describes modern models and forecasting methods. © 2023 IEEE.

ISBN: (纸本)9798350337907

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

WaLi: control-Flow-Based Analysis of Wasm Smart Contracts 4th

WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts

引用

4th international conference on Blockchain and Trustworthy systems (BlockSys)

作者： Yang, Shuo Li, Huizhong Zheng, Zibin Sun Yat Sen Univ Sch Software Engn Zhuhai 519000 Peoples R China WeBank Shenzhen 518055 Peoples R China

ISBN: (纸本)9789811980428;9789811980435

With the proliferation of various types of blockchain applications, smart contracts are getting more and more essential in developing decentralized applications due to their powerful expressing capabilities. However, security vulnerabilities of smart contracts keep arising in recent years, which has attracted a lot of attention. Most of the related research mainly focuses on smart contracts deployed on Ethereum. But in the meantime, more and more types of smart contracts adopt Wasm as their bytecode format due to its smaller size and higher operating efficiency in blockchain. To avoid the recurrence of exploited vulnerabilities in Wasm smart contracts, we develop WaLi, a control-flow-based analyzer for security vulnerabilities. In particular, we first construct a control flow graph based on the Wasm bytecode and define a critical path identification method to locate possible paths that may contain vulnerabilities. then we adopt a Wasm virtual machine to simulate a runtime environment when tracing the critical paths and report the result based on our vulnerability detection patterns. We choose Liquid smart contracts on FISCO-BCOS to illustrate our approach and the experimental results show that WaLi performs well in detecting the access control vulnerabilities.

关键词： Blockchain Smart contract control flow Static analysis WebAssembly

来源：评论

学校读者我要写书评

暂无评论

Human Acoustic Events Detection as Anomalies in Industrial Environments Using Shallow Unsupervised Techniques 19th

Human Acoustic Events Detection as Anomalies in Industrial...

引用

19th international conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024

作者： Fañez, Mirko A. de la Cal, Enrique Sedano, Javier Carús Candas, Juan Luis Ramírez Ávila, Jairo University of Oviedo Computer Science Department Faculty of Geology Oviedo Spain ITCL Instituto Tecnológico de Castilla y León Burgos Spain TSK St.Ada Byron 220 Asturias Gijón33203 Spain

ISBN: (纸本)9783031750120

the computational analysis of environmental sounds has garnered considerable attention in recent years, with a wide range of applications spanning media retrieval, hearing assistance, and biomonitoring systems. the two main tasks in this topic are acoustic scene classification and sound event detection. Current work presents the preliminary results of our first study of human spontaneous event identifications in real environments. the research will tackle the problem as an anomaly detection challenge, exploring the performance of semi-supervised and unsupervised shallow machine learning techniques on our sound datasets. Two sets of anomaly detection datasets have been created using our method of dataset fusion, combining a variety of acoustic scenes collected from a free sound library, as well as from different locations of our own real industrial company, and spontaneous human acoustic events from another free sound library. In addition, each dataset has been created following 7 Signal-Noise Ratio (SNR) challenges from -30dB up to +30dB, indicating that the semi-supervised algorithm Xtreme Boosting Based Outlier Detection, with 50% correctly labelled anomalies, has outperformed the rest of the algorithms across all datasets up to SNR -10dB, achieving an acceptable F1-macro score above 0.80. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Semi-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Enhancing Interoperability of Digital Twins Based on Digital Twins Definition Language 25

Enhancing Interoperability of Digital Twins Based on Digital...

引用

25th international conference on Enterprise Information systems, ICEIS 2023

作者： Cavalieri, Salvatore Gambadoro, Salvatore Department of Electrical Electronic and Computer Engineering University of Catania Catania95125 Italy

ISBN: (纸本)9789897586484

the Industry 4.0 is featured by a continuously-evolving digital transformation, aiming to automate all the traditional industrial practices. Digital Twin is one of the most important solutions to reach this aim. Among the standards currently available to realize Digital Twins there is the Digital Twins Definition Language. Digital Twin requires exchange of data with the real system it models and with other applications which use the digital replica of the system. In the context of Industry 4.0, a reference standard for an interoperable exchange of information between applications, is Open Platform Communications Unified Architecture. the idea behind the paper is to exploit this standard to allow a Digital Twin based on Digital Twins Definition Language to exchange data with any applications compliant to the Open Platform Communications Unified Architecture. A proposal about the mapping from Digital Twins Definition Language to Open Platform Communications Unified Architecture will be presented and discussed in this paper. Copyright © 2023 by SCITEPRESS - science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Recommendation Model for an After-School E-learning Mobile Application 15

Recommendation Model for an After-School E-learning Mobile A...

引用

15th international conference on computer Supported Education, CSEDU 2023

作者： Badier, Anaëlle Lefort, Mathieu Lefevre, Marie Univ Lyon UCBL CNRS INSA Lyon LIRIS UMR5205 VilleurbanneF-69622 France

ISBN: (纸本)9789897586415

In this article we present a learning resources recommendation system for an after-school educational mobile application. the goal of our system is to recommend relevant content among the learning resources available in the application to fit student needs and to encourage autonomous learning. the system is based on a graph of key notions to structure the application learning resources. We use the Item Response theory method to evaluate the student knowledge and filter the most relevant resources to study depending on three learning strategies: revision, continuation and deepening. the resources filtered by the selected strategy, are ranked mainly based on a pedagogical score. the system has been implemented for the Mathematics subject and analysed for middle and high-school students in real-life conditions. In Fall 2022, we recorded the learning traces of 4 670 students that interacted with the system. By analysing experts opinions, logs and students feedback, we can conclude that our system is pedagogically relevant, appreciated and used by students. Copyright © 2023 by SCITEPRESS – science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Improving task scheduling in microservice environments by considering intra-job dependencies 6

Improving task scheduling in microservice environments by co...

引用

6th international conference on Intelligent Computing and control systems, ICICCS 2022

作者： Phalachandra, L.H. Bhatt, Pranav Agarwal, Ishitha Bhowmick, Rishith Pes University Department of Computer Science Bengaluru India

ISBN: (纸本)9781665410359

Microservices in modern-day servers usually operate within container-based environments, which run on dedicated computing nodes. Even though these nodes are responsible for running containers belonging to a microservice, the scheduler of the OS running on a node is unaware of the intra-job dependencies in containers that arise to serve a particular request, instead of treating them like independent processes. Our solution takes advantage of request propagation data obtained from tracing tools and can adjust resource allocation based on the throttle time of a container. this allows us to efficiently allocate CPU resources to containers across services and automatically adjust scheduling parameters to provide better response times. © 2022 IEEE.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

Atlas Fusion 2.0 A ROS2 Based Real-Time Sensor Fusion Framework 10th

Atlas Fusion 2.0 A ROS2 Based Real-Time Sensor Fusion Framew...

引用

10th international conference on Modelling and Simulation for Autonomous systems

作者： Svediroh, Stanislav Zalud, Ludek Brno Univ Technol Dept Control & Instrumentat CEITEC Cent European Inst Technol Brno Brno Czech Republic

ISBN: (纸本)9783031713965;9783031713972

In this paper, we present a novel, easy-to-use ROS2-based real-time sensor fusion framework capable of making high-level detections from raw sensor data provided by their respective drivers. this framework is a direct successor of Atlas Fusion [8] developed by Brno University of Technology robotics lab. As opposed to its predecessor, it is based on ROS2 and more in line with its philosophy - each functionality is encapsulated in its own process (node). this allows for the composition of a unique sensor-fusion pipeline, code testing in isolation, better profiling, and easier usage of the state-of-the-art ROS2 packages developed by other research teams. Algorithms used are real-time, so the framework can be used in development, simulations (with previously collected dataset), deployed to a physical autonomous agent and the high-level detections can be shared between multiple agents. the Atlas-Fusion-2.0 framework has been developed in a way that allows for code distribution between several physical devices which helps with dividing responsibility and building redundancy into the system. With RVIZ and PlotJuggler, one can visualize every part of the processing chain from raw data up to high-level detections to assess current performance. It also has inbuilt basic profiling capabilities to publish the current delay each algorithm introduces to the system. this framework has been evaluated and tested on a sensory framework used to collect the Brno Urban Dataset [6] and its winter extension [7]. As the boundary of the state-of-the-art algorithms in sensor data processing is pushed rapidly, this package, in our opinion, provides a very streamlined way of experimenting with them and testing their performance.

关键词： ROS2 Real-Time Sensor Fusion Framework Experimentation Instrumentation Testing

来源：评论

学校读者我要写书评

暂无评论

Monitoring Applications for Vehicle based on Internet of things (IoT) using the MQTT Protocol 8

Monitoring Applications for Vehicle based on Internet of Thi...

引用

8th international conference on computer science and Computational Intelligence, ICCSCI 2023

作者： Nurudin Sukmandhani, Arief Agus Zarlis, Muhammad Computer Science Department BinusOnline Learning Bina Nusantara University Jakarta11480 Indonesia Information Systems Management Department BINUS Graduate Program - Master of Information Systems Management Bina Nusantara University Jakarta11480 Indonesia

Monitoring of vehicle conditions is needed as one of the securities in driving because one of the accident rates is negligence in checking the condition of the vehicle. this study aims to help reduce the level of accidents and increase human awareness for vehicle conditions, especially minibus type vehicles. the system works to provide information on the condition of vehicles sourced from the Engine control Unit (ECU). ECU data cars are obtained by SNIP traffic broadcast message and ask for data directly at the ECU. the car can provide vehicle information using a Canbus communication protocol through the OBD-II socket. Vehicle information can be seen by users through the website in real time. Based on the evaluation from the user side, this system provides ease of monitoring vehicle conditions because it can be accessed via the internet using various kinds of devices. © 2023 the Authors. Published by Elsevier B.V.

关键词： Blackbox ECU OBD-II Sstem Logging

来源：评论

学校读者我要写书评

暂无评论

Decoding Output Sequences for Discrete-Time Linear Hybrid systems. 25

Decoding Output Sequences for Discrete-Time Linear Hybrid Sy...

引用

Proceedings of the 25th ACM international conference on Hybrid systems: Computation and control (HSCC)

作者： Narasimhamurthy, Monal Sankaranarayanan, Sriram Univ Colorado Boulder CO 80309 USA

ISBN: (纸本)9781450391962

In this paper, we study the "decoding" problem for discrete-time, stochastic hybrid systems with linear dynamics in each mode. Given an output trace of the system, the decoding problem seeks to construct a sequence of modes and states that yield a trace "as close as possible" to the original output trace. the decoding problem generalizes the state estimation problem, and is applicable to hybrid systems with non-determinism. the decoding problem is NP-complete, and can be reduced to solving a mixed-integer linear program (MILP). In this paper, we decompose the decoding problem into two parts: (a) finding a sequence of discrete modes and transitions;and (b) finding corresponding continuous states for the mode/transition sequence. In particular, once a sequence of modes/transitions is fixed, the problem of "filling in" the continuous states is performed by a linear programming problem. In order to support the decomposition, we "cover" the set of all possible mode/transition sequences by a finite subset. We use well-known probabilistic arguments to justify a choice of cover with high confidence and design randomized algorithms for finding such covers. Our approach is demonstrated on a series of benchmarks, wherein we observe that relatively tiny fraction of the possible mode/transition sequences can be used as a cover. Furthermore, we show that the resulting linear programs can be solved rapidly by exploiting the tree structure of the set cover.

关键词： Hybrid systems Decoding Randomized Algorithms Observer Design State Estimation

来源：评论

学校读者我要写书评

暂无评论

Factors and strategies affecting indoor air quality in educational buildings 29

Factors and strategies affecting indoor air quality in educa...

引用

29th international conference on Engineering, Technology, and Innovation, ICE 2023

作者： Alqarni, Zahi Rezgui, Yacine Petri, Ioan Ghoroghi, Ali Cardiff University School of Engineering Cardiff United Kingdom King Khalid University College of Computer Science Abha Saudi Arabia

ISBN: (纸本)9798350315172

the last pandemic that hit all the countries in 2020 has inevitably led scientists and researchers to investigate and examine the indoor air quality in all types of enclosed spaces as people tend to spend most of their time inside the buildings. the students' group is one of the largest groups of people who spend most of their time in classrooms, characterized by a high occupant intensity and often by insufficient air quality. therefore, the educational building is an important indoor environment for measuring air quality. this paper aims to investigate the factors that affect infection risk transmission and the strategies that can mitigate the transmissibility of the infection. the methodology involves two distinct elements: indoor environment quality factors and engineering control strategies. the results show that the factorsaffecting indoor air quality are relative humidity, temperature,CO2 and ventilation. Also, the control strategies that can mitigate the infectious risk and improve indoor air quality are ventilation, air filters and ultraviolet radiation. © 2023 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 477 478 479 480 481 482 483 484 485 486 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：