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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

361 篇 optimization
177 篇 genetic algorith...
174 篇 software algorit...
117 篇 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...
40 篇 high performance...
39 篇 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

语言

1,986 篇 英文
57 篇 其他
9 篇 中文
2 篇 俄文
1 篇 西班牙文

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

共 2055 条记录，以下是1901-1910 订阅

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

详细简洁

排序：

Proceedings - 2003 IEEE Radio and Wireless conference, RAWCON 2003

Proceedings - 2003 IEEE Radio and Wireless Conference, RAWCO...

引用

2003 IEEE Radio and Wireless conference, RAWCON 2003

ISBN: (纸本)0780378296

The proceedings contain 102 papers. The topics discussed include: a historic review of UWB radar and communications and future directions;millimeter-wave indoor/outdoor wireless access systems and their technologies;towards software configurable millimeter wave architectures;spread space-spectrum multiple access;simulation of CDMA system using dynamic system simulator;discrete RF power synthesis of OFDM signals with high efficiency at high peak to average power ratios;performance comparison of OFDM with different coding schemes;a look ahead scheme for adaptive spectrum utilization;optimization of Yagi hierarchical genetic algorithms;and fractal wideband antennas for software defined radio, UWB, and multiple platform applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generic GF(2m) arithmetic in software and its application to ECC

Generic GF(2m) arithmetic in software and its application to...

引用

8th Australasian conference on Information Security and Privacy, ACISP 2003

作者： Weimerskirch, André Stebila, Douglas Shantz, Sheueling Chang Communication Security Group Ruhr-Universität Bochum Germany Department of Combinatorics and Optimization University of Waterloo ON Canada Sun Microsystems Laboratories Mountain View CA United States

ISBN: (纸本)3540405151

This work discusses generic arithmetic for arbitrary binary fields in the context of elliptic curve cryptography (ECC). ECC is an attractive public-key cryptosystem recently endorsed by the US government for mobile/wireless environments which are limited in terms of their CPU, power, and network connectivity. Its efficiency enables constrained, mobile devices to establish secure end-to-end connections. Hence the server side has to be enabled to perform ECC operations for a vast number of mobile devices that use variable parameters in an efficient way to reduce cost. We present algorithms that are especially suited to high-performance devices like large-scaled server computers. We show how to perform an efficient field multiplication for operands of arbitrary size, and how to achieve efficient field reduction for dense polynomials. We also give running times of our implementation for both general elliptic curves and Koblitz curves on various platforms, and analyze the results. Our new algorithms are the fastest algorithms for arbitrary binary fields in literature. © 2003 Springer-Verlag Berlin Heidelberg.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

ICCAD-2003. International conference on Computer Aided Design (IEEE Cat. No.03CH37486)

ICCAD-2003. International Conference on Computer Aided Desig...

引用

IEEE International conference on Computer-Aided Design

The following topics are dealt with: interconnect-centric SoC design; energy optimization using dynamic voltage scaling for embedded systems; high-level synthesis; placement and floorplanning; SoC testing; dynamic verification; delay and signal modeling for timing analysis; software techniques for energy and performance optimization; optimization of global interconnects; numerical methods for analog optimization and analysis; CAD algorithms; design techniques for customized processors; verification engines; analog design and methodology; automatic abstraction for formal verification; nonlinear modelling of analog and optical systems; routing; nanometer scale simulation; constraint driven high-level synthesis; optimal interconnect synthesis and analysis; memory testing; statistical static timing; power-aware design; logic synthesis; graph algorithmic approaches to EDA problems; power grid and substrate analysis; interconnect modeling; test data reduction techniques.

关键词： Routing Integrated circuit layout Circuit optimization Integrated circuit interconnections Analog integrated circuits Design automation Analog circuits high-level synthesis

来源：评论

学校读者我要写书评

暂无评论

nonlinear metabolic model-based control of ethanol in Escherichia Coli

Nonlinear metabolic model-based control of ethanol in Escher...

引用

American Control conference (ACC)

作者： K. Gadkar F.J. Doyle University of California Santa Barbara USA

A 34 state cybernetic model consisting of 15 reaction is developed for the anaerobic growth of E. coli. The cybernetic model is used in the model predictive control (MPC) framework for set point tracking of ethanol concentrations in a continuous mode of operation of the bioreactor by manipulating the dilution rate. A linear MPC algorithm that includes a Kalman estimator with partial state measurements is developed. Two nonlinear MPC algorithms are also developed and both use the extended Kalman estimator for state update. The first algorithm uses an instantaneous linear model for prediction and optimization whereas the second algorithm uses the nonlinear model which significantly increases the computational load. The performance of these algorithms is tested in a highly nonlinear operating regime and in the presence of plant-model mismatch, input and measurement noise and variable constraints. Results show that performance of the nonlinear MPC based algorithms is superior to that of the linear MPC based algorithm. There are insignificant differences in the performance of the two nonlinear MPC algorithms thus enabling higher performance achievement without unreasonable computational loads.

