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

Autonomous planning system based on temporal constraint satisfaction

Journal of Harbin institute of technology(New Series) 2003年第3期10卷 304-307页

作者：徐瑞崔平远徐晓飞吴伟仁田玉龙 Deep Space Exploration Research Center Harbin Institute of Technology Harbin 150001 China School of Computer Science and Technology Harbin Institute of Technology Harbin 150001China Deep Space Exploration Research Center Harbin Institute of Technology Harbin 150001 China School of Computer Science and Technology Harbin Institute of Technology Harbin 150001China China National Space Administration Beijing 100037 China China National Space Administration Beijing 100037 Chinan order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system the traditional planners are unable to describe this knowledge so an object-oriented temporal knowledge representation method is proposed to model every activity as an object to describe the activity's duration start-time end-time and the temporal relations with other activities. The layered planning agent architecture is then designed for spacecraft autonomous operation and the functions of every component are given. A planning algorithm based on the temporal constraint satisfaction is built in detail using this knowledge representation and system architecture. The prototype of Deep Space Mission Autonomous Planning System is implemented. The results show that with the object-oriented temporal knowledge description method the space mission planning system can be used to describe simultaneous activities resource and temporal constraints and produce a complete plan for exploration mission quickly under complex constraints.

In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this knowledge, so an object-oriented temporal knowledge representation method is proposed to model every activity as an object to describe the activity's duration, start-time, end-time and the temporal relations with other activities. The layered planning agent architecture is then designed for spacecraft autonomous operation, and the functions of every component are given. A planning algorithm based on the temporal constraint satisfaction is built in detail using this knowledge representation and system architecture. The prototype of Deep Space Mission Autonomous Planning System is implemented. The results show that with the object-oriented temporal knowledge description method, the space mission planning system can be used to describe simultaneous activities, resource and temporal constraints, and produce a complete plan for exploration mission quickly under complex constraints.

关键词： autonomous planning system object-oriented knowledge representation spacecraft temporal constraint satisfaction

来源：评论

学校读者我要写书评

暂无评论

Fault injection system for automatic testing system

引用

Journal of Harbin institute of technology(New Series) 2003年第3期10卷 321-324页

作者：王胜文洪炳熔 Dept. of Computer Science and Engineering Harbin Institute of Technology Harbin 150001 China Dept. of Computer Science and Engineering Harbin Institute of Technology Harbin 150001 Chinaonsidering the deficiency of the means for confirming the attribution of fault redundancy in the research of Automatic Testing System(ATS) a fault-injection system has been proposed to study fault redundancy of automatic testing system through compurison. By means of a fault-imbeded environmental simulation the faults injected at the input level of the software are under test. These faults may induce inherent failure mode thus bringing about unexpected output and the anticipated goal of the test is attained. The fault injection consists of voltage signal generator current signal generator and rear drive circuit which are specially developed and the ATS can work regularly by means of software simulation. The experimental results indicate that the fault injection system can find the deficiency of the automatic testing software and identify the preference of fault redundancy. On the other hand some soft deficiency never exposed before can be identified by analyzing the testing results.

Considering the deficiency of the means for confirming the attribution of fault redundancy in the re-search of Automatic Testing System(ATS) , a fault-injection system has been proposed to study fault redundancyof automatic testing system through compurison. By means of a fault-imbeded environmental simulation, thefaults injected at the input level of the software are under test. These faults may induce inherent failure mode,thus bringing about unexpected output, and the anticipated goal of the test is attained. The fault injection con-sists of voltage signal generator, current signal generator and rear drive circuit which are specially developed,and the ATS can work regularly by means of software simulation. The experimental results indicate that the faultinjection system can find the deficiency of the automatic testing software, and identify the preference of fault re-dundancy. On the other hand, some soft deficiency never exposed before can be identified by analyzing the tes-ting results.

关键词： Fault injection comparing method rear drive ATS

来源：评论

学校读者我要写书评

暂无评论

Evaluation of fault handling of the time-triggered architecture with bus and star topology

Evaluation of fault handling of the time-triggered architect...

引用

International Conference on Dependable Systems and Networks (DSN)

作者： A. Ademaj H. Sivencrona G. Bauer J. Torin Real-Time Systems Group University of Technology Vienna Vienna Austria Department of Electronics and Software SP Swedish National Testing and Research Institute Boras Sweden Department of Computer Engineering Chalmers University of Technology and Göteborg University Gothenburg Sweden

来源：评论

学校读者我要写书评

暂无评论

Optical burst and packet switching: Node and network design, contention resolution and quality of service - Results from the study in COST 266 7

Optical burst and packet switching: Node and network design,...

