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

2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011

作者： Shimizu, Shunji Takahashi, Noboru Inoue, Hiroaki Nara, Hiroyuki Miwakeichi, Fumikazu Hirai, Nobuhide Kikuchi, Senichiro Watanabe, Eiju Kato, Satoshi Department of Electronic Systems Engineering Tokyo University of Science SUWA Japan Graduate Course of Engineering and Management Tokyo University of Science SUWA Japan Graduate School of Information Science and Technology Hokkaido University Hokkaido Japan Institute of Statistical Mathematics Tokyo Japan Department of Psychiatry Jichi Medical University Tochigi Japan Department of Neurosurgery Jichi Medical University Tochigi Japan

ISBN: (纸本)9781457721373

Our purpose in this research is to contribute to developing of assistive robot and apparatus. Recently, there is a pressing need to develop a new system which assists and acts for car driving and wheelchair for the elderly as the population grows older. In terms of developing a new system, it is thought that it is important to examine behaviors as well as spatial recognition. So, experiments were performed for an examination of human spatial perceptions, especially right and left ones, during car driving using NIRS. In previous research, it has been documented that there were significant differences at dorsolateral prefrontal cortex at left hemisphere during virtual driving. In addition, significant differences were seen at similar regions during actual driving. In this time, detailed analysis about ocular motions was reported. The final goal of this study is to find a way to apply this result to new systems with functions that are responsive like human. © 2011 IEEE.

关键词： Brain

来源：评论

学校读者我要写书评

暂无评论

Complexity of the Stamp Folding Problem

Complexity of the Stamp Folding Problem

引用

5th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2011)

作者： Umesato, Takuya Saitoh, Toshiki Uehara, Ryuhei Ito, Hiro School of Information Science Japan Advanced Institute of Science and Technology Ishikawa 923-1292 Japan ERATO MINATO Discrete Structure Manipulation System Project Japan Science and Technology Agency Hokkaido 060-0814 Japan Department of Communications and Computer Engineering Graduate School of Informatics Kyoto University Kyoto 606-8501 Japan

ISBN: (纸本)9783642226151

For a given mountain-valley pattern of equidistant creases on a lone paper strip, there are many folded states consistent with the pattern. Among these folded states, we like to fold a paper so that the number of the paper layers between each pair of hinged paper segments. which is called the crease width at the crease point, is minimized. This problem is called the stamp folding problem and there are two variants of this problem;minimization of the maximum crease width, and minimization of the total crease width. This optimization problem is recently introduced and investigated from the viewpoint of the counting problem. However, its computational complexity is not known. In this paper, we first show that the minimization problem of the maximum crease width is strongly NP-complete. Hence we cannot solve the problem in polynomial time unless P=NP. We next propose an algorithm that solves the minimization problem. The algorithm itself is a straightforward one, but its analysis is not trivial. We show that this algorithm runs in O(n(2)((n+k)(k))) time where n is the number of creases and k is the total crease width. That is, the algorithm runs in O(n(k+2)) time for a constant k. Hence we can solve the problem efficiently for a small constant k.

关键词： linkage NP-complete optimization problem pleat folding rigid origami

来源：评论

学校读者我要写书评

暂无评论

Hybrid Artificial Neural Networks for TBM performance prediction in complex underground conditions

Hybrid Artificial Neural Networks for TBM performance predic...

引用

2011 IEEE/SICE International Symposium on system Integration, SII 2011

作者： Pham, Hai V. Yuji, Fujita Kamei, Katsurari Soft Intelligence Lab. Graduate School of Science and Engineering Ritsumeikan University 1-1-1 Noji-higashi Kusatsu Shiga 525-8577 Japan Tunneling System Enzan Koubou Company Japan Human and Computer Intelligence Dept. College of Information Science and Engineering Ritsumeikan University Japan

ISBN: (纸本)9781457715235

Due to complex problems in under ground conditions, Tunnel Boring Machine (TBM) performance prediction is mostly affected by conditional environments of the following: geological formation, rock mass, rock property, and fractured rock. This study has presented a new approach using Hybrid Artificial Neural Networks integrated with fuzzy reasoning evaluation model to predict TBM performance in complex underground conditions. The proposed approach is essential to evaluate the TBM performance in terms of Penetration Rate (PR) and Advance Rate (AR) for the planning and management of tunneling. In addition, the proposed approach aims to predict TBM performance and utilization in complex underground conditions such as rock mass, geology, and lithography in tunnel projects. The proposed approach has tested in experiments using data series from tunnel projects in Japan and Asian countries. To assess the significance of the findings and show added valuable parameters of the proposed approach, the results are compared with conventional statistical methods in terms of penetration and advance rates. In order to evaluate the effectiveness of this approach, experimental results show that the proposed approach performs better than other current methods to deal with complex tunneling conditions. © 2011 IEEE.