关键词： Ethanol Predictive models Cybernetics Kalman filters State estimation Predictive control Bioreactors Testing Noise measurement high performance computing

来源：评论

学校读者我要写书评

暂无评论

Proceedings 2003. Design Automation conference (IEEE Cat. No.03CH37451)

Proceedings 2003. Design Automation Conference (IEEE Cat. No...

引用

Design Automation conference

The following topics are dealt with: real challenges and solutions for validating System-on-Chip, reshaping EDA for power, design for manufacturability and global routing, design analysis techniques, embedded hardware design case studies, emerging design and tool challenges in RF and wireless applications, power grid analysis and optimization, low-power embedded system design, cyclic and non-cyclic combinational synthesis, managing leakage power, timing-oriented placement, issues in partitioning and design space exploration for codesign, nanotechnology: design implications and CAD challenges, simulation coverage and generation for verification, tool support for architectural decisions in embedded systems, new topics in logic synthesis, coping with variability: the end of deterministic design, testbench, verification and debugging: practical considerations, delay and noise modeling in the nanometer regime, modeling issues in the design of embedded systems, how application/technology evolutions will shape classical EDA, SAT and BDD algorithms for verification tools, elements of functional and performance analysis, nonlinear model order reduction, novel techniques in high-level synthesis, mixed-signal design and simulation, novel self-test methods, technology mapping, buffering, and bus design, compilation techniques for reconfigurable devices, architectural power estimation and optimization, techniques for reconfigurable logic applications, test and diagnosis for complex designs, highlights of ISSCC: high-speed heterogenous design techniques, highlights of ISSCC and the design of state-of-the-art microprocessors, high frequency interconnect modeling, novel approaches in test cost reduction, retargetable tools for embedded software, ASIC design in nanometer era - dead or alive?, floorplanning and placement, advances in SAT, novel design methodologies and signal integrity, memory optimization for embedded systems, design automation for quantum circuits, energy-aware sys

关键词： Integrated circuit design Design automation

来源：评论

学校读者我要写书评

暂无评论

Development and control of autonomous, biped locomotion using efficient modeling, simulation, and optimization techniques

Development and control of autonomous, biped locomotion usin...

引用

IEEE International conference on Robotics and Automation (ICRA)

作者： M. Hardt O. von Stryk D. Wollherr M. Buss Simulation and Systems Optimization Group Technische Universität Darmstadt Darmstadt Germany Control Systems Group Technische Universität Berlin Berlin Germany Control Systems Group Technische Universität Berlin Berlin Germany

Methods for modeling, simulating and optimizing the dynamics, stability and performance of legged robot locomotion are discussed in this paper. It is demonstrated how these tools are used in the design, implementation and operation of a humanoid robot. The selection and integration of fundamental hard- and software needed for autonomous operation and high agility is presented for a recently developed fully-actuated 17 DoF humanoid. The results are additionally reported form simulations and gait optimizations completed during its development using a 3D dynamic biped model coupled with multiple physical and stability constraints.

关键词： Legged locomotion Intelligent robots Humanoid robots Stability Constraint optimization Hardware Control system synthesis nonlinear control systems Application software Machine intelligence

来源：评论

学校读者我要写书评

暂无评论

Intelligent energy management/sup TM/ for portable embedded systems

Intelligent energy management/sup TM/ for portable embedded ...

引用

IEEE International SOC conference

作者： K. Flautner D.I. Patel ARM Limited Cambridge UK

Summary form only given. One of today's most successful embedded devices, the mobile phone, embodies a set of challenging design requirements: week-long battery life, small size, high performance, and low cost. The single parameter that complicates the simultaneous fulfillment of all of these design goals is power consumption. To address these concerns, systems must be optimized for power during design and also at run-time. The key to taking advantage of the performance-power trade-off is the use of algorithms that aim to reduce the processor's performance level when it is not critical to meet the application's deadlines. The central issue is how the right level of performance can be predicted for applications. The intelligent energy management (IEM) framework provides an integrated solution for addressing power management of SoC devices: 1) EDA methodology for using soft-IP in multiple frequency- and voltage-domain designs; 2) open- and closed- loop control of the power supply for efficient operation; 3) architectural abstraction for controlling the processor's performance levels; and 4) software algorithms for deriving the minimum sufficient performance for running dynamic workloads.

