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

International Conference on Quality software

作者： S.A. Al-Maati K. Rekab Department of Computer Science State University of West Georgia Carrollton Georgia USA Center for Software Engineering Florida Institute of Technology Melbourne Florida USA

In any non trivial software system the reliability of the software cannot be determined exactly. Instead, we must apply statistical methods to create an estimate based on a sample of test cases. Our goal is, given a fixed total number of test cases, to determine how to allocate these test cases among the partitions of the software so as to minimize the variance incurred by the maximum likelihood estimator of the overall software reliability. In contrast to fixed sampling models, where the proportion of test cases taken from each partition is determined before reliability testing begins, we make allocation decisions dynamically throughout the testing process. We compare the results from the dynamic test allocation model with the optimal sampling model and demonstrate its strength with respect to the variance incurred when the overall system reliability is estimated by its maximum likelihood estimator both theoretically and through Monte Carlo simulations.

关键词： software testing software reliability System testing software systems Sampling methods Mathematical model Maximum likelihood estimation computer science software engineering Statistical analysis

来源：评论

学校读者我要写书评

暂无评论

Synthesizing distributed controllers for the safe operation of ConnectedSpaces

Synthesizing distributed controllers for the safe operation ...

引用

IEEE International Conference on Pervasive Computing and Communications (PerCom)

作者： B. Sridharan A.P. Mathur Kai-Yuan Cai Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette IN USA Department of Automatic Control Beijing Aeronautics and Astronautics University Beijing China

A collection of one or more devices, each described by its digital device manual and reachable over a network, is a ConnectedSpace. A set of safety policies may be enforced on a ConnectedSpace to ensure the safety of the environment in which the ConnectedSpace is deployed. The enforcement of these safety policies by one or more safely controllers governs the behavior of the devices within the ConnectedSpace. We propose a policy-based partitioning scheme for synthesizing k distributed safety controllers such that: (a) each device is guaranteed to be controlled by no more than two controllers, and (b) each policy is guaranteed to be enforced by exactly one controller. We present an experimental evaluation of our scheme. The experimental results show that the scheme is scalable with respect to the number of devices and the number of policies. We also show how safety controllers that are correct with respect to the policies, are synthesized using the theory of supervisory control.

关键词： Distributed control Safety devices Automatic control Medical services Aerospace electronics Aircraft navigation Communication system control Supervisory control Remote monitoring Hospitals

来源：评论

学校读者我要写书评

暂无评论

Design of nonlinear feedback voltage regulator for power systems by approximate solution of HJB equation

引用

IFAC Proceedings Volumes 2003年第7期36卷 205-210页

作者： Mahdi Jalili-Kharaajoo Ahmad Afshar Kaveh Moezzi-Madani Control & Intelligent processing Center of Excellence Department of Electrical and Computer Engineering University of Tehran P.O. Box 14395/515 Tehran Iran Tel: (+98-21) 8020403 Fax: (+98-21) 8778690 Electrical Engineering Department Amirkabir University of Technology Tehran Iran

Design of an optimal nonlinear state feedback voltage regulator for power systems is proposed in this paper. In order to obtain the nonlinear control law the Hamilton-Jacobi-Belman (HJB) equation is solved using Taylor series expansion of its nonlinear terms. The performance of the proposed controller in a single machine-infinite bus power system is simulated and the advantages of the nonlinear feedback controllers in some grounds like increasing the fault tolerance and domain of validity of the close-loop system are investigated. Also, the advantages of the proposed controller in the presence of some disturbances are shown. Simulation results reveal the effectiveness of the proposed controller.

关键词： Nonlinear control optimal control nonlinear feedback control power system voltage regulation

来源：评论

学校读者我要写书评

暂无评论

Digital Sliding Mode Position Control of an Induction Motor

引用

IFAC Proceedings Volumes 2003年第11期36卷 169-174页

作者： Mahdi Jalili Kharaajoo Hassan Ebrahimirad M.J. Yazdanpanah Batool Labibi Control & Intelligent processing Center of Excellence Department of Electrical and Computer Engineering University of Tehran P.O. Box 14395/515 Tehran IRAN K.N. Toosi University of Technology Tehran Iran

