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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

2,044 篇 电子文献
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 篇 军事学

主题

354 篇 optimization
176 篇 genetic algorith...
171 篇 software algorit...
115 篇 software
109 篇 heuristic algori...
89 篇 algorithm design...
81 篇 particle swarm o...
68 篇 hardware
65 篇 computational mo...
56 篇 application soft...
54 篇 convergence
52 篇 computer archite...
51 篇 optimization met...
49 篇 design optimizat...
49 篇 prediction algor...
47 篇 accuracy
44 篇 mathematical mod...
39 篇 high performance...
37 篇 clustering algor...
36 篇 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,999 篇 英文
33 篇 其他
9 篇 中文
2 篇 俄文
1 篇 西班牙文

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

共 2044 条记录，以下是1911-1920 订阅

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

详细简洁

排序：

Massively Parallel Fully Coupled Simulation of Semiconductor Device Based on Newton-Krylov Method

Massively Parallel Fully Coupled Simulation of Semiconductor...

引用

International conference on Numerical Electromagnetic Modeling and optimization for RF, Microwave, and Terahertz Applications (NEMO)

作者： Guangrong Li Zhenguo Zhao Weijie Wang Ran Xu Software Center for High Performance Numerical Simulation of CAEP Institute of Applied Physics Computational Mathematics Beijing CHINA

ISBN: (数字)9781728169668

ISBN: (纸本)9781728169675

This paper presents the study of massively parallel fully coupled simulation of semiconductor device based on Newton method. The coupled system is comprised of Poisson equation for the electric potential, and two continuous equations using the constitutive relationship of the drift-diffusion model for the electron and hole concentration. The governing PDEs are discretized in space by a vertex control volume Finite volume method, and integrated in time by the backward Euler implicit method. Solution of the system is obtained by a fully-coupled Newton nonlinear solver, which a BCGSTAB Krylov linear solver with the Additive Schwarz domain decomposition preconditioner is used in each Newton iteration. The program is developed based on JASMIN-platform, named JEMS-CDS-Device. The parallel test results are presented for solution of up to 14 million grid cells scale problem on 16,384 processor of a computer cluster.

关键词： Semiconductor device modeling Solid modeling Poisson equations Computational modeling Numerical models Mathematical model Newton method

来源：评论

学校读者我要写书评

暂无评论

Optimal Design of Passive Harmonic Filter with high Power Factor

Optimal Design of Passive Harmonic Filter with High Power Fa...

引用

IEEE Asia Power and Energy Engineering conference (APEEC)

作者： Ming Zhang Chen Cheng Yang Wang Jiaxiong Xu Shunfan He Yisheng Hu School of Electronic and Electrical Engineering Wuhan Textile University Wuhan China College of Computer Science South Central University for Nationalities Wuhan China Hawk Electronics Pte. Ltd. Wuhan China

Nowadays, power electronic devices and other nonlinear loads are widely used in low-voltage power distribution system (LVPDS), which will produce a large number of harmonics, reduce the quality of voltage and current, and may also affect the normal operation of other equipments. Passive harmonic filter (PHF) is a main method to suppress harmonics in LVPDS. However, especially under the condition of high power factor, how to give consideration to both harmonic suppression and reactive power compensation must make a compromise between several contradictory objectives. For the above reason, this paper proposes a optimization design method of PHF bank based on improved particle swarm optimization algorithm for LVPDS with high power factor, in order to improve the overall performance of PHF bank. Finally, a design example of PHF bank of LVPDS in a beverage production company is given to illustrate the superiority and feasibility of the proposed method, which has a certain value of popularization and application.

关键词： Reactive power Production Harmonic filters Filtering algorithms Harmonic analysis Time measurement Power electronics

来源：评论

学校读者我要写书评

暂无评论

Toward reliable and efficient message passing software through formal analysis 06

Toward reliable and efficient message passing software throu...

引用

Proceedings of the 20th international conference on Parallel and distributed processing

作者： Ganesh Gopalakrishnan Robert M. Kirby University of Utah School of Computing Salt Lake City UT

ISBN: (纸本)9781424400546

