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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

292 篇 工学
- 210 篇 计算机科学与技术...
- 148 篇 软件工程
- 38 篇 电气工程
- 36 篇 航空宇航科学与技...
- 30 篇 控制科学与工程
- 25 篇 材料科学与工程（可...
- 23 篇 机械工程
- 21 篇 电子科学与技术（可...
- 21 篇 信息与通信工程
- 18 篇 动力工程及工程热...
- 13 篇 力学（可授工学、理...
- 11 篇 化学工程与技术
- 9 篇 生物工程
- 8 篇 仪器科学与技术
- 8 篇 建筑学
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 交通运输工程
148 篇 理学
- 99 篇 物理学
- 37 篇 数学
- 14 篇 统计学（可授理学、...
- 12 篇 化学
- 11 篇 生物学
- 9 篇 系统科学
49 篇 管理学
- 41 篇 管理科学与工程(可...
- 23 篇 工商管理
- 9 篇 图书情报与档案管...
27 篇 教育学
- 27 篇 教育学
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
18 篇 computer archite...
18 篇 software enginee...
18 篇 algorithm design...
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

语言

674 篇 英文
14 篇 其他

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

共 688 条记录，以下是171-180 订阅

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

详细简洁

排序：

JMOCHA: A model checking tool that exploits design structure 23

JMOCHA: A model checking tool that exploits design structure

引用

23rd International conference on Software engineering (ICSE 2001)

作者： Alur, R De Alfaro, L Grosu, R Henzinger, TA Kang, M Kirsch, CM Majumdar, R Mang, F Wang, BY Univ Calif Berkeley Dept Elect Engn & Comp Sci Berkeley CA 94720 USA

A growing interactive software environment for specification, simulation, and verification is presented. Referred to as JMOCHA, the software environment is intended as a vehicle for the development of new verification... 详细信息

ISBN: (纸本)0769510507

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Interactive animation and visualization in a virtual soil mechanics laboratory

Interactive animation and visualization in a virtual soil me...

引用

31st Annual Frontiers in Education conference- Impact on engineering and science Education-

作者： Haque, M.E. Texas A and M University Dept. of Construction Science College Station TX 77843-3137 United States

With the advances in information technology over the last decade, the traditional teaching format of having an individual lecture to an audience has been supplemented and, in some cases, replaced by the rapid development and implementation of new distance learning methods. As technology rapidly changes, the importance of educating and training diverse populations of construction science students become more critical. It has become relatively easy to develop web-based course materials for courses that do not have laboratory components. However, technology is currently available that allows for the development of virtual laboratories. It is now possible to develop laboratory courseware that can simulate very sophisticated and costly equipment and reach larger sections of the student population. The paper demonstrates a web-based interactive virtual soil mechanics laboratory for construction science. The main elements of the presented approach are: a means of assimilating the students' interactive learning knowledge and behavior, representation of the instructor's guidance and assessment knowledge, and utilization of motivational techniques such as multimedia, animation and java simulation of laboratory soil tests. The presented paper illustrates some of the laboratory soil tests that are simulated with multimedia interaction and visualization techniques for enhancing the student's subject visualization and conceptual understanding in soil mechanics.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

Teaching introductory programming, problem solving and information technology with robots at West Point

Teaching introductory programming, problem solving and infor...

引用

31st Annual Frontiers in Education conference- Impact on engineering and science Education-

作者： Schumacher, J. Welch, D. Raymond, D. United States Military Academy Dept. of Elec. Eng. and Comp. Sci. West Point NY 10996 United States

As part of an ongoing initiative to continually revise and improve its introductory computer science courses, the Electrical engineering and Computer science Department at the United States Military Academy has added the use of LEGO Mindstorm robots as part of the active-learning environment used to teach Information Technology IT and programming basics. It is critical for the Army and the Nation that its future leaders understand and are capable of taking advantages of IT. All cadets at the United States Military Academy at West Point are required to take a course on IT and problem solving using computer programming. This course is an important first, and sometimes only, opportunity to expose undergraduate students to technology and concepts that will be a part of their daily lives and future careers. The LEGO Mindstorm robots are used in the introductory computer science course to teach fundamental computer programming concepts and introduce the concepts of autonomous vehicles, embedded computer systems and computer simulation. The positive short-term impact on the students taking the course has been substantial and while the long-term impact has yet to be measured, it also has the potential to be substantial. Members of the faculty at West Point developed a computer simulation of the robot environment as well as a java programming language translator for the LEGO programmable brick, called the RCX. These two tools are combined into a unique programming and teaching environment that we named Jago. Jago enables the robots and robot simulator to be used to teach fundamental programming concepts visually, which some students can more easily grasp and all are clearly excited to use. Based on these results we have incorporated Jago into the core IT course taught at West Point.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

6th International Work-conference on Artificial and Natural Neural Networks, IWANN 2001

引用

6th International Work-conference on Artificial and Natural Neural Networks, IWANN 2001

ISBN: (纸本)9783540422372

The proceedings contain 101 papers. The special focus in this conference is on Bio-inspired Systems, engineering, Methodology for Nets Design, Nets simulation and Image Processing. The topics include: Design and codesign of neuro-fuzzy hardware;parametric neurocontroller for positioning of an anthropomorfic finger based on an oponent driven-tendon transmission system;an integration principle for multimodal sensor data based on temporal coherence of self-organized patterns;a modular neural networks simulator for Beowulf clusters;repeated measures multiple comparison procedures applied to model selection in neural networks;designing and training arbitrary neural networks in java;optimal genetic representation of complete strictly-layered feed forward neural networks;assessing the noise immunity of radial basis function neural networks;analyzing Boltzmann machine parameters for fast convergence;a penalization criterion based on noise behaviour for model selection;dynamic topology networks for colour image compression;analysis on the viewpoint dependency in 3-d object recognition by support vector machines;a comparative study of two neural models for cloud screening of Iberian peninsula meteosat images;self-organizing map for hyperspectral image analysis;classification of the images of gene expression patterns using neural networks based on multi-valued neurons;automatic generation of digital filters by NN based learning;neural network based on multi-valued neurons;partial classification in speech recognition verification;a comparative study of ICA filter structures learnt from natural and urban images and an automatic system for the location of the optic nerve head from 2d images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Web/DVD-based multimedia architecture simulator

Web/DVD-based multimedia architecture simulator

引用

Frontiers in Education (FIE) conference

作者： E. Asai I. Koren C.M. Krishna Department of Electrical and Computer Engineering University of Massachusetts Amherst MA USA Department of Electrical and Computer Engineering University of Massachusetts Amherst MA

This paper describes a Web/DVD-based multimedia architecture simulator and courseware which the authors have developed for a course module entitled "multimedia architectures". The goal of this module is to study architectural enhancements to microprocessors to support multimedia applications. The courseware provides lecture material including audio/video lecture recordings and slides, references to relevant websites, a search engine, and various java applets and the multimedia architecture simulator. The simulator is Web/DVD-based and runs on-line. Most existing simulators require the user to go through the steps of downloading, installing, and configuring the software. Their online simulator has the advantage of being able to run directly from the web browser without any such steps. The simulator has the complete functionality of a multimedia-oriented computer system which effectively simulates an SIMD (single instruction multiple data) architecture. The simulator can compile, run, and debug image processing programs. Using program examples and projects, students can experiment with the concepts introduced in the lecture. The integration of the Web-based simulators, lectures, references and search mechanism online creates an effective course environment.

关键词： Service oriented architecture Computational modeling Courseware Computer architecture Computer simulation Microprocessors Audio recording Video recording Search engines java

来源：评论

学校读者我要写书评

暂无评论

Teaching introductory programming, problem solving and information technology with robots at West Point

Teaching introductory programming, problem solving and infor...

引用

Frontiers in Education (FIE) conference

作者： J. Schumacher D. Welch D. Raymond Department of Electrical Engineering and Computer Science United States Military Academy West Point NY USA

As part of an ongoing initiative to continually revise and improve its introductory computer science courses, the Electrical engineering and Computer science Department at the United States Military Academy has added the use of LEGO Mindstorm robots as part of the active-learning environment used to teach Information Technology (IT) and programming basics. It is critical for the Army and the Nation that its future leaders understand and are capable of taking advantage of IT. All cadets at the United States Military Academy at West Point are required to take a course on IT and problem solving using computer programming. This course is an important first, and sometimes only, opportunity to expose undergraduate students to technology and concepts that will be a part of their daily lives and future careers. The LEGO Mindstorm robots are used in the introductory computer science course to teach fundamental, computer programming concepts and introduce the concepts of autonomous vehicles, embedded computer systems and computer simulation. The positive short-term impact on the students taking the course has been substantial and while the long-term impact has yet to be measured, it also has the potential to be substantial. Members of the faculty at West Point developed a computer simulation of the robot environment as well as a java programming language translator for the LEGO programmable brick, called the RCX. These two tools are combined into a unique programming and teaching environment that we named Jago. Jago enables the robots and robot simulator to be used to teach fundamental programming concepts visually, which some students can more easily grasp and all are clearly excited to use. Based on these results we have incorporated Jago into the core IT course taught at West Point.

关键词： Education Problem-solving Educational robots Programming profession Robot programming Computer science Military computing Computer simulation Information technology engineering profession

来源：评论

学校读者我要写书评

暂无评论

Run-time execution of reconfigurable hardware in a java environment

Run-time execution of reconfigurable hardware in a Java envi...

引用

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

作者： L.A. Smith King H. Quinn M. Leeser D. Galatopoullos E. Manolakos Department of MathComputer Science College of the Holy Cross Worcester MA USA Electrical and Computer Engineering Department Northeastern University Boston MA USA

We present tools that support the run-time execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the reconfigurable hardware, and javaPorts to handle the communications between nodes in the network. The heterogeneous resources are handled by interposing a communication layer between the application and the hardware. The communication layer provides (i) the ability to modify the target hardware without modifying the application, (ii) co-design of the application and hardware, (iii) simulation of the entire system before the hardware design is complete, and (iv) remote execution so the application can reside on a different host from the hardware. We demonstrate the feasibility of this approach with a java-based system which has a communication layer called the packet exchange platform (PEP). We present the system, describe the PEP and its implementation, and show how this approach has been applied to an image processing application.

关键词： Runtime environment Hardware java Application software Image processing Acceleration Field programmable gate arrays Algorithm design and analysis Intelligent networks Educational institutions

来源：评论

学校读者我要写书评

暂无评论

jMocha: a model checking tool that exploits design structure

jMocha: a model checking tool that exploits design structure

引用

International conference on Software engineering (ICSE)

作者： R. Alur L. de Alfaro R. Grosu T.A. Henzinger M. Kang C.M. Kirsch R. Majumdar F. Mang B.Y. Wang Department of Computer and Information Science University of Pennsylvania USA Department of Electrical Engineering and Computer Science University of California Berkeley USA Department of Computer Science State University of New York Stony Brook USA Department of Electrical Engineering and Computer Science University of California Berkeley CA USA

ISBN: (纸本)0769510507

Model checking is a practical tool for automated debugging of embedded software. In model checking, a high-level description of a system is compared against a logical correctness requirement to discover inconsistencies. Since model checking is based on exhaustive state-space exploration and the size of the state space of a design grows exponentially with the size of the description, scalability remains a challenge. We have thus developed techniques for exploiting modular design structure during model checking, and the model checker jMocha (java MOdel-CHecking Algorithm) is based on this theme. Instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling framework of reactive modules. jMocha is a growing interactive software environment for specification, simulation and verification, and is intended as a vehicle for the development of new verification algorithms and approaches. It is written in java and uses native C-code BDD libraries from VIS. jMocha offers: (1) a GUI that looks familiar to Windows/java users; (2) a simulator that displays traces in a message sequence chart fashion; (3) requirements verification both by symbolic and enumerative model checking; (4) implementation verification by checking trace containment; (5) a proof manager that aids compositional and assume-guarantee reasoning; and (6) SLANG (Scripting LANGuage) for the rapid and structured development of new verification algorithms. jMocha is available publicly at ; it is a successor and extension of the original Mocha tool that was entirely written in C.

关键词： java Debugging Embedded software State-space methods Scalability Algorithm design and analysis Vehicles Software algorithms Binary decision diagrams Software libraries

来源：评论

学校读者我要写书评

暂无评论

Interactive animation and visualization in a virtual soil mechanics laboratory

Interactive animation and visualization in a virtual soil me...

引用

Frontiers in Education (FIE) conference

作者： M.E. Haque Department of Construction Science Texas A and M University College Station TX USA

With the advances in information technology over the last decade, the traditional teaching format of having an individual lecture to an audience has been supplemented and, in some cases, replaced by the rapid development and implementation of new distance learning methods. As technology rapidly changes, the importance of educating and training diverse populations of construction science students become more critical. It has become relatively easy to develop Web-based course materials for courses that do not have laboratory components. However, technology is currently available that allows for the development of virtual laboratories. It is now possible to develop laboratory courseware that can simulate very sophisticated and costly equipment and reach larger sections of the student population. The paper demonstrates a Web-based interactive virtual soil mechanics laboratory for construction science. The main elements of the presented approach are: a means of assimilating the students' interactive learning knowledge and behavior, representation of the instructor's guidance and assessment knowledge, and utilization of motivational techniques such as multimedia, animation and java simulation of laboratory soil tests. The presented paper illustrates some of the laboratory soil tests that are simulated with multimedia interaction and visualization techniques for enhancing the student's subject visualization and conceptual understanding in soil mechanics.

关键词： Animation Visualization Soil Laboratories Testing Information technology Education Computer aided instruction Materials science and technology Courseware

来源：评论

学校读者我要写书评

暂无评论

Alleviation of chattering in variable structure control signal for flexible one-link manipulator

Alleviation of chattering in variable structure control sign...

引用

IEEE International conference on Robotics and Automation (ICRA)

作者： S. Thomas Jong-Hwan Kim Korea Advanced Institute of Science and Technology South Korea Department of Electrical Engineering Calicut Regional Engineering College Calicut Kerala India Department of Electrical Engineering and Computer Science Korea Advanced Institute of Science and Technology Daejeon South Korea

ISBN: (纸本)0780365763

A variable structure controller design for the tip position control of a flexible one-link manipulator was presented by Thomas et al. (1997). The control torque obtained using this design methodology was subjected to high frequency chattering. This makes it impossible to implement the controller in practice. The absence of a sign(S) function in the control law makes it impossible to implement the boundary layer technique of chatter reduction where the sign(S) function is replaced by a saturation type function to yield a continuous control signal approximation that confines the system trajectory to a small band neighboring the switching surface. This paper presents a new switching law which not only alleviates chattering in the control signal but also ensures ideal sliding mode motion. simulation results are presented to verify the claims attributed to the proposed method.

关键词： Control systems Sliding mode control Electric variables control Frequency Motion control Control design Computer science Position control Torque control Design methodology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共69页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：