A sliding mode controller is employed to improve the robust performance of the position control of an induction motor in response to mechanical parameter uncertainty or load torque variations. In this paper a discrete-time sliding mode controller is proposed for an indirect-vector controlled induction motor. Using the proposed controller, the position control of an induction motor is designed and the effects of the parameter uncertainty and the load torque variations on the performance of the controller are investigated. Simulation results reveal the effectiveness of the proposed controller.

关键词： Discrete-time sliding mode control robust control induction motor position control

来源：评论

学校读者我要写书评

暂无评论

A simple neuro automatic voltage regulator for power systems

引用

IFAC Proceedings Volumes 2003年第7期36卷 211-215页

In this paper, a simple neuro-controller for power systems is presented. The controller performs the function of the terminal voltage control. By representing the proposed neuro-controller in s -domain, its parameters can be obtained analytically to ensure system stability. Results of simulation studies on a nonlinear third order generator model with the proposed neuro-controller using calculated parameters are given. Results of simulation studies demonstrate the effectiveness of this simple neuro-controller.

关键词： Neural control Automatic voltage regulator power system control

来源：评论

学校读者我要写书评

暂无评论

Protecting digital archives at the Greek orthodox archdiocese of America

Protecting digital archives at the Greek orthodox archdioces...

引用

DRM 2003: Proceedings of the Third ACM Workshop on Digital Rights Management

作者： Goldstein, Howard Heileman, Gregory L. Heileman, Mark D. Nicolakis, Theo Pizano, Carlos E. Prumo, Bianca Webb, Mitchell Center for Digital Imaging Inc. 4495 Grand Central Station New York NY 10163 Department of Electrical and Computer Engineering University of New Mexico Albuquerque NM 87131 Elisar Software Corp. 2500 Louisiana Blvd. NE Albuquerque NM 87110 Greek Orthodox Archdiocese of America 8 East 79th St. New York NY 10021 Elisar Software Corp.

ISBN: (纸本)1581137869

The Greek Orthodox Archdiocese of America (GOA) has amassed a rich and varied collection of artifacts associated with two thousand years of religious and historical tradition, as well as more than a century of chronicles in America. The items in this archive include iconography, art, photographs, letters, and other memorabilia. The GOA has endeavored to digitize these assets in order to preserve them, while at the same time make them more accessible for appropriate and beneficial uses. Specifically, the department of Internet Ministries at the GOA was tasked with overseeing this digitization effort, as well as with the creation of appropriate tools and technology for accessing the resulting digital archive. The challenges associated with this work included the wide diversity of media types, the need to attach specific restrictions to the use of different items, and the desire to provide a user experience that was transparent and not daunting or discouraging. At a fairly early stage it was de-termined that emerging digital rights management (DRM) capabilities would be necessary in order to realize the goals of the project. These capabilities, however, had to be implemented while accounting for a previously deployed digital asset management (DAM) and web publishing system, not to mention the existing IT infrastructure. This paper presents a case study that describes the efforts associated with the specification, creation, and deployment of an effective DRM system that incorporates rights enforcement technology, and works in synergy with the previously deployed DAM system at the GOA. Copyright 2003 ACM.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

An optimization framework for dynamic, distributed real-time systems

An optimization framework for dynamic, distributed real-time...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： K. Ecker D. Juedes L. Welch D. Chelberg C. Bruggeman F. Drews D. Fleeman D. Parrott B. Pfarr Department of Computer Science Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Center for Intelligent Distributed and Dependable Systems School of Electrical Engineering and Computer Science Ohio University Athens OH USA Real-Time Software Engineering Branch NASA Goddard Space Flight Center Baltimore MD USA

The paper presents a model that is useful for developing resource allocation algorithms for distributed real-time systems that operate in dynamic environments. Interesting aspects of the model include dynamic environments, utility and service levels, which provide a means for graceful degradation in resource-constrained situations and support optimization of the allocation of resources. The paper also provides an allocation algorithm that illustrates how to use the model for producing feasible, optimal resource allocations.