关键词： Energy management Open loop systems Voltage control Mobile handsets Batteries Costs Energy consumption Design optimization Runtime Electronic design automation and methodology

来源：评论

学校读者我要写书评

暂无评论

Incorporating invariants in Mahalanobis distance based classifiers: application to face recognition

Incorporating invariants in Mahalanobis distance based class...

引用

International Joint conference on Neural Networks (IJCNN)

作者： A.M. Fraser N.W. Hengartner K.R. Vixie B.E. Wohlberg Los Alamos National Laboratory Portland State University USA Los Alamos National Laboratory Los Alamos NM USA

We present a technique for combining prior knowledge about transformations that should be ignored with a covariance matrix estimated from training data to make an improved Mahalanobis distance classifier. Modern classification problems often involve objects represented by high-dimensional vectors or images (for example, sampled speech or human faces). The complex statistical structure of these representations is often difficult to infer from the relatively limited training data sets that are available in practice. Thus, we wish to efficiently utilize any available a priori information, such as transformations or the representations with respect to which the associated objects are known to retain the same classification (for example, spatial shifts of an image of a handwritten digit do not alter the identity of the digit). These transformations, which are often relatively simple in the space of the underlying objects, are usually nonlinear in the space of the object representation, making their inclusion within the framework of a standard statistical classifier difficult. Motivated by prior work of Simard et al. (1998; 2000), we have constructed a new classifier which combines statistical information from training data and linear approximations to known invariance transformations. When tested on a face recognition task, performance was found to exceed by a significant margin that of the best algorithm in a reference software distribution.

关键词： Face recognition Training data Laboratories Covariance matrix State estimation Speech Humans Linear approximation software testing software algorithms

来源：评论

学校读者我要写书评

暂无评论

Advanced insulin infusion using a control loop (ADICOL) concept and realization of a control-loop application for the automated delivery of insulin

Advanced insulin infusion using a control loop (ADICOL) conc...

引用

IEEE EMBS International conference on Information Technology Applications in Biomedicine (ITAB)

作者： R. Dudde T. Vering Fraunhofer Institute for Silicon Technology Itzehoe Germany Disetronic Medical Systems Burgdorf Switzerland

Within the ADICOL research project, we have developed a control-loop application for the automated delivery of insulin. The concept is unique in several aspects: a) Modularity: the ADICOL system consists of three elements, insulin pump, glucose monitor and expert-system, which all run as stand alone devices with the patient, but can be interconnected to form a body network. b) Subcutaneous Application: Both, glucose monitor and insulin delivery use the subcutaneous route to the body. c) Insulin Pump: The insulin infusion mimics a natural pancreas by employing a delivery interval of 3 minutes. d) Expert System: The expert system is running two different algorithms in a hand-held computer, taking advantage of the high-resolution insulin delivery. e) Algorithm: The Model-Predictive Algorithm is based on a feedback optimization of the insulin infusion rate and physiological parameters of the patient. f) Glucose Monitor: Our glucose monitor is based on the open-flow microperfusion sampling technique and employs amperometric glucose biosensors. g) Body Network: The interconnection of the 3 elements to form a control-loop system (or automated pancreas) is achieved by modern wireless technology. Various clinical tests have been undertaken to assess the performance of subsets, results will be shown. We present the overall set-up and its performance, and show latest results from various clinical human trials performed at the Universities of Graz, Austria and Perugia, Italy.

关键词： Insulin Automatic control Sugar Patient monitoring Computerized monitoring Condition monitoring Pancreas Expert systems Application software Computer networks

来源：评论

学校读者我要写书评

暂无评论

Optimized feedforward neural networks. for on-line identification of nonlinear models

Optimized feedforward neural networks. for on-line identific...

引用

41st IEEE conference on Decision and Control

作者： Alessandri, A Sanguineti, M Maggiore, M Natl Res Council Italy CNR ISSIA Inst Intelligent Syst Automat I-16149 Genoa Italy

ISBN: (纸本)0780375165

optimization of a class of nonlinear approximators corresponding to feedforward neural networks is investigated for on-line identification of nonlinear models in high-dimensional settings. The parameters are optimized by minimizing a cost function, which consists of the summation of two terms: a fitting penalty term and a term related to changes in the parameters. The relative influence of the two terms on the overall minimization can be tuned, according to a proper scalar. The resulting algorithm has properties of convergence and robustness. Simulation results are performed to compare its performance with classical algorithms, such as back-propagation and learning based on the extended Kalman filter, used for adjusting parameters in neural-network identification of nonlinear models. The advantages of the proposed approach are shown.

关键词： Identification (control systems)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共206页 << < 187 188 189 190 191 192 193 194 195 196 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：