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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

92 篇 期刊文献
74 篇 会议
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

150 篇 工学
- 117 篇 计算机科学与技术...
- 89 篇 软件工程
- 33 篇 电气工程
- 13 篇 信息与通信工程
- 6 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 土木工程
- 1 篇 动力工程及工程热...
- 1 篇 化学工程与技术
- 1 篇 石油与天然气工程
- 1 篇 网络空间安全
14 篇 理学
- 11 篇 数学
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 生物学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 药学(可授医学、理...
1 篇 文学
1 篇 军事学
- 1 篇 军事装备学

主题

169 篇 program optimiza...
17 篇 program transfor...
12 篇 program analysis
10 篇 performance
10 篇 partial evaluati...
9 篇 languages
8 篇 compilers
8 篇 code generation
7 篇 theory
6 篇 algorithms
6 篇 code motion
6 篇 data flow analys...
4 篇 theorem proving
4 篇 program synthesi...
4 篇 computational co...
4 篇 compiler
4 篇 java
4 篇 design
4 篇 functional progr...
4 篇 dynamic compilat...

机构

4 篇 johannes kepler ...
4 篇 suny stony brook...
2 篇 malardalen univ ...
2 篇 univ melbourne d...
2 篇 leiden univ leid...
2 篇 oracle labs linz...
2 篇 department of co...
2 篇 lawrence berkele...
2 篇 cornell univ dep...
2 篇 jiangnan univ sc...
2 篇 purdue univ sch ...
2 篇 mit csail cambri...
2 篇 oracle labs
2 篇 univ washington ...
2 篇 natl univ def te...
2 篇 univ dortmund d-...
2 篇 univ illinois de...
2 篇 univ paris est c...
2 篇 university of ca...
1 篇 samara state tec...

作者

6 篇 knoop j
3 篇 pingali k
3 篇 liu yanhong a.
3 篇 leopoldseder dav...
3 篇 shen xipeng
3 篇 steffen b
3 篇 kloibhofer sebas...
2 篇 jason cong
2 篇 rubio-gonzalez c...
2 篇 lu pingjing
2 篇 wang dengfeng
2 篇 glück r
2 篇 pereira rui
2 篇 hough david
2 篇 bilardi g
2 篇 bonetta daniele
2 篇 saraiva joao
2 篇 hu zhenjiang
2 篇 kahan william
2 篇 de gonzalo simon...

语言

162 篇 英文
6 篇 其他
1 篇 中文

检索条件"主题词=Program Optimization"

共 169 条记录，以下是151-160 订阅

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

详细简洁

排序：

Mobile system shutdown prevention via energy storage-aware predictive control

Mobile system shutdown prevention via energy storage-aware p...

引用

American Control Conference

作者： Jonathan R. LeSage Raul G. Longoria MathWorks Inc. Natick MA USA Department of Mechanical Engineering at University of Texas at Austin 78712 USA

ISBN: (纸本)9781467386838

This paper presents an energy storage-aware model predictive control approach for online mobile system shutdown prevention that exploits the rate-capacity and recovery dynamic effects of batteries. System shutdown, for these systems such as ground robotics, commonly occurs as a result of transient loads that result in the battery voltage crossing a shutdown voltage threshold in the protective circuitry. The proposed control methodology optimizes the vehicle drive command by incorporating battery shutdown constraints and battery dynamic effects into a model predictive control quadratic program optimization. The proposed model predictive control scheme is shown to extend mobile system run-time and total distance through Monte Carlo simulation and experimental studies of a small unmanned ground vehicle.

关键词： Batteries Vehicle dynamics Vehicles Mobile communication Predictive control Voltage control DC motors Predictive control Batteries DC motors Vehicle dynamics Voltage regulation mobile communication vehicle cell voltage transient loads program optimization energy storage threshold voltage Control Methods Mobile

来源：评论

学校读者我要写书评

暂无评论

Optimizing a 3D Image Reconstruction Algorithm: Investigating the Interaction between the High-Level Implementation, the Compiler and the Architecture 02

Optimizing a 3D Image Reconstruction Algorithm: Investigatin...

引用

Asia-Pacific Computer Systems Architecture Conference

作者： Tom Vander Aa Lieven Eeckhout Bart Goeman Hans Vandierendonck Tanja Van Achteren Rudy Lauwereins Koen De Bosschere ESAT KULeuven Kasteelpark Arenberg 10 B-3001 Leuven Belgium

ISBN: (纸本)0909925844

Digital signal processing and multimedia workloads will be a dominant workload for computer based systems in the near future. In this paper, we evaluate the performance of an important media application, namely a relatively new 3D image reconstruction algorithm, on two platforms: a DSP processor (Texas Instruments TMS320C6701) and a high-performance. general-purpose microprocessor (Alpha 21164). Prior to evaluating the performance of both architectural paradigms―very long instruction word (VLIW) versus an in-order superscalar organization―we optimized the algorithm by applying algorithmic optimizations as well as implementation-dependent optimizations. For the VLIW architecture, we obtained a 12X speedup for a 465x320 image; on the Alpha 21164, a 4X speedup was obtained. Thanks to this high speedup, this 3D image reconstruction algorithm becomes useful for real-time use. Next to evaluating the various optimizations, we also discuss the implications of these optimizations on the performance of various architectural structures, such as the branch predictor and the memory hierarchy.

关键词： 3D image reconstruction program optimization VLIW superscalar

来源：评论

学校读者我要写书评

暂无评论

Experiment in Parallel Computing for the Julia programming Language

Experiment in Parallel Computing for the Julia Programming L...

引用

作者： Rui Song Xumin Song Yasheng Zhang Yanni Ma Space Engineering University

Julia language is a free developing scripting language under the MIT license. Its goal is to case the difficulty of parallel programming. Based on the language mechanisms of Julia, we constructed a use case of computing the average running-time between every two bus stops. And then, we exampled the Julia programming framework and the code refining steps. Julia language supports both multi-cores/CPUs parallel programming mode. To full use all the computing resources, we developed some experiments on new policies about how to improve the computing *** show that managing processors in parallel computing model consume working time, but with the increasing of problem size, this impact can be gradually ignored, and gaining nearly linear speedups.

关键词： Parallel Computing Julia programming Language program optimization Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Problems and Constructive Methods of Applied Control Theory for the Technical Systems with Distributed Parameters

Problems and Constructive Methods of Applied Control Theory ...

引用

International Conference on Complex Systems: Control and Modeling Problems

作者： Edgar Rapoport Yuliya Pleshivtseva Samara State Technical University ICCS RASSamaraRussia

The approaches and methods for further development of applied theory of systems with distributed parameters are suggested to solve problems of open-loop controllability, construction of program optimization, a wide ra... 详细信息

关键词： control system synthesis controllability distributed parameter systems open loop systems optimal control optimisation vectors Open loop systems control system synthesis Distributed parameter systems Optimal control controllability distributed parameter Control Theory Systems Theory program optimization

来源：评论

学校读者我要写书评

暂无评论

Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear programming Approach 24

Automatic Hardware Pragma Insertion in High-Level Synthesis:...

引用

Proceedings of the 2024 ACM/SIGDA International Symposium on Field programmable Gate Arrays

作者： Stéphane Pouget Louis-Noël Pouchet Jason Cong University of California Los Angeles Los Angeles CA USA Colorado State University Fort Collins CO USA

ISBN: (纸本)9798400704185

High-Level Synthesis enables the rapid prototyping of hardware accelerators, by combining a high-level description of the functional behavior of a kernel with a set of micro-architecture optimizations as inputs. Such pragmas may describe the pipelining and replication of units, or even higher-level transformations for HLS such as automatic data caching using the AMD/Xilinx Merlin compiler. Selecting the best combination of pragmas, even within a restricted set, remains particularly challenging and the typical state-of-practice uses design-space exploration to navigate this space. But due to the highly irregular performance distribution of pragma configurations, typical DSE approaches are either extremely time consuming, or operating on a severely restricted search space. In this work we propose a framework to automatically insert HLS pragmas in regular loop-based programs, supporting pipelining, unit replication (coarse- and fine-grain), and data caching. We develop a simple analytical performance and resource model as a function of the input program properties and pragmas inserted. We prove this model provides a lower bound on the actual performance for any possible configuration. We then encode this model as a Non-Linear program, by making the pragma configuration as unknowns of the system, which is computed optimally by solving this NLP. This approach can also be used during DSE, to quickly prune points with a (possibly partial) pragma configuration, employing this latency lower bound property. We extensively evaluate our end-to-end fully implemented system, showing it can effectively manipulate spaces of billions of designs in seconds to minutes for the kernels evaluated.

关键词： fpga hls non-linear programming program optimization

来源：评论

学校读者我要写书评

暂无评论

Object race detection 01

Object race detection

引用

ACM SIGPLAN Conference on Object-oriented programming, Systems, Languages, and Applications

作者： Christoph von Praun Thomas R. Gross Laboratory for Software Technology Department of Computer Scinece ETH Z?rich 8092 Z?rich Switzerland

ISBN: (纸本)1581133359

We present an on-the-fly mechanism that detects access conflicts in executions of multi-threaded Java programs. Access conflicts are a conservative approximation of data races. The checker tracks access information at the level of objects (object races) rather than at the level of individual variables. This viewpoint allows the checker to exploit specific properties of object-oriented programs for optimization by restricting dynamic checks to those objects that are identified by escape analysis as potentially shared. The checker has been implemented in collaboration with an "ahead-of-time"Java compiler. The combination fo static program analysis (escape-analysis) and inline instrumentation during code generation allows us to reduce the runtime overhead of detecting access conflicts. This overhead amounts to about 16-129% in time and less than 25% in space for typical benchmark applications and compares favorably to previously published on-the-fly mechanism that incurred an overhead of abouta factor of 2-80 in time and up to a factor of 2 in space.

关键词： checker Conflict (Psychology) Racial Stocks Code generation specific properties Java Java programming language program optimization Access

来源：评论

学校读者我要写书评

暂无评论

MILP-based Rolling Horizon Control for Microgrids with Battery Storage

MILP-based Rolling Horizon Control for Microgrids with Batte...

引用

Annual Conference of the IEEE Industrial Electronics Society

作者： Pawel Malysz Shahin Sirouspour Ali Emadi McMaster Institute for Automotive Research and Technology Dept. of Electrical and Computer Engineering McMaster University

ISBN: (纸本)9781479902255

An energy management system is proposed for a grid-connected microgrid with on-site battery storage and renewable energy sources. The system controls power flow between the microgrid and grid in order to effectively utilize renewable energy and maximize economic benefits for the customer and the utility operator. The power flow is optimized by formulating and solving a mixed-integer-linear-program optimization over a rolling horizon window. Multiple objectives concerning economic benefits, cost of battery operation and grid power profile shaping are built into the optimization. So called battery incremental red-zone power rates are among unique battery management features of this formulation. Careful consideration is also given to reducing the computations so the controller can run on an embedded computer in real time. Simulation results highlight the effectiveness of various novel aspects of the proposed controller.

关键词： MICRO-GRID Energy management systems Secondary batteries Economic benefits embedded computer Power flow battery operation Renewable energy ROLLED Controllers SCROLL Horizon grids program optimization

来源：评论

学校读者我要写书评

暂无评论

Testing flow graph reducibility 73

Testing flow graph reducibility

引用

Proceedings of the fifth annual ACM symposium on Theory of computing

作者： Robert Tarjan

ISBN: (纸本)9781450374309

Many problems in program optimization have been solved by applying a technique called interval analysis to the flow graph of the program. A flow graph which is susceptible to this type of analysis is called reducible. This paper describes an algorithm for testing whether a flow graph is reducible. The algorithm uses depth-first search to reveal the structure of the flow graph and a good method for computing disjoint set unions to determine reducibility from the search information. When the algorithm is implemented on a random access computer, it requires O(E log* E) time to analyze a graph with E edges, where log* x = min{i/logix≤1}. The time bound compares favorably with the O(E log E) bound of a previously known algorithm.

关键词： program optimization Directed graph Flow graph Tree Complexity Reducibility Algorithm Interval analysis Flow analysis Depth-first search Set union algorithm Code optimization

来源：评论

学校读者我要写书评

暂无评论

An Implement of Actor Model - uJavaActor 's Improvement

An Implement of Actor Model - uJavaActor 's Improvement

引用

2016 Sixth International Conference on Instrumentation and Measurement,Computer,Communication and Control (IMCCC2016)(第六届仪器测量、计算机通信与控制国际会议)

作者： Jiaheng Rang Xiaomin Mu Yingqiang Ding School of Information Engineering Zhengzhou University Zhengzhou Henan China 450001

ISBN: (纸本)9781509011964

To solve the complex problems of Multi-Thread programing,a frame of the model of Java Actor used to implement uJavaActor is *** startup speed,responding speed in long time running,and the average running time of the system are accelerated by the improvements of Thread pool,Java lock and concurrent data structure in uJavaActor *** uJavaActor improved is compared in runtime contrast with the original frame in the area about the running speed of implementing the model of *** analyzing the running results,the frame improved consists of higher startup speed,shorter running time,and faster reaction after receiving new tasks,which proves that the total running speed of the uJavaActor model is boosted efficaciously with the improvements in such two areas.

关键词： Multi-Thread Concurrency Actor Model MapReduce Lock program optimization

来源：评论

学校读者我要写书评

暂无评论

Design of BCI Based Multi-information System to Restore Hand Motor Function for Stroke Patients

Design of BCI Based Multi-information System to Restore Hand...

引用

IEEE International Conference on Systems, Man, and Cybernetics

作者： Lin Gao Jue Wang Jin Li Yang Zheng The Key Laboratory of Biomedical Information Engineering of Ministry of Education Xi'an Jiaotong University Xi'an Shaanxi P.R. China

ISBN: (纸本)9781479906505

The rehabilitation on limb paralysis after stroke is an international scientific and technological issue. The rehabilitation in the early stage could hardly realize active participation of patients' intention, self-adaptive functional compensation and quantitative measurement on rehabilitation effect. This paper proposed a brain-computer interface (BCI) training system for rehabilitation of hand motor function after stroke. The mechanical hand mounted on patients' hand was driven by their intention through online motor imagery electroencephalogram (EEG) signal. The mechanical hand provided real-time adaptive assistance or resistance according to motor condition measured by transducers. The system displayed real-time and dynamic information on EEG, hand force and angle synchronously for rehabilitation evaluation and program optimization. The system was tested on three healthy subjects. An average accuracy and information transfer rate of 89.7% and 0.5099bit/s were obtained respectively. The system provides new idea and approach for the rehabilitation training of stroke patients. In follow-up work, we will test our system in long-term rehabilitation experiment for stroke patients to evaluate the effectiveness on improving hand movement and neural system activation.

关键词： hand rehabilitation BCI stroke Stroke motor function Rehabilitation Lake Restoration stroke patient robotic hand Hand Computer based information systems program optimization information transfer rate hand movement Electroencephalography active participation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：