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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

373 篇 会议
238 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

315 篇 工学
- 137 篇 计算机科学与技术...
- 86 篇 软件工程
- 73 篇 控制科学与工程
- 69 篇 电子科学与技术（可...
- 57 篇 电气工程
- 41 篇 信息与通信工程
- 34 篇 材料科学与工程（可...
- 24 篇 化学工程与技术
- 23 篇 仪器科学与技术
- 22 篇 机械工程
- 21 篇 生物工程
- 18 篇 力学（可授工学、理...
- 18 篇 光学工程
- 17 篇 生物医学工程（可授...
- 11 篇 冶金工程
- 8 篇 动力工程及工程热...
244 篇 理学
- 128 篇 物理学
- 74 篇 数学
- 36 篇 生物学
- 30 篇 化学
- 23 篇 统计学（可授理学、...
- 20 篇 系统科学
56 篇 管理学
- 41 篇 管理科学与工程(可...
- 17 篇 图书情报与档案管...
- 12 篇 工商管理
19 篇 医学
- 19 篇 临床医学
- 15 篇 基础医学(可授医学...
- 10 篇 药学(可授医学、理...
10 篇 法学
- 9 篇 社会学
8 篇 教育学
- 7 篇 教育学
5 篇 农学
3 篇 文学
2 篇 经济学
2 篇 艺术学

主题

34 篇 computer science
32 篇 systems engineer...
23 篇 computational mo...
17 篇 control systems
13 篇 fault detection
13 篇 adaptive control
11 篇 robot sensing sy...
11 篇 parameter estima...
10 篇 wireless communi...
10 篇 generators
10 篇 shape
10 篇 machinery
9 篇 neural networks
9 篇 data mining
9 篇 robots
9 篇 humans
9 篇 complexity theor...
8 篇 friction
8 篇 throughput
8 篇 genetic algorith...

机构

23 篇 department of ph...
23 篇 department of ph...
23 篇 faculty of scien...
23 篇 department of ph...
23 篇 department for p...
23 篇 department of ph...
23 篇 kirchhoff-instit...
23 篇 fakultät für phy...
23 篇 institute of phy...
22 篇 institute of phy...
22 篇 instituto de fís...
22 篇 dipartimento di ...
22 篇 faculty of compu...
21 篇 department of ph...
21 篇 department of ph...
21 篇 graduate school ...
21 篇 department of ph...
21 篇 department of ph...
21 篇 department of ph...
21 篇 department of ph...

作者

29 篇 hayashi eiji
21 篇 c. alexa
21 篇 j. m. izen
21 篇 s. veneziano
21 篇 g. bella
21 篇 j. strandberg
21 篇 d. calvet
21 篇 c. amelung
21 篇 n. orlando
21 篇 y. tayalati
21 篇 g. spigo
21 篇 f. siegert
21 篇 m. klein
21 篇 r. ströhmer
21 篇 m. rijssenbeek
21 篇 s. jin
21 篇 g. gaudio
21 篇 y. abulaiti
21 篇 s. mohapatra
21 篇 i. van vulpen

语言

586 篇 英文
12 篇 其他
11 篇 日文
3 篇 中文
1 篇 荷兰文

检索条件"机构=Faculty of Computer Engineering and System Science Kyushu Institute of Technology Iizuka"

共 612 条记录，以下是311-320 订阅

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

详细简洁

排序：

Validated pole assignment method based on verified numerical computation

Validated pole assignment method based on verified numerical...

引用

SICE Annual Conference

作者： Kentaro Yano Masanobu Koga Hiromasa Nakashima Department of Information and Multimedia Technology Fukuoka Institute of Technology Fukuoka Japan Faculty of Computer Science and System Engineering Kyushu Institute of Technology Fukuoka Japan Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Fukuoka Japan

ISBN: (纸本)9781424476428

This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a method to find the numerically most design-specification satisfied controller quickly by using multiple-precision arithmetic. And, this paper applies a proposed method to pole assignment problem.

关键词： Control systems Design methodology Accuracy Computational modeling Mathematical model Numerical models Equations

来源：评论

学校读者我要写书评

暂无评论

Asynchronous P systems for SAT and hamiltonian cycle problem

Asynchronous P systems for SAT and hamiltonian cycle problem

引用

2010 2nd World Congress on Nature and Biologically Inspired Computing, NaBIC 2010

作者： Ishii, Kota Fujiwara, Akihiro Tagawa, Hirofumi Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Fukuoka 820-8S02 Japan NTT Data Corporation Toyosu Tokyo 13S-8671 Japan

ISBN: (纸本)9781424473762

In the present paper, we consider the asynchronous parallelism in membrane computing, and propose fully asynchronous P systems such that any number of applicable rules may be applied in one step. Since there is no restrictive assumption for application of rules, sequential and maximal parallel executions are allowed on the asynchronous P system. We propose two asynchronous P systems for the satisfiability (SAT) and Hamiltonian cycle problem. We first propose an asynchronous P system that solves SAT with n variables and m clauses, and show that the proposed P system computes SAT in O( mn2n) sequential steps or O( mn) parallel steps using O(mn) kinds of objects. We next propose an asynchronous P system that solves the Hamiltonian cycle problem with n nodes, and show that the proposed P system computes the problem in O(n!) sequential steps or O(n2) parallel steps using O(n2) kinds of objects. © 2010 IEEE.

关键词： Hamiltonians

来源：评论

学校读者我要写书评

暂无评论

Dipole localization of EEG and its application to detection of origin of epilepsy

Dipole localization of EEG and its application to detection ...

引用

作者： Yamanoi, Takahiro Yamazaki, Toshimasa Department of Electronics and Information Engineering Faculty of Engineering Hokkai-Gakuen University Nishi 11-1-1 Minami 26 Chuo-ku Sapporo 064-0926 Japan Department of Bioscience and Bioinformatics Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka 820-8502 Japan

ISBN: (纸本)9781424496730

The paper introduces a confidential region proposed by T. Yamazaki et al., which is equipped with the equivalent dipole source localization software;SinaPointPro (NEC Corporation). This confidence limit is defined on a direction ofthe radius. This method enables to detect the origin ofthe epilepsy. And also the paper treats a series of its applications by the present author. The author and his collaborators have recorded electroencephalograms (EEGs) from subjects viewing four types of Kanji and arrows representing directional meaning. Subjects were asked to read them silently. The equivalent current dipole source localization (ECDL) method has been applied to these event rerated potentials: averaged EEGs. ECDs were localized to the right and left frontal lobes at latency after 500ms in both cases. Polarities of ERPs were also opposite in the case of opposite directions, and the moments oflocalized ECDs at these latencies were opposite. Pathways of ECDs in silent reading are almost the same in cases of Kanji and arrow. In these cases, no ECD was localized to the Wernike's area and the angler gyrus those are related to the auditory language area, however, ECDs were localized to the Broca's area that is said to be the language area for speech. © 2010 TSI Press.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

A case study of requirements elicitation process with changes

A case study of requirements elicitation process with change...

引用

作者： Nakatani, Takako Hori, Shouzo Ubayashi, Naoyasu Katamine, Keiichi Hashimoto, Masaaki Graduate School of Systems Management University of Tsukuba Tokyo 112-0012 Japan Quality Assurance Dept. Yaskawa Information Systems Corporation Kawasaki-shi 215-0004 Japan Faculty of Information Science and Electrical Engineering Kyushu University Fukuoka-shi 819-0395 Japan Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka-shi 820-8502 Japan

Requirements changes sometimes cause a project to fail. A lot of projects now follow incremental development processes so that new requirements and requirements changes can be incorporated as soon as possible. These processes are called integrated requirements processes, which function to integrate requirements processes with other developmental processes. We have quantitatively and qualitatively investigated the requirements processes of a specific project from beginning to end. Our focus is to clarify the types of necessary requirements based on the components contained within a certain portion of the software architecture. Further, each type reveals its typical requirements processes through its own rationale. This case study is a system to manage the orders and services of a restaurant. In this paper, we introduce the case and categorize its requirements processes based on the components of the system and the qualitative characteristics of ISO-9126. We could identify seven categories of the typical requirements process to be managed and/or controlled. Each category reveals its typical requirements processes and their characteristics. The case study is our first step of practical integrated requirements engineering. Copyright © 2010 The institute of Electronics, Information and Communication Engineers.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Real time interpolation of haptic information using case base

Real time interpolation of haptic information using case bas...

引用

15th International Symposium on Artificial Life and Robotics, AROB '10

作者： Toki, Takayuki Taki, Hirokazu Miura, Hirokazu Matsuda, Noriyuki Soga, Masato Abe, Norihiro Graduate School of Systems Engineering Wakayama University 930 Sakaedani Wakayama-shi Wakayama Japan Faculty of Systems Engineering Wakayama University Japan School of Computer Science and Systems Engineering Kyushu Institute of Technology Japan

ISBN: (纸本)9784990288044

This paper has described a real time interpolation technology for haptic information using case base. To share haptic data in multiple points, we must send complete haptic data. However, in the transmission line, packet loss and noise are occurred sometimes. In this situation, users don't sense correct force. We developed new interpolation method for haptic sense data without conventional mathematical approach. We can interpolate haptic information lag and loss using case-based approach. In our method, the system selects a suitable case and reconfigures it to fit the error. © 2010 ISAROB.

关键词： Haptic interfaces

来源：评论

学校读者我要写书评

暂无评论

Dipole localization of eeg and its application to detection of origin of epilepsy

Dipole localization of eeg and its application to detection ...

引用

Proceedings of the Biannual World Automation Congress

作者： Takahiro Yamanoi Toshimasa Yamazaki Department of Electronics and Information Engineering Faculty of Engineering Hokkai Gakuen University Sapporo Japan Department of Bioscience and Bioinformatics Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Japan

The paper introduces a confidential region proposed by T. Yamazaki et al., which is equipped with the equivalent dipole source localization software; SinaPointPro (NEC Corporation). This confidence limit is defined on a direction of the radius. This method enables to detect the origin of the epilepsy. And also the paper treats a series of its applications by the present author. The author and his collaborators have recorded electroencephalograms (EEGs) from subjects viewing four types of Kanji and arrows representing directional meaning. Subjects were asked to read them silently. The equivalent current dipole source localization (ECDL) method has been applied to these event related potentials: averaged EEGs. ECDs were localized to the right and left frontal lobes at latency after 500ms in both cases. Polarities of ERPs were also opposite in the case of opposite directions, and the moments of localized ECDs at these latencies were opposite. Pathways of ECDs in silent reading are almost the same in cases of Kanji and arrow. In these cases, no ECD was localized to the Wernike's area and the angler gyrus those are related to the auditory language area, however, ECDs were localized to the Broca's area that is said to be the language area for speech.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Temporal interrelations of bacteria based on the occurrence time

Temporal interrelations of bacteria based on the occurrence ...

引用

2010 IEEE/ICME International Conference on Complex Medical engineering, CME2010

作者： Hirata, Kouichi Motoyama, Kenichiro Yokoyama, Shigeki Matsuoka, Kimiko Department of Artificial Intelligence Kyushu Institute of Technology Kawazu 680-4 Iizuka 820-8502 Japan Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Kawazu 680-4 Iizuka 820-8502 Japan Zenrin Co. Ltd. Japan KD-ICONS Co. Ltd. Omori Minami 4-6-15 Ota Tokyo 143-0013 Japan Osaka Prefectoral General Medical Center Bandai Higashi 3-1-56 Sumiyoshi Osaka 558-8558 Japan

ISBN: (纸本)9781424468430

In this paper, for two different bacteria a and b, we introduce a temporal interrelation a b from a to b satisfying that the starting time of a is precedent to one of b. Also we introduce a sliding temporal interrelation satisfying that the ending time of a is precedent to one of b, and a non-overlapping temporal interrelation satisfying that the ending time of a is precedent to the starting time of b. Then, we extract such temporal interrelations from bacterial culture data provided from Osaka Prefectural General Medical Center in years from 2001 to 2007. © 2010 IEEE.

关键词： Bacteria

来源：评论

学校读者我要写书评

暂无评论

Soft decision Viterbi decoder for FSK demodulation under fast fading channel

Soft decision Viterbi decoder for FSK demodulation under fas...

引用

International Conference on Communications and Electronics, ICCE

作者： Daisuke Nojima Yuhei Nagao Masayuki Kurosaki Hiroshi Ochi Akira Ishikawa Shugo Fukagawa Akihiro Tahira Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan Research and Development Division Kyushu Ten Nagasaki Japan

In a soft decision Viterbi decoder, the log-likelihood ratio (LLR) metric is used to improve the performance of the error correction. However, this cannot be directly applied in frequency shift keying (FSK) wireless transmission system which uses a frequency discriminator for FSK de-modulation - an inherently non-linear circuit. The LLR for a linear system cannot be used for the FSK wireless transmission system. It is necessary to calculate LLR which considers the non-linear characteristic of the frequency discriminator. In this paper, we derive the modified LLR which considers the non-linear characteristic of the frequency discriminator. Simulation shows the effectiveness of the derived LLR for 4-ary FSK wireless transmission system.

关键词： Frequency shift keying Decoding Receivers Data models Probability density function Viterbi algorithm Correlation

来源：评论

学校读者我要写书评

暂无评论

Case Studies on Transition Fault Test Generation for At-speed Scan Testing

Case Studies on Transition Fault Test Generation for At-spee...

引用

IEEE International Symposium on Defect and Fault Tolerance in VLSI systems

作者： Nor Azura Zakaria Edward V. Bautista Jr. Suhaimi Bahisham Jusoh Weng Fook Lee Xiaoqing Wen Microelectronics Technology Realisation and Operations MIMOS Berhad Kuala Lumpur Malaysia Emerald Systems Design Center Penang Malaysia Department of Creation Informatics Graduate School of Computer Science & System Engineering Kyushu Institute of Technology Iizuka Japan

At-speed scan testing for intra-clock and inter-clock transition delay faults in a SOC design with multiple clock domains is an important and challenging issue. Current practice in industry usually applies a test scheme targeted on intra-clock transition fault delay testing (i.e., intra testing). In this paper a test scheme targeting both intra-clock and inter-clock domains for transition delay fault testing (i.e., intra-inter testing) is applied. This paper presents an empirical study by comparing between intra testing and intra-inter testing in terms of fault classification, test detection, test coverage, test volume, and test power by using industrial circuits. The information provided by this paper is beneficial to both practitioners and researchers in their pursuit of improving the quality of transition delay testing, which is critical to the quality of deep-sub micron VLSI chips.

关键词： Clocks Circuit faults Delay Synchronization Logic gates Automatic test pattern generation

来源：评论

学校读者我要写书评

暂无评论

Symbolic descriptor and state space model of interconnected linear systems with algebraic loops

Symbolic descriptor and state space model of interconnected ...

引用

IEEE International Symposium on computer Aided Control system Design (CACSD)

作者： Masanobu Koga Satoru Anan Department of Systems Design and Informatics Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan Department of Creative Informatics Kyushu Institute of Technology Fukuoka Japan

This paper proposes a method which gives symbolic model of the interconnected linear system using the adjacency matrix which represent the system. When there exist any algebraic loops in the system, they are reduced to the self loops by the edge contraction. If the weight matrix of the self loop is nonsingular, it is removed and the symbolic state space model is obtained, otherwise the symbolic descriptor model is obtained. We introduce a new interactive graphical software tool which have been developed for modeling and simulation of control systems using the proposed method.

关键词： Linear systems Interconnected systems Delay effects Numerical models Computational modeling Mathematical model

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：