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

Special Issue on Variable Structure System Control — New Designs and Applications

Asian Journal of Control 2008年第4期5卷

作者： Prof. Jian-Xin Xu Prof. Leonid Fridman Department of Electrical and Computer Eng. National University of Singapore 4 Engineering Drive 3 Singapore 117576 Tel +65 6874-2566 Fax +65 6779-1103 Dr Jian-Xin Xu received his Bachelor degree from Zhejiang University China in 1982. He attended the University of Tokyo Japan where he received his Master's and Ph.D. degrees in 1986 and 1989 respectively. All his degrees are in Electrical Engineering. He worked for one year in the Hitachi research Laboratory Japan and for more than one year in Ohio State University U.S.A. as a Visiting Scholar. In 1991 he joined the National University of Singapore and is currently an associate professor in the Department of Electrical Engineering. His research interests lie in the fields of learning control variable structure control fuzzy logic control discontinuous signal processing and applications to motion control and process control problems. He is the associate editor of Asian Journal of Control member of TC on variable structure systems and sliding mode control of IEEE Control Systems Society and a senior member of IEEE. He has produced more than 90 peer-refereed journal papers near 160 technical papers in conference proceedings and authored/edited 4 books. Division de Estudios de Posgrado Facultad de Ingenieria National Autonomous University of Mexico DEP-FI UNAM Edificio “A” Circuito Exterior Ciudad Universitaria A. P. 70–256 C.P.04510 Mexico D.F. Mexico Tel +52 55 56223014 Fax +52 55 56161719 Dr. Leonid M. Fridman received his M.S in mathematics from Kuibyshev (Samara) State University Russia Ph.D. in Applied Mathematics from Institute of Control Science (Moscow) and Dr. of Science degrees in Control Science from Moscow State University of Mathematics and Electronics in 1976 1988 and 1998 respectively. In 1976–1999 Dr. Fridman was with the Department of Mathematics at the Samara State Architecture and Civil Engineering Academy Samara Russia. In 2000–2002 he was with the Department of Postgraduate Study and Investigations at the Chihuahu

来源：评论

学校读者我要写书评

暂无评论

Developing a computer science-specific learning taxonomy 07

Developing a computer science-specific learning taxonomy

引用

2007 Working Group Reports on ITiCSE on Innovation and Technology in computer science Education, ITiCSE-WGR 2007

作者： Fuller, Ursula Johnson, Colin G. Ahoniemi, Tuukka Cukierman, Diana Hernán-Losada, Isidoro Jackova, Jana Lahtinen, Essi Lewis, Tracy L. Thompson, Donna McGee Riedesel, Charles Thompson, Errol Computing Laboratory University of Kent CanterburyCT2 7NF United Kingdom Institute of Software Systems Tampere University of Technology Tampere Finland School of Computing Science Simon Fraser University BurnabyBC Canada Department of Lenguajes Y Sistemas Informáticos Universidad Rey Juan Carlos Madrid Spain Faculty of Management Science and Informatics University of Zilina Zilina Slovakia Department of Information Technology Radford University RadfordVA24142 United States Department of Learning Commons Simon Fraser University BurnabyBC Canada Department of Computer Science and Engineering University of Nebraska Lincoln 259 Avery Hall LincolnNE68588-0115 United States Massey University Wellington New Zealand

ISBN: (纸本)9781450378420

Bloom's taxonomy of the cognitive domain and the SOLO taxonomy are being increasingly widely used in the design and assessment of courses, but there are some drawbacks to their use in computer science. This paper reviews the literature on educational taxonomies and their use in computer science education, identifies some of the problems that arise, proposes a new taxonomy and discusses how this can be used in application-oriented courses such as programming.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

TRACKING CONTROL IN THE PRESENCE OF NONLINEAR DYNAMIC FRICTIONAL EFFECTS: ROBOT EXTENSION

引用

Asian Journal of Control 2008年第3期1卷

