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

2nd International Conference on Convergent Information Technology, ICCIT 07

作者： Lee, Byeong-Joon Lee, Dong-Ju Woo, Gyun Dept. of Computer Engineering Pusan National University Test Automation Center SureSoft Technologies

ISBN: (纸本)0769530389

FRP (functional reactive programming) is a domain-specific sub-language embedded in Haskell. FRP is developed based on the arrow types and suitable for programming reactive systems such as robot systems. An essential higher-order type, namely signal, provides higher levels of abstractions of reactive systems. However, FRP can not be directly applicable to most robot systems since it is implemented on top of a heavy language Haskell. To overcome this limitation, RT-FRP (real-time functional reactive programming) was proposed, but any practical implementation of RT-FRP has not been proposed currently. In this paper, RT-FRP is implemented as a form of C translator. The proposed translator converts RT-FRP programs into C programs. To measure the effectiveness of the RT-FRP translator, some robot control programs are developed, translated, and loaded on top of LEGO MindStorm. According to the experimental result, the reactive logic can be coded more concisely using RT-FRP than C although the size of the binary code is somewhat increased. © 2007 IEEE.

关键词： Program translators

来源：评论

学校读者我要写书评

暂无评论

Feature matching based on geometric constraints in weakly calibrated stereo views of curved scenes

引用

Journal of Systems engineering and Electronics 2008年第3期000卷

作者： Bian Houqin Su Jianbo Bian Houqin (Dept. of Automation Shanghai Jiaotong Univ. Shanghai 200240 P. R. China School of Computer & Information Engineering Shanghai Univ. of Electric Power Shanghai 200090 P. R. China) Su Jianbo (Dept. of Automation Shanghai Jiaotong Univ. Shanghai 200240 P. R. China)

The identification of the correspondences of points of views is an important task. A new feature matching algorithm for weakly calibrated stereo images of curved scenes is proposed, based on mere geometric constraints. After initial correspondences are built via the epipolar constraint, many point-to-point image mappings called homographies are set up to predict the matching position for feature points. To refine the predictions and reject false correspondences, four schemes are proposed. Extensive experiments on simulated data as well as on real images of scenes of variant dept.s show that the proposed method is effective and robust.

关键词： feature correspondence epipolar geometry fundamental matrix homography

来源：评论

学校读者我要写书评

暂无评论

A novel soft-switching two-stage step-up DC/DC converter

A novel soft-switching two-stage step-up DC/DC converter

引用

7th Internatonal Conference on Power Electronics, ICPE'07

作者： Du, Shaowu Chen, Zhong Chang, Liuchen School of Electrical Engineering and Automation Hefei University of Technology Hefei 230009 Anhui Province China Dept. of Electrical and Computer Engineering University of New Brunswick Canada

ISBN: (纸本)9781424418725

In an electric vehicle power system, a step-up converter is required to increase the voltage from 24 V to 270 V. To achieve such a high voltage boost ratio, there are several challenges that must be overcome: tackling the leakage inductance of the isolation transformer;reducing the voltage stress on the power switches;and guaranteeing fast dynamic response and high efficiency. Thus, innovative approaches are needed. A novel two-stage step-up DC/DC converter has been developed. This device has the advantages of high power density, easy control, high efficiency, high transformer utilization, and fast dynamic response. The two-stage step-up DC/DC converter is composed of a boost converter cascaded with a push-pull converter. The boost diode and filter capacitor, as found in conventional boost converters, are eliminated. All switches achieve soft-switching by using a simple auxiliary circuit. Therefore, this novel converter is well-suited for applications where the input voltage level is significantly lower than the output voltage, for example, in the areas of electric vehicle power supplies, communication systems, aeronautic power, and power systems. Analysis, prototype development, and experimental tests have been conducted, and the results are presented in this paper. The results confirm the performance and features of the novel converter. © 2008 IEEE.

关键词： Boost converter

来源：评论

学校读者我要写书评

暂无评论

Explicit construction of H∞ control law for a class of nonminimum phase nonlinear systems

Explicit construction of H∞ control law for a class of nonm...

引用