关键词： Geology

来源：评论

学校读者我要写书评

暂无评论

Circadian Rest-Activity Rhythm for Maintenance of Body Shape

Circadian Rest-Activity Rhythm for Maintenance of Body Shape

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： S. Kume N. Tokumitsu S. Sakamoto H. Hagiwara Graduate School of Science and Engineering Advanced Information Science and Engineering Major Human Information Science Course Ritsumeikan University Human Research Science Center Wacoal Corporation Department of Human and Computer Intelligence College of Information Science and Engineering Ritsumeikan University

ISBN: (纸本)9781424441211

A recently developed wearable device has gained attention in the area of self-discipline for the prevention of lifestyle-related diseases. The present study aimed to clarify the relationship between circadian rhythm and body shape change using actigraphy. Using a body shape vector, we classified 24 women in their 40s and 50s into 3 groups with different body shape changes. A circadian rhythm experiment was conducted on weekdays for 1 week with 24 healthy women. Amounts of activity of the non-dominant wrist and trunk, subjective evaluation of sleep quality, and subjective state of activity were surveyed. In order to maintain a constant body shape throughout life, a less sedentary lifestyle with more trunk movement during the day, getting adequate sleep at night, and having a varied sleep-wake cycle may be important factors.

关键词： Body shape Biorhythms body movement Actigraphy quality of sleep Rhythms

来源：评论

学校读者我要写书评

暂无评论

Evaluation of substrate noise coupling in RFICs (invited)

Evaluation of substrate noise coupling in RFICs (invited)

引用

IEEE International Workshop on Radio-Frequency Integration Technology (RFIT)

作者： Makoto Nagata Xihua Lin Naoya Azuma Masahiro Yamaguchi Department of Information Science Graduate School of System Informatics Kobe University Japan Department of Electrical and Commmunication Engineering Graduate School of Engineering University of Tohoku Japan

Substrate noise coupling and impacts on RF integrated circuits (RFICs) have been intensively studied for intending a single chip solution of wireless communication systems. On-chip measurements characterize noises from digital parts of mixed-signal ICs in terms of noise generation as well as noise propagation through a silicon substrate, demonstrated by silicon results with sub-100 nm CMOS test vehicles. Simulation and emulation help further understanding of the interference of such noises with RFIC operation as well as their impacts on RF communication.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Software and hardware control of a hybrid robot for switching between leg-type and wheel-type modes

引用

Controle y Automacao 2011年第1期22卷 9-22页

作者： Botelho, Wagner Tanaka Okaday, Tokuji Mahmoud, Abeer Shimizuy, Toshimi Course of Information Science and Engineering Graduate School of Science and Technology Niigata University Niigata Japan Department of Biocybernetics Faculty of Engineering Niigata University Ikarashi 2-8050 Niigata 950-2181 Japan

One of the objectives of the paper is to describe the hybrid robot PEOPLER-II (Perpendicularly Oriented Planetary Legged Robot) with regard to switching between leg-type and wheel-type. Our robot has an easier design and control system than other hybrid robots. The software and hardware control in the process of performing five robot tasks are considered. These are the walking, rolling, switching, turning and spinning. In the switching task, we show the control method based on minimization of total energy cost. Also, the hardware components and their interconnections are described. The graphical user interfaces utilized in the simulation and experiment are demonstrated. The walking, rolling and the switching without reverse rotation and arm motion are verified in simulation and with real robot, in addition to turning and spinning.

关键词： Switching

来源：评论

学校读者我要写书评

暂无评论

Extracting environmental constraints to make reactive system specifications realizable

Computer Software

引用

Computer Software 2011年第3期28卷 132-146页

作者： Hagihara, Shigeki Shimakawa, Masaya Yonezaki, Naoki Kitamura, Yusuke Sekido, Satoshi Department of Computer Science Graduate School of Information Science and Engineering Institute of Technology Japan System Engineering Dept. Sony Business Solutions Corporation Value Creation Division Japan Department of Communications and Integrated Systems Graduate School of Science and Engineering Tokyo Institute of Technology Japan

