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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

715 篇 会议
11 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

461 篇 工学
- 333 篇 计算机科学与技术...
- 218 篇 电气工程
- 164 篇 软件工程
- 114 篇 信息与通信工程
- 74 篇 控制科学与工程
- 42 篇 电子科学与技术（可...
- 13 篇 生物工程
- 12 篇 动力工程及工程热...
- 10 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 力学（可授工学、理...
- 4 篇 机械工程
- 4 篇 交通运输工程
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 安全科学与工程
134 篇 理学
- 75 篇 数学
- 50 篇 系统科学
- 21 篇 物理学
- 14 篇 生物学
- 11 篇 统计学（可授理学、...
- 4 篇 化学
39 篇 管理学
- 34 篇 管理科学与工程(可...
- 10 篇 工商管理
- 9 篇 图书情报与档案管...
13 篇 法学
- 13 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 教育学
2 篇 文学
- 2 篇 新闻传播学
2 篇 军事学
1 篇 农学
1 篇 医学

主题

152 篇 computational mo...
108 篇 circuit simulati...
53 篇 hardware design ...
52 篇 computer simulat...
48 篇 analytical model...
31 篇 discrete event s...
30 篇 equations
30 篇 mathematical mod...
28 篇 power system mod...
25 篇 hardware
25 篇 radio frequency
24 篇 computer science
24 篇 circuit testing
22 篇 integrated circu...
21 篇 simulation
20 篇 laboratories
20 篇 predictive model...
20 篇 spice
19 篇 object oriented ...
19 篇 testing

机构

6 篇 nanyang technol ...
5 篇 oak ridge natl l...
5 篇 univ southampton...
4 篇 cadence design s...
3 篇 department of el...
3 篇 univ rostock d-1...
3 篇 univ arkansas de...
3 篇 deis university ...
3 篇 department of el...
3 篇 university of yo...
3 篇 univ calif river...
3 篇 univ alabama tus...
3 篇 department of el...
2 篇 univ bologna dei...
2 篇 ecole natl super...
2 篇 infineon technol...
2 篇 department of el...
2 篇 department of el...
2 篇 school of electr...
2 篇 carleton univ de...

作者

6 篇 brown ad
6 篇 turner stephen j...
6 篇 a.d. brown
6 篇 h.a. mantooth
5 篇 fujimoto richard
5 篇 p.r. wilson
5 篇 carver jeffrey c...
5 篇 mantooth ha
5 篇 wilson pr
4 篇 c.-j.r. shi
4 篇 galayko dimitri
4 篇 ewald roland
4 篇 g. pelz
4 篇 liu jason
4 篇 uhrmacher adelin...
4 篇 basset philippe
4 篇 park alfred
4 篇 ayani rassul
4 篇 charlot jj
4 篇 j.-j. charlot

语言

723 篇 英文
4 篇 中文

检索条件"任意字段=Proceedings of the 2000 IEEE/ACM international workshop on Behavioral modeling and simulation"

共 727 条记录，以下是101-110 订阅

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

详细简洁

排序：

modeling and simulation of a manycore PCR-CE lab-on-chip for DNA sequencing using SystemC/SystemC-AMS

Modeling and simulation of a manycore PCR-CE lab-on-chip for...

引用

2010 ieee international behavioral modeling and simulation workshop, BMAS 2010

作者： Habib, Amr Pecheux, Francois University Pierre et Marie Curie LIP6/SoC 4 Place Jussieu 75252 Paris Cedex 05 France

ISBN: (纸本)9781424489954

The paper details the systemC/systemC-AMS model of a bio-compatible heterogeneous system, a lab-on-chip that encompasses several disciplines such as analog, digital, chemical kinetic reactions, optics and embedded software. The corresponding system virtual prototype takes as input an initial DNA concentration as well as the expression of the gene as a DNA string, and is able to compare the input string to a huge database of reference samples, and this detects mutation and pathologies. The model is composed of three parts: (1) DNA amplification by Polymerase Chain Reaction (PCR), (2) molecular separation by Capillary Electrophoresis (CE) and optical detection of fluorescently labeled molecules, (3) automated DNA sequencing on a digital manycore architecture running a highly multi-threaded software. The platform also digitally assists the two former analog parts which allows performance in complete autonomy. The simulated model can be used as a simulatable specification at a very high level of abstraction and can be seen as the first refinement step towards the design of a complex heterogeneous and bio-compatible system. © 2010 ieee.

关键词： Polymerase chain reaction

来源：评论

学校读者我要写书评

暂无评论

TOWARDS METHODOLOGICAL APPROACHES TO MEET THE CHALLENGES OF HUMAN, SOCIAL, CULTURAL, AND behavioral (HSCB) modeling

TOWARDS METHODOLOGICAL APPROACHES TO MEET THE CHALLENGES OF ...

引用

2010 Winter simulation Conference

作者： Tolk, Andreas Davis, Paul K. Huiskamp, Wim Klein, Gary L. Schaub, Harald Wall, James A. Old Dominion Univ Engn Management & Syst Engn Norfolk VA 23529 USA RAND Corp Santa Monica CA 90401 USA TNO Def Secur & Safety NL-2509 JG The Hague Netherlands Mitre Corp Mclean VA 22102 USA IABGmbh D-85521 Ottobrunn Germany Texas A&M Univ Texas Ctr Appl Technol College Stn TX 77843 USA

ISBN: (纸本)9781424498642

The international developments of the recent years resulted in a radical change of tasks the armed forces are conducting. Supporting M&S methods and tools can no longer focus on attrition, movement, and warfighting operations, but need to address reconstruction, crisis prevention, police tasks, and related efforts that are conducted in collaboration with or in support of civil agencies and organizations. A "whole of society" approach is needed, focusing on human, social, cultural, and behavioral (HSCB) modeling. This paper summarizes the position papers of a group of international experts in this emerging domain looking a methodological support to define a body of knowledge, establish communities of interests, integrate operationally relevant data, and work towards a supporting framework, and was prepared in preparation of a panel discussion during the Winter simulation Conference 2010.

关键词： HSCB modeling M&S methods armed forces military computing socio-economic effects

来源：评论

学校读者我要写书评

暂无评论

A Non-Parametric Approach to behavioral Device modeling

A Non-Parametric Approach to Behavioral Device Modeling

引用

11th international Symposium on Quality Electronic Design (ISQED)

作者： Drmanac, Dragoljub (Gagi) Bolin, Brendon Wang, Li-C. Univ Calif Santa Barbara Santa Barbara CA 93106 USA

ISBN: (纸本)9781424464555

This work proposes a non-parametric methodology for quick and effective behavioral macromodeling of complex digital and analog devices. Gaussian Process Regression (GPR) learning algorithms are used to generate simple, robust, and widely applicable time-domain models without specifying device equations or parameters. SPICE simulations expose device dynamics to train behavioral models while exhaustive validation ensures accurate and efficient models are generated. Average speedups of 97X are observed over SPICE simulation maintaining accurate outputs within 95% confidence intervals.

关键词： SPICE

来源：评论

学校读者我要写书评

暂无评论

Throughput analysis of ieee 802.11b WLAN under a non-saturated condition 10

Throughput analysis of IEEE 802.11b WLAN under a non-saturat...

引用

international Conference and workshop on Emerging Trends in Technology 2010, ICWET 2010

作者： Prakash, G. Thangaraj, P. Department of ECE K.S. Rangasamy College of Technology Namakkal Tamilnadu India Department of CSE Kongu Engineering College Erode TamilNadu India

ISBN: (纸本)9781605588124

This paper provides a simple and accurate analysis using Markov chain modeling to compute ieee 802.11 DCF performance, in the presence of channel errors. We extend the analytical model of ieee 802.11 DCF from Bianchi model to study throughput performance under noisy situation, where the node's transmit queue may be at times empty and then extension of his model to a nonsaturated environment and also we develop an expression for the nonsaturation throughput as a function of the number of stations, packet sizes, and raw channel error rates. The derived analysis, which takes into account packet retry limits, is validated by comparison with NS-2 simulation results. Numerical results and simulations are provided to validate the accuracy of our model and is verified by previous work. Copyright 2010 acm.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

modeling the influence of etching defects on the sensitivity of MEMS convective accelerometers

Modeling the influence of etching defects on the sensitivity...

引用

2010 ieee 16th international Mixed-Signals, Sensors and Systems Test workshop, IMS3TW 2010

作者： Rekik, A.A. Azaïs, F. Dumas, N. Mailly, F. Nouet, P. LIRMM CNRS Univ. Montpellier 2 161 rue Ada 34392 Montpellier France ENIS University of Sfax Cite Elhabib BP W Route Soukra 3052 Sfax Tunisia

ISBN: (纸本)9781424477937

In this paper, a behavioral model that includes the influence of etching defects on the sensitivity of MEMS convective accelerometers is presented. Starting from an existing behavioral model, new physically-based expressions have been derived to introduce etching defects in the simulation of thermal conduction in the sensor. In addition, a semi-empirical model has been introduced for thermal convection. Finally, a very good agreement is obtained between the behavioral model and FEM simulations. ©2010 ieee.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

modeling and Verification of Industrial Flash Memories

Modeling and Verification of Industrial Flash Memories

引用

11th international Symposium on Quality Electronic Design (ISQED)

作者： Ray, Sandip Bhadra, Jayanta Portlock, Thomas Syzdek, Ronald Univ Texas Austin Dept Comp Sci Austin TX 78712 USA Freescale Semicond Inc Austin TX USA

ISBN: (纸本)9781424464555

We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate devices, which preclude the use of traditional switch-level abstractions for their verification. We circumvent this problem through behavioral abstractions, which allow formalization of the behaviors of the design as interacting state machines. behavioral abstractions are agnostic to transistor type, making them suitable for formalizing flash memories. We have verified industrial flash memory implementations based on both floating gate and split gate technologies. Our work provides the first formal functional verification results for industrial flash memories.

关键词： equivalence checking formal analysis simulation SPICE theorem proving

来源：评论

学校读者我要写书评

暂无评论

A new modeling approach for IMA platform early validation

A new modeling approach for IMA platform early validation

引用

7th international workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010

作者： Lafaye, Michaël Faura, David Gatti, Marc Pautet, Laurent Telecom Paristech LTCI 46 rue Barrault 75634 Paris Cedex 13 France Thales Avionics ACS/DTEA 18 avenue Maréchal Juin 92366 Meudon-la-Forêt Cedex France

ISBN: (纸本)9781450301237

This past few years, avionics platform conception changed to integrated architecture, permitting one processor to host some applications, in order to reduce weight and space. But this method entails more complexity, especially in safety domain, while time to market tends to decrease, so new development processes are needed. Model-based approaches are now mature enough to design embedded critical systems and perform architecture exploration. In this paper we present a new modeling approach allowing avionics platform description and dynamic simulation. This method aim at dimensioning the architecture according to the applications it has to process, and to achieve early platform validation. © 2010 acm.

关键词： Avionics

来源：评论

学校读者我要写书评

暂无评论

BMAS 2009 - 2009 ieee international behavioral modeling and simulation workshop

BMAS 2009 - 2009 IEEE International Behavioral Modeling and ...

引用

BMAS 2009 - 2009 ieee international behavioral modeling and simulation workshop

ISBN: (纸本)9781424453597

The proceedings contain 21 papers. The topics discussed include: behavioral modeling of solute tracking in microfluidics;virtual skin: a behavioral approach helps verification;event driven analog modeling for the verification of PLL frequency synthesizers;analog behavior refinement in system centric modeling;simulation-based hierarchical sizing and biasing of analog firm IPS;an enhanced macromodeling approach for differential output drivers;analysis and extraction of parametric variation effects on microelectronics-based biochips;mixed signal system design verification accelerated with detector-based diagnostic method;mixed-signal test development using open standard modeling and description language;full system verification of can network at high speed transmission rate using VHDL-AMS;and fast and waveform independent characterization of current source models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating software architecture in a model-based approach for enterprise information system design

Evaluating software architecture in a model-based approach f...

引用

2010 ICSE workshop on Sharing and Reusing Architectural Knowledge, SHARK 2010, in Conjunction with the 32nd acm/ieee international Conference on Software Engineering, ICSE 2010

作者： Tsadimas, Anargyros Nikolaidou, Mara Anagnostopoulos, Dimosthenis Department of Informatics and Telematics Harokopio University of Athens 70 El. Venizelou Str. 176 71 Athens Greece

ISBN: (纸本)9781605589671

Enterprise information system architecture design is the pro- cess of defining and optimizing its structure (both software and hardware) to effectively support provided functionality. System architects are combining software and hardware vital components, usually defined by other stakeholders, and are dealing with both functional and non functional requirements. Alternative architecture solution evaluation is usually a part of the design process, aiming to determine if the defined requirements are satisfied. A model-based approach, constituted of discrete views, each of which facilitates a discrete design task, has been proposed, while Systems modeling Language (SysML) has been adopted for the model representation. In this paper, emphasis is given on the Evaluation View, aiming at the exploration of alternative software and hardware combination scenarios proposed in other views. The view facilitates the management of simulation experiments and results and the verification of predefined requirements. A case study, where the proposed model-based design approach has been applied is also discussed. Copyright 2010 acm.

关键词： modeling languages

来源：评论

学校读者我要写书评

暂无评论

Performance modeling for runtime kernel adaptation: A case study on infectious disease simulation

Performance modeling for runtime kernel adaptation: A case s...

引用

2010 11th ieee/acm international Conference on Grid Computing, Grid 2010

作者： Jin, Jiangming Turner, Stephen John Lee, Bu-Sung Kuo, Shyh-Hao Goh, Rick Siow Mong Hung, Terence School of Computer Engineering Nanyang Technological University Nanyang Avenue Singapore 639798 Singapore Institute of High Performance Computing Agency for Science Technology and Research 1 Fusionopolis Way 16-16 Singapore 138632 Singapore

ISBN: (纸本)9781424493487

In many large-scale scientific applications, there may be a compute intensive kernel that largely determines the overall performance of the application. Sometimes algorithmic variations of the kernel may be available and a performance benefit can then be gained by choosing the optimal kernel at runtime. However, it is sometimes difficult to choose the most efficient kernel as the kernel algorithms have varying performance under different execution conditions. This paper shows how to construct a set of performance models to explore and analyze the bottleneck of an application. Furthermore, based on the performance models, a theoretical method is proposed to guide the kernel adaptation at runtime. A component-based large-scale infectious disease simulation is used to illustrate the method. The performance models of the different kernels are validated by a range of experiments. The use of runtime kernel adaptation shows a significant performance gain. © 2010 ieee.

关键词： Diseases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：