2007 American Control Conference, ACC

作者： Lan, Weiyao Chen, Ben M. Department of Automation Xiamen University Xiamen Fujian 361005 China Dept. of Electrical and Computer Engineering National University of Singapore Singapore 117576 Singapore

ISBN: (纸本)1424409888

We tackle in this paper an H∞ control problem for a class of nonminimum phase nonlinear systems. The system nonlinearities, which depend on the system output, can be unknown, but satisfy some linear growth conditions. The given system is first transformed into a special coordinate basis, in which the system zero dynamics is divided into a stable part and an unstable part. A sufficient solvability condition is then established for solving the nonlinear H∞ control problem. Moreover, based on the sufficient solvability condition, an upper bound of the best achievable L2 gain from the system disturbance to the system controlled output is estimated for the nonlinear H∞ control problem. The proof of our result yield explicit algorithms for constructing required control law for solving the nonlinear H∞ control problem. In particular, the solution to the nonlinear H∞ control problem does not require solving any Hamilton-Jacobi equations. Finally, the obtained results are utilized to solve a benchmark problem on a rotational/translational actuator (RTAC) system. © 2007 IEEE.

关键词： Nonlinear equations

来源：评论

学校读者我要写书评

暂无评论

Motion analysis of 3-D dual-tree discrete wavelet transform

Motion analysis of 3-D dual-tree discrete wavelet transform

引用

26th Picture Coding Symposium, PCS 2007

作者： Yang, Jingyu Wang, Yao Xu, Wenli Dai, Qionghai Department of Automation Tsinghua University Beijing 100084 China Electrical and Computer Engineering Dept. Polytechnic University Brooklyn NY 11201 United States

ISBN: (纸本)9789898109057

3-D dual-tree discrete wavelet transform (DDWT) is attractive for video representation since it isolates motion along different directions in its directional subbands, and has been employed for video coding. In this paper, we analyze its efficiency in capturing motion activities. Similar analysis is then extended to 3-D anisotropic DDWT (ADDWT). Experiments verify the effectiveness of our analysis. Based on the motion analysis, we realize that 3-D DDWT/ADDWT can not adapt to intense motion activities, and propose a new transform structure for high motion sequences. It is shown that the new scheme brings about 1dB coding gain.

关键词： Motion analysis

来源：评论

学校读者我要写书评

暂无评论

面向服务的传感器网络分布式数据挖掘系统

面向服务的传感器网络分布式数据挖掘系统

引用

第19届全国计算机新科技与计算机教育学术大会

作者： LI Huabo 李华波 LIU Peipei 刘沛沛 Institute of Computer Science and Command Automation ICA PLAUST Nanjing 210007 解放军理工大学指挥自动化学院南京210007 Dept. of Logistical Information Engineering LEU Chongqing 400016 后勤工程学院后勤信息工程系重庆400016

论文首先指出了数据挖掘研究的发展方向，进而简要介绍了传感器网络数据挖掘研究的成果，分析了面向服务架构的优势并以面向服务的结构设计了一个传感器网络分布式数据挖掘系统，实现了三种分布式传感器网络数据挖掘算法：分布式k - me... 详细信息

论文首先指出了数据挖掘研究的发展方向，进而简要介绍了传感器网络数据挖掘研究的成果，分析了面向服务架构的优势并以面向服务的结构设计了一个传感器网络分布式数据挖掘系统，实现了三种分布式传感器网络数据挖掘算法：分布式k - means、多目标跟踪与融合、改进的FDM算法。

关键词：分布式数据挖掘系统传感器网络算法设计面向服务架构

来源：评论

学校读者我要写书评

暂无评论

Kernel fully constrained least squares abundance estimates

Kernel fully constrained least squares abundance estimates

引用

2007 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2007

作者： Broadwater, Joshua Chellappa, Rama Banerjee, Amit Burlina, Philippe University of Maryland Dept. of Electrical and Computer Engineering Center for Automation Research College Park MD United States Johns Hopkins University Applied Physics Laboratory Laurel MD United States

ISBN: (纸本)1424412129

