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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,847 篇 会议
33 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

1,386 篇 工学
- 774 篇 控制科学与工程
- 711 篇 计算机科学与技术...
- 353 篇 电气工程
- 337 篇 软件工程
- 205 篇 机械工程
- 171 篇 信息与通信工程
- 105 篇 仪器科学与技术
- 90 篇 电子科学与技术（可...
- 72 篇 动力工程及工程热...
- 72 篇 航空宇航科学与技...
- 62 篇 力学（可授工学、理...
- 55 篇 建筑学
- 37 篇 生物医学工程（可授...
- 34 篇 化学工程与技术
- 22 篇 交通运输工程
- 20 篇 土木工程
- 17 篇 材料科学与工程（可...
- 17 篇 安全科学与工程
- 16 篇 石油与天然气工程
- 15 篇 冶金工程
482 篇 理学
- 307 篇 数学
- 124 篇 系统科学
- 89 篇 物理学
- 35 篇 统计学（可授理学、...
- 25 篇 生物学
- 22 篇 化学
122 篇 管理学
- 115 篇 管理科学与工程(可...
- 22 篇 工商管理
42 篇 艺术学
- 42 篇 设计学（可授艺术学...
33 篇 医学
- 19 篇 基础医学(可授医学...
13 篇 经济学
12 篇 教育学
5 篇 文学
5 篇 农学
4 篇 法学
3 篇 军事学

主题

209 篇 control systems
76 篇 control system s...
72 篇 mathematical mod...
58 篇 computer archite...
52 篇 algorithm design...
49 篇 robust control
46 篇 nonlinear contro...
44 篇 computational mo...
40 篇 process control
39 篇 usa councils
35 篇 automatic contro...
35 篇 hardware
35 篇 equations
32 篇 matlab
32 篇 robustness
30 篇 educational inst...
29 篇 software
29 篇 controllers
28 篇 uncertainty
26 篇 linear matrix in...

机构

8 篇 georgia inst of ...
7 篇 school of contro...
6 篇 lund inst of tec...
6 篇 department of el...
6 篇 purdue univ at i...
5 篇 california inst ...
5 篇 ieee
5 篇 keio univ yokoha...
5 篇 beihang univ sch...
4 篇 dipartimento di ...
4 篇 school of electr...
4 篇 massachusetts in...
4 篇 school of comput...
4 篇 honeywell techno...
4 篇 tokyo inst of te...
4 篇 univ of michigan...
3 篇 norwegian univ o...
3 篇 univ of tokyo
3 篇 ford research la...
3 篇 indian institute...

作者

6 篇 lyshevski sergey...
6 篇 a. varga
5 篇 ricardo c. l. f....
5 篇 long wang
5 篇 makoto iwasaki
5 篇 antonio t. alexa...
4 篇 kevin i-kai wang
4 篇 pedro l. d. pere...
4 篇 zoran salcic
4 篇 carlos c. insaur...
4 篇 alberto leva
4 篇 lichen zhang
4 篇 singhose william
3 篇 wang lei
3 篇 pilato christian
3 篇 valeriy vyatkin
3 篇 carloni luca p.
3 篇 lijun hang
3 篇 o. ravn
3 篇 sinha a.s.c.

语言

1,851 篇 英文
30 篇 中文
1 篇 其他

检索条件"任意字段=2013 IEEE Conference on Computer Aided Control System Design, CACSD 2013"

共 1882 条记录，以下是1481-1490 订阅

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

详细简洁

排序：

Specifying graphical modeling systems using constraint-based meta models

Specifying graphical modeling systems using constraint-based...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： G. Karsai G. Nordstrom A. Ledeczi J. Sztipanovits Institute for Software Integrated Systems Vanderbilt University Nashville TN USA

ISBN: (纸本)0780365666

Embedded computer-based systems are becoming highly complex and difficult to implement due to the large number of concerns designers must address. These systems are tightly coupled to their environments, requiring an integrated view that encompasses both the information system and its physical surroundings. Mathematical analysis of such systems requires formal modeling of both "sides", including their interaction. There exist a number of suitable modeling techniques for describing both the information system component and physical environment, but the best choice changes from domain to domain. We propose a two-level approach to modeling that introduces a meta-level representation. Meta-level models define modeling languages, but they can also be used to capture subtle interactions between domain level models. We show how the two-level approach can be supported with computational tools, and what kinds of novel capabilities are offered.

关键词： control systems design engineering control theory Military computing Hardware Software systems Information systems Mathematical model systems engineering and theory Information processing

来源：评论

学校读者我要写书评

暂无评论

Formal methods for analysis of heterogeneous models of embedded systems

Formal methods for analysis of heterogeneous models of embed...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： S. Nadjim-Tehrani Dept. of Comput. & Inf. Sci. Linkoping Univ. Sweden

ISBN: (纸本)0780365666

Technological developments in micro-electronics have made digital control an indispensable component in all engineering systems. The rapid pace of development and the demands on modern systems in terms of novel functions and shorter development cycles has led to many challenges in system design and verification. The down side of improved functionality is the unmanaged complexity: never have we had systems built with so many different disciplines simultaneously at work-each with their own collection of conceptual and concrete tools. To manage complexity in this setting it is essential to recognise and accommodate the diversities as early as they arise. For most application domains this results in a multi-paradigm development process, and is most visible in the design modelling stage. We discuss how mathematical modelling and analysis of system properties is affected by having several disciplines at work. We show that soundness in design models can be obtained both through static analysis based on properties defined for a meta-model, and through formal verification of an instance of a model-the latter being defined in terms of conformance to a requirements specification.

关键词： Embedded system Mathematical model Digital systems Hardware systems engineering and theory Electronic equipment testing Information analysis Embedded computing Information science Digital control

来源：评论

学校读者我要写书评

暂无评论

A component oriented modelling approach for fluid-dynamic piping system simulation (FluiDyS)

A component oriented modelling approach for fluid-dynamic pi...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： F. Corraro L. Verde CIRA Centro Italiano Ricerche Aerospaziali Italy

ISBN: (纸本)0780365666

The current industrial design practice mainly foresees a static analysis and design of distributed piping systems while leaving the solution of problems arising from plant dynamic behaviour to designer experiences and/or to "ad-hoc" developed dynamic simulation models. In this paper, we describe a component oriented modelling approach used for developing a simulation tool (FluiDyS) that allows a rapid and easy dynamic modelling and control algorithm design of even highly complex distributed piping systems. This modelling approach consists in developing standard state-space mathematical models, suitably defined and associated to particular elementary "physical components" whose composition allows modelling of a generic distributed piping system. This approach guarantees great flexibility (an even highly complex model is developed by simply assembling its system components), scalability (the same system can be simulated at different detail levels) and modularity (each component can be easily varied both by changing the associated parameters and by substituting the component model with another of the same class). Two applications are also presented which show the good numerical/experimental agreement and proves the effectiveness of such a tool when dealing with combined process/control performance optimisation problems and control system design and tuning.

关键词： Fluid dynamics Mathematical model control systems Analytical models Algorithm design and analysis Standards development Assembly systems Scalability Process control Optimization

来源：评论

学校读者我要写书评

暂无评论

A software tool for robustness analysis in plant parameters space (ROBAN)

A software tool for robustness analysis in plant parameters ...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： L. Verde F. Amato P. Canzolino Centro Italiano Ricerche Aerospaziali Capua Italy Dipartimento di Informatica e Sistemistica Università degli Studi di Napoli Federico II Napoli Italy

ISBN: (纸本)0780365666

The modern control configurated vehicle (CCV) design technologies aims at taking simultaneously into account performances and maneuvrability requirements, and handling quality specifications. Therefore it is very important to provide the modern stability and control engineers with a tool which allows to determine the maximum allowable range of aircraft parameter variation according to handling quality requirements. In this paper some applications of the software ROBAN, developed at the Centro Italiano Ricerche Aerospaziali (CIRA), are illustrated. ROBAN has been developed to analyse stability and performances (in terms of eigenvalues location on the complex plane) of linear systems subject to uncertain parameters, and has been shown to be particularly useful to deal with the robustness problems which arise in the flight control field. In particular, after a description of the algorithm, the applications of ROBAN to analyse (a) Robustness in flight conditions, (b) Robustness against sensor failures, (c) Robustness with respect to PIO (pilot-induced oscillations) are discussed.

关键词： Software tools Robustness Space technology Aerospace control Robust stability Vehicles Aerospace engineering Automotive engineering Aircraft propulsion Application software

来源：评论

学校读者我要写书评

暂无评论

The CRONE toolbox for Matlab

The CRONE toolbox for Matlab

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： A. Oustaloup P. Melchior P. Lanusse O. Cois F. Dancla Laboratoire d’Automatique et de Productique EP 2026 CNRS Equipe CRONE ENSERB Université Bordeaux 1 Talence France

ISBN: (纸本)0780365666

A new CAD tool, the CRONE Matlab toolbox, is presented for engineers and researchers in mathematics and engineering sciences, particularly for electrical and electronic engineering and automatic control. The originality, aims, form and use of the toolbox are presented. The three main modules are described: their content, principle, algorithms, and applications for identification and control. Examples of their use are given. The original theoretical mathematical concepts developed in our laboratory based on noninteger differentiation are used for the computation. CRONE control is a typical application. The toolbox is not only for researchers, including Ph.D students, but also for industrials whose growing interest in noninteger integration, and their readiness to invest in the development of its applications, are manifest. The paper is divided into four sections: aims and organization of the toolbox, "mathematical tools" module, "identification by noninteger model" module, and the "CRONE CSD" module. The final section discusses perspectives.

关键词： MATLAB Automatic control Mathematics Laboratories Mathematical model Visualization Graphics Differential equations Laplace equations Robust control

来源：评论

学校读者我要写书评

暂无评论

A framework for the hazard analysis of chemical plants

A framework for the hazard analysis of chemical plants

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： P. Herrmann H. Krumm Fachbereich Informatik Universität Dortmund Dortmund Germany

ISBN: (纸本)0780365666

We develop a framework supporting the formal hazard analysis of chemical plants. It provides generic specification modules for the description of safety properties, specification modules for the description of plant models, and theorems stating that certain subsystem structures of the plant model imply certain safety properties. Using the framework for hazard analysis, one first describes the plant and its control equipment as a composition of framework module instances. Then, one expresses the different safety properties of interest by parametrized framework modules. Finally, a safety property is proven when an appropriate theorem instance of the framework can be found. Thus, the framework facilitates the formal modeling. Moreover, the efforts for formal verifications are reduced drastically since framework theorem instances can replace explicit proofs. The framework utilizes modular temporal logic specifications supported by the specification language cTLA, and in particular is devoted to the compositional description of process systems.

关键词： Chemical analysis Chemical hazards Safety Logic State-space methods Space exploration control equipment Formal verification Hardware Costs

来源：评论

学校读者我要写书评

暂无评论

A framework for verification and validation of integrated and adaptive control systems

A framework for verification and validation of integrated an...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： J. James D. Barton United States Air Force under Contract F33615-00-C03011 J. R. James Associates Inc. Fairfax VA USA

ISBN: (纸本)0780365666

This paper summarizes a project that seeks to extend previous work in formal methods, functional languages, adaptive control and hybrid control to establish a methodology and a framework for validation and verification of adaptive/intelligent software systems. We are working to apply recent results in creating logical abstractions in Haskell to build a capability for automatic verification of new or modified components which meet the constraints imposed on the resulting system. As components become ready for use, we intend to apply the specification for the Open control Platform, currently under development as part of the US Defense Advanced Research Projects Agency (DARPA) Software-Enabled control project, as the definition of our distributed control platform. Our approach emphasizes the use of off-line verification and validation techniques to establish ranges of parameter variations to be allowed by the adaptive/intelligent control software and online techniques to ensure that approved constraints are being met. We are in the process of developing an engineering plan to demonstrate use of the binary decision diagram (BDD) and Stanford Validity Checker (SVC) extensions to Haskell to automatically validate an adaptive, online control law redesign and implementation to meet performance specifications. This implementation will be designed to demonstrate an initial capability that can be extended to other adaptive and intelligent control systems safety critical tasks.

关键词： Adaptive control Automatic control Programmable control Intelligent control control systems Hybrid intelligent systems Software systems Distributed control Data structures Boolean functions

来源：评论

学校读者我要写书评

暂无评论

DEVS as a common denominator for multi-formalism hybrid systems modelling

DEVS as a common denominator for multi-formalism hybrid syst...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： H.L.M. Vangheluwe School of Computer Science McGill University Montreal QUE Canada

ISBN: (纸本)0780365666

When modelling complex systems, complexity is usually not only due to a large number of coupled components, but also to the diversity of these components and to their intricate interactions. One would like to use a variety of formalisms to "optimally" describe the behaviour of different system components, aspects, and views. The choice of appropriate formalisms depends on criteria such as the application domain, the modeler's background, the goals, and the available computational resources. In the article, a formalism transformation graph (FTG) is presented. In the FTG, vertices correspond to formalisms, and edges denote existing formalism transformations. A transformation is a mapping of models in the source formalism onto models in the destination formalism (with behaviour invariance). This traversal allows for meaningfully coupling models in different semantics. Once mapped onto a common formalism, closure under coupling of that formalism makes the meaning of the coupled model explicit. In the context of hybrid systems models, the formalism transformation converges to a common denominator which unifies continuous and discrete constructs. Often, this is some form of event-scheduling/state-event locating/DAE formalism and corresponding solver. A different approach is presented which maps all formalisms, and in particular continuous ones, onto Zeigler's DEVS. Hereby, the state variables of the continuous models are discretized rather than time and the DEVS transition function progresses from one discretized state value to either the one just above or the one just below, giving as output, the time till the next transition.

关键词： Biological system modeling Mathematical model Difference equations computer science Feedback Bonding Petri nets Automata Context modeling Valves

来源：评论

学校读者我要写书评

暂无评论

Automatic design of both topology and tuning of a common parameterized controller for two families of plants using genetic programming

Automatic design of both topology and tuning of a common par...

引用

ieee International Symposium on computer aided control system design (cacsd)

作者： Jessen Yu M.A. Keane J.R. Koza Genetic Programming Inc. Los Altos CA USA Econometrics Inc. Chicago IL USA University of Stanford Stanford CA USA

ISBN: (纸本)0780365666

This paper demonstrates that a technique of evolutionary computation can be used to automatically create the design for both the topology and parameter values (tuning) for a common controller (containing various parameters representing the overall characteristics of the plant) for two families of plants. The automatically designed controller is created by means of genetic programming using a fitness measure that attempts to optimize step response and disturbance rejection while simultaneously imposing constraints on maximum sensitivity and sensor noise attenuation. The automatically designed controller outperforms the controller designed with conventional techniques. In particular, the automatically designed controller is superior to the Astrom and Hagglund controller (1995) for all plants of both families for the integral of the time-weighted absolute error (ITAE) for a step input, the ITAE for disturbance rejection, and maximum sensitivity. Averaged over all plants of both families, the ITAE for the step input for the automatically designed controller is only 58% of the value for the conventional controller; the ITAE for disturbance rejection is 91% of the value for the conventional controller; and the maximum sensitivity for the automatically designed controller is only 85% of the value for the conventional controller. The automatically designed controller is "general" in the sense that it contains free variables and therefore provides a solution to an entire category of problems (i.e., all the plants in the two families) not merely a single instance of the problem (i.e., a particular single plant).

关键词： Topology Automatic control Evolutionary computation Genetic programming Attenuation measurement Extraterrestrial measurements Noise measurement Constraint optimization design optimization Sensor phenomena and characterization

来源：评论

学校读者我要写书评

暂无评论

Robust control of a triple inverted pendulum

Robust control of a triple inverted pendulum

引用

Proceedings of the 1999 ieee International conference on control Applications (CCA) and ieee International Symposium on computer aided control system design (cacsd)

作者： Tsachouridis, Vassilios A. Univ of Leicester Leicester United Kingdom

The design and implementation of a robust computer control system for balancing and improving the steady state performance of a triple inverted pendulum-cart system is considered. The controller is based on discrete-time H∞ theory. An integrator is used to eliminate the effects of small constant sensor offsets and rail inclinations. Experimental results are reported.

关键词： computer control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共189页 << < 145 146 147 148 149 150 151 152 153 154 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：