作者： M. Feemster D.M. Dawson A. Behal W. Dixon Matthew Feemster received the B.S degree in Electrical Engineering from Clemson University Clemson South Carolina in December 1994. Upon graduation he remained at Clemson University and received the M.S. degree in Electrical Engineering in 1997. During this time he also served as a research/teaching assistant. His research work focused on the design and implementation of various nonlinear control algorithms with emphasis on the induction motor and mechanical systems with friction present. He is currently working toward his Ph.D. degree in Electrical Engineering at Clemson University. Darren M. Dawson was born in 1962 in Macon Georgia. He received an Associate Degree in Mathematics from Macon Junior College in 1982 and a B.S. Degree in Electrical Engineering from the Georgia Institute of Technology in 1984. He then worked for Westinghouse as a control engineer from 1985 to 1987. In 1987 he returned to the Georgia Institute of Technology where he received the Ph.D. Degree in Electrical Engineering in March 1990. During this time he also served as a research/teaching assistant. In July 1990 he joined the Electrical and Computer Engineering Department and the Center for Advanced Manufacturing (CAM) at Clemson University where he currently holds the position of Professor. Under the CAM director's supervision he currently leads the Robotics and Manufacturing Automation Laboratory which is jointly operated by the Electrical and Mechanical Engineering departments. His main research interests are in the fields of nonlinear based robust adaptive and learning control with application to electro-mechanical systems including robot manipulators motor drives magnetic bearings flexible cables flexible beams and high-speed transport systems. Aman Behal was born in India in 1973. He received his Masters Degree in Electrical Engineering from Indian Institute of Technology Bombay in 1996. He is currently working towards a Ph.D in Controls and Robotics at Clemson University. His research focuses on the control of no

In this paper, we extend the observer/control strategies previously published in [25] to an n -link, serially connected, direct drive, rigid link, revolute robot operating in the presence of nonlinear friction effects modeled by the Lu-Gre model. In addition, we also present a new adaptive control technique for compensating for the nonlinear parameterizable Stribeck effects. Specifically, an adaptive observer/controller scheme is developed which contains a feedforward approximation of the Stribeck effects. This feedforward approximation is used in a composite controller/observer strategy which forces the average square integral of the position tracking error to an arbitrarily small value. Experimental results are included to illustrate the performance of the proposed controllers.

关键词： Friction compensation nonlinear control

来源：评论

学校读者我要写书评

暂无评论

Value-based design of software V&V processes for NASA flight projects

Value-based design of software V&V processes for NASA flight...

引用

AIAA Space 2007 Conference

作者： Madachy, Raymond Boehm, Barry Richardson, Julian Feather, Martin Menzies, Tim University of Southern California Los Angeles CA 90089 United States National Aeronautics and Space Administration AMES Research Center Moffett Field CA 94035 United States National Aeronautics and Space Administration Jet Propulsion Laboratories Pasadena CA 91109 United States West Virginia University Morgantown WV 26506 United States University of Southern California Center for Systems and Software Engineering SAL 328 941 W. 37th Place Los Angeles CA 90089 United States AIAA RIACS USRA NASA Ames Research Center Moffett Field CA 94035 United States Software Quality Assurance Office Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive Pasadena CA 91109-8099 United States West Virginia University Lane Department of Computer Science and Electrical Engineering PO Box 6109 Morgantown WV 26506 United States

ISBN: (纸本)1563479079

software risk advisory tools have been developed to support Verification and Validation (V&V) processes for NASA flight projects on the Constellation program. The Orthogonal Defect Classification COnstructive QUALity MOdel (ODC COQUALMO) predicts software defects introduced and removed classifying them with ODC defect types, allowing various tradeoff analyses. We have been exploring methods to design and optimize V&V processes with static and dynamic versions of the quality model by integrating it with different risk minimization techniques. These techniques allow "what-if" experimentation to determine the impact of V&V techniques on specific risks and overall flight risk. V&V techniques are quantified from a value-based perspective when the defect model is integrated with machine learning, strategic optimization and JPL's Defect Detection and Prevention (DDP) risk management method. Results to-date show that the automated methods are practical for flight projects to design higher value V&V processes in shorter time and with fewer resources.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Message passing over windows-based desktop grids

Message passing over windows-based desktop grids

引用

4th International Workshop on Middleware for Grid Computing (MGC'06) held at the ACM/IFIP/USENIX International Middleware Conference

作者： Queiroz, Carlos Netto, Marco A. S. Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)1595935819

Message Passing is a popular mechanism used to enable inter-process communication in parallel and distributed computing. Many complex scientific and engineering applications that are executed on clusters have been developed based on this communication model. Due to the huge amount of computing power being wasted in desktops, there is an increasing interest in using these computers to execute complex applications. However, most of the current middleware systems are aimed at executing only embarrassingly parallel applications, i.e. with no inter-process communication. Moreover, most existing middleware systems are based on Linux. Nevertheless, it is well-known that the desktop machines in the world are predominantly based on the Windows operating system. Hence, in this work we present the design implementation and evaluation performance of a Windows-based implementation of two message passing models, Message Passing Interface (MPI) and Bulk Synchronous Parallel (BSP), over the Alchemi Grid computing framework. © 2006 ACM.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Managing risk of inaccurate runtime estimates for deadline constrained job admission control in clusters