The quest for high performance drives parallel scientific computing software design. Well over 60% of the high-performance computing (HPC) community writes programs using the MPI library; to gain performance, they are known to perform many manual optimizations. Even tools that accept high level descriptions often generate MPI code, due to its eminent portability. However, since the overall performance of a program does not usually port (due to variations in the target architecture, cluster size, etc.), manual changes to the code are inevitable in today's approaches to MPI programming and optimization. This, together with the vastness and evolving nature of the MPI standard, and the innate complexity of concurrent programming introduces costly *** research addresses these challenges through specific efforts in the following broad areas: (i) high level expression of the parallel algorithm and compilation thereof into optimized MPI programs, (ii) optimizations of user-written detailed MPI programs through localized transformations such as barrier removal, (iii) formal modeling of complex communication standards, such as the MPI-2 standard and a facility for answering putative queries (this need arises when standard documents are impossibly difficult to manually study in order to answer questions that are not explicitly addressed in the standard), (iv) formal modeling of new (and hence relatively less well understood) features of communication libraries, such as the one-sided communication facility of MPI-2, and (v) formal modeling of intricate control algorithms in these libraries such as the progress engine for TCP and/or shared memory in MPICH2 (a formal model can explicate commonalities, help formally verify, as well as help create better future implementations). Our research gains focus through numerous collaborations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Quantum Alternating Operator Ansatz on Maximum k-Vertex Cover

The Quantum Alternating Operator Ansatz on Maximum k-Vertex ...

引用

Quantum Computing and Engineering (QCE), IEEE International conference on

作者： Jeremy Cook Stephan Eidenbenz Andreas Bärtschi Center for Nonlinear Studies CNLS Los Alamos National Laboratory Los Alamos NM USA CCS-3 Information Sciences Los Alamos National Laboratory Los Alamos NM USA CCS-3 Information Sciences and CNLS Los Alamos National Laboratory Los Alamos NM USA

ISBN: (数字)9781728189697

ISBN: (纸本)9781728189703

The Quantum Alternating Operator Ansatz is a generalization of the Quantum Approximate optimization Algorithm (QAOA) designed for finding approximate solutions to combinatorial optimization problems with hard constraints. In this paper, we study Maximum k-Vertex Cover under this ansatz due to its modest complexity, while still being more complex than the well studied problems of Max-Cut and Max E3-LIN2. Our approach includes (i) a performance comparison between easy-to-prepare classical states and Dicke states as starting states, (ii) a performance comparison between two XY-Hamiltonian mixing operators: the ring mixer and the complete graph mixer, (iii) an analysis of the distribution of solutions via Monte Carlo sampling, and (iv) the exploration of efficient angle selection strategies. Our results are: (i) Dicke states improve performance compared to easy-to-prepare classical states, (ii) an upper bound on the simulation of the complete graph mixer, (iii) the complete graph mixer improves performance relative to the ring mixer, (iv) numerical results indicating the standard deviation of the distribution of solutions decreases exponentially in p (the number of rounds in the algorithm), requiring an exponential number of random samples to find a better solution in the next round, and (v) a correlation of angle parameters which exhibit high quality solutions that behave similarly to a discretized version of the Quantum Adiabatic Algorithm.

关键词： Mixers Quantum computing Hamming weight Approximation algorithms Qubit Random variables Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

Improved Multiplicative Orthogonal-Group Based ICA for Separating Mixed Sub-Gaussian and Super-Gaussian Sources

Improved Multiplicative Orthogonal-Group Based ICA for Separ...

引用

International conference on Communications, Circuits and Systems (ICCCAS)

作者： Yalan Ye Zhi-lin Zhang Shaozhi Wu Xiaobin Zhou Blind Source Separation Research Group School of Computer Science and Engineering University of Electronic Science and Technology ChengDu China School of Computer Science and Engineering University of Electronic Science and Technology ChengDu China

