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

International Conference on Advances in Intelligent Control and Innovative Computing

作者： 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: (纸本)9781461416944

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 chapter, we propose the application of a complex-valued network inversion with regularization to the inverse estimation of a distributed generation. © 2012 Springer Science+Business Media, LLC.

关键词： Distributed power generation

来源：评论

学校读者我要写书评

暂无评论

Effects of the lift valve opening area on water hammer pump performance and flow behavior in the valve chamber

引用

International Journal of Fluid Machinery and Systems 2012年第3期5卷 109-116页

作者： Saito, Sumio Dejima, Keita Takahashi, Masaaki Hijikata, Gaku Iwamura, Takuya Department of Mechanical Engineering Tokyo National College of Technology 1220-2 Kunugida-machi Hachioji-shi Tokyo 193-0997 Japan Environmental Systems Engineering Course Nagaoka University of Technology 1603-1 Kamitomioka-machi Nagaoka-shi Niigata 940-2188 Japan Mechanical and Computer Systems Engineering Advanced Engineering Course Tokyo National College of Technology 1220-2 Kunugida-machi Hachioji-shi Tokyo 193-0997 Japan

Water hammer pumps can effectively use the water hammer phenomenon for water pumping. They are capable of providing an effective fluid transport method in regions without a well-developed social infrastructure. The results of experiments examining the effect of the geometric form of water hammer pumps by considering their major dimensions have been reported. However, these conventional studies have not fully evaluated pump performance in terms of pump head and flow rate, common measures of pump performance. The authors have focused on the effects on the pump performance of various geometric form factors in water hammer pumps. The previous study examined how the hydrodynamic characteristics was affected by the inner diameter ratio of the drive and lift pipes and the angle of the drive pipe, basic form factors of water hammer pumps. The previous papers also showed that the behavior of water hammer pump operation could be divided into four characteristic phases. The behavior of temporal changes in valve chamber and air chamber pressures according to the air volume in the air chamber located downstream of the lift valve was also clarified in connection with changes in water hammer pump performance. In addition, the effects on water hammer pump performance of the length of the spring attached to the drain valve and the drain pipe angle, form factors around the drain valve, were examined experimentally. This study focuses on the form of the lift valve, a major component of water hammer pumps, and examines the effects of the size of the lift valve opening area on water hammer pump performance. It also clarifies the behavior of flow in the valve chamber during water hammer pump operation.

关键词： Transport properties

来源：评论

学校读者我要写书评

暂无评论

A pulse-type hardware level difference detection model based on sound source localization mechanism in barn owl

IEEJ Transactions on Electronics, Information and Systems

引用

IEEJ Transactions on Electronics, Information and Systems 2012年第7期132卷 1060-1065页

作者： Sakurai, Tsubasa Sekine, Yoshifumi Graduate Course of Electronic Engineering Graduate School of Science and Technology Nihon University 1-8-14 Kanda Surugadai Chiyoda-ku Tokyo 101-8308 Japan Department of Electronics and Computer Science College of Science and Technology Nihon University 7-24-1 Narashinodai Funabashi-shi Chiba 274-8501 Japan

Auditory information processing is very important in the darkness where vision information is extremely limited. Barn owls have excellent hearing information processing function. Barn owls can detect a sound source in the high accuracy of less than two degrees in both of the vertical and horizontal directions. When they perform the sound source localization, the barn owls use the interaural time difference for localization in the horizontal plane, and the interaural level difference for localization in the vertical plane. We are constructing the two-dimensional sound source localization model using pulse-type hardware neuron models based on sound source localization mechanism of barn owl for the purpose of the engineering application. In this paper, we propose a pulse-type hardware model for level difference detection based on sound source localization mechanism of barn owl. Firstly, we discuss the response characteristics of the mathematical model for level difference detection. Next we discuss the response characteristics of the hardware mode. As a result, we show clearly that this proposal model can be used as a sound source localization model of vertical direction. © 2012 The Institute of Electrical Engineers of Japan.

关键词： Audition

来源：评论

学校读者我要写书评

暂无评论

Verification of embedded system by a method for detecting defects in source codes using model checking

Verification of embedded system by a method for detecting de...

引用

IEEE Symposium on computers and Informatics

作者： Aoki, Yoshitaka Matsuura, Saeko Graduate School of Engineering Shibaura Institute Technology Course of Electronic Engineering and Computer Science Saitama Japan

ISBN: (纸本)9781612846903

We have proposed a method based on model checking for detecting hard-to-discover defects in enterprise systems. We apply our method to embedded system development to easily discover some defects caused by input/output data of the hardware which are influenced by the external environment before the software is integrated into the hardware. This paper discuss the effectiveness of our method using a case study to develop a line tracing robot. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A method for detecting unusual defects in enterprise system using model checking techniques

A method for detecting unusual defects in enterprise system ...

引用

作者： Aoki, Yoshitaka Matsuura, Saeko Graduate School of Engineering Shibaura Institute Technology Course of Electronic Engineering and Computer Science Saitama Japan

ISBN: (纸本)9789604742776

