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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,181 篇 会议
21 册 图书
9 篇 期刊文献

馆藏范围

1,211 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

752 篇 工学
- 577 篇 计算机科学与技术...
- 340 篇 软件工程
- 225 篇 控制科学与工程
- 104 篇 信息与通信工程
- 91 篇 电气工程
- 88 篇 机械工程
- 36 篇 生物工程
- 30 篇 生物医学工程（可授...
- 28 篇 电子科学与技术（可...
- 28 篇 交通运输工程
- 22 篇 动力工程及工程热...
- 20 篇 仪器科学与技术
- 19 篇 安全科学与工程
- 17 篇 光学工程
- 16 篇 力学（可授工学、理...
- 16 篇 化学工程与技术
- 14 篇 航空宇航科学与技...
241 篇 理学
- 155 篇 数学
- 44 篇 生物学
- 43 篇 统计学（可授理学、...
- 40 篇 物理学
- 39 篇 系统科学
- 21 篇 化学
149 篇 管理学
- 111 篇 管理科学与工程(可...
- 57 篇 工商管理
- 55 篇 图书情报与档案管...
25 篇 医学
- 21 篇 临床医学
- 18 篇 基础医学(可授医学...
24 篇 法学
- 22 篇 社会学
19 篇 经济学
- 19 篇 应用经济学
11 篇 教育学
10 篇 农学
1 篇 文学
1 篇 军事学
1 篇 艺术学

主题

65 篇 control systems
37 篇 real-time system...
33 篇 computer science
32 篇 computer archite...
32 篇 mathematical mod...
30 篇 optimization
29 篇 automation
28 篇 computational mo...
27 篇 computer aided s...
26 篇 monitoring
20 篇 process control
19 篇 reinforcement le...
19 篇 protocols
19 篇 hardware
19 篇 multi-agent syst...
18 篇 robots
18 篇 artificial intel...
17 篇 robot sensing sy...
16 篇 access control
16 篇 costs

机构

13 篇 universitatea di...
11 篇 univ politehn bu...
7 篇 computer science...
6 篇 school of comput...
6 篇 univ politehn bu...
5 篇 univ politehn bu...
5 篇 moscow
5 篇 tianjin universi...
5 篇 computer science...
5 篇 state key labora...
5 篇 univ politehn bu...
4 篇 faculty of autom...
4 篇 computer science...
4 篇 school of inform...
4 篇 federal research...
4 篇 univ politehn bu...
3 篇 shanghai jiao to...
3 篇 college of compu...
3 篇 tsinghua univers...
3 篇 department of mi...

作者

5 篇 yang sen
5 篇 nicolae tapus
5 篇 tong jigang
5 篇 dan stefanoiu
5 篇 dong enzeng
5 篇 stefanoiu dan
4 篇 adina magda flor...
4 篇 valeriy vyatkin
4 篇 michal niezabito...
4 篇 alin moldoveanu
4 篇 niezabitowski mi...
4 篇 daniel moga
4 篇 stefan trausan-m...
4 篇 tapus nicolae
4 篇 iulia clitan
4 篇 ye xiaochun
4 篇 vlad muresan
3 篇 minho lee
3 篇 kirichek ruslan
3 篇 octavian cret

语言

1,185 篇 英文
15 篇 中文
12 篇 其他

检索条件"任意字段=20th International Conference on Control Systems and Computer Science, CSCS 2015"

共 1211 条记录，以下是151-160 订阅

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

详细简洁

排序：

Modeling Non-starvation in Multi-agent systems

Modeling Non-starvation in Multi-agent Systems

引用

international conference on control systems and computer science (cscs)

作者： Lorina Negreanu Computer Science Department University POLITEHNICA of Bucharest Bucharest Romania

ISBN: (纸本)9781479917815

Event-B is a formal method which uses first-order logic and set theory as the underlying mathematical notation for specifying and reasoning about discrete systems. Rod in is an Eclipse plug-in that offers a good tool support for Event-B. the aim of this paper consists in applying Event-B and Rod in to prove the non-starvation property of satisfying requests for services in a multi-agent system.

关键词： Multi-agent systems Distributed computing Computational modeling computer science Cognition Presses Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

State Feedback with Fractional PI^λD^μ control Structure for Genesio-Tesi Chaos Stabilization 16

State Feedback with Fractional PI<SUP>λ</SUP>D<SUP>μ</SUP>...

引用

16th international conference on sciences and Techniques of Automatic control and computer Engineering (STA)

作者： Rabah, Karima Ladaci, Samir Lashab, Mohamed Skikda 20th August 1955 Univ Dept Elect Engn Skikda 21000 Algeria Natl Polytech Sch Constantine Constantine 25000 Algeria Univ Mentouri SP Lab Lab Constantine 25000 Algeria

ISBN: (纸本)9781467392341

this paper proposes a fractional order control scheme for the stabilization of the nonlinear chaotic Genesio-Tesi systems. Stability analysis of the nonlinear chaotic system is studied for the fractional order integral and derivative actions using the bifurcation diagram. We show by numerical simulations that the fractional (PID mu)-D-lambda controller provides a good closed loop system performance for stabilizing the problem of unstable fixed point.

关键词： fractional order system Genesio-Tesi chaotic system chaos suppression periodic orbit fractional (PID mu)-D-lambda controller unstable fixed point

来源：评论

学校读者我要写书评

暂无评论

Toolset for Construction and Verification of Rules for Spacecraft's Autonomous Decision Making 20th

Toolset for Construction and Verification of Rules for Space...

引用

20th international conference on Knowledge - Based and Intelligent Information and Engineering systems (KES)

作者： Tiugashev, Andrei A. Belozubov, Alexander V. ITMO Univ 49 Kronverksky Pr St Petersburg 197101 Russia

Dependability of control system is one of the most complex problems in space projects. Decision making in case of contingencies is a non-trivial process requiring some "intelligence". We can implement the "onboard intelligence" in different ways. the most common approach involves its implementation in the source code of the flight control software. the approach presented in the paper uses an onboard real-time decision making system. the decision making rules can be added or updated from Earth by radio channel. Currently, the rules should be specified in a table form, leading to misunderstandings in project team and errors. the improved approach provides the special toolset including, visual constructor of rules and support of rules' verification. the proposed approach allows the engineers to define visually construct and update the decision making rules without programming background easily. the toolset prototype was positively evaluated at enterprise JSC Information Satellite systems, Russia. (C) 2016 the Authors. Published by Elsevier B.V. this is an open access article under the CC BY-NC-ND license (http://***/licenses/by-nc-nd/4.0/). Peer-review under responsibility of KES international

关键词： Autonomous spacecraft control decision making visual builder software toolset verification

来源：评论

学校读者我要写书评

暂无评论

Modelling and control Design for Biped Robot Standing on Nonstationary Plane 20

Modelling and Control Design for Biped Robot Standing on Non...

引用

20th international conference on Methods and Models in Automation and Robotics (MMAR)

作者： Bazylev, Dmitry Zimenko, Konstantin Margun, Alexey Ibraev, Denis Kremlev, Artem ITMO Univ Kronverkskiy Pr 49 St Petersburg 197101 Russia

ISBN: (纸本)9781479987016

Motion control of biped robots includes a variety of tasks, such as controlling a robot walking on a horizontal plane, climbing stairs, moving on uneven surfaces, etc. this article describes modeling and designed control system for a biped robot standing on nonstationary plane. the problem of stabilization of the balancing robot, assembled on the basis of a robotic kit Bioloid, is considered for the case, when trajectories of movable plane are assumed to be bounded and unknown in advance. In contrast to previous works [4], [8] the mathematical model of the system is completed with dynamical equations and an estimator of nonstationary plane angle and angular velocity is designed. Performance of the proposed control algorithm is confirmed by numerical simulation.

关键词： biped robot design control Modeling computer algorithms control systems plane Platanus hybrida Planing Motor control ANGULAR VELOCITY trajectory advance numerical simulation Religious Missions Robot

来源：评论

学校读者我要写书评

暂无评论

Safety Critical RTOS for Space Satellites 20

Safety Critical RTOS for Space Satellites

引用

20th international conference on Process control (PC)

作者： Slacka, Juraj Halas, Miroslav Fac Elect Engn & Informat Technol Inst Robot & Cybernet Bratislava Slovakia

ISBN: (纸本)9781467366274

In many practical applications, that can be found in control engineering, the functionality and safety of the overall control process rely on a proper function of the respective operating system. this fact makes the software one of the most safety critical elements of such practical applications, especially when the control process is placed in an inhospitable environment not directly accessible to man. One of such environments is Space. In this paper a problem of designing a safety critical real time operating system for a small space satellite called CubeSat is discussed. It is shown how to design such an operating system and how to increase its reliability and to protect it against single upset events.

关键词： RTOS scheduler safety critical multitasking embedded systems stack monitoring onboard computer bootloader

来源：评论

学校读者我要写书评

暂无评论

Study on temperature and humidity coupling control of plant factory based on ANFIS 24

Study on temperature and humidity coupling control of plant ...

引用

24th IEEE international conference on High Performance Computing and Communications, 8th IEEE international conference on Data science and systems, 20th IEEE international conference on Smart City and 8th IEEE international conference on Dependability in Sensor, Cloud and Big Data systems and Application, HPCC/DSS/SmartCity/DependSys 2022

作者： Jiayao, Liu Xiaokun, Guo Yong, Liu Wenwen, Hu Shipu, Xu Yunsheng, Wang Shanghai Institute of Technology Department of Railway Transportation Shanghai China Institute of Agricultural Information Science and Technology Shanghai Academy of Agricultural Sciences Shanghai China

ISBN: (纸本)9798350319934

In this study, based on the traditional temperature and humidity control system, fully considering the coupling relationship between temperature and humidity in plant factory, designed a decoupling control system of temperature and humidity in plant factory based on adaptive Neuro-fuzzy inference system (ANFIS). the control system can real-time measurement of the temperature and humidity inside the factory, the operator can use the control system according to the types of crops and different growth stages, the temperature and humidity control within the plant factory, within the range of the most suitable for plant growth and development of the ecological environment of the plant growth and create the most suitable, shorten the growth period of plant, increase crop yield, higher economic value. In this paper, the ANFIS-based input-output model is used to optimize the membership function of the fuzzy system, which makes the control system more stable and the control speed more sensitive. the experimental results are compared with the conventional fuzzy controller, and it is found that the ANFIS model can make the system get better performance. © 2022 IEEE.

关键词： Fuzzy systems

来源：评论

学校读者我要写书评

暂无评论

Communication Architecture of EtherCAT Master for High-Speed and IT-enabled Real-Time systems 20

Communication Architecture of EtherCAT Master for High-Speed...

引用

20th IEEE conference on Emerging Technologies and Factory Automation (ETFA)

作者： Maruyama, Tatsuya Yamada, Tsutomu Hitachi Ltd Res & Dev Grp Ctr Technol Innovat Energy 1-1Omika Cho 7 Chome Hitachi Ibaraki 3191292 Japan

ISBN: (纸本)9781467379298

We propose a communication architecture for EtherCAT master motivated by the technological progress in IT systems and Industrial Ethernet in control systems. In the proposed method, a dedicated hardware named the EtherCAT accelerator offers virtualized real-time and IT communication channels by operating automatic control frame generation, time synchronization protocol, and transmission scheduling of frames based on synchronized time. Using the EtherCAT accelerator enables highly accurate cyclic communications under IT communications such as IP. We prototyped the proposed architecture on a field programmable gate array (FGPA) as hardware and Linux as software. the results show that the master can transmit 64-byte packets in a 30 mu s cycle synchronized to an EtherCAT network with less than 1 mu s is accuracy.

关键词： Communication Research PROFINET ARCHITECTURE Building construction computer hardware information technology real-time systems Field programmable gate arrays Linux control systems FRAMES EIS IMPLEMENTATION PLANS Frame Technology Development

来源：评论

学校读者我要写书评

暂无评论

Smart Grid Overview: Infrastructure, Cyber-Physical Security and Challenges

Smart Grid Overview: Infrastructure, Cyber-Physical Security...

引用

international conference on control systems and computer science (cscs)

作者： Ioan Dumitrache Delia Ioana Dogaru Universitatea din Bucuresti Bucuresti RO

ISBN: (纸本)9781479917815

this paper presents an overview of smart grid and issues regarding security of cyber-physical components. the motivation for choosing this topic resumes to the present transition of the power grid to an advanced, two-way communication and distributed generation of renewable energy smart grid. Due to the fact that the power grid's infrastructure, systems and applications were not designed to easily integrate the IT network, architectural vulnerabilities arise leading to physical and cyber security risks.

关键词： control systems

来源：评论

学校读者我要写书评

暂无评论

Teleconference Application for Mobile Surveillace and Telemedicine systems

Teleconference Application for Mobile Surveillace and Teleme...

引用

international conference on control systems and computer science (cscs)

作者： Ciprian Lupu Cosmin-Constantin Mihai Dept. of Automatic Control and Systems' Engineering University Politehnica of Bucharest Bucharest Romania Universitatea din Bucuresti Bucuresti RO

this paper describes the implementation of a surveillance, monitoring and teleconference system used by the TELEDIM telemedicine system. Windows tablets and smart phones are used to capture audio and video data and se... 详细信息

关键词： Servers Streaming media Surveillance Data acquisition Ad hoc networks IEEE 802.11 Standard Program processors

来源：评论

学校读者我要写书评

暂无评论

Agent-based architecture for intelligent semi-autonomous robots

Agent-based architecture for intelligent semi-autonomous rob...

引用

20th international conference on computers and their Applications 2005, CATA 2005

作者： Graham, James H. Kuhl, Eric Nida, Jonathan Dept. of Computer Engineering and Computer Science University of Louisville Louisville KY 40292 United States

ISBN: (纸本)9781618395528

Autonomous and semi-autonomous robotic systems are increasingly being designed, evaluated and used for hazardous operations in both the military and civilian domains. While many of the requirements for the lower- level control functions for these devices are currently well understood, the issues of determination and control of higher-level behaviors are only now beginning to be addressed. this paper addresses the issues of creating a flexible, robust architecture suitable for modeling, simulating and controlling the higher-level operation of intelligent robotic systems in military and civilian applications. It also describes the creation of ESAgent, a prototype for laboratory evaluation of these concepts using JADE and JESS.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共122页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：