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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,266 篇 会议
499 篇 期刊文献
68 册 图书
15 篇 学位论文

馆藏范围

3,849 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,157 篇 工学
- 1,123 篇 计算机科学与技术...
- 757 篇 软件工程
- 406 篇 机械工程
- 308 篇 控制科学与工程
- 294 篇 电气工程
- 267 篇 生物工程
- 248 篇 生物医学工程（可授...
- 193 篇 土木工程
- 192 篇 电子科学与技术（可...
- 175 篇 建筑学
- 164 篇 信息与通信工程
- 121 篇 材料科学与工程（可...
- 114 篇 力学（可授工学、理...
- 105 篇 安全科学与工程
- 103 篇 仪器科学与技术
- 70 篇 动力工程及工程热...
- 70 篇 化学工程与技术
- 70 篇 航空宇航科学与技...
- 69 篇 交通运输工程
- 63 篇 光学工程
742 篇 理学
- 303 篇 数学
- 277 篇 生物学
- 234 篇 物理学
- 80 篇 系统科学
- 64 篇 统计学（可授理学、...
518 篇 管理学
- 461 篇 管理科学与工程(可...
- 159 篇 工商管理
119 篇 医学
- 86 篇 临床医学
- 75 篇 基础医学(可授医学...
87 篇 法学
- 75 篇 社会学
55 篇 经济学
50 篇 教育学
25 篇 艺术学
17 篇 军事学
16 篇 农学
5 篇 历史学
3 篇 哲学
1 篇 文学

主题

392 篇 computational mo...
170 篇 humans
154 篇 integrated circu...
140 篇 biological syste...
118 篇 solid modeling
106 篇 hardware
99 篇 analytical model...
93 篇 mathematical mod...
87 篇 design engineeri...
84 篇 ergonomics
81 篇 computer archite...
74 篇 algorithm design...
69 篇 modeling
68 篇 circuit simulati...
64 篇 digital signal p...
62 篇 semiconductor de...
56 篇 testing
55 篇 control systems
53 篇 switches
53 篇 visualization

机构

13 篇 university of mi...
11 篇 university of io...
8 篇 school of electr...
8 篇 浙江理工大学
8 篇 oregon state uni...
7 篇 oregon state uni...
6 篇 univ skovde sch ...
6 篇 computer enginee...
6 篇 school of electr...
5 篇 apparel & art de...
5 篇 texas tech univ ...
5 篇 school of comput...
5 篇 department of el...
5 篇 department of el...
5 篇 university of wi...
5 篇 chalmers univers...
5 篇 institute of dig...
5 篇 department of co...
5 篇 department of me...
4 篇 department of el...

作者

22 篇 mochimaru masaak...
21 篇 abdel-malek kari...
20 篇 kouchi makiko
19 篇 demirel h. onan
17 篇 yang jingzhou
13 篇 chaffin don b.
12 篇 wang xuguang
12 篇 ahmed salman
11 篇 bubb heiner
11 篇 colombo giorgio
10 篇 duffy vincent g.
10 篇 hanson lars
10 篇 reed matthew p.
9 篇 irshad lukman
9 篇 zhang xin
9 篇 rizzi caterina
8 篇 miyata natsuki
8 篇 vincent g. duffy
8 篇 xin zhang
8 篇 vladimir hahanov

语言

3,547 篇 英文
167 篇 其他
132 篇 中文
4 篇 葡萄牙文
1 篇 捷克文
1 篇 法文

检索条件"任意字段=Digital Human Modeling for Design and Engineering Symposium"

共 3849 条记录，以下是3201-3210 订阅

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

详细简洁

排序：

Assertion based verification of PSL for SystemC designs

Assertion based verification of PSL for SystemC designs

引用

IEEE International symposium on System-on-Chip

作者： A. Habibi A. Gawanmeh S. Tahar Department of Electrical and Computer Engineering Concordia University Montreal West QUE Canada

In this paper, we present an assertion based verification approach for SystemC designs, based on embedding the property specification language (PSL) using abstract state machines (ASM). Our approach utilizes an existing embedding of PSL in ASM in order to enable modeling of PSL assertions at the ASM level. Here, we propose to compile PSL assertions into C# code, and integrate them with the SystemC design. Assertions are then verified by simulating the new model that combines the original design and the integrated assertions. This enriches the SystemC language with a powerful and expressive assertion specification layer, and improves the verification of SystemC designs by targeting specific properties during simulation.

关键词： Switches Specification languages Power system modeling Hardware design languages Computer displays Packet switching Microprocessors digital signal processing Computer languages Software libraries

来源：评论

学校读者我要写书评

暂无评论

Controller design for dc motor drives using multi-objective optimization evolutionary algorithms

Controller design for dc motor drives using multi-objective ...

引用

International symposium on Micromechatronics and human Science (MHS)

作者： L.F. Wang Department of Electrical Engineering Texas A and M University College Station TX USA

Effective motor speed control for electric machine drives need to find a tradeoff among various conflicting control objectives. However, this task Is often not sufficiently cost-effective as accurate system modeling by taking all the nonlinear factors into account is very complex. As a result, the designed controller designer is not able to lead to optimum system performance. However, by using evolutionary computation based stochastic search techniques such as genetic algorithms (GAs) we can find a set of Pareto-optimal solutions. In this paper, a control scheme based on multi-objective optimization evolutionary algorithms (MOEAs) is proposed, which is able to tune the current controller and speed controller simultaneously in order to find Pareto-set optimization solution for a cascaded dc motor drive system.

关键词： Algorithm design and analysis DC motors design optimization Evolutionary computation Control systems Velocity control Electric machines modeling System performance Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

A Parsing Technique for Sketch Recognition Systems

A Parsing Technique for Sketch Recognition Systems

引用

IEEE symposium on Visual Languages and human Centric Computing (VL/HCC)

作者： G. Costagliola V. Deufemia G. Polese M. Risi Dipartimento di Matematica e Informatica Università di Salerno Fisciano Salerno Italy

Several disciplines require the support of computer-based tools for creating sketches during early design phases. Unfortunately, most computer programs cannot parse and semantically interpret handwritten sketches. In this paper, we present a framework for modeling sketch languages and for generating parsers to recognize them. The underlying parsing technique addresses the issues of stroke clustering and ambiguity resolution in sketches. We also present a workbench supporting the presented framework

关键词： Pattern recognition Ink User interfaces Shape Collaboration Redundancy design engineering Collaborative tools Buildings Pattern matching

来源：评论

学校读者我要写书评

暂无评论

A unified System C-based framework for simulation, optimization and synthesis of complex systems implementing DSP algorithms

A unified System C-based framework for simulation, optimizat...

引用

IEEE International symposium on Signal Processing and Information Technology (ISSPIT)

作者： G.C. Cardarilli A. Malatesta M. Re L. Arnone A. Rosti Department of Electronic Engineering University of Tor Vergate Rome Italy Advanced Systems Technology Laboratory STMicroelectronics Agrate Milan Italy

This paper proposes a methodology for fast design-to-synthesis flow. We want to promote an improvement to the currently used methodology, which is based on functional design, refinement, HDL implementation and logic synthesis. Our new approach is based on three principles. One is the choice of a unique modeling language that spans all the needed abstraction levels for hardware system design, from functional verification down to system implementation. The second is the possibility to allow fast system design analysis and exploration avoiding to recompile the model every time the design is changed, by dynamic loading parameters from XML files. Finally we want to support automatic generation of the hardware model from which the final system logic synthesis can be performed.

关键词： digital signal processing Mathematical model Hardware design languages Computational modeling Computer languages System testing Writing design methodology Logic design Automatic logic units

来源：评论

学校读者我要写书评

暂无评论

A ratio sensitive image quality metric

A ratio sensitive image quality metric

引用

IEEE International symposium on Intelligent Signal Processing and Communication Systems (ISPACS)

作者： Zhizhong Zhe Hong Ren Wu School of Computer Science and Software Engineering Monash University VIC Australia

ISBN: (纸本)0780386396

Many applications require a fast quality measure for digitally coded images, such as the mobile multimedia communication. Although the widely used peak signal-noise ratio (PSNR) has low computation cost, it fails to predict structured errors that dominate in digital images. On the other hand, human visual system (HVS) based metrics can improve the prediction accuracy. However, they are computationally complex and time consuming. This paper proposes a very simple image quality measure defined by a ratio based mathematical formulation that attempts to simulate the scaling of the human visual sensation to brightness. The current results demonstrate that the novel image quality metric predicts the subjective ratings better and has lower computation cost than the PSNR. As an alternative to the PSNR, the proposed metric can be used for on-line or real-time picture quality assessment applications.

关键词： Image quality PSNR Computational efficiency humans Multimedia communication Mobile communication digital images Visual system Accuracy Computational modeling

来源：评论

学校读者我要写书评

暂无评论

design of an application specific instruction set processor for parametric speech synthesis

Design of an application specific instruction set processor ...

引用

International Conference on VLSI design

作者： R. Saini P. Tanwar A.S. Mandal S.C. Bose R. Singh C. Shekhar IC Design Group Central Electronics Engineering Research Institute Pilani Rajasthan India

Parametric speech synthesizers utilize digital parameterized source-filter models for modeling the process of production of human speech. They are used in speech synthesis systems with an unlimited vocabulary. Presently, they are available as C language codes that run on PC platforms. They require a moderately high throughput of a mix of floating-point DSP functions and non-DSP (general-purpose) type computations. For embedded unlimited vocabulary speech synthesis systems, therefore, a need has been felt for the design of an Application Specific Integrated Processor for parametric speech synthesis. The present work describes the design of an Application Specific Instruction Set Processor (ASIP) for parametric speech synthesis that can serve the needs of embedded speech synthesis systems.

关键词： Speech synthesis Synthesizers Sampling methods Integrated circuit modeling Speech processing Natural languages Speech analysis Vocabulary digital signal processing Application specific processors

来源：评论

学校读者我要写书评

暂无评论

An arithmetic library and its application to the N-body problem

An arithmetic library and its application to the N-body prob...

引用

Annual IEEE symposium on Field-Programmable Custom Computing Machines (FCCM)

作者： K.H. Tsoi C.H. Ho H.C. Yeung P.H.W. Leong Department of Computer Science and Engineering Chinese University of Hong Kong New Territories Hong Kong China

Computer arithmetic is a specialist field of study, and it is very difficult for designers to choose the most efficient method for implementing a given algorithm due to the large number of design choices available. In this paper, an object oriented arithmetic library is presented which can be used to simulate and generate designs which use fixed, floating, logarithmic and hybrid number representations. The advantages of this approach are that a user can explore tradeoffs concerning precision, accuracy and speed from single high level description. Furthermore, users need not be intimately familiar with the implementation details of the underlying libraries, thus allowing users to develop systems employing advanced computer arithmetic without detailed knowledge of its implementation. The application of this library to a coprocessor which implements the force pipeline for an N-body solver is described.

关键词： Libraries Application software digital arithmetic Field programmable gate arrays Circuits Pipelines Algorithm design and analysis Computational modeling Object oriented modeling Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Development of man machine interface software for an industrial robot

Development of man machine interface software for an industr...

引用

IEEE International symposium on Virtual Environments, human-Computer Interfaces and Measurement Systems (VECIMS)

作者： E.I. Konukseven A. Abidi Department of Mechanical Engineering Middle East Technical University Ankara Turkey

This paper describes the design and implementation of a man machine interface software for the ABB IRB-2000 industrial robot. The main aim of this software is to provide features which would facilitate on-line/off-line programming of the robot. The software would provide a three dimensional graphical simulation of the robot and its environment, which also allows loading custom designed objects into the simulated environment. The software also offers collision detection capability between graphically simulated objects, an interpreter/editor to interpret/write robot programs in BASIC like language enhanced with robot commands. The facility to control the actual robot through the computer's serial communication port is also provided.

关键词： Man machine systems Computer industry Service robots Robot programming Open source software Robot sensing systems Robotics and automation Mechanical engineering Computational modeling Object detection

来源：评论

学校读者我要写书评

暂无评论

A pocket-PC based navigational aid for blind individuals

A pocket-PC based navigational aid for blind individuals

引用

IEEE International symposium on Virtual Environments, human-Computer Interfaces and Measurement Systems (VECIMS)

作者： M.H. Choudhury D. Aguerrevere A.B. Barreto Digital Signal Processing Laboratory Biomedical Engineering and Electrical & Computer Engineering Departments Florida International University Miami FL USA

This paper describes a pocket-PC based electronic travel aid (ETA) that helps a blind individual navigate through indoor environments. The system detects surrounding obstacles using ultrasonic range sensors and the travel direction using an electronic compass. The acquired information is processed by a pocket-PC to generate a virtual acoustic environment where nearby obstacles are recognizable to the user. This virtual environment is played back through stereo headphones, so that the user can perceive surrounding obstacles and the direction of the Earth's magnetic North, using spatialized 3D sounds. The paper describes the instrumental and computational aspects of the design and presents the results, demonstrating the improvement in blind travel achieved with the system.

关键词： Navigation Time of arrival estimation Indoor environments Acoustic signal detection Sensor systems Acoustic sensors Virtual environment Headphones Earth Instruments

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of time slicing in DVB-H

Performance analysis of time slicing in DVB-H

引用

Joint IST symposium on Mobile Future, and the symposium on Trends in Communications, SympoTIC

作者： X.D. Yang Y.H. Song T.J. Owens J. Cosmas T. Itagaki School of Engineering and Design Brunei University Uxbridge Middlesex UK

digital Video Broadcasting for Handhelds (DVB-H) is the latest DVB standard from the DVB Group targeting handheld, battery powered devices such as mobile telephones, PDAs(Personal digital Assistants). etc. DVB-H enables IP data services including low definition TV services to be received on battery powered handheld terminals. Time Division Multiplexing (TOM, is the technology that is usually used in computer and telecommunication systems for resoursce allocation. Time slicing is based on TDM and is one of the characteristics of DVB-H. This paper presents a basic model for predicting the power saving achieved by the time slicing algorithm used in DVB-H followed by analysis of the performance of the algorithm based on simulations using Matlab and Opnet; The simulations required the writing of Matlab and Opnet code to model the effect of time slicing. The model and simulations presented illustrate the significant power savings that can be achieved by time slicing.

关键词： Performance analysis digital video broadcasting Predictive models Analytical models Time division multiplexing Mathematical model TV broadcasting Batteries Bit rate Computational modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共385页 << < 317 318 319 320 321 322 323 324 325 326 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：