This paper proposes a method based on model checking for detecting hard-to-discover defects in enterprise systems. Source codes are transformed into an appropriate phased abstract model so that we can observe the phenomena. UPPAAL, which is a typical model checking tool, makes an exhaustive checking of the model and provides a result whether the model can reach the specified state or not. We have developed a supporting tool to narrow the range of model checking and to generate UPPAAL model automatically. We discuss our method in detail on the basis of the results of a case study.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

引用

IADIS International Conference on Information Systems 2011, IS 2011

作者： Sugimura, Hiroshi Matsumoto, Kazunori Course of Information and Computer Sciences Kanagawa Institute of Technology Graduate School of Engineering 1030 Shimo-ogino Atsugi-shi Kanagawa243-0292 Japan

ISBN: (纸本)9789728939472

Time-series data has a huge number of applications. We typically start with partially specified ambiguous information, and search for explicit and useful knowledge of fragment patterns. The search task requires an exploratory search a whole database with a long period of trial and error. We then develop an intelligent exploration tool that supports this task. The main contribution of this paper is threefold;first we propose a time-series query language that has an affinity to the standard database query language SQL;second we develop a similarity handling method that effectively realizes a matching of sub-patterns with certain ambiguity;finally we show a combinatory use of the exploration tool and a datamining technique increases the capability of the knowledge discovery. © 2011 IADIS.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Verification of embedded system by a method for detecting defects in source codes using model checking

Verification of embedded system by a method for detecting de...

引用

IEEE Symposium on computers & Informatics (ISCI)

作者： Yoshitaka Aoki Saeko Matsuura Graduate School of Engineering Course of Electronic Engineering and Computer science Shibaura Institute of Technology Saitama Japan

关键词： Robot sensing systems Inspection Manuals Hardware Embedded systems Business

来源：评论

学校读者我要写书评

暂无评论

A Testable Realization for Decimal Multipliers

A Testable Realization for Decimal Multipliers

引用

International Symposium on Multiple-Valued Logic

作者： Takashi Hirayama Yasuaki Nishitani Seiji Kitamura Department of Computer Science Iwate University Japan Graduate Course of Safety System Engineering Hirosaki University Japan

We propose a testable decimal multiplication circuit under the single cell fault model. The multiplier consists of iterative logic arrays of partial product generators and adders. We also give a set of test patterns to detect single faults in the circuit. The number of test patterns is proportional to that of the input digits of the multiplier, which is significantly smaller than the exponential number of test patterns required in non-testable circuits. This efficient testability is achieved only by as light change of the function in the partial product generators and an insertion of some testing inputs in the adders. No additional hardware modules are required in the proposed realization.

关键词： Testing Adders Circuit faults Generators Integrated circuit modeling computer architecture Logic arrays

来源：评论

学校读者我要写书评

暂无评论

Classification of dermatological ulcers based on tissue composition and color texture features 11

Classification of dermatological ulcers based on tissue comp...

引用

4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11

作者： Pereira, Silvio Moreto Frade, Marco Andrey Cipriani Rangayyan, Rangaraj Mandayam De Azevedo Marques, Paulo Mazzoncini Bioengineering Interunits Gradutate Course University of São Paulo São Carlos Brazil Bioengineering Interunits Internal Medicine Department University of São Paulo Ribeirão Preto Brazil Department of Electrical and Computer Engineering Schulich School of Engineering University of Calgary Calgary AB Canada

ISBN: (纸本)9781450309134

We present color image processing methods for the analysis of images of dermatological lesions. The intended application is classification and analysis of the tissue composition of skin lesions or ulcers, in terms of granulation (red), fibrin (yellow), necrotic (black), callous (white), and mixed tissue composition. The images were analyzed and classified by an expert dermatologist into the classes mentioned above. Indexing of the images was performed based on statistical texture features derived from cooccurrence matrices of the RGB, HSV, L*a*b*, and L*u*v*color components. The classification was performed using different classifiers and database organization methods. The performance of classification was measured in terms of the area under the receiver operating characteristic curve, with values of up to 0.98 for the granulation and fibrin classes. © 2011 ACM.

关键词： Image texture

来源：评论

学校读者我要写书评

暂无评论

Exploring the Development of Endorsed Learning Resources Profiles in the Connexions Repository

Exploring the Development of Endorsed Learning Resources Pro...

引用

5th International Conference on Metadata and Semantic Research, MTSR 2011

作者： Cechinel, Cristian Sánchez-Alonso, Salvador Sicilia, Miguel-Ángel de Azevedo Simões, Priscyla Waleska Targino Computer Engineering Course Federal University of Pampa Caixa Postal 07 96400-970 Bagé RS Brazil Spain Applied Computational Intelligence Research Group University of the Extreme South of Santa Catarina Caixa Postal 3167 88806-000 Criciúma SC Brazil

ISBN: (纸本)9783642247309

Existing learning object repositories are adopting strategies for quality assessment and recommendation of materials that rely on information provided by their community of users, such as ratings, comments, and tags. In this direction, Connexions has implemented an innovative approach for quality assurance where resources are socially endorsed by distinct members and organizations through the use of the so-called lenses. This kind of evaluative information constitutes a referential body of knowledge that can be used to create profiles of endorsed learning resources that, in their turn, can be further used in the process of automated quality assessment. The present paper explores the development of endorsed learning resources profiles based on intrinsic features of the resources, and initially evaluates the use of these profiles on the creation of automated models for quality evaluation. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：