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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,642 篇 会议
333 篇 期刊文献
250 册 图书

馆藏范围

8,225 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,047 篇 工学
- 2,991 篇 计算机科学与技术...
- 1,847 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 350 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 188 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 36 篇 土木工程
- 36 篇 航空宇航科学与技...
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
927 篇 理学
- 730 篇 数学
- 142 篇 系统科学
- 98 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
29 篇 教育学
- 29 篇 教育学
20 篇 文学
20 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,298 篇 programming
768 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
485 篇 parallel program...
374 篇 computer archite...
371 篇 computer science
361 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
269 篇 software enginee...
267 篇 concurrent compu...
265 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
12 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 sitek pawel
7 篇 leucker martin

语言

8,069 篇 英文
100 篇 其他
33 篇 中文
19 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8225 条记录，以下是4991-5000 订阅

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

详细简洁

排序：

Using Overlay Networks to Build Operating System Services for Large Scale Grids

Using Overlay Networks to Build Operating System Services fo...

引用

international symposium on Parallel and Distributed Computing

作者： Emmanuel Jeanvoine Louis Rilling Christine Morin Daniel Leprince Paris Research group IRISA France Université de Rennes 1 France INRIA France EDF UK

ISBN: (纸本)9780769526381;0769526381

Using grid resources to execute scientific applications requiring a large amount of computing power is attractive but not easy from the user point of view. Vigne is a grid operating system designed to provide users with a simplified view of a grid. Vigne deals with the huge number of nodes in a large-scale grid and with the nodes' dynamic behavior by using peer-to-peer overlays as a keystone. In this paper, we show why it is highly desirable to use structured and unstructured peer-to-peer overlays for building the high-level services of Vigne grid operating system. To show the interest of our approach, we detail the features of two Vigne services built on top of peer-to-peer overlays. We also present experimental results obtained on the Grid'5000 testbed showing the scalability of the Vigne infrastructure based on overlays and its practical interest for the implementation of Vigne distributed services

关键词： Operating systems Large-scale systems Peer to peer computing programming profession Resource management Grid computing Scalability Processor scheduling Buildings Testing

来源：评论

学校读者我要写书评

暂无评论

Online Client-AP Association in WLANs

Online Client-AP Association in WLANs

引用

international symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt)

作者： G.S. Kasbekar P. Nuggehalli J. Kuri Centre for Electronics Design and Technology Indian Institute of Science Bangalore India

In many IEEE 802.11 WLAN deployments, wireless clients have a choice of access points (AP) to connect to. In current systems, clients associate with the access point with the strongest signal to noise ratio. However, such an association mechanism can lead to unequal load sharing, resulting in diminished system performance. In this paper, we first provide a numerical approach based on stochastic dynamic programming to find the optimal client-AP association algorithm for a small topology consisting of two access points. Using the value iteration algorithm, we determine the optimal association rule for the two-AP topology. Next, utilizing the insights obtained from the optimal association rule for the two-AP case, we propose a near-optimal heuristic that we call RAT. We test the efficacy of RAT by considering more realistic arrival patterns and a larger topology. Our results show that RAT performs very well in these scenarios as well. Moreover, RAT lends itself to a fairly simple implementation.

关键词： Wireless LAN Dynamic programming Topology Signal to noise ratio Association rules Throughput Stochastic processes Measurement Delay System performance

来源：评论

学校读者我要写书评

暂无评论

Embedded estimation of fault parameters in an unmanned aerial vehicle

Embedded estimation of fault parameters in an unmanned aeria...

引用

IEEE international Conference on Computer-Aided Design

作者： Sikandar Samar Dimitry Gorinevsky Stephen P. Boyd Information Systems Laboratory University of Stanford Stanford CA USA

In this paper, we present a model-based approach for estimating fault conditions in an aircraft. We formulate fault estimation as a convex optimization problem, where estimates are obtained by solving a constrained quadratic program (QP). A moving horizon framework is used to enable recursive implementation of the constrained QP of fixed size. The estimation scheme takes into account a priori known monotonicity constraints on the faults. Monotonicity implies that the fault conditions can only deteriorate with time. We validate the proposed estimation scheme on a detailed nonlinear simulation model of the Aerosonde unmanned aerial vehicle (UAV) in the presence of winds and turbulence. An excellent performance of the developed approach is demonstrated.

关键词： Parameter estimation Unmanned aerial vehicles Circuit faults Aircraft propulsion Aircraft navigation Information systems Laboratories Aerospace control Aerospace electronics Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Towards an analysis of race carrier conditions in real-time Java 06

Towards an analysis of race carrier conditions in real-time ...

引用

international symposium on Parallel and Distributed Processing (IPDPS)

作者： M.T. Higuera-Toledano DACYA Facultad de Informática Universidad Complutense de Madrid Madrid Spain

ISBN: (纸本)9781424400546

The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles among regions on the region-stack, RTSJ defines the single parent rule. The given algorithms to maintain the region-stack structure are not compliant with the defined parentage relation. More over, the suggested algorithms to maintain the single parent rule introduces race carrier conditions on the application behaviour. This paper proposes alternative approaches in order to avoid this problem

关键词： Java Yarn Real time systems Memory management NIST Runtime Time factors High level languages programming profession Resource management

来源：评论

学校读者我要写书评

暂无评论

Composing Access Control Policies of Distributed Components

Composing Access Control Policies of Distributed Components