Managing risk of inaccurate runtime estimates for deadline c...

引用

ICPP 2006: 2006 International Conference on Parallel Processing

作者： Yeo, Chee Shin Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Vic. 3010 Australia

ISBN: (纸本)0769526365

The advent of service-oriented Grid computing has resulted in the need for Grid resources such as clusters to enforce user-specific service needs and expectations. Service Level Agreements (SLAs) define conditions which a cluster needs to fulfill for various jobs. An example of SLA requirement is the deadline by which a job has to be completed. In addition, these clusters implement job admission control so that overall service performance does not deteriorate due to accepting exceeding amount of jobs. However, their effectiveness is highly dependent on accurate runtime estimates of jobs. This paper thus examines the adverse impact of inaccurate runtime estimates for deadline constrained job admission control in clusters using the Earliest Deadline First (EDF) strategy and a deadline-based proportional processor share strategy called Libra. Simulation results show that an enhancement called LibraRisk can manage the risk of inaccurate runtime estimates better than EDF and Libra by considering the risk of deadline delay. © 2006 IEEE.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Automated analysis of natural language properties for UML models

引用

MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM

作者： Konrad, Sascha Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)3540317805

It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exacerbates this problem by propagating these errors automatically to design and code. This paper describes a round trip engineering process that supports the specification of a UML model using CASE tools, the analysis of specified natural language properties, and the subsequent model refinement to eliminate errors uncovered during the analysis. This process has been implemented in SPIDER, a tool suite that enables developers to specify and analyze a UML model with respect to behavioral properties specified in terms of natural language. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Model-based development of dynamically adaptive software 06

Model-based development of dynamically adaptive software

引用

28th International Conference on software engineering 2006, ICSE '06

作者： Zhang, Ji Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)1595933751

Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly during and after adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components. This paper introduces an approach to create formal models for the behavior of adaptive programs. Our approach separates the adaptation behavior and nonadaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection. We introduce a process to construct adaptation models, automatically generate adaptive programs from the models, and verify and validate the models. We illustrate our approach through the development of an adaptive GSM-oriented audio streaming protocol for a mobile computing application. Copyright 2006 ACM.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

COCA: A contract-based infrastructure for composing adaptive multimedia systems

COCA: A contract-based infrastructure for composing adaptive...

引用

26th IEEE International Conference on Distributed Computing systems Workshops, ICDCS 2006

作者： Zhou, Zhinan McKinley, Philip K. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)0769525415

Achieving acceptable quality of service in highly dynamic computing environments requires not only adaptation and reconfiguration of individual components of the system, but also collaboration among these components. To address these issues in adaptive multimedia applications, we propose COCA, a contract-based collaborative adaptation infrastructure. COCA uses contract specifications to describe the relationships among different system components, to generate code that realizes adaptive functionality, and to govern system-wide adaptive behavior during execution. COCA also provides a set of reusable adaptation services that enable legacy components to be integrated into an adaptive system. We demonstrate the use of COCA to construct an adaptive multimedia conferencing system from a collection of existing components that were not originally designed for interoperation. © 2006 IEEE.

关键词： Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Customizing aspect-oriented variabilities using generative techniques

Customizing aspect-oriented variabilities using generative t...

引用

18th International Conference on software engineering and Knowledge engineering, SEKE 2006

作者： Kulesza, Uirá Lucena, Carlos Alencar, Paulo Garcia, Alessandro Software Engineering Laboratory Computer Science Department PUC-Rio Brazil Computer Systems Group Computer Science Department University of Waterloo Canada Computing Department InfoLab 21 Lancaster University United Kingdom

ISBN: (纸本)9781627486606

With the emergence of aspect-oriented (AO) techniques, crosscutting concerns can be now explicitly modularized and exposed as additional variabilities in program families Hence, the development of highly customizable software family architectures requires the explicit handling of crosscutting variabilities through domain engineering and application engineering steps In this context, this paper presents a generative model that addresses the implementation and instantiation of variabilities encountered in AO software family architectures The use of our model allows for an early specification and preparation of AO variabilities, which in turn can be explicitly customized by means of domain engineering activities All the variabilities of the architecture are modeled using feature models In application engineering, developers can request an instance of the AO architecture in a process of two stages: (i) the definition of a feature model instance which specifies the resolution of variabilities for the AO family architecture;and (ii) the definition of a set of crosscutting relationships between features.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：