A critical step for fitting a linear mixing model to hyperspectral imagery is the estimation of the abundances. The abundances are the percentage of each endmember within a given pixel;therefore, they should be non-negative and sum to one. With the advent of kernel based algorithms for hyperspectral imagery, kernel based abundance estimates have become necessary. This paper presents such an algorithm that estimates the abundances in the kernel feature space while maintaining the non-negativity and sum-to-one constraints. The usefulness of the algorithm is shown using the AVIRIS Cuprite, Nevada image. © 2007 IEEE.

关键词： Satellite imagery

来源：评论

学校读者我要写书评

暂无评论

Improved image coding algorithm based on embedded zerotree

Improved image coding algorithm based on embedded zerotree

引用

SNPD 2007: 8th ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Xuhong, Liu Fuheng, Liu Guijuan, Kuang Xiu, Yi Dept. of Computer and Automation Beijing Institute of Machinery Beijing 100089 China College of Information Science and Engineering Laiyang Agriculture University Qingdao 266109 China Shandong Cadre School of Quality Technology and Supervision Jinan 250014 China

ISBN: (纸本)0769529097

This paper presents an improved embedded zerotree wavelet (EZW) coding algorithm. According to the characteristic of coefficients and human visual system (HVS), an attempt is made to improve Shapiro's EZW algorithm. The improved algorithm pays more attention to the edge of one image because human visual system is sensitive to the distortion of image edge information. Experiments results show that the improved algorithm performs better than EZW in reconstruction image quality, especially in the case of low rate. © 2007 IEEE.

关键词： Image coding

来源：评论

学校读者我要写书评

暂无评论

Study of DNA properties under controlled conditions using AFM based nano-robotics

Study of DNA properties under controlled conditions using AF...

引用

2007 7th IEEE International Conference on Nanotechnology - IEEE-NANO 2007

作者： Li, Guangyong Ning, Xi Liu, Lianqing Zhang, Jiangbo Lai, King W. C. 348 Benedum Hall Pittsburgh PA 15261 United States Dept. of Electrical and Computer Engineering University of Pittsburgh Pittsburgh PA 15260 United States Dept. of Electrical Michigan State University East Lansing MI 48824 United States Shenyang Institute of Automation Chinese Academy of Sciences Shenyang China

ISBN: (纸本)1424406080

After much initial controversy over the past 20 years, the mechanism of charge-transfer in DNA is now moving towards a consensus view in the chemistry community that the dominant charge-transfer mechanism appears to be distance-dependent coherent tunnelling through unit-step and weak-distance-dependent thermal hopping through multi-step. Contrary to the consensus in the chemistry society, the problem of whether DNA is conducting or insulating remains to be hotly debated among physics groups due to the disparate experimental results varying from conductor to insulator. The study of DNA electronic properties requires an efficient way to accurately position and individually manipulate DNA molecules. The recent development of Atomic Force Microscopy (AFM) based nano-robotics seems to be a promising solution. In this research, the DNA molecules are positioned onto a pair of electrodes by a nano-robotic tool. The electrical properties of DNA are studied under controlled conditions. © 2007 IEEE.

关键词： Atomic force microscopy

来源：评论

学校读者我要写书评

暂无评论

Kernels on attributed pointsets with applications 07

Kernels on attributed pointsets with applications

引用

Proceedings of the 21st International Conference on Neural Information Processing Systems

作者： Mehul Parsana Sourangshu Bhattacharya Chiranjib Bhattacharyya K. R. Ramakrishnan Dept. of Computer Science & Automation Indian Institute of Science Bangalore India Dept. of Electrical Engineering Indian Institute of Science Bangalore India

ISBN: (纸本)9781605603520

This paper introduces kernels on attributed pointsets, which are sets of vectors embedded in an euclidean space. The embedding gives the notion of neighborhood, which is used to define positive semidefinite kernels on pointsets. Two novel kernels on neighborhoods are proposed, one evaluating the attribute similarity and the other evaluating shape similarity. Shape similarity function is motivated from spectral graph matching techniques. The kernels are tested on three real life applications: face recognition, photo album tagging, and shot annotation in video sequences, with encouraging results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：