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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,651 篇 会议
323 篇 期刊文献
252 册 图书

馆藏范围

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

日期分布

学科分类号

4,042 篇 工学
- 2,988 篇 计算机科学与技术...
- 1,846 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 351 篇 信息与通信工程
- 335 篇 电子科学与技术（可...
- 187 篇 机械工程
- 86 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 37 篇 航空宇航科学与技...
- 36 篇 土木工程
- 33 篇 建筑学
- 32 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
921 篇 理学
- 727 篇 数学
- 142 篇 系统科学
- 97 篇 统计学（可授理学、...
- 96 篇 物理学
- 67 篇 生物学
485 篇 管理学
- 395 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
55 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
30 篇 教育学
- 30 篇 教育学
20 篇 文学
19 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,298 篇 programming
769 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
486 篇 parallel program...
374 篇 computer archite...
367 篇 computer science
362 篇 hardware
349 篇 dynamic programm...
312 篇 logic programmin...
310 篇 software systems
271 篇 software enginee...
267 篇 concurrent compu...
267 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
209 篇 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 篇 sitek pawel
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 leucker martin

语言

8,020 篇 英文
153 篇 其他
35 篇 中文
16 篇 葡萄牙文
5 篇 西班牙文

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

共 8226 条记录，以下是4591-4600 订阅

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

详细简洁

排序：

On the programming Impact ofMulti-Core,Multi-Processor Nodes inMPI Clusters

On the Programming Impact ofMulti-Core,Multi-Processor Nodes...

引用

IEEE international symposium on High Performance Computing systems and Applications (HPCS)

作者： Hossein Pourreza Peter Graham Department of Computer Science University of Manitoba Winnipeg MAN Canada

Increasingly, multi-core processors, multi-processor nodes and multi-core, multi-processor nodes are finding their way into computer clusters. Clusters built using such nodes are already quite common and, inevitably, will become more so over time. As with any new technology, however, the potential benefits are seldom as easy to attain as we expect them to be. In this paper, we explore three fundamental issues related to the use of multi-core, multi-processor nodes in compute clusters using MPI: inter-communication (messaging) efficiency, cache effects (in particular processor affinity) and initial process distribution. Based on some initial experiments using a subset of the NAS parallel benchmarks running on a small scale cluster with dual core, dual processor nodes, we report results on the impact of these issues. From these results we attempt to extrapolate some simple, guidelines that are likely to be generally applicable for optimizing MPI code running on clusters with multi- core, multi-processor nodes.

关键词： Multicore processing Fabrics Processor scheduling Message passing Computer science Electronic mail Distributed computing Guidelines Tellurium Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Decentralised clinical guidelines modelling with lightweight coordination calculus

Decentralised clinical guidelines modelling with lightweight...

引用

2nd international symposium on Languages in Biology and Medicine, LBM 2007

作者： Hu, Bo Dasmahapatra, Srinandan Robertson, Dave Lewis, Paul Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Informatics University of Edinburgh Edinburgh EH8 9LE United Kingdom

Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the computerisation of clinical guidelines has attracted extensive research interest. Many languages and frameworks have been developed. Thus far, however, an enactment mechanism to facilitate decentralised guideline execution has been a largely neglected line of research. It is our contention that decentralisation is essential to maintain a high-performance system in pervasive health care scenarios. In this paper, we propose the use of Lightweight Coordination Calculus (LCC) as a feasible solution. LCC is a light-weight and executable process calculus that has been used successfully in multi-agent systems, peer-to-peer (p2p) computer networks, etc. In light of an envisaged pervasive health care scenario, LCC, which represents clinical protocols and guidelines as message-based interaction models, allows information exchange among software agents distributed across different departments and/or hospitals. Results: We outlined the syntax and semantics of LCC;proposed a list of refined criteria against which the appropriateness of candidate clinical guideline modelling languages are evaluated;and presented two LCC interaction models of real life clinical guidelines. Conclusions: We demonstrated that LCC is particularly useful in modelling clinical guidelines. It specifies the exact partition of a workflow of events or tasks that should be observed by multiple "players" as well as the interactions among these "players". LCC presents the strength of both process calculi and Horn clauses pair of which can provide a close resemblance of logic programming and the flexibility of practical implementation.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

A Novel Clock Deskew Method by Linear programming

A Novel Clock Deskew Method by Linear Programming

引用