引用

IEEE international symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Omkar J. Tilak Rajeev R. Raje Xukai Zou Indiana University-Purdue University Indianapolis USA

Software realization of distributed computing systems (DCS) is achieved through the component based software development (CBSD) approach. DCS are generated by composing individual components. While creating such DCS, care must be taken to include the aspects of access control and obtain the resultant access control policy as a function of individual access control policies of the underlying components. A formal framework is needed to achieve this task of composing access control policies. In this paper, we propose an algebra that enables the composition of access control policies of individual components using the interaction patterns between them. A case study is presented which justifies the proposed algebra

关键词： Access control Algebra Distributed control Authorization Collaboration Laboratories Distributed computing programming Financial management Finance

来源：评论

学校读者我要写书评

暂无评论

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Biological LC/MS Preprocessing and Analysis with jABC, jETI ...

引用

international symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany

LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libraries invoked by scripts in the domain-specific statistics language S or R. We show here how to model and implement this complex workflow in a service-oriented fashion, using the jABC service definition environment and jETI for remote service integration and execution.

关键词： Statistical analysis Biological system modeling Proteins Mice Mass spectroscopy Proteomics Application software Software engineering Performance analysis Biometrics

来源：评论

学校读者我要写书评

暂无评论

Trajectory generation and feedforward control for parking a car

Trajectory generation and feedforward control for parking a ...

引用

IEEE international Conference on Computer-Aided Design

作者： Bernhard Muller Joachim Deutscher Stefan Grodde Lehrstuhl für Regelungstechnik Universität Erlangen Nürnberg Erlangen Germany Lehrstuhl für Regelungstechnik Universität Erlangen-Nürnberg Cauerstrasse 7 91058 Germany

In this paper a two-step trajectory planning algorithm is applied to generate suitable trajectories for an autonomous parking maneuver of a car. It is shown how important requirements of the automotive industry can be met with the proposed approach. Furthermore, some details on the implementation of the algorithm are given, which are essential to obtain reasonable computation times

关键词： Trajectory Automotive engineering Electrical equipment industry Velocity control Path planning Kinematics Orbital robotics Dynamic programming Controllability Control systems

来源：评论

学校读者我要写书评

暂无评论

Harnessing Theories for Tool Support

Harnessing Theories for Tool Support

引用

international symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Zhiming Liu Vladimir Mencl Anders P. Ravn Lu Yang International Institute for Software Technology United Nations University Department of Software Engineering Charles University Czech Republic Department Computer Science Aalborg University Denmark

Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently. The tools therefore need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensure high quality of such add-ins is to base them on sound formal foundations. In order to know where such add-ins will fit, we investigate the use of an existing successful commercial tool and identify suitable places for adding formally supported checking, transformation and generation modules. The paper concludes with a discussion of feasibility of developing the proposed add-ins and how to give conditions such that they will actually be used.

关键词： Application software programming Object oriented modeling Joining processes Software tools Testing Unified modeling language Software systems Protocols Software engineering

来源：评论

学校读者我要写书评

暂无评论

Usage of Global States-Based Application Control

Usage of Global States-Based Application Control

引用

international symposium on Parallel and Distributed Computing

作者： J. Borkowski D. Kopanski M. Tudruj Polish Japanese Institute of Information Technology Warsaw Poland Institute of Computer Science Polish Academy of Sciences Warsaw Poland

ISBN: (纸本)9780769526381;0769526381

The novel parallel/distributed application control method, discussed in this paper, is based on the use of global states monitoring. Application processes report their local states to monitors. The monitors construct global states, analyze them and send control signals to processes to stimulate necessary actions. A number of application areas of this control method are examined. Tests results and gained experience are presented for irregular computation, load balancing and dynamic workflow implementations. It is shown, that the new control method can lead to a better performance than message passing and that it provides a useful and convenient framework, facilitating program development and maintenance

关键词： Signal processing programming profession Application software Concurrent computing Distributed computing Computer displays Process control Load management Message passing Control systems

来源：评论

学校读者我要写书评

暂无评论

Non-linear prediction horizon time-discretization for model predictive control of linear sampled-data systems

Non-linear prediction horizon time-discretization for model ...

引用

IEEE international Conference on Computer-Aided Design

作者： Ravi Gondhalekar Jun-ichi Imura Department of Mechanical and Environmental Informatics Graduate School of Information Science and Engineering Tokyo Institute of Technology Meguro Tokyo Japan

Model predictive sampled-data control of linear continuous-time plants is considered. The time-discretization of the prediction horizon may be non-linear, in order to reduce the number of optimization variables for a given prediction horizon length. This is done for the purpose of allowing faster implementation. While the method is aimed at constrained systems, this paper focuses on the achievable performance of such control strategies for unconstrained systems. A general solution to the finite-horizon optimal control problem is derived for a prediction horizon of arbitrary time-discretization. The model predictive control strategy is consequently derived, and the optimal control input shown to be given by a time-invariant state feedback expression. Three non-linear prediction horizon time-discretization schemes are proposed, and their relative merits discussed. The benefit of employing the presented control strategy is demonstrated by a satellite attitude control case study. The same case study is further used to highlight limitations of and performance differences between the three proposed prediction horizon time-discretization schemes.

关键词： Predictive models Predictive control Control systems Quadratic programming Optimal control Nonlinear control systems State feedback Linear systems Robust stability Satellites

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：