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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

636 篇 会议
40 篇 期刊文献
11 册 图书

馆藏范围

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

日期分布

学科分类号

291 篇 工学
- 209 篇 计算机科学与技术...
- 147 篇 软件工程
- 38 篇 电气工程
- 36 篇 航空宇航科学与技...
- 30 篇 控制科学与工程
- 25 篇 材料科学与工程（可...
- 23 篇 机械工程
- 21 篇 电子科学与技术（可...
- 21 篇 信息与通信工程
- 18 篇 动力工程及工程热...
- 13 篇 力学（可授工学、理...
- 11 篇 化学工程与技术
- 9 篇 生物工程
- 8 篇 仪器科学与技术
- 8 篇 建筑学
- 8 篇 土木工程
- 7 篇 交通运输工程
- 7 篇 生物医学工程（可授...
148 篇 理学
- 99 篇 物理学
- 37 篇 数学
- 14 篇 统计学（可授理学、...
- 12 篇 化学
- 11 篇 生物学
- 9 篇 系统科学
48 篇 管理学
- 41 篇 管理科学与工程(可...
- 23 篇 工商管理
- 8 篇 图书情报与档案管...
26 篇 教育学
- 26 篇 教育学
8 篇 医学
- 6 篇 临床医学
7 篇 法学
5 篇 经济学
- 5 篇 应用经济学
1 篇 军事学

主题

92 篇 computer science
92 篇 computational mo...
82 篇 java
55 篇 computer simulat...
31 篇 analytical model...
30 篇 control systems
28 篇 circuit simulati...
28 篇 application soft...
26 篇 object oriented ...
25 篇 discrete event s...
24 篇 hardware
21 篇 simulation
21 篇 internet
19 篇 neural networks
19 篇 algorithm design...
18 篇 computer archite...
18 篇 software enginee...
18 篇 delay
17 篇 testing
16 篇 educational inst...

机构

8 篇 department of el...
7 篇 department of el...
7 篇 science applicat...
6 篇 korea advanced i...
5 篇 department of co...
5 篇 linkoping inst t...
4 篇 school of electr...
4 篇 coordinated scie...
3 篇 department of el...
3 篇 department of co...
3 篇 department of el...
3 篇 department of co...
3 篇 department of co...
3 篇 air force wright...
2 篇 department of co...
2 篇 intelligent syst...
2 篇 university of co...
2 篇 university of sc...
2 篇 department of co...
2 篇 intel corporatio...

作者

10 篇 mackerle j
8 篇 m. nakaoka
4 篇 kyu ho park
4 篇 jong kim
4 篇 g. borriello
3 篇 garrido jose m.
3 篇 h. takano
3 篇 r.m. murray
3 篇 jin-ho shin
3 篇 k. warendorf
3 篇 m. kurokawa
3 篇 p.a. fishwick
3 篇 murphy liam
3 篇 t. hasegawa
3 篇 g.a. alvarez
3 篇 ju-jang lee
3 篇 f. cristian
3 篇 k. tanaka
2 篇 raghu machiraju
2 篇 yogev a

语言

673 篇 英文
14 篇 其他

检索条件"任意字段=Proceedings of the 1997 Conference on Java in Science and Engineering Simulation"

共 687 条记录，以下是651-660 订阅

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

详细简洁

排序：

A deductive technique for diagnosis of bridging faults 97

A deductive technique for diagnosis of bridging faults

引用

proceedings of the 1997 IEEE/ACM international conference on Computer-aided design

作者： Srikanth Venkataraman W. Kent Fuchs Coordinated Science Laboratory University of Illinois Urbana IL School of Electrical and Computer Engineering Purdue University West Lafayette IN

ISBN: (纸本)9780818682001

A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational or full-scan sequential circuits. For defects in this class of faults the method is accurate by construction while making no assumptions about the logic-level wired-AND/OR behavior. A path-trace procedure starting from failing outputs deduces potential lines associated with the bridge and eliminates certain faults. The information obtained from the path-trace from failing outputs is combined using an intersection graph to make further deductions. The intersection graph implicitly represents all candidate faults, thereby obviating the need to enumerate faults and hence allowing the exploration of the space of all faults. The above procedures are performed dynamically and a reduced intersection graph is maintained to reduce memory and simulation time. No dictionary or fault simulation is required. Results are provided for all large ISCAS89 benchmark circuits. For the largest benchmark circuit, the procedure reduces the space of all bridging faults, which is of the order of 10^9 to a few hundred faults on the average in about 30 seconds of execution time.

关键词： Bridging faults

来源：评论

学校读者我要写书评

暂无评论

Sensitivity analysis of the loss probability in a stationary gradual queue for high-speed networks

Sensitivity analysis of the loss probability in a stationary...

引用

IEEE Annual Joint conference: INFOCOM, IEEE Computer and Communications Societies

作者： Y. Yamada N. Miyoshi T. Hasegawa Senba Branch Sumitomo Bank Osaka Japan Department of Applied Systems Science Graduate School of Engineering Kyoto University Kyoto Japan

In ATM networks, each node has its own buffer to store some cells. The buffer size represents a trade-off between cell loss and transmission delay, and therefore, it is of significant concern to evaluate the performance with respect to the buffer size. In this paper, we investigate the sensitivity of the loss probability with respect to the buffer size by considering a gradual input queue with a finite buffer. Gradual inputs are considered as those representing a bursty cell traffic. Applying the perturbation analysis technique to this model, we derive the strongly consistent sensitivity estimates, and combining with the likelihood ratio method, we confirm that our estimates lead to reasonable simulation results.

关键词： Sensitivity analysis Intelligent networks Queueing analysis High-speed networks Asynchronous transfer mode Propagation losses Delay Buffer storage Performance loss Analytical models

来源：评论

学校读者我要写书评

暂无评论

Non-stationary spectral estimation based on robust time varying AR model excited by a t-distribution process

Non-stationary spectral estimation based on robust time vary...

引用

IEEE Region 10 International conference TENCON

作者： J. Sanubari K. Tokuda Department of Electronics Engineering Satya Wacana University Salatiga Indonesia Department of Computer Science Nagoya Institute of Technology Nagoya Japan

A new robust time variant spectral estimation method is proposed. We use the parametric autoregressive (AR) model to obtain the desired spectra. For robust estimation, we assumed that the residual signal is identically and independently distributed. The probability density function (PDF) of the residual signal is a t-distribution with small /spl alpha/ degrees of freedom. We put a certain base function to the parameter of the AR model, so that the obtained spectra is time variant within the considered window. simulation results show that by using a small /spl alpha/, the obtained running spectra is closer to the ideal spectra than that by using a large /spl alpha/. The mean square error (MSE) between the estimation result and the ideal spectra derived by using a small /spl alpha/ is smaller than that by utilizing a large /spl alpha/.

关键词： Robustness Probability density function Speech analysis Computer science Least squares approximation Signal analysis Density functional theory Bismuth Telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

Concurrency control for real-time database systems with mixed transactions

Concurrency control for real-time database systems with mixe...

引用

IEEE International conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

作者： Kam-Yiu Lam Tei-Wei Kuo Wai-Hung Tsang Department of Computer Science Kowloon Hong Kong China Department of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan Department of Computer Science City University of Hong Kong Kowloon Hong Kong China

ISBN: (纸本)0818680733

This paper proposes a real-time concurrency control protocol called Reduced Ceiling Protocol (RCP) for database systems consisting of hard and soft real-time transactions. In the RCP, the schedulability of hard real-time transactions is guaranteed by reserving the data items for them and by eliminating the blocking time from soft real-time transactions. Different concurrency control strategies are used to resolve the data conflicts between different combinations of hard and soft real-time transactions. We have shown the characteristics of the schedules generated from the RCP. simulation experiments have been performed to study the performance of the RCP as compared with the optimistic concurrency control with broadcast commit (OCC-BC). It has been found that the RCP can guarantee the performance of the hard real-time transactions and at the same time reduce the number of deadline missing of the soft real-time transactions.

关键词： Concurrency control Real time systems Database systems Protocols Processor scheduling Transaction databases Computer science Broadcasting Character generation Proposals

来源：评论

学校读者我要写书评

暂无评论

An efficient multi-way algorithm for balanced partitioning of VLSI circuits

An efficient multi-way algorithm for balanced partitioning o...

引用

IEEE International conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： X. Tan J. Tong P. Tan N. Park F. Lombardi Department of Electronic Engineering Fudan University Shanghai China Department of Computer Science Texas A and M University College Station TX USA

This paper presents an efficient algorithm for multi-way balanced partitioning of VLSI circuits. The proposed algorithm is still based on the widely used net-cut model, but its novelty is the potential gain function into the net-cut cost function to relax the single-cell-move constraint (as commonly encountered in the Kernighan-Lin algorithm) for balanced partitioning. This feature permits to move a group of cells (referred to as a Multi-Cell-Move strategy) for partitioning a circuit, while reducing its sensitivity to size constraint. The new multi-way partitioning algorithm is fully analyzed; expressions for the potential gain function (with respect to the multi-move operation) and the cost (for the min-cut objective function) are presented. The time complexity of the proposed partitioning algorithm is O(P/spl times/k/sup 2/ log/sub 2/ (k)), where k is the number of blocks and P is the number of pins. simulation results are presented and a remarkable improvement is achieved compared with existing algorithms, such as the k-Dual Part algorithm.

关键词： Partitioning algorithms Very large scale integration Circuits Cost function Algorithm design and analysis Pins

来源：评论

学校读者我要写书评

暂无评论

An optimal self-learning estimator for predicting inter-cell user trajectory in wireless radio networks

An optimal self-learning estimator for predicting inter-cell...

引用

International conference on Universal Personal Communications

作者： Tong Liu P. Bahl I. Chlamtac Tellabs Wireless Systems Division Burlington MA USA Microsoft Research Limited Redmond WA USA Erik Jonsson School of Engineering and Computer Science University of Texas Dallas Richardson TX USA

Prediction of the next-crossing cell is an important issue for mobility and connection management in wireless radio networks. We propose a new approach to modeling inter-cell user mobility, and develop an optimum self-learning estimator for trajectory tracking and next-crossing cell prediction. The dynamic states of movement, in terms of speed and position, are obtained by modeling the user's acceleration as a time correlated, semi-Markovian process, and by passing subsequent signal-strength measurements to neighboring base stations through an extended, self-learning Kalman filter. Prediction of next-crossing cell is obtained by evaluating user dynamic states with cell geometry. Analysis and simulation results show that our prediction algorithm is robust in the presence of pass loss, shadow fading, and random movement, being able to predict the position, speed, and direction-of-travel of the mobile user with a high degree accuracy.

关键词： Predictive models Radio spectrum management Radio network Trajectory Accelerometers Acceleration Signal processing Position measurement Velocity measurement Time measurement

来源：评论

学校读者我要写书评

暂无评论

A visual computing environment for very large scale biomolecular modeling

A visual computing environment for very large scale biomolec...

引用

International conference on Application Specific Systems (ASAP), Architectures and Processors

作者： M. Zeller J.C. Phillips A. Dalke W. Humphrey K. Schulten R. Sharma T.S. Huang V.I. Pavlovic Y. Zhao Z. Lo S. Chu Backman Institute for Advanced Science and Technology University of Illinois Urbana-Champaign Urbana IL USA Department of Computer Science and Engineering Pennsylvania State University University Park PA USA

Knowledge of the complex molecular structures of living cells is being accumulated at a tremendous rate. Key technologies enabling this success have been, high performance computing and powerful molecular graphics applications, but the technology is beginning to seriously lag behind challenges posed by the size and number of new structures and by the emerging opportunities in drug design and genetic engineering. A visual computing environment is being developed which permits interactive modeling of biopolymers by linking a 3D molecular graphics program with an efficient molecular dynamics simulation program executed on remote high-performance parallel computers. The system will be ideally suited for distributed computing environments, by utilizing both local 3D graphics facilities and the peak capacity of high-performance computers for the purpose of interactive biomolecular modeling. To create an interactive 3D environment three input methods will be explored: (1) a six degree of freedom "mouse" for controlling the space shared by the model and the user; (2) voice commands monitored through a microphone and recognized by a speech recognition interface; (3) hand gestures, detected through cameras and interpreted using computer vision techniques. Controlling 3D graphics connected to real time simulations and the use of voice with suitable language semantics, as well as hand gestures, promise great benefits for many types of problem solving environments. Our focus on structural biology takes advantage of existing sophisticated software, provides concrete objectives, defines a well-posed domain of tasks and offers a well-developed vocabulary for spoken communication.

关键词： Large-scale systems Computer graphics Pharmaceutical technology Concurrent computing Computational modeling Distributed computing Speech recognition High performance computing Drugs Genetic engineering

来源：评论

学校读者我要写书评

暂无评论

Advances in agile manufacturing

Advances in agile manufacturing

引用

IEEE International conference on Robotics and Automation (ICRA)

作者： F.L. Merat N.A. Barendt R.D. Quinn G.C. Causey W.S. Newman V.B. Velasco A. Podgurski Y. Kim G. Ozsoyoglu J.-Y. Jo Center for Automation and Intelligent Systems Research Department of electrical Engineeisng and Applied Physics Case Western Reserve University Cleveland OH USA Center for Automation and Intelligent Systems Research Department of Mechanical and Aerospace Engineering Case Western Reserve University Cleveland OH USA Center for Automation and Intelligent Systems Research Department of Computer Engineering and Science Case Western Reserve University Cleveland OH USA

An agile workcell has been developed for light mechanical assembly in collaboration with industrial sponsors. The workcell includes multiple Adept robots, a Bosch conveyor system, multiple flexible parts feeders at each robot's workstation, CCD cameras for parts feeding and hardware registration, and a dual VMEbus control system. Our flexible pairs feeder design uses multiple conveyors to singulate the parts and machine vision to locate them. Specialized hardware is encapsulated on modular grippers and modular worktables which can be quickly interchanged for assembly of different products. Object-oriented software (C++) running under VxWorks, a real-time operating system, is used for workcell control. An agile software architecture was developed for rapid introduction of new assemblies through code re-use. A simulation of the workcell was developed so that controller software could be written and tested off-line, enabling the rapid introduction of new products.

关键词： Agile manufacturing Robotic assembly Service robots Hardware Control systems Collaborative work Electrical equipment industry Manufacturing industries Workstations Charge coupled devices

来源：评论

学校读者我要写书评

暂无评论

Preprototyping SIMD coprocessors using virtual machine emulation and trace compilation 97

Preprototyping SIMD coprocessors using virtual machine emula...

引用

proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems

作者： Martin C. Herbordt Owais Kidwai Charles C. Weems Department of Electrical and Computer Engineering University of Houston Houston TX Department of Computer Science University of Massachusetts Amherst MA

ISBN: (纸本)9780897919098

The use of massively parallel SIMD array architectures is proliferating in the area of domain specific coprocessors. Even so, they have undergone few systematic empirical studies. The underlying problems include the size of the architecture space, the lack of portability of the test programs, and the inherent complexity of simulating up to hundreds of thousands of processing elements. We address the computational cost problem with a novel approach to trace-based simulation. Code is run on an abstract virtual machine to generate a coarse-grained trace, which is then refined through a series of transformations (a process we call trace compilation) wherein greater resolution is obtained with respect to the details of the target machine. We have found this technique to be one to two orders of magnitude faster than instruction-level simulation while still retaining much of the accuracy of the model. Furthermore, abstract machine traces must be regenerated for only a small fraction of the possible parameter combinations. Using virtual machine emulation and trace compilation also addresses program portability by allowing the user to code in a single data parallel language with a single compiler, regardless of the target architecture. This technique has already been used to generate significant results with respect to SIMD array architectures, a sample of which are presented here.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic scheduling of parallelizable tasks and resource reclaiming in real-time multiprocessor systems

Dynamic scheduling of parallelizable tasks and resource recl...

引用

International conference on High Performance Computing

作者： G. Manimaran C. Siva Ram Murthy Department of Computer Science and Engineering Indian Institute of Technology Chennai India

Many time critical applications require predictable performance and tasks in these applications have deadlines to be met despite the presence of faults. We propose a new dynamic non preemptive scheduling algorithm for a relatively new task model called parallelizable task model where real time tasks can be executed concurrently on multiple processors. We use this parallelism in tasks to meet their deadlines and thus obtain better processor utilization compared to nonparallelizable task scheduling algorithms. We assume that tasks are aperiodic. Further, each task is characterized by its deadline, resource requirements, and worst case computation time on p processors, where p is the degree of task parallelization. To study the effectiveness of our algorithm, we have conducted extensive simulation studies and compared its performance with the myopic scheduling algorithm (K. Ramamritham et al., 1990). We found that the success ratio offered by our algorithm is always higher than the myopic algorithm for a wide variety of task parameters. Also, we propose a resource reclaiming algorithm to reclaim resources from parallelizable real time tasks when their actual computation times are less than their worst case computation times. Our parallelizable task scheduling together with its associated reclaiming offers the best guarantee ratio compared to the other algorithmic combinations.

关键词： Dynamic scheduling Processor scheduling Job shop scheduling Scheduling algorithm Concurrent computing Heuristic algorithms Real time systems Multiprocessing systems Application software Computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共69页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：