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

IEEE Symposium on Computational Intelligence Applications In Smart Grid (CIASG)

作者： Diogenes Molina Jiaqi Liang Ron Harley Ganesh K. Venayagamoorthy Department of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA USA Real-Time Power and Intelligent System Laboratory Missouri University of Science and Technology Rolla MO USA

For Artificial Neural Networks (ANN) to become more widely used in power systems and the future smart grids, ANN based algorithms must be capable of scaling up as they try to identify and control larger and larger parts of a power system. This paper goes through the process of scaling up an ANN based identifier as it is driven to identify increasingly larger portions of a power system. Distributed and centralized approaches for scaling up are taken and the pros and cons of each are presented. The New England/New York 68-bus power network is used as the test bed for the studies. It is shown that while a fully-connected (centralized) ANNs is capable of identification of the system with appropriate accuracy, the increase in the training times required to obtain an acceptable set of weights becomes prohibitive as the system size is increased.

关键词： Artificial neural networks Power system dynamics Recurrent neural networks Training Generators Testing

来源：评论

学校读者我要写书评

暂无评论

Verification of web service protocols by logic of knowledge

引用

Journal of Information and Computational science 2011年第6期8卷 921-932页

作者： Chen, Qingliang Su, Kaile Cao, Ying Liu, Chanjuan School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200000 China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions, i. e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the specifications we are to verify can hold in arbitrary number of sessions. © 2011 Binary Information Press.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Distributed dynamic pricing for MIMO interfering multiuser systems: A unified approach

Distributed dynamic pricing for MIMO interfering multiuser s...

引用

International Conference on Network Games, Control and Optimization (NetGCooP)

作者： Gesualdo Scutari Daniel P. Palomar Francisco Facchinei Jong-Shi Pang Department of Electrical Engineering State University of New York University at Buffalo Buffalo USA Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong China Department of Computer and System Sciences University of Roma La Sapienza Roma Italy Department of Industrial and Enterprise Systems Engineering University of Illinois Urbana-Champaign Urbana USA

Wireless networks are composed of many users that usually have conflicting objectives and generate interference to each other. The system design is typically formulated as the optimization of the weighted sum of the users' utility functions. In an attempt to obtain distributed algorithms in the case this sum is nonconvex, researchers have proposed pricing mechanisms which however are based on heuristics and valid only for a restricted class of problems. In this paper we propose a general framework for the distributed optimization of the nonconvex sum-utility function. Our main contributions are: i) the derivation for the first time of a general dynamic pricing mechanism, ii) a framework that can be easily particularized to well-known applications, giving rise to very efficient practical algorithms that outperform existing methods; and iii) the solution to the currently open problem of social optimization for MIMO multiuser systems.

关键词： Pricing Heuristic algorithms Convergence MIMO Optimization Interference Signal processing algorithms

来源：评论

学校读者我要写书评

暂无评论

A study on the effect of traffic patterns on Routing protocols in Ad-hoc network following RPGM Mobility model

A study on the effect of traffic patterns on Routing protoco...

引用

International Conference on Signal Processing, Communication, Computing and Networking Technologies

作者： Arindrajit Pal Jyoti Prakash Singh Paramartha Dutta Paulomi Basu Doyel Basu Dept. of Computer Science and Engineering Academy of Technology West Bengal India Dept. of Information Technology Academy of Technology West Bengal India Department of Computer and System Sciences Visva-Bharati University West Bengal India

Mobile Ad-hoc networks(MANET)s are self organizing networks which can form a communication network without any fixed infrastructure. The constant bit rate (CBR) traffic is very well known traffic model for mobile Ad-hoc network. CBR traffic generates data packets at a constant rate. This constant rate packet generational is good enough for text data packets. The multimedia applications generally generate packets which sometimes increase and might be sometimes followed by some idle period. CBR traffic model does not accommodate the specific features of multimedia data. The day by day increase of multimedia data prompts us to investigate some other traffic models which can accommodate the specific features of these data. One such traffic model is Exponential traffic model which is based on exponential distribution. The other model is Pareto traffic model based on Pareto distribution. In this article, we have tried to study the behavior of mobile Ad-hoc network routing protocols under Exponential and Pareto traffic sources for nodes moving with Reference Point Group Mobility model (RPGM). To the best of our knowledge, this is the first attempt to analyze the effect of traffic patterns with Reference Point Group Mobility (RPGM) model on mobile ad hoc network routing. We have chosen the Normalized routing load, Packet Delivery Fraction and throughput as our figures of merit to compare various protocols. We found high Normalized Routing Load for both Exponential and Pareto traffic compared to CBR traffic in both Dynamic Source Routing (DSR) and Ad hoc On-demand Distance Vector protocol. The Packet Delivery Fraction is comparable in all types of traffic patterns and routing protocols. Throughput is high for Ad hoc On-demand Distance Vector (AODV) routing protocol across all traffic models.

关键词： Routing protocols Routing Computational modeling Mobile ad hoc networks Throughput Multimedia communication

来源：评论

学校读者我要写书评

暂无评论

Measurement and Analysis of Bowling Swing Motion Using 3D Acceleration and Gyro Sensors

Measurement and Analysis of Bowling Swing Motion Using 3D Ac...

引用

SICE Annual Conference

作者： Kazuhiro Kimura Kajiro Watanabe Kazuyuki Kobayashi Yosuke Kurihara Department of System Engineering Hosei University Department of Computer and Information Science Seikei University

ISBN: (纸本)9784907764388