引用

7th International Conference on Telecommunications, ConTEL 2003

作者： Bjørnstad, Steinar Nord, Martin Hjelme, Dag.R. Stol, Norvald Callegati, Franco Cerroni, Walter Raffaelli, Carla Zaffoni, Paolo Gauger, Christoph M. Develder, Chris Cheyns, Jan Van Breusegem, Erik Baert, Elise Colle, Didier Pickavet, Mario Demeester, Piet Lacković, Marko Careglio, Davide Junyent, Gabriel Klinkowski, Miroslaw Marciniak, Marian Kowalewski, Marian Internet Network Architecture Telenor R and D Oslo Norway Department of Physical Electronics NTNU/UNIK Trondheim Norway Department of Telematics NTNU/UNIK Trondheim Norway Research Center COM DTU Lyngby Denmark DEIS University of Bologna Bologna Italy University of Stuttgart Institute of Communication Networks and Computer Engineering Stuttgart Germany Ghent University IMEC Ghent Belgium Department of Telecommunications Faculty of Electrical Engineering and Computing Unska 3 Zagreb Croatia Universitat Politècnica de Catalunya Advanced Broadband Communications Labs. CatalunyaBarcelona Spain National Institute of Telecommunications Department of Transmission and Fiber Technology Warsaw Poland

ISBN: (纸本)9531840520

Future network should be able to efficiently serve packet-based networks, such as the Internet. In this paper, based on results from COST 266, we explore characteristics of Optical Burst switching (OBS) and Optical Packet Switching (OPS). Both node design and Metropolitan Area Network (MAN) are discussed. A unique joint comparative performance evaluation of contention resolution in OBS and OPS are presented, as well as methods of Quality of Service (QoS) differentiation in OBS/OPS networks, and their performance. © 2003, institute of Electrical and Electronics Engineers Inc. All rights reserved.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A transcutaneous bone digitizer for minimally invasive registration in orthopedics: A real-time focused ultrasound beam approach

引用

computer Aided Surgery 2003年第3期8卷 120-128页

作者： Moulder, Chris Sati, Marwan Wentkowski, Michael V. Nolte, Lutz-Peter Department of Electrical and Computer Engineering George Washington University Washington DC United States M.E. Müller Research Center for Orthopaedic Surgery Institute for Surgical Technology and Biomechanics University of Bern Switzerland Cedara Software Corp. Mississauga ON L4V 1S7 6509 Airport Rd. Canada

computer-guided navigation of surgical tool position in computer-assisted orthopedic systems requires the registration of computer tomographic (CT) images with underlying bone. This process is presently performed by manually digitizing points on bone with a pointer and aligning them to a preoperative CT scan. We propose the use of ultrasound to obtain points on bone transcutaneously. A custom-made A-mode probe features a modular lens focusing system and a one-step calibration method. A stable and precise echo detection algorithm is also implemented. The accuracies of three signal detection algorithms standard deviation, cross-correlation (XCORR) and short-time Fourier transform were compared using a known reflected signal. XCORR showed the most accurate and stable operation. To test our method of obtaining bone surface points, a plastic model of the fourth human lumbar vertebra was CT scanned and then immersed in a water bath. Six surface registrations of the vertebra using an accurate pointing device were compared to ten registrations obtained using the US probe (using the XCORR algorithm). Student's T-test showed no significant difference in error between the two methods, proving that ultrasound registration, using our method, is equivalent to the more conventional pointer method. © 2003 Informa UK Ltd All rights reserved.

关键词： computer assisted orthopedic surgery digitization surface registration ultrasound

来源：评论

学校读者我要写书评

暂无评论

Web Service Faceplates: Building Web Services Clients with XML and XSLT

引用

2002年

作者： Stephen F Mohr Erik Fuller Michael John Michael Corning Donald Kackman

From the Publisher: Every book out there so far describes how to build Web Services, with some explanation on the creation of the clients. The Web Service design should mean that the client developer need never know t...

ISBN: (纸本)9781861007025

关键词：

来源：评论

学校读者我要写书评

暂无评论

Immediate and partial validation mechanism for the conflict resolution of update operations in XML databases 3rd

引用

3rd International Conference on Advances in Web-Age Information Management, WAIM 2002

作者： Kim, Sang-Kyun Lee, Myungcheol Lee, Kyu-Chul Computer Engineering Department Chungnam National University Korea Republic of Contents Technology Department Computer and Software Research Laboratory Electronics and Telecommunications Research Institute Korea Republic of

ISBN: (纸本)9783540440451

