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

Towards modeling human expertise: Am empirical case study

Towards modeling human expertise: Am empirical case study

Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005

作者： Knauf, Rainer Tsuruta, Setsuo Gonzalez, Avelino J. Faculty of Computer Science and Automation Ilmenau Technical University PO Box 100565 98684 Ilmenau Germany School of Information Environment Tokyo Denki Unversity 2-1200 Musai-gakuendai Inzai Chiba 270-1382 Japan Dept. of Electrical and Computer Engineering University of Central Florida Orlando FL 32816-2450 United States

ISBN: (纸本)1577352343

The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. The authors developed models of collective and individual human expertise, which are shortly outlined here. The focus of the paper is an experimental work aimed at determining the quality of these models. The models have been used for both solving problem cases and rating (other agents') solutions to these cases. By comparing the models' solutions and ratings with those of the human original we derived assessments of their quality. An analysis revealed both the general usefulness and some particular weaknesses. Copyright © 2005, American Association for Artificial Intelligence (***). All rights reserved.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

International Conference on Software Maintenance (ICSM)

作者： Ying Jiang Shan-Shan Hou Jin-Hui Shan Lu Zhang Bing Xie Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort.

关键词： Genetic mutations Contracts Software testing Software reusability Software maintenance Electronic equipment testing Programming Application software computer science automation

来源：评论

学校读者我要写书评

暂无评论

Chaos-based Pseudo-Random Number Generators and Chip Implementation

引用

IFAC Proceedings Volumes 2005年第1期38卷 1090-1094页

作者： Zhong Li Ping Li Yaobin Mao W.A. Halang Faculty of Electrical and Computer Engineering Fern Universität in Hagen 58084 Hagen Germany Department of Automation Nanjing University of Science and Technology Nanjing 210094 P. R. China

Cryptography as an ancient subject is endowed with new vigor by chaos theory. Cryptography protects the security of today's ubiquitous Internet communication, which as an open network is vulnerable to attack. In this paper, chaos-based cryptography is surveyed with focus on designing chaotic pseudo-random number generators (CPRNGs) for stream cipher and their chip implementation. The properties of the proposed CPRNG are analyzed.

关键词： Chaos-based pseudo-random number generator (CPRNG) cryptography chaos chip implementation

来源：评论

学校读者我要写书评

暂无评论

Gauss-Chebyshev neural networks

Gauss-Chebyshev neural networks

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Hong-Jie Xing Bao-Gang Hu National Laboratory of Pattern Recognition Institute of Automation Chinese Academy and Sciences Faculty of Mathematics and Computer Science Hebei University Baoding Hebei China Chinese Academy of Sciences Beijing Graduate School Beijing China

This paper presents a novel neural network integrating both Gauss neural network and Chebyshev neural network. The Gauss-Chebyshev neural networks take advantages of the for local approximation ability, but the Chebyshev one for global generalization ability. Numerical experiments confirm the new strategy on the better performance in comparison with Gauss neural networks. Furthermore, under the same initialization conditions, Gauss-Chebyshev neural network is more efficient than Gauss-Sigmoid neural network for regression application. All eight functions tested from the experiments show the improvements of the proposed neural networks.

关键词： Gaussian processes Neural networks Chebyshev approximation Feedforward neural networks Gaussian approximation Pattern recognition Kernel Convergence Parametric statistics Laboratories

来源：评论

学校读者我要写书评

暂无评论

ICDAR 2003 robust reading competitions: Entries, results, and future directions

引用

International Journal on Document Analysis and Recognition 2005年第2-3期7卷 105-122页

作者： Lucas, Simon M. Panaretos, Alex Sosa, Luis Tang, Anthony Wong, Shirley Young, Robert Ashida, Kazuki Nagai, Hiroki Okamoto, Masayuki Yamamoto, Hiroaki Miyao, Hidetoshi Zhu, JunMin Ou, WuWen Wolf, Christian Jolion, Jean-Michel Todoran, Leon Worring, Marcel Lin, Xiaofan Department of Computer Science University of Essex Colchester CO4 3SQ United Kingdom Department of Information Engineering Faculty of Engineering Shinshu University Nagano 380-8553 4-17-1 Wakasato Japan Institute of Automation Chinese Academy of Science Beijing 100080 PO Box 2738 China Lyon Research Center for Images and Intelligent Information Systems INSA de Lyon 69621 Villeurbanne Cedex Bt. J. Verne 20 rue Albert Einstein France Informatics Institute University of Amsterdam 1098 SJ Amsterdam Kruislaan 403 Netherlands Hewlett-Packard Laboratories Palo Alto CA 94304 1501 Page Mill Road United States

This paper describes the robust reading competitions for ICDAR 2003. With the rapid growth in research over the last few years on recognizing text in natural scenes, there is an urgent need to establish some common benchmark datasets and gain a clear understanding of the current state of the art. We use the term 'robust reading' to refer to text images that are beyond the capabilities of current commercial OCR packages. We chose to break down the robust reading problem into three subproblems and run competitions for each stage, and also a competition for the best overall system. The subproblems we chose were text locating, character recognition and word recognition. By breaking down the problem in this way, we hoped to gain a better understanding of the state of the art in each of the subproblems. Furthermore, our methodology involved storing detailed results of applying each algorithm to each image in the datasets, allowing researchers to study in depth the strengths and weaknesses of each algorithm. The text-locating contest was the only one to have any entries. We give a brief description of each entry and present the results of this contest, showing cases where the leading entries succeed and fail. We also describe an algorithm for combining the outputs of the individual text locators and show how the combination scheme improves on any of the individual systems. © Springer-Verlag 2005.

关键词： Camera captured Reading competition Text locating

来源：评论

学校读者我要写书评

暂无评论

A multiagent cooperative mobile robotics approach for search and rescue missions

A multiagent cooperative mobile robotics approach for search...

引用

IFAC/EURON Symposium on Intelligent Autonomous Vehicles

作者： Vacariu, Lucia Csaba, Blasko Peter Letia, Ioan Alfred Fodor, George Cret, Octavian Technical University of Cluj-Napoca Romania Faculty for Automation and Computer Science 26-28 Gh. Baritiu str. Cluj-Napoca400027 Romania ABB Automation Technology Products AB VasterasSE-721 59 Sweden Örebro University AASS Sweden

This paper presents a reusable framework for coordinating a team of mobile robots that can accomplish high level or tightly coupled missions, which could not be easily achieved using single robot solutions. To complete this task, we consider the behavior-based architecture model for the basic control layer. For coordinating the team of autonomous mobile robots, we use the agent-oriented software engineering paradigm. We apply the combination of a single and of multi-agent techniques for evaluating a search-and-rescue mission. The experiments are using the Pioneer 2 DX robot and the Saphira simulator. Copyright © 2003 IFAC

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Control of a handheld robot for orthopedic surgery 3

Control of a handheld robot for orthopedic surgery

引用

3rd IFAC Symposium on Mechatronic Systems 2004

作者： Wagner, A. Pott, P.P. Schwarz, M.L. Scharf, H.-P. Weiser, P. Köpfle, A. Männer, R. Badreddin, E. Department of Orthopedic Surgery Faculty of Clinical Medicine Mannheim University Heidelberg Germany Institute of CAE University of Applied Sciences Mannheim Germany Institute of Computer Science V University of Mannheim Germany Automation Laboratory University of Mannheim Germany

The controller design and implementation of a handheld surgical robot is presented. During the treatment of human bones the robot is able to compensate un-voluntary movements of the surgeon and of the patient and to find automatically the target position of the tool. The robot system is based on a Stewart-platform actuated by linear motors and on an optical tracking system. A cascade controller provides a local position and velocity control of the motor axes and an absolute position control in the world frame. To show the feasibility of the concept, cavities are milled into polystyrene-foam, while the robot is decoupled from the test bed. For clinical demands the robot has to be improved in the static and dynamic accuracy. Copyright © IFAC Mechatronic Systems, Sydney, Australia, 2004.

关键词： Position control

来源：评论

学校读者我要写书评

暂无评论

A novel approach to pneumatic position servo control of a glass wall cleaning robot

A novel approach to pneumatic position servo control of a gl...

引用

2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

作者： Zhang, Houxiang Zhang, Jianwei Liu, Rong Zong, Guanghua Dept. TAMS Faculty of Computer Science University of Hamburg Vogt-Kölln-Straße 30 22527 Hamburg Germany Robotics Institute Sch. of Mech. Eng. and Automation BeiHang University Beijing China

ISBN: (纸本)0780384636

Taking Shanghai science and Technology Museum as the operation target, the robot named skycleaner which is totally actuated by pneumatic cylinders and is sucked to the glass walls with vacuum suckers is presented. In order to solve the problems of lower stiffness and the nonlinear movement characteristic of the pneumatic system, a method of segment and variable bang-bang controller is proposed to implement the accurate control of the position servo system using the principle of pneumatic pulse width-modulation (PWM). Testing results show that the controller can effectively improve the control quality. This implies that the method can meet the requirements of realization.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Interaction balance method for large-scale industrial processes with fuzzy constraints 10

Interaction balance method for large-scale industrial proces...

引用

10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, LSS 2004

作者： Gu, Jia-Chen Wan, Bai-Wu Ruan, Xiao-E Automation Research and Design Institute of Metallurgical Industry Beijing China Systems Engineering Institute State Key Laboratory for Manufacturing Systems Engineering Xi 'an Jiaotong University Xi 'an China Dept.of Electrical Engineering and Computer Science Korea Advanced Institute of Science and Technology Daejeon Korea Republic of Faculty of Science Xi'an Jiaotong University Xi'an China

The interaction balance method (IBM) with fuzzy constraints is proposed for large-scale industrial processes under hierarchical steady-state optimization with the consideration of the model-reality difference and the constraints of subprocesses being flexible. In this approach, the models that are treated as equality constraints and the inequality constraints of the subprocesses are all fuzzified. Two cases of interaction balance method are studied: the open-loop IBM and the IBM with global feedback. Simulation results show that the solutions of the proposed method with global feedback are very close to the optimal solutions of the real process. © 2004 IFAC.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

New trend in control of steady-state large-scale systems 10

New trend in control of steady-state large-scale systems

引用

10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, LSS 2004

作者： Wan, Bai-Wu Liu, Ding Ruan, Xiaoe Institute of Systems Engineering State Key Laboratory for Manufacturing Systems Engineering Xi'anJiaotong University China School of Automation Xi 'an University of Technology China Dept. of Electrical Engineering and Computer Science Korea Advanced Institute of Science and Technology 373-7 Guseong-dong Yuseong-gu Daejeon305-701 Korea Republic of Faculty of Science Xi 'anJiaotong University China

This paper reviews what the first Author and his Group have been investigating for the past decade in the on-line steady-state hierarchical intelligent control and optimization of large-scale industrial processes (LSIP), as well as large-scale systems (LSS). The techniques include the use of neural networks for identification and optimization, the use of expert systems to solve some kinds of hierarchical multi-objective optimization problems, the use of the fuzzy logic control and the use of the iterative learning control. In addition, several implementation examples and the product quality control for LSS are introduced. Finally the paper prospects the new stages of development. © 2004 IFAC.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：