Hitting the bowling pins exactly right to knock them down depends on the speed and direction of the bowling ball, which can be controlled by the proper swing form. If bowlers could check their swing form and identify their weak points, they would be able to improve their game. This paper describes the measurement and analysis of bowling form motion with the objective of identifying the features of the correct swing form. The measurement system is based on the use of 3D acceleration and gyro sensors with a wide dynamic range. The system is small and wireless so as not to constrain the subject's movements. We fixed it to the back of the subject's hand and his waist. The swing form and the actual speed of the swing were confirmed using a high-speed camera. We measured the swing form of an expert bowler and extracted information on the acceleration and angular velocity. Distinguishing features of the correct swing form were found by comparing the expert bowler with a novice bowler. The results showed the potential for quantitatively evaluating bowling skills.

关键词： Measurement Analysis 3D acceleration and gyro sensor Bowling swing form High-speed camera

来源：评论

学校读者我要写书评

暂无评论

Impedance Force Control of Robot Hand Using Pressure Sensor

Impedance Force Control of Robot Hand Using Pressure Sensor

引用

SICE Annual Conference

作者： Daisuke Kobayashi Kajiro Watanabe Kazuyuki Kobayashi Yosuke Kurihara Department of System Engineering Hosei University Department of Computer and Information Science Seikei University

ISBN: (纸本)9784907764388

The progress in robotic technology has led to greatly improved abilities of the robot hand. However, its complex hand movements require a more complex structure. In this study, we attempted to simplify the robot hand structure by using bilateral control. In our experimental setup, when the robot hand grips the object, a sensing signal is fed back to the robot operator. The use of a pressure sensor allows more accurate judgment on whether or not the robot hand touched the object.

关键词： Robot hand Bilateral control Pressure sensor

来源：评论

学校读者我要写书评

暂无评论

Holding Force Control of Robot Hand

Holding Force Control of Robot Hand

引用

SICE Annual Conference

作者： Wataru Watanabe Kajiro Watanabe Kazuyuki Kobayashi Yousuke Kurihara Department of System Engineering University of Hosei Department of Computer and Information Science University of Seikei

ISBN: (纸本)9781457707148

This paper describes the master slave of a robot hand and a controller. Recently, various robot hands have been developed and used instead of humans for various applications such as for assembling cars and electronic components. Robots are also used in outer space. However, it is difficult to operate a robot hand without training, so we employed the strategy of bilateral control, which can match the force and posture between master and slave. This system enables a robot hand to be operated easily and sensuously. We aim to create a master-slave system which uses the load fed to the servomotor.

关键词： Master slave Load of servomotor

来源：评论

学校读者我要写书评

暂无评论

Development of Sensing Device to Detect Human Hiding in a Car

Development of Sensing Device to Detect Human Hiding in a Ca...

引用

SICE Annual Conference

作者： Daisuke Mamiya Kajiro Watanabe Kazuyuki Kobayashi Yosuke Kurihara Department of System Engineering Hosei University Department of Computer and Information Science Seikei University

ISBN: (纸本)9781457707148

This paper describes a novel method for detecting the presence of a person hiding in a car. One of the important strategies of homeland security is border control. In particular, strict and effective monitoring to control illegal immigration is a key strategy for maintaining public safety and a healthy local economy, and is essential for preventing the entry of terrorists. Here, we focused on developing a method to detect a person trying to illegally cross the border by hiding in a car. The proposed method is based on vibrations produced by human vital signs. The vibrations of the entire car are measured by piezoelectric ceramic sensors in a device placed under the wheel. Vibrations from wind and noise, etc. are removed using an appropriate filter. The outcome of an experiment using the proposed method is also presented in this paper.

关键词： Piezoelectric ceramic sensor Judge Manned Unmanned

来源：评论

学校读者我要写书评

暂无评论

Development of system for Unrestrained Measurement of Vital Signs in the Bathroom

Development of System for Unrestrained Measurement of Vital ...

引用

SICE Annual Conference

作者： Yushi Fujita Kajiro Watanabe Kazuyuki Kobayashi Yosuke Kurihara Department of System Engineering Hosei University Department of Computer and Information Science Seikei University

ISBN: (纸本)9784907764388

This paper describes an unrestrained measurement system of the vital signs of a person in the bathroom. Here, the vital signs are given by the heartbeat and respiration. In the measurement of the sign, a physical change can be detected while the person is in a bath. The proposed method uses a bathtub pillow in which a low-frequency microphone is installed and a piezoelectric ceramic sensor placed under a duckboard. This measurement system causes no discomfort to the subject. The load on the body while bathing and the health condition can be detected by the measurement, which reduces the risk of accidents in the bathroom.

关键词： Unrestrained measurement Low-frequency microphone Piezoelectric ceramic sensor

来源：评论

学校读者我要写书评

暂无评论

Measurement and Evaluation of Violin Tone Quality

Measurement and Evaluation of Violin Tone Quality

引用

SICE Annual Conference

作者： Rie Hirai Kajiro Watanabe Kazuyuki Kobayashi Yosuke Kurihara Department of System Engineering Hosei University Department of Computer and Information Science Seikei University

ISBN: (纸本)9781457707148

The violin is the smallest, and most popular, member of the string family. A quality violin played by a skilled violinist has a beautiful, rich tone that is closest in sound to the human voice. Other tonal aspects of the violin can. Differ according to its age, the type of materials used, and the violin maker. Therefore, when buying a violin, it is necessary to experience the flavor or color of the sound, which is specific to each violin and is produced by the overtones. However, this is not always an easy task. This paper describes the relationship between the overtones as a physical value and impression of the sound as perceived by the listener.

关键词： Vilon SOUND Vibration Hearing Listeners harmonics Flavoring Agents type material

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：