关键词： Real time systems Resource management NASA Satellites computer networks Space technology Geoscience computer science Sensor arrays Instruments

来源：评论

学校读者我要写书评

暂无评论

Feedback Linearization with Sliding Mode Control of Current and Arc Length in GMA W Systems

引用

IFAC Proceedings Volumes 2003年第11期36卷 541-545页

作者： Hassan Ebrahimirad Mahdi Jalili Kharaajoo M.J. Yazdanpanah Batool Labibi Control & Intelligent processing Center of Excellence Department of Electrical and Computer Engineering University of Tehran P.O. Box 14395/515 Tehran IRAN K.N. Toosi University of Technology Tehran Iran

In this paper a model based nonlinear controller for a Gas Metal Arc Welding (GMAW) system is designed. The controller uses nonlinear state feedback to exactly linearize and decouple the GMAW system. The linearized system is then controlled using model reference sliding mode controllers. The effect of parameter uncertainty over the closed loop system performance is investigated and simulation results show the effectiveness of the proposed controller.

关键词： Nonlinear control feedback linearization model reference sliding mode control Gas Metal Arc Welding system

来源：评论

学校读者我要写书评

暂无评论

Cyber warfare peacekeeping

Cyber warfare peacekeeping

引用

Proceedings of the Annual IEEE SMC Information Assurance Workshop (IAW)

作者： T.P. Cahill K. Rozinov C. Mule Department of Computer and Information Science Polytechnic University Brooklyn NY USA SFS Scholar in the Center of Excellence for Information Assurance Department of Computer and Information Science Polytechnic University Brooklyn NY USA Science and Engineering 2002 Scholar in the Department of Computer and Information Science Polytechnic University Brooklyn NY USA

We define and analyze a new concept in the field of cyber warfare - cyber warfare peacekeeping. We identify that in some parts of the world low intensity cyber warfare has been conducted for over three years. The PRC and Taiwan (among others) have established independent elements in their armed forces devoted to cyber warfare. Recent events have shown that cyber warfare would have devastating effects well beyond the boundaries of the combatants. Such a war would have to be brought to an immediate conclusion and most likely would require a "peacekeeping" capability and agency. We identify the various current definitions of cyber warfare and its comparisons to traditional ("kinetic") warfare. We then examine the notion of peacekeeping from its initiation in the SO's by the UN to the "robust" or proactive peacekeeping developed in the 90 's principally in reaction to situations in Somalia, Bosnia, Kosovo, Sierra Leone and East Timor. We then suggest some principles of cyber warfare peacekeeping and discuss possible practices and technologies to support such an activity. Finally we describe a cyber warfare peacekeeping laboratory workbench, some early experiments and development concepts and some next steps.

关键词： Military computing Information science Telephony computer hacking computer networks Partial response channels Kinetic theory Robustness Peace technology Laboratories

来源：评论

学校读者我要写书评

暂无评论

KNOWLEDGE SUPERVISED PERCEPTUAL GROUPING BASED QUALITATIVE BUILDING DETECTION FROM MONOCULAR AERIAL IMAGES

引用

International Journal on Artificial Intelligence Tools 2003年第1期12卷 57-79页

作者： ZHONGFEI (MARK) ZHANG ROHINI K. SRIHARI Computer Science Department Watson School of Engineering and Applied Science State University of New York at Binghamton Binghamton NY 13902 - 6000 USA Center of Excellence for Document Analysis and Recognition State University of New York at Buffalo Buffalo NY 14228 - 2567 USA

This paper addresses an important and practical problem in computer vision and pattern recognition — qualitative target detection from aerial images. In particular, it discusses the problem of qualitative building detection based on a monocular aerial image. The approach proposed, due to its independence of site models or camera calibration information, complements the model based approaches developed in the rest of the research community of building detection from aerial images. Specifically, a knowledge supervised perceptual grouping (KSPG) system based on reinvestigation, and hypothesis generation and verification, is presented, and is shown to be reasonably robust in experiments using real data.

关键词： Qualitative building detection knowledge supervised perceptual grouping reinvestigation hypothesis generation and verification distance map dynamic matching

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：