Recently, the fully-multiplicative orthogonal-group ICA (OgICA) neural algorithm has been proposed, which exploits the known principle of diagonalisation of a tensor of a warped network's outputs. Unfortunately, the algorithm is only able to separate sub-Gaussian source signals. To address this problem, the paper proposes an improved algorithm that adopts two nonlinearities and a flexible nonlinear model switching technique. The improved OgICA algorithm can instantaneously separate not only the mixture of pure sub-Gaussian source signals, but also the mixture of super-Gaussian and sub-Gaussian source signals. Besides, the algorithm has fast convergence speed and high separation performance. The validity and effectiveness of our proposed algorithm are confirmed through extensive computer simulations

关键词： Independent component analysis Source separation Computer science Switches Application software Tensile stress Convergence Computer simulation Blind source separation Iterative algorithms

来源：评论

学校读者我要写书评

暂无评论

The Rectification of Document Images Using Text-features

The Rectification of Document Images Using Text-features

引用

International conference on Virtual Reality and Visualization (ICVRV)

作者： Riming Sun Nannan Li Shengfa Wang Lin Ji Zhenyu Wang School of Science Dalian Jiaotong University Dalian China TDUT-RU International School of Information and Software Engineering Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province Dalian University of Technology Dalian China

ISBN: (纸本)9781538626375;9781538626368

Distortion representation is the key to the rectification of distorted document images. The text-lines are considered to be one of the most significant features of the images, which are extensively used by a majority of rectification algorithms. However, it is quite a challenge to accurately extract the text-lines of document images with distortions and other disruptive factors, such as non-textural objects. In this approach, we present a general document rectification method based on local distortion representation that is depicted by text-features instead of the text-lines. Specially, firstly, according to the similarity of local distortion, we divide the document image into local blocks. Secondly, a text-feature is exploited to depict the warping distortion of each block by considering the skew angle. Then, the rectification problem is formulated utilizing a reverse strategy according to the text-features. Finally, a perspective distortion is restored by making use of random sample consensus. The proposed method is appropriate for document images of multi-column layouts, multi-type fonts and non-textural objects. Various experiments have demonstrated the flexibility and high performance of the approach.

关键词： Image restoration Layout Estimation Optical distortion nonlinear distortion Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

Phased array shaped multi-beam optimization for LEO satellite communications using a genetic algorithm

Phased array shaped multi-beam optimization for LEO satellit...

引用

IEEE International conference on Phased Array Systems and Technology

作者： K.N. Sherman Satellite Software Incorporated Carson NV USA

LEO communications satellite antennas may require hundreds of high gain beams to achieve sufficient link margin, especially for mobile systems where the ground terminals have very low EIRP. Generally, the procedure for optimizing antenna beams for shaped coverage areas starts with a set of polygons defined in antenna angle space. These polygons are filled with synthesis stations at which the desired gain is prescribed. An optimization program is then used to synthesize the excitation of the antenna in order to achieve the desired gain at each station. For multibeam coverages, if the number and size of the coverage polygons are not optimal, pattern performance will be poor. Layout is difficult at LEO because a large variation in cell size is dictated by the substantial path length variation from nadir to edge of coverage. A genetic algorithm was developed to optimize the number and size of cells for a circularly symmetric grid. Cells were then filled with synthesis stations and a least squares optimizer used to shape the antenna pattern for each cell. A phased array antenna with circular aperture and cos/sup 1.3//spl theta/ element power pattern was used. The genetic optimizer was found to quickly produce optimal cell layouts for arbitrary altitude, field of view, and directivity requirements. It was also a very good way to quickly and accurately determine the number of beams needed for particular set of requirements.

关键词： Phased arrays Low earth orbit satellites Satellite communication Genetic algorithms Artificial satellites Satellite antennas Solids Testing Mobile communication Communication system software

来源：评论

学校读者我要写书评

暂无评论

A Heuristic Approach for Scalability of Multi-tiers Web Application in Clouds

A Heuristic Approach for Scalability of Multi-tiers Web Appl...

引用

International conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS)

作者： Ruiqing Chi Zhuzhong Qian Sanglu Lu State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing Jiangsu China