Many fatal accidents of safety critical reactive systems have occurred in unexpected situations which had not been considered during design and test phases of the systems. To prevent these accidents, reactive systems should be designed to respond appropriately to any requests of any timing from their environments. Verifying this property in specification phase reduces the development costs of safety critical reactive systems. This property of a specification is well known as realizability. If a specification was found not to be realizable, we have to determine the flaws in the unrealizable specification. Unrealizability of a specification arises from arbitrary requirements given by system designers. From a different point of view, it can be thought that the unrealizable specification implicitly imposes a precondition on the behavior of environment, which a system can not control. If it is possible to obtain the precondition in intuitively comprehensive forms, this makes it easy for system designers to understand the cause of flaws in specifications. In this paper, we propose methods for deriving constraints on the behavior of environments, which is implicitly imposed by unrealizable specifications. Instead of realizability, we use strong satisfiability which is a necessary condition for realizability, due to the fact that many practical unrealizable specifications are also strongly unsatisfiable, and strong satisfiability have the advantage of lower complexity for analysis against realizability. These methods derive constraints in propositional linear temporal logic from Büchi automata representing specifications. The expressions of derived constraints are limited to simple and intuitively comprehensive forms where only two temporal operators appear successively. We give proofs for three correctness properties of our methods, i.e. the termination property, the soundness property, and the weakest constraints derivability. We also discuss complexity of our methods. Fi

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Program camouflage at the source code level

Computer Software

引用

Computer Software 2011年第1期28卷 300-305页

作者： Kanzaki, Yuichiro Monden, Akito Matsumoto, Ken-Ichi Nakamura, Masahide Dept. of Human-Oriented Information Systems Engineering Kumamoto National College of Technology Japan Graduate School of Information Science Nara Institute of Science and Technology Japan Graduate School of System Informatics Kobe University Japan

This paper proposes a program camouflage method to protect software from reverse engineering. The user of the proposed method only has to construct a piece of fake source code by modifying a piece of original source code. When an attacker statically analyzes the program that is protected by the method, the program looks like the fake code (with self-modification code fragments). However, when the program is executed, the original code is performed. The proposed method is effective especially in hiding secret instructions/data from static analysis, and preventing the extraction and reuse of secret parts in the program.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

A trial of autonomous long-distance outdoor navigation at 3.5km side-walk in university of Tsukuba

Nihon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japa...

引用

Nihon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C 2011年第779期77卷 2782-2794页

作者： Yamaguchi, Tomoya Yuta, Shin'ichi Graduate School of System and Information Engineering Univ of Tsukuba Tenoudai 1-1-1 Tsukuba Science City Ibaraki 305-0006 Japan

The purpose of this research is the development of a practical long distance navigation system of mobile robots in outdoor environment. We defined the research target as "An autonomous mobile robot runs on the sidewalk of 3.5km loop-street at Univ. of Tsukuba" and we have developed a experimental system for autonomous travelling in the defined environment. In the developed system, the route was divided into sidewalk sections and intersection sections, and the suitable methods were installed for both type of sections. In sidewalk section, the robot travels based on the road edge detection by laser range sensor, and in the intersections, the robot runs based on the teaching-playback scheme using the scan data by laser range sensor. In this paper, we explain the defined problem and the basic structure of the navigation system, We also report the experimental results in the defined route and discuss on this results with findings got from this research. © 2011 The Japan Society of Mechanical Engineers.

关键词： Navigation systems

来源：评论

学校读者我要写书评

暂无评论

Solution of ill-posed inverse problem of distributed generation using complex-valued network inversion

Solution of ill-posed inverse problem of distributed generat...

引用

作者： Ogawa, Takehiko Nakamura, Kyosuke Kanada, Hajime Department of Electronics and Computer Systems Takushoku University 815-1 Tatemachi Hachioji-shi Tokyo 193-0985 Japan Electronics and Information Science Course Graduate School of Engineering Takushoku University 815-1 Tatemachi Hachioji-shi Tokyo 193-0985 Japan

ISBN: (纸本)9789881821034

Network inversion has been studied as a neural network based solution of inverse problems. Complex-valued network inversion has been proposed as the extension of this inversion to the complex domain. Further, regularization is considered for solving ill-posed inverse problems. On the other hand, the estimation of the parameters of a distributed generation from observed data is a complex-valued inverse problem with ill-posedness. In this paper, we propose the application of a complex-valued network inversion with regularization to the inverse estimation of a distributed generation.

关键词： Distributed power generation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：