50th IEEE international Midwest symposium on Circuits and systems (MWSCAS'07), vol.3

作者： Yuko Hashizume Yasuhiro Takashima Yuichi Nakamura Environmental Engineering University of Kitakyushu Fukuoka Japan System IP Core Research Laboratories NEC Corporation Limited Kanagawa Japan

Since the process technology of LSI devices are developing, the process variation becomes a more critical issue. Especially, the clock skew, which is produced by fabrication variation, causes the serious defects for fabricated chip functions. To improve this problem, the several deskew methods using Programmable Delay Elements (PDEs) have been proposed. However, they need much test cost and PDE cost for an industrial application. We propose a novel method with less PDEs and less test cost by Linear programming (LP). The proposed method calculates the each PDE delay using the feasibility check of LP. Our experiment shows that the nondefective chip rate after applying deskew increase 91.6% with 4 PDEs while the nondefective chip rate before applying deskew are 21.2%. The experimental result confirms that our proposed method is effective for improving the yields and relaxing the design margin.

关键词： Deskew Programmable Delay Element (PDE) Linear programming (LP)

来源：评论

学校读者我要写书评

暂无评论

A New Specification of Software Components for Embedded systems

A New Specification of Software Components for Embedded Syst...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Takuya Azumi Masanari Yamamoto Yasuo Kominami Nobuhisa Takagi Hiroshi Oyama Hiroaki Takada Graduate School of Information Science University of Nagoya Japan Toppers Project Inc. Kijineko Inc. Okuma Corporation

In the last decade, the size and complexity of the software in embedded systems have increased. The present study attempts to decrease the complexity and difficulty of software development in embedded systems. We herein introduce a new component system that is suitable for embedded systems. It is possible to estimate the memory consumption of an entire application since the proposed system adopts a static configuration. In addition, this system takes into account to be used in several domains of embedded systems because several particle sizes of component are supported. Moreover, the concept of the component for a distributed application is presented

关键词： Embedded software Embedded system Application software programming Productivity Software systems Distributed information systems Java Information science Testing

来源：评论

学校读者我要写书评

暂无评论

Adequacy between AUTOSAR OS specification and real-time scheduling theory

Adequacy between AUTOSAR OS specification and real-time sche...

引用

international symposium on Industrial Embedded systems

作者： Pierre-Emmanuel Hladik Anne-Marie Deplanche Sebastien Faucou Yvon Trinquet École des Mines de Nantes Nantes France IRCCyN (UMR CNRS 6597) Université de Nantes Nantes France

AUTOSAR (AUTOmotive Open System ARchitecture) consortium is a development partnership between the main actors of the automotive manufacturing industry. It aims at defining an open standardized software architecture, in order to face the future challenges in automotive development. One of the important challenge concerns the development of time-critical systems, e.g. brake-by-wire or steer-by-wire. In order to master the development of such systems, one must be able to understand and analyze their real-time behavior. Responses to this problem can be found in the real-time scheduling theory, especially schedulability analysis techniques. In this paper, we propose a review of a subset of the AUTOSAR Operating System specification from a schedulability analysis point-of-view.

关键词： Job shop scheduling Automotive engineering Guidelines Application software Software architecture Process design Dynamic programming Open systems Computer architecture Real time systems

来源：评论

学校读者我要写书评

暂无评论

GAPSYS: A GA-based Tool for Automated Passive Analog Circuit Synthesis

GAPSYS: A GA-based Tool for Automated Passive Analog Circuit...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Angan Das Ranga Vemuri Department of Electrical and Computer Engineering University of Cincinnati Cincinnati OH USA

This paper presents GAPSYS - a genetic algorithm based automated circuit synthesis tool for passive analog circuits. It describes the procedure for developing both the circuit topology and the component values for a passive analog circuit comprising of R, L and C components from a given set of specifications. The novelty of the work pertains to the component value assignment procedure for the initial set of circuits and the crossover techniques employed. Experiments conducted on two low-pass filter design benchmarks demonstrate the effectiveness of GAPSYS as a synthesis tool.

关键词： Analog circuits Circuit synthesis Circuit topology Biological cells Genetic algorithms Embryo Low pass filters Genetic programming Circuit simulation Network synthesis

来源：评论

学校读者我要写书评

暂无评论

Peak-Contrained WLS Strategy for FIR Digital Filter Design

Peak-Contrained WLS Strategy for FIR Digital Filter Design

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Hon Keung Kwan Aimin Jiang Department of Electrical and Computer Engineering University of Windsor Windsor ONT Canada

In this paper, a peak-constrained weighted least-squares (PCWLS) method is presented for designing a general FIR digital filter with constant group delay passband, using the projected least-squares (PLS) algorithm. In the design of a general FIR filter, peak error constraints are nonlinear functions of filter coefficients and can not be accepted by the PLS algorithm. In the proposed method, peak error constraints are formulated, through some approximation, as a set of linear inequalities to be incorporated into the design problem. Design examples show the effectiveness of the peak error control of the proposed method.

关键词： Finite impulse response filter Digital filters Algorithm design and analysis Iterative algorithms Quadratic programming Passband Delay Minimax techniques Frequency response Error correction

来源：评论

学校读者我要写书评

暂无评论

Approximate Optimal Control-Based Neurocontroller with a State Observation System for Seedlings Growth in Greenhouse

Approximate Optimal Control-Based Neurocontroller with a Sta...

引用

IEEE symposium on Adaptive Dynamic programming and Reinforcement Learning, (ADPRL)

作者： H. D. Patino J. A. Pucheta C. Schugurensky R. Fullana B. Kuchen Universidad Nacional de San Juan San Juan Argentina

In this paper, an approximate optimal control-based neurocontroller for guiding the seedlings growth in greenhouse is presented. The main goal of this approach is to obtain a close-loop operation with a state neurocontroller, whose design is based on approximate optimal control theory. The neurocontroller drives the progress of the crop growth development while minimizing a predefined cost function in terms of operative costs and final state errors under physical constraints on process variables and actuator signals. The aim is to find an approximate optimal control policy to guide the development of tomato seedlings from an initial to a desired state by controlling the greenhouse's microclimate. In this paper we propose an indirect measuring of the seedlings growth state using artificial vision. In order to show the performance and practical feasibility of the proposed approach, an experiment was carried out for the development of tomato seedings

关键词： Optimal control Control systems Neurocontrollers Crops Temperature Cost function Production Observers Dynamic programming Learning

来源：评论

学校读者我要写书评

暂无评论

Value-Iteration Based Fitted Policy Iteration: Learning with a Single Trajectory

Value-Iteration Based Fitted Policy Iteration: Learning with...

引用

IEEE symposium on Adaptive Dynamic programming and Reinforcement Learning, (ADPRL)

作者： Andras Antos Csaba Szepesvari Remi Munos Computer and Automation Research Inst. Hungarian Academy of Sciences Budapest Hungary University of Alberta Edmonton Canada SequeL team INRIA Futurs University of Lille (USTL) Villeneuve d'Ascq France

We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian decision problems when the training data is composed of the trajectory of some fixed behaviour policy. The algorithm studied is policy iteration where in successive iterations the action-value functions of the intermediate policies are obtained by means of approximate value iteration. PAC-style polynomial bounds are derived on the number of samples needed to guarantee near-optimal performance. The bounds depend on the mixing rate of the trajectory, the smoothness properties of the underlying Markovian decision problem, the approximation power and capacity of the function set used. One of the main novelties of the paper is that new smoothness constraints are introduced thereby significantly extending the scope of previous results.

关键词： Learning Training data Algorithm design and analysis Dynamic programming Automation Polynomials State-space methods Control systems Interleaved codes Extraterrestrial measurements

来源：评论

学校读者我要写书评

暂无评论

Code Decomposition: Theory and Applications

Code Decomposition: Theory and Applications

引用

IEEE international symposium on Information Theory

作者： Navin Kashyap Department Mathematics and Statistics Queen's University Kingston ONT Canada

ISBN: (纸本)9781424413973

In this paper, we give an overview of Seymour's matroid decomposition theory in the context of binary linear codes, and discuss some of its implications for linear programming (LP) decoding of a binary linear code. As shown by Feldman et al. maximum-likelihood (ML) decoding over a discrete memoryless channel can be formulated as an LP problem. Using this formulation, we translate matroid-theoretic results of Grotschel and Truemper from the combinatorial optimization literature as examples of non-trivial families of codes for which ML decoding can be implemented in time polynomial in the length of the code. However, we also show that such families of codes are not good in a coding-theoretic sense - either their dimension or their minimum distance must grow sub-linearly with codelength.

关键词： Linear code Maximum likelihood decoding Memoryless systems Mathematics Statistics Linear programming Cost function Vectors Councils

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 456 457 458 459 460 461 462 463 464 465 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：