high availability, reliability and scalability are basic prerequisites for cloud applications. Due to dynamically varying workloads, it's necessary to provide resource guarantees to cloud applications for meeting QoS requirements. However, it's not trivial to generate a precise scalability policy for multi-tiers cloud applications to adapt to dynamically varying workload and satisfy QoS requirements simultaneously with minimal resource consumption. In this paper, we present an on-line scalability controller of multi-tiers applications to handle with unpredictable changing workloads. The solution is based on the use of layered queuing network model combined with our dynamic resource allocation techniques. Our performance model relates application performance to their resource requirements and dynamically varying workloads. Then we evaluate our approach via experiments with real-world workloads in different scenarios. Our results indicate that our performance model faithfully captures the behaviors of multi-tiers applications over a various range of workloads and configuration schemes. Moreover, it also shows that our techniques can judiciously obtain the optimized configuration scheme effectively with modest computation.

关键词： Servers Scalability Measurement Databases Heuristic algorithms optimization Time factors

来源：评论

学校读者我要写书评

暂无评论

Observer-based Adaptive Sliding Mode Control of Autonomous Vehicle Rollover Behavior Combing with Markovian Switching

Observer-based Adaptive Sliding Mode Control of Autonomous V...

引用

conference on Vehicle Control and Intelligence (CVCI)

作者： Zhenfeng Wang Fei Li Lixin Jing Yechen Qin Yiwei Huang Automotive Engineering Research Institute China Automotive Technology and Research Center Co. Ltd. Tianjin China School of Mechanical Engineering Beijing Institute of Technology Beijing China

ISBN: (数字)9781728184975

ISBN: (纸本)9781728184982

This paper proposes a novel observer-based sliding mode control (SMC) to enhance the performance of autonomous vehicles (AVs) rollover behavior under various road profile input. The model of half-car system is first established to describe the AVs rollover behavior by considering nonlinear dynamics of tire force and controllable suspension force under various movement conditions. Moreover, an unscented Kalman Filter (UKF) algorithm is proposed to identify the sprung mass. Combing with the interacting multiple model (IMM) approach and Markov Chain Monte Carlo (MCMC) theory, a novel interacting multiple model unscented Kalman Filters (IMMUKF) observer based is developed to estimate the movement state of AVs system. Then, an adaptive observer-based sliding mode control (AOSMC) strategy is proposed to constrain the AVs roll performance under the various external input. The stability of the proposed algorithm is proved by using Lyapunov function. Finally, simulations and validations are performed on a high-fidelity CarSim® software by using J-turn scenario under various road excitation, to validate the proposed algorithm for AVs system, and the results illustrate that the improved roll states are more than 15% compared with the traditional SMC algorithm.

关键词： Adaptation models Monte Carlo methods Rollover Roads software algorithms Mathematical model Sliding mode control

来源：评论

学校读者我要写书评

暂无评论

Analysis and optimization of power consumption in the iterative solution of sparse linear systems on multi-core and many-core platforms

Analysis and optimization of power consumption in the iterat...

引用

International Green Computing conference

作者： Hartwig Anzt Vincent Heuveline José I. Aliaga Maribel Castillo Juan C. Fernández Rafael Mayo Enrique S. Quintana-Ortí Institute of Applied and Numerical Mathematics 4 Karlsruhe Institute of Technology Karlsruhe Germany Departamento de Ingeniería y Ciencia de Computadores Universidad Jaume I Castellon Spain

Energy efficiency is a major concern in modern high-performance-computing. Still, few studies provide a deep insight into the power consumption of scientific applications. Especially for algorithms running on hybrid platforms equipped with hardware accelerators, like graphics processors, a detailed energy analysis is essential to identify the most costly parts, and to evaluate possible improvement strategies. In this paper we analyze the computational and power performance of iterative linear solvers applied to sparse systems arising in several scientific applications. We also study the gains yield by dynamic voltage/frequency scaling (DVFS), and illustrate that this technique alone cannot to reduce the energy cost to a considerable amount for iterative linear solvers. We then apply techniques that set the (multi-core processor in the) host system to a low-consuming state for the time that the GPU is executing. Our experiments conclusively reveal how the combination of these two techniques deliver a notable reduction of energy consumption without a noticeable impact on computational performance.

关键词： Jacobian matrices software measurement Graphics processing unit Semiconductor device measurement Hardware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共205页 << < 188 189 190 191 192 193 194 195 196 197 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：