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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

81 篇 会议
59 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

79 篇 工学
- 43 篇 计算机科学与技术...
- 38 篇 软件工程
- 24 篇 控制科学与工程
- 13 篇 电气工程
- 11 篇 信息与通信工程
- 9 篇 生物工程
- 8 篇 土木工程
- 6 篇 机械工程
- 6 篇 动力工程及工程热...
- 6 篇 生物医学工程（可授...
- 5 篇 船舶与海洋工程
- 4 篇 电子科学与技术（可...
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
56 篇 理学
- 32 篇 数学
- 11 篇 生物学
- 8 篇 系统科学
- 7 篇 物理学
- 5 篇 海洋科学
- 5 篇 统计学（可授理学、...
20 篇 管理学
- 13 篇 管理科学与工程(可...
- 8 篇 工商管理
- 3 篇 公共管理
- 3 篇 图书情报与档案管...
10 篇 医学
- 7 篇 临床医学
- 3 篇 基础医学(可授医学...
- 3 篇 公共卫生与预防医...
3 篇 经济学
- 3 篇 应用经济学
3 篇 法学
- 3 篇 社会学
3 篇 教育学
- 2 篇 心理学(可授教育学...

主题

8 篇 optimization
7 篇 global optimizat...
6 篇 particle swarm o...
4 篇 reinforcement le...
4 篇 interoperability
4 篇 solenoids
4 篇 power generation
4 篇 genetic algorith...
4 篇 equations
4 篇 chaos
4 篇 stochastic proce...
4 篇 multiobjective o...
3 篇 power demand
3 篇 probability dist...
3 篇 design optimizat...
3 篇 computer archite...
3 篇 electronic mail
3 篇 convergence
3 篇 voltage control
3 篇 algorithm design...

机构

7 篇 the pillar of in...
7 篇 the school of au...
6 篇 the school of co...
6 篇 graduate program...
5 篇 department of co...
4 篇 department of ph...
4 篇 health managemen...
4 篇 environmental en...
4 篇 center of comple...
4 篇 information syst...
4 篇 the school of co...
4 篇 department of me...
3 篇 preventive medic...
3 篇 karachi pakistan
3 篇 department of so...
3 篇 health systems a...
3 篇 department of ge...
3 篇 institute of ger...
3 篇 razi vaccine and...
3 篇 department of co...

作者

9 篇 niyato dusit
9 篇 xiong zehui
9 篇 du hongyang
9 篇 kang jiawen
7 篇 llanos carlos h.
6 篇 l. dos santos co...
6 篇 muñoz daniel m.
6 篇 ayala-rincón mau...
5 篇 dos santos coelh...
5 篇 kim dong in
4 篇 wahyu sardjono
4 篇 diogo n. oliveir...
4 篇 wesley p. calixt...
4 篇 liu guangyuan
4 篇 li zonghang
4 篇 dos s. coelho le...
3 篇 thyago g. pires
3 篇 bärnighausen til...
3 篇 leandro dos sant...
3 篇 shen xuemin

语言

135 篇 英文
3 篇 其他
2 篇 中文

检索条件"机构=Post-graduate Program of Automation Systems Engineering"

共 140 条记录，以下是91-100 订阅

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

详细简洁

排序：

Identifiability and Excitation of a Class of Rational systems

Identifiability and Excitation of a Class of Rational System...

引用

IEEE Annual Conference on Decision and Control

作者： Alexandre S. Bazanella Michel Gevers Daniel Coutinho Rafael Rui Graduate Program in Electrical Engineering Universidade Federal do Rio Grande do Sul Brazil ICTEAM Louvain University B1348 Louvain la Neuve Belgium Department of Automation and Systems Universidade Federal Santa Catarina Florianopolis SC Brazil

ISBN: (纸本)9781467360890

In a recent paper (Gevers et al., CDC 2013) [6] we have presented identifiability and excitation conditions for a class of linearly parametrized polynomial systems with a scalar state. The present paper expands the model class in two ways: we consider a class of rational systems with vector states that can be written in the so-called "generalized controller form". The identifiability for such systems can be determined using the Ritt algorithm as shown in the seminal paper (Ljung and Glad, 1994) [10]. Here we present an alternative and simple method which offers a lot of insight into the structural conditions on the model class that make it globally identifiable and into the generation of informative experiments.

关键词： Mathematic Identifiability Excitation Rational number SOS Calls Controllers

来源：评论

学校读者我要写书评

暂无评论

An overview of enterprise interoperability assessment 22

An overview of enterprise interoperability assessment

引用

22nd International Conference on Production Research, ICPR 2013

作者： Cestari, J.M.A.P. Santos, E.A.P. Loures, E.F.R. Industrial and Systems Engineering Post Graduate Program Pontifical Catholic University of Paraná R. Imaculada Conceição 1155 Curitiba PRCEP: 80.215-901 Brazil

The need for collaboration across companies and across areas in the same company is a reality that systems, people and other stakeholders must deal with it. When there is sharing of information, communication among entities, interaction and integration, progress occurs and, all these components working together can improve enterprise performance. As the need of these 'inter operations' is real, the interoperability is becoming a key factor for companies facing with collaborative-cooperative environments. Enterprise Interoperability Assessment (EIA) provides a company the opportunity to know their strengths, weaknesses and prioritize actions to improve its performance and maturity. This paper presents concepts regarding Enterprise Interoperability focusing in EIA, including some existing models and establishing relationship with CMMI, a reference adopted worldwide, in order to identify common perspectives.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Microscopic Simulation Analysis of Mainstream Traffic Flow Control with Variable Speed Limits

Microscopic Simulation Analysis of Mainstream Traffic Flow C...

引用

International IEEE Conference on Intelligent Transportation systems

作者： Eduardo R. Muller Rodrigo C. Carlson Werner Kraus Markos Papageorgiou Post-graduate Program in Automation and Systems Engineering Federal University of Santa Catarina Department of Production Engineering and Managament Technical University of Crete

ISBN: (纸本)9781479929153

Mainstream Traffic Flow Control (MTFC) with Variable Speed Limits (VSL) is a freeway traffic control method which aims to maximize throughput by regulating the mainstream flow upstream from a bottleneck. Recent studies in a macroscopic simulator have shown optimal and feedback MTFC potential to improve traffic conditions. In this paper, local feedback MTFC is applied in microscopic simulation for an on-ramp merge bottleneck. Traffic behavior reveals important aspects that had not been previously captured in macroscopic simulation. Mainly, the more realistic VSL application at specific points instead of along an entire freeway section produces a slower traffic response to speed limit changes. In addition, the nonlinear speed limit-flow relation observed in the microscopic model is more pronounced than what was observed at the macroscopic level. After appropriate modifications in the control law significant improvements in traffic conditions were obtained.

关键词： Vehicles Acceleration Microscopy Traffic control Delays Detectors Modeling

来源：评论

学校读者我要写书评

暂无评论

A genetic algorithm based method to support the geometric prosthesis modelling in skull repairing

A genetic algorithm based method to support the geometric pr...

引用

2013 International Conference on Biomedical engineering and Environmental engineering (ICBEEE 2013)

作者： Marcelo Rudek Osiris Canciglieri Junior Thiago Greboge Anderson Luis Szejka Industrial and Systems Engineering Post-Graduate Program PPGEPSPontifical Catholic University of ParanaPUCPR

This paper addresses the problem of the geometric modeling of prosthesis to correct defects in skull bone by computational approach viewpoint. The missing area in a defective skull can be virtually filled by a criterion based on the curvature of the skull shape. The basic argument is that in a computed tomography, the 2D skull border in slice image is similar to a rounded form. This research is proposing a method to find adjusted ellipses on its curvature by Ellipse Adjustment Algorithm(EAA) technique. If the ellipse is correctly adjusted in each computed tomography slice, the resulting arcs that fill the missing area can be built in 3D in order to complete an unknown region in the bone. The problem is that there are many possible solutions and the selection of the best ellipse that fits the contour shape is performed by a Genetic Algorithm(GA). The piece of bone that was missed in skull can be built as a synthetic image to fill a hole at defect position in the skull. With the ellipse parameters it is possible to generate profiles with its set of points in order to build the 3D model using a CAD system. The case study shows the use of the method applied to non-symmetric defects and presents the obtained results.

关键词： Prosthesis modelling tomography images genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

Hardware-based parallel firefly algorithm for embedded applications

Hardware-based parallel firefly algorithm for embedded appli...

引用

2013 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2013

作者： Muñoz, Daniel M. Llanos, Carlos H. Dos Santos Coelho, Leandro Ayala-Rincón, Mauricio Electronics Engineering Graduate Program Faculty of Gama University of Brasilia Brasilia DF Brazil Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Brasilia DF Brazil Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Curitiba Parana Brazil Departments of Computer Science and Mathematics University of Brasilia Brasilia DF Brazil

ISBN: (纸本)9781467363839

The firefly algorithm (FA) is a new population-based metaheuristic bioinspired on the behavior of the flashing characteristics of fireflies. As a population-based algorithm, the FA suffers from large execution times specifically for embedded optimization problems with computational limitations. For reducing execution times we propose a hardware parallel architecture of the FA algorithm that facilitates the implementation in Field programmable Gate Arrays (FPGAs). In addition, this work proposes the application of the opposition-based learning (OBL) approach to the FA algorithm. The respective hardware implementation (HPOFA) was mapped into a Virtex5 FPGA device and numerical experiments using four well-known benchmark problems demonstrate that the opposition-based approach allows the FA algorithm to improve its functionality, preserving the swarm diversity and avoiding the premature convergence problem. Synthesis results point out that the HPOFA architecture is effectively mapped in hardware and is suitable for embedded applications. © 2013 IEEE.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

What can a big program teach us about optimization?

What can a big program teach us about optimization?

引用

5th International Symposium on Search-Based Software engineering, SSBSE 2013

作者： De Oliveira Barros, Márcio De Almeida Farzat, Fábio Post-graduate Information Systems Program PPGI/UNIRIO Av. Pasteur 458 Urca - Rio de Janeiro RJ Brazil Computers and System Engineering Program COPPE/UFRJ Cidade Universitária Cx Postal 68501 Rio de Janeiro RJ Brazil

ISBN: (纸本)9783642397417

In this paper we report on the evolution of Apache Ant, a build automation tool developed in Java. We observed a typical case of architectural mismatch in this system: its original simple design was lost due to maintenance and addition of new features. We have applied SBSE techniques to determine whether the search would be able to recover at least parts of the original design, in a metrics-based optimization. We observed that current SBSE techniques produce complex designs, but they also allow us to study the limitations of present design metrics. In the end, we propose a new research perspective joining software clustering and refactoring selection to improve software evolution. © 2013 Springer-Verlag.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

The Creation and Application of a Simulator in Educational Robotics Classes

The Creation and Application of a Simulator in Educational R...

引用

IEEE Latin American Robotics Symposium, LARS

作者： Carla Fernandes Sarah Thomaz Renata Pitta Luiz Marcos Goncalves Post-Graduate Program in Electrical and Computer Engineering Federal University of Rio Grande do Norte Natal RN Brazil Department of Computer and Automation Engineering Federal University of Rio Grande do Norte Natal RN Brazil

ISBN: (纸本)9781479934775

Educational robotics classes consist of the use of robots in classes that involve interdisciplinary or social themes, creating innovative learning environments involving the use of such technology. In the usually known approach, educational robotics uses robotics kits. We developed a robotic simulator, called S-Educ, which can be used as an alternative or in association with robotics kits in classes involving the use of robotics. Simulators are not replacements of robotics kits, but an alternative for cases where the kits can not be used or they are not appropriate. Tests were carried out to analyze the use of the simulator, obtaining good results on the application of this simulator in educational robotics classes.

关键词： Robot sensing systems Virtual environments Mobile robots Actuators Wheels

来源：评论

学校读者我要写书评

暂无评论

Numerically Tractable Stability Tests for 2-D Singular Discrete-Time systems

Numerically Tractable Stability Tests for 2-D Singular Discr...

引用

IEEE Annual Conference on Decision and Control

作者： Andre F. Caldeira Daniel Coutinho Carlos E. de Souza Valter J. S. Leite Graduate Program on Systems and Control Engineering (PPGEAS) at the Universidade Federal de Santa Catarina (UFSC) PO Box 476 88040-900 Florianopolis SC Brazil Department of Automation and Systems (DAS) UFSC PO BOX 476 88040-900 Florianopolis SC Brazil Department of Systems and Control Laboratorio Nacional de Computacao Cientifica (LNCC/MCTI) Av. Getulio Vargas 333 25651-075 Petropolis RJ Brazil CEFET-MG / Campus Divinopolis R. Alvares Azevedo 400 35503-822 Divinopolis MG Brazil

ISBN: (纸本)9781467357159

This paper presents numerically tractable strict and non-strict linear matrix inequality conditions to the internal stability analysis of 2-D singular discrete-time systems. Two classes of 2-D singular systems are considered: (i) a general singular Fornasini-Marchesini model, and (ii) a singular Roesser model. In addition, the proposed conditions also guarantee that the 2-D singular system is acceptable and jump modes free. Numerical examples are presented to illustrate the proposed approach.

关键词： Singular Singular system stability study digitally Stability analysis

来源：评论

学校读者我要写书评

暂无评论

OPERAM: A Collaborative Semantic Workspace for Software Verification

OPERAM: A Collaborative Semantic Workspace for Software Veri...

引用

IEEE International Conference on systems, Man, and Cybernetics

作者： Edenilson José Da Silva Emerson Torquato Milton Pires Ramos Emerson Cabrera Paraiso Department of Informatics Universidade Tecnológica Federal do Paraná - UTFPR Pato Branco Brazil Information Technology Department Pontifícia Universidade Católica do Paraná - PUCPR Curitiba Brazil Center for Intelligent Systems Engineering Instituto de Tecnologia do Paraná - TECPAR Curitiba Brazil Post-Graduate Program on Informatics - PPGIa Pontifícia Universidade Católica do Paraná - PUCPR Curitiba Brazil

ISBN: (纸本)9781479906505

Collaboration is an important issue when developing software, because it involves working together towards a common goal. This work presents OPERAM, a collaborative semantic workspace that allows comparing the modeling performed at earlier stages of software development with JAVA code. OPERAM provides useful information for professionals involved in the task of developing code and even managing the project. OPERAM aims to allow monitoring of the project, helping users to be aware of the context they are working, allowing carry out verification of software development, confronting the modeling performed with source-code produced during the programming phase. We present its main features and architecture. In this paper the main features and architecture of OPERAM are presented, as well as a validation was conducted to prove the effectiveness of OPERAM. The results show the value of the workspace as a tool to support collaboration and software verification.

关键词： software verification colaboration in software development collaborative semantic workspace program verification computer software Software design Workplace ARCHITECTURE Building construction cooperating Semantics Information professionals

来源：评论

学校读者我要写书评

暂无评论

Accelerating the artificial bee colony algorithm by hardware parallel implementations

Accelerating the artificial bee colony algorithm by hardware...

引用

2012 IEEE 3rd Latin American Symposium on Circuits and systems, LASCAS 2012

作者： Muñoz, Daniel M. Llanos, Carlos H. Coelho, Leandro Dos S. Ayala-Rincón, Mauricio Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Brasilia D.F. Brazil Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Curitiba Parana Brazil Department of Computer Science and Mathematics University of Brasilia Brasilia D.F. Brazil

ISBN: (纸本)9781467312080

Artificial bee colony (ABC) is an optimization algorithm inspired on the intelligent behavior of honey bee swarms. It is suitable to be applied when mathematical techniques are impractical or provide suboptimal solutions. As a population-based algorithm, the ABC suffers on large execution times specifically for embedded optimization problems with computational limitations. For that we propose a hardware parallel architecture of the opposition-based ABC algorithm (HPOABC) that facilitates the implementation in Field programmable Gate Arrays (FPGAs). Numerical simulations using four well-known benchmark problems demonstrate that the opposition-based approach allows the algorithm to improve its functionality, preserving the swarm diversity. Additionally, synthesis results point outs that the HPOABC architecture is effectively mapped in hardware and is suitable for embedded applications. © 2012 IEEE.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共14页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：