Recently, several researches have been performed for updating XML documents[1][2][12] stored in databases. These researches define update operations and resolve some semantic problems. However, because the update operations are usually validated after execution, conflicts can occur among them. Furthermore, in many studies for updating, they just validate whole XML documents and can’t validate parts of them. If updates are very frequent, validation will cause performance degradation. In this paper, we propose immediate and partial validation mechanism for these two problems. © Springer-Verlag Berlin Heidelberg 2002.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

H-Life: An intelligent personal health assistant

引用

Health Informatics Journal 2002年第1期8卷 20-28页

作者： Nanou, D.G. Poulis, A.M. Likas, A. Fotiadis, D.I. Medical Technology and Software Development Unit Department of Computer Science University of Ioannina Ioannina Biomedical Research Institute 45110 Ioannina Greece Department of Computer Science University of Ioannina Ioannina Biomedical Research Institute 45110 Ioannina Greece

In this paper the architecture and subsystems of the h-Life platform are described. The system is currently under implementation and therefore all system components and modules are described according to their design specifications. h-Life aims at developing a user-friendly, personalized and ubiquitously accessible knowledge-based system that will provide citizens with an intelligent tool for monitoring the state of health and lifestyle. The h-Life system is based on the integration of several components: • a knowledge repository related to health, nutrition, fitness and lifestyle• a user repository where personal health records and user profiles are stored• a plan repository for the storage of medical plans• an intelligent adviser and plan selection mechanism, which provides advice and plans based on the user profile• an alerting and reminding module that issues alerts (to ensure the timely execution of a selected plan) and notifications concerning events of potential interest• a customer-facing module, which ensures personalized interaction with the system and customizes the user-system interaction according to the user profile. Based on the latest technology in intelligent and communication systems, the h-Life environment aims at providing the user with personalized, ‘certified’ lifestyle information and consultancy, tailored to individual needs and available anywhere and at anytime. © 2002, Sage Publications. All rights reserved.

关键词： Intelligent systems knowledge-based systems mobile access personal health records personalization

来源：评论

学校读者我要写书评

暂无评论

GENERIC PROGRAMMING OF PARALLEL APPLICATIONS WITH JANUS

引用

Parallel Processing Letters 2002年第2期12卷 175-190页

作者： JENS GERLACH Fraunhofer Institute for Computer Architecture and Software Technology (FIRST) Kekuléstraße 7 12489 Berlin Germany

Janus is a conceptual framework and C++ template library that provides a flexible and extensible collection of efficient data structures and algorithms for a broad class of data-parallel applications. In particular, finite difference methods, (adaptive) finite element methods, and data-parallel graph algorithms are supported. An outstanding advantage of providing a generic C++ framework is that it provides application-oriented abstractions that achieve high performance without relying on language extension or non-standard compiler technology. The C++ template mechanism allows to plug user-defined types into the Janus data structures and algorithms. Moreover, Janus components can easily be combined with standard software packages of this field.

关键词： Generic programming parallel programming scientific computing

来源：评论

学校读者我要写书评

暂无评论

BSS: A new approach for watermark attack 4

BSS: A new approach for watermark attack

引用

4th International Symposium on Multimedia software Engineering, MSE 2002

作者： Du, Jiang Lee, Choong-Hoon Lee, Heung-Kyu Suh, Youngho Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Guseong-Dong Yuseong-Gu Daejon Korea Republic of Content Technology Department Computer and Software Technology Laboratory Electronics and Telecommunications Research Institute 161 Gajeong-Dong Yuseong-Gu Daejon305-350 Korea Republic of

ISBN: (纸本)0769518575

Digital watermarking is an enabling technology to prove ownership on copyrighted material, detect originators of illegally made copies, monitor the usage of copyrighted multimedia data, and analyze the spread spectrum of data over networks and servers. Most watermarking methods for images and video can be viewed as a communications problem in which the watermark must be transmitted and received through a watermark channel. This channel includes distortions resulting from attacks and interference from the original digital data. It is well accepted that an effective watermarking scheme may be described as the secure, imperceptible, robust communication of information by direct embedding in, and retrieval from, digital data. For verifying the security and robustness of watermarking algorithms, specific attacks have to be applied to test them. By using a theoretical approach based on random processes, signal processes, and communication theory, we propose a stochastic formulation of a new watermarking attack using a blind source separation-based concept. The proposed attack considers the watermarking channel as a "black-box". A host image was passed through the "black-box", which includes the watermarking embedding process, and then the watermarked image was produced The watermarked image is viewed as linear mixtures of unknown source signals, and we attempt to recover sources from their linear mixtures without resorting to any prior knowledge by using blind source separation theory. © 2002 IEEE.

关键词： Blind source separation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：