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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,873 篇 会议
162 篇 期刊文献
10 册 图书
5 篇 科技报告

馆藏范围

2,050 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,146 篇 工学
- 826 篇 计算机科学与技术...
- 443 篇 软件工程
- 292 篇 电气工程
- 204 篇 控制科学与工程
- 165 篇 信息与通信工程
- 82 篇 机械工程
- 72 篇 电子科学与技术（可...
- 50 篇 动力工程及工程热...
- 36 篇 力学（可授工学、理...
- 36 篇 仪器科学与技术
- 36 篇 土木工程
- 33 篇 航空宇航科学与技...
- 30 篇 交通运输工程
- 24 篇 材料科学与工程（可...
- 23 篇 化学工程与技术
- 23 篇 生物工程
- 19 篇 建筑学
- 17 篇 冶金工程
- 17 篇 石油与天然气工程
- 17 篇 安全科学与工程
493 篇 理学
- 366 篇 数学
- 106 篇 物理学
- 83 篇 系统科学
- 41 篇 统计学（可授理学、...
- 40 篇 生物学
- 24 篇 化学
181 篇 管理学
- 144 篇 管理科学与工程(可...
- 45 篇 图书情报与档案管...
- 40 篇 工商管理
18 篇 经济学
- 18 篇 应用经济学
18 篇 医学
14 篇 法学
7 篇 教育学
7 篇 农学
3 篇 文学
3 篇 军事学

主题

359 篇 optimization
177 篇 genetic algorith...
172 篇 software algorit...
115 篇 software
110 篇 heuristic algori...
89 篇 algorithm design...
81 篇 particle swarm o...
70 篇 hardware
66 篇 computational mo...
56 篇 application soft...
55 篇 convergence
52 篇 computer archite...
51 篇 optimization met...
49 篇 design optimizat...
49 篇 prediction algor...
48 篇 accuracy
44 篇 mathematical mod...
39 篇 high performance...
38 篇 real-time system...
37 篇 resource managem...

机构

12 篇 shenzhen univ co...
11 篇 nanjing univ sta...
8 篇 college of compu...
7 篇 university of ch...
6 篇 univ chinese aca...
6 篇 wuhan univ state...
6 篇 state key labora...
6 篇 tongji univ sch ...
5 篇 tianjin key labo...
5 篇 harbin institute...
5 篇 school of softwa...
5 篇 shenzhen univers...
5 篇 school of softwa...
4 篇 south china univ...
4 篇 department of pr...
4 篇 software college...
4 篇 school of busine...
4 篇 chinese acad sci...
4 篇 chinese acad sci...
4 篇 department of ma...

作者

7 篇 zhang jun
6 篇 lin qiuzhen
5 篇 mu bin
5 篇 yuan shijin
5 篇 dai haipeng
5 篇 zhang yunquan
4 篇 wang lei
4 篇 bernady o. apduh...
4 篇 li kenli
4 篇 wang wentao
4 篇 tian jun
4 篇 osvaldo gervasi
4 篇 zhan zhi-hui
4 篇 wang qian
4 篇 dou wanchun
4 篇 qian chao
4 篇 ana maria a. c. ...
4 篇 beniamino murgan...
4 篇 sanjay misra
4 篇 li keqin

语言

2,005 篇 英文
33 篇 其他
9 篇 中文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=Conference on High Performance Algorithms and Software for Nonlinear Optimization"

共 2050 条记录，以下是1961-1970 订阅

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

详细简洁

排序：

Design and optimization, steady-state and dynamic analysis of synchronous reluctance motors controlled by voltage-fed converters with nonlinear controllers

Design and optimization, steady-state and dynamic analysis o...

引用

IEEE International conference on Electric Machines and Drives (IEMDC)

作者： S.E. Lyshevski A. Nazarov A. El-Antably C. Yokomoto A.S.C. Sinha M. Rizkalla M. El-Sharkawy Department of Electrical Engineering Purdue University Indianapolis Indianapolis IN USA Division of General Motors Allison Transmission Indianapolis IN USA

This paper presents innovative results to improve the design and manufacture of high-performance synchronous reluctance machines. These results have been obtained from our research in analyzing and synthesizing advanced control algorithms to promote the competitiveness of three-phase synchronous reluctance machines in electric drives in comparison with permanent-magnet synchronous motors and induction machines. These results have direct application in the design and manufacture of electric- and hybrid-electric drivetrains for light-, medium-, and heavy-duty vehicles. First, we report on the dynamic optimization of medium duty synchronous reluctance machines described by nonlinear differential equations. Second, we describe a new design optimization method, based upon nonlinear electromagnetic analysis, to improve steady-state performance and to enhance the operating envelope. highly efficient, high-speed synchronous reluctance motors, ranging from 10 kW to 100 kW, were manufactured and tested. The design methods ensure cost-effective production of a new generation of state-of-the-art synchronous reluctance motors. This paper develops a nonlinear model of synchronous reluctance motors that incorporates saturation effects. Kirchhoff's and Newton's laws are used to derive the models. The application of Park's transformation results in a set of differential equations in the rotor reference frame; the q-, d- and zero-axis voltage and current quantities are used in analysis, modeling and design. Robust controllers are developed to guarantee closed-loop system stability and attain the disturbance rejection.

关键词： Design optimization Steady-state Reluctance machines Reluctance motors Vehicle dynamics Differential equations Robust stability Pulp manufacturing Algorithm design and analysis Synchronous motors

来源：评论

学校读者我要写书评

暂无评论

Integrated design and optimization of microelectronic devices

Integrated design and optimization of microelectronic device...

引用

IEEE conference on Aerospace

作者： T. Cwik G. Klimeck Jet Propulsion Laboratory California Institute of Technology Pasadena CA USA

A genetic algorithm is used for design of infrared filters and in the understanding of the material structure of a resonant tunneling diode. These two components are examples of microdevices and nanodevices that can be numerically simulated using fundamental mathematical and physical models. Because the number of parameters that can be used in the design of one of these devices is large, and because experimental exploration of the design space is unfeasible, reliable software models integrated with global optimization methods are examined. The genetic algorithm and engineering design codes have been implements on massively parallel computers to exploit their high performance. Design results are presented for the infrared filter and a resonant tunneling diode.

关键词： Design optimization Microelectronics Genetic algorithms Algorithm design and analysis Filters Resonant tunneling devices Diodes Numerical simulation Mathematical model optimization methods

来源：评论

学校读者我要写书评

暂无评论

Automatic unit test data generation using mixed-integer linear programming and execution trees

Automatic unit test data generation using mixed-integer line...

引用

International conference on software Maintenance (ICSM)

作者： S. Lapierre E. Merlo G. Savard G. Antoniol R. Fiutem P. Tonelia Quality Engineering and Research Group Bell Canada Limited Montreal QUE Canada GEGI École Polytechnique Montreal QUE Canada IRST-Istituto per la Ricerca Scientifica e Technologica Trento Italy

This paper presents an approach to automatic unit test data generation for branch coverage using mixed-integer linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering activities. Several strategies, including original algorithms, to move towards practical test data generation have been investigated in this paper. Methods include: the analysis of minimum path-length partial execution trees for unconstrained arcs, thus increasing the generation performance and reducing the difficulties originated by infeasible paths the reduction of the difficulties originated by nonlinear path conditions by considering alternative linear paths the reduction of the number of test cases, which are needed to achieve the desired coverage, based on the concept of unconstrained arcs in a control flow graph the extension of symbolic execution to deal with dynamic memory allocation and deallocation, pointers and pointers to functions system. Preliminary results are encouraging and show that a high percentage of the program branches can be covered by the test data automatically produced. The approach is flexible to branch selection criteria coming from general testing as well as regression testing.

关键词： Automatic testing software testing Linear programming software maintenance performance analysis System testing Automatic generation control nonlinear control systems Control systems Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Common-case computation: a high-level technique for power and performance optimization

Common-case computation: a high-level technique for power an...

引用

Design Automation conference

作者： G. Lakshminarayana A. Raghunathan K.S. Khouri N.K. Jha S. Dey C CRL NEC-USA Inc. USA Department of Electrical Engineering Princeton University USA Department of Electrical Engineering University of California San Diego USA

This paper presents a design methodology, called common-case computation (CCC), and new design automation algorithms for optimizing power consumption or performance. The proposed techniques are applicable in conjunction with any high-level design methodology where a structural register-transfer level (RTL) description and its corresponding scheduled behavioral (cycle-accurate functional RTL) description are available. It is a well-known fact that in behavioral descriptions of hardware (also in software), a small set of computations (CCCs) often accounts for most of the computational complexity. However, in hardware implementations (structural RTL or lower level), CCCs and the remaining computations a typically treated alike. This paper shows that identifying and exploiting CCCs during the design process can lead to implementations that are much more efficient in terms of power consumption or performance. We propose a CCC-based high-level design methodology with the following steps: extraction of common-case behaviors and execution conditions from the scheduled description, simplification of the common-case behaviors in a stand-alone manner, synthesis of common-case detection and execution circuits from the common-case behaviors, and composing the original design with the common-case circuits, resulting in a CCC-optimized design. We demonstrate that CCC-optimized designs reduce power consumption by up to 91.5%, or improve performance by up to 76.6% compared to designs derived without special regard for CCCs.

关键词： high performance computing Design methodology Design optimization Energy consumption Processor scheduling Circuit synthesis Design automation Hardware Algorithm design and analysis Permission

来源：评论

学校读者我要写书评

暂无评论

A fast segmentation algorithm for bi-level image compression using JBIG2

A fast segmentation algorithm for bi-level image compression...

引用

IEEE International conference on Image Processing

作者： D.A.D. Tompkins F. Kossentini Signal Processing and Multimedia Group Department of Electrical and Computer Engineering University of British Columbia Vancouver BC Canada

The emerging JBIG2 standard allows compliant encoders to achieve very high compression rates on bi-level images, especially when images are properly segmented into regions of line-art, halftones and text. We propose a fast method that is very effective at separating text from non-text regions, even when the regions are nonrectangular or have skew. Our method can also detect regions of reverse-coloured text. In most cases, our method increases the compression performance of the encoder. More importantly, our method can improve encoding speeds considerably, often by an order of magnitude.

关键词： Image segmentation Image coding Facsimile Dictionaries Optical character recognition software Signal processing algorithms Decoding Gray-scale Internet optimization methods

来源：评论

学校读者我要写书评

暂无评论

Advances in transistor timing, simulation, and optimization (embedded tutorial) (abstract only) 99

Advances in transistor timing, simulation, and optimization ...

引用

Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design

作者： Jacob Avidan Abe Elfadel D. F. Wong Jacob White

ISBN: (纸本)9780780358324

A translator-level view of the circuit design has become of paramount importance for successful designs, especially in the very demanding context of high-performance microprocessor design in the deep-submicron regime. In this tutorial, such a transistor-level view will be adopted. The VLSI custom design problem will be approached from the three perspectives of transistor-level static timing analysis, fast transistor-level simulation, and transistor-level optimization process. Specifically, the first part of this tutorial will deal with the techniques used in transistor-level static timing, highlighting the differences between gate and transistor level techniques. It will also focus on how delay calculation, false path elimination and timing checks are performed at the transistor level for both combinational and sequential circuits. A fundamental ingredient of transistor-level static timing analyzers is a fast, event-driven transistor-level circuit simulator. The second part of this tutorial will present an important class of such simulators that uses simplified yet accurate transistor models. Simulators using piece-wise constant and piece-wise linear models will be described and contrasted. Methods for computing circuit sensitivities using these simulators will be covered. Finally, the third part will present some of the very recent advances in transistor-level circuit optimization. In particular, the timing-driven custom design problem will be rigorously formalized as a constrained, nonlinear optimization problem with respect to both the geometric and timing variables of the circuit. Although the resulting problems are large-scale, it will be shown how formal optimization algorithms can solve them efficiently. The tradeoffs between circuit size, device model accuracy, and algorithmic efficiency will be discussed, and generalizations of these techniques to simultaneous device and wire sizing will be considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Determination of the design parameters of passive harmonic filters using nonlinear optimization.

Determination of the design parameters of passive harmonic f...

引用

IEEE Industrial and Commercial Power Systems Technical conference

作者： Upadhye, SD Atre, YR Tata Infotech Ltd Pune 400096 Maharashtra India

ISBN: (纸本)0780345096

Power system harmonics are a menace with disastrous consequences. A number of ways were tried out to tackle the harmonic problem posed by nonlinear electric devices, but by far, the most popular and quite effective one is the use of passive filters. This provides a low impedance path to a harmonic or a group of harmonics. Usually the AC harmonics are odd harmonics. So normally the filter combination selected is such that for the predominant harmonics, one or more single tuned filters are used, and for the rest of the harmonics, a high pass filter is used. An alternate combination is that a damped filter is used for the two predominant harmonics with the filter being tuned at a frequency in between the two harmonics and another damped filter for the higher harmonics. If all the harmonics are not of very high magnitude then usually one high pass filter is sufficient for all the harmonics. Instead of the conventional design of these filters, which is based on experience of the designer, a better way is to use the optimization algorithms to obtain maximum performance from these filters. © 1998 IEEE.

关键词： high pass filters

来源：评论

学校读者我要写书评

暂无评论

nonlinear identification of control systems

Nonlinear identification of control systems

引用

1998 American Control conference, ACC 1998

作者： Lyshevski, Sergey Edward Department of Electrical Engineering Purdue University at Indianapolis 723 West Michigan Street SL 160B Indianapolis IN 46202-5132 United States

ISBN: (纸本)0780345304

nonlinear system identification of dynamic systems is a topic of growing interest. The ability of model-based systems analysis and design to attain the desired objectives depends to a large degree on the accuracy of the mathematical models derived and parameters used. To avoid deficiencies associated with model validation and order estimation, accurate mathematical models should be found by using the fundamental laws, and the unknown parameters have to be identified to perform analysis, design, and prototyping. This paper thoroughly studies the model-relevant identification concept for continuous-time nonlinear multi-input/multi-output systems in time-domain by using a nonlinear mapping-based identification framework. Discrete-time and hybrid systems play an important role due to microprocessor-, microcomputer-, and DSP-based hardware platforms applied to implement comprehensive control algorithms in order to attain the desired objectives, specifications, and capabilities. However, the majority of systems to be controlled are continuous-time, and analog control is a manageable and straightforward solution in many practical problems. The importance of the researched time-domain concept lies on the need to identify continuous-time systems to be used in the corresponding analysis, design, stabilization, and optimization. As an illustrative example, the unknown parameters of a high-performance aircraft are identified using the flight data. © 1998 AACC.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

Managing function constraints in design sheet™

Managing function constraints in design sheet™

引用

ASME 1998 Design Engineering Technical conferences, DETC 1998

作者： Reddy, Sudhakar Y. Fertig, Kenneth W. Rockwell Science Center 444 High Street Palo AltoCA94301 United States

ISBN: (纸本)9780791880333

Design Sheet™ is a constraint management system specially designed for doing conceptual design cost and performance tradeoff studies. It represents the design models as constraints between design variables, and uses graph-theoretic algorithms to decompose large systems of nonlinear equations into smaller pieces that can be solved robustly. This paper describes extensions to Design Sheet that enable it to manage functions as variables in a constraint network. The paper also discusses the new capabilities of function encapsulation and explicit differentiation that are built on top of these extensions. The ability to encapsulate a part of the constraint network into a function, and use it in other constraints, promotes model reuse and improves computational efficiency. The capability to automatically differentiate certain variables with respect to other design variables allows Design Sheet to be used for solving practical optimization problems. In combination with the tradeoff capability, this enables the designer to track changing optima in trade studies. The paper also provides a couple of optimization examples to demonstrate these new capabilities. Copyright © 1998 by ASME.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

7th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Analysis and optimization, 1998

7th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Anal...

引用

7th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Analysis and optimization, 1998

The proceedings contain 254 papers. The special focus in this conference is on Multidisciplinary Analysis and optimization. The topics include: Multidiscipline design as applied to space;multidisciplinary design practices from the F-16 agile falcon;the role of MDO within aerospace design and progress towards an MDO capability;a web-based monitoring system for multidisciplinary design projects;visualizing the optimization process in real-time using physical programming;impact of parallel computing on high fidelity based multidisciplinary analysis;recent developments of sizing optimization with abaqus code;sensitivity analysis for turbine blade components;acceleration of multidisciplinary analysis solvers by inexact subsystem simulations;multidisciplinary design optimization techniques for branching trajectories;interactive multiobjective two-level optimization of dissatisfaction level of structures;development of multiple cycle coupling suspension in complex system optimization;using approximate models for engineering design;a derivative free optimization algorithm in practice;application studies using the 3dopt integrated design system;design sensitivity analysis and optimization of nonlinear structural dynamics using dyna3d;sensitivity derivatives of a rotor CFD code via automatic differentiation;development of a flexible design optimization study tool;issues in industrial multidisciplinary optimization;considerations in the performance of large structural optimization tasks;crashworthiness design using structural optimization;analysis-test correlation and model updating of dynamic systems using MDO software tools;MDO technology needs in aeroelastic structural design;a collaborative optimization environment for turbine engine development;the challenge and promise of blended-wing-body optimization and development of a multi-disciplinary computing environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共205页 << < 193 194 195 196 197 198 199 200 201 202 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：