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

Minds and Machines 1996年第2期6卷 239-285页

作者： Abbott, Barbara Herskovits, Annette Peterson, Philip L. Mele, Alfred R. Cole, David J. Crevier, Daniel Pelletier, Francis Jeffry Berkeley, Istvan S. N. Kitts, Brendan J. Brown, Mike Paliouras, George Department of Linguistics and Languages Michigan State University East Lansing USA Department of Philosophy Michigan State University East Lansing USA Program in Applied Linguistics Boston University Boston USA Department of Philosophy Syracuse University Syracuse USA Department of Philosophy Davidson College Davidson USA Department of Philosophy University of Minnesota Duluth USA Department of Electrical Engineering École de Technologie Supérieure Université du Québec Montréal Canada Department of Philosophy University of Alberta Edmonton Canada Department of Computing Science University of Alberta Edmonton Canada Biological Computation Project University of Alberta Edmonton Canada Center for Complex Systems Brandeis University Waltham USA Department of Computer Science University of Manchester Manchester U.K.

来源：评论

学校读者我要写书评

暂无评论

An efficient trust region method for unconstrained discrete-time optimal control problems

引用

Computational Optimization and Applications 1995年第1期4卷 47-66页

作者： Coleman, Thomas F. Liao, Aiping Computer Science Department Cornell University Ithaca 14853 New York United States Advanced Computing Research Institute and Center for Applied Mathematics Cornell University Ithaca 14853 New York United States

Discrete-time optimal control (DTOC) problems are large-scale optimization problems with a dynamic structure. In previous work this structure has been exploited to provide very fast and efficient local procedures. Two examples are the differential dynamic programming algorithm (DDP) and the stagewise Newton procedure-both require only O(N) operations per iteration, where N is the number of timesteps. Both exhibit a quadratic convergence rate. However, most algorithms in this category do not have a satisfactory global convergence strategy. The most popular global strategy is shifting: this sometimes works poorly due to the lack of automatic adjustment to the shifting element. In this paper we propose a method that incorporates the trust region idea with the local stagewise Newton's method. This method possesses advantages of both the trust region idea and the stagewise Newton's method, i.e., our proposed method has strong global and local convergence properties yet remains economical. Preliminary numerical results are presented to illustrate the behavior of the proposed algorithm. We also collect in the Appendix some DTOC problems that have appeared in the literature. © 1995 Kluwer Academic Publishers.

关键词： discrete-time optimal control stagewise Newton's method trust region method

来源：评论

学校读者我要写书评

暂无评论

REASONING ABOUT OBJECT SYSTEMS IN VTLoE

引用

International Journal of Foundations of computer science 1995年第3期6卷 265-298页

作者： IAN MASON CAROLYN TALCOTT Department of Applied Computing and Mathematics University of Tasmania at Launceston Launceston Tasmania 7250 Australia Computer Science Department Stanford University Stanford CA 94305 USA

VTLoE (Variable Type Logic of Effects) is a logic for reasoning about imperative functional programs inspired by the variable type systems of Feferman. The underlying programming language, λ mk , extends the call-by-value lambda calculus with primitives for arithmetic, pairing, branching, and reference cells (mutable data). In VTLoE one can reason about program equivalence and termination, input/output relations, program contexts, and inductively (and co-inductively) define data structures. In this paper we present a refinement of VTLoE. We then introduce a notion of object specification and establish formal principles for reasoning about object systems within VTLoE. Objects are self-contained entities with local state. The local state of an object can only be changed by action of that object in response to a message. In λ mk objects are represented as closures with mutable data bound to local variables. A semantic principle called simulation induction was introduced in our earlier work as a means of establishing equivalence relations between streams, object behaviors, and other potentially infinite structures. These are formulated in VTLoE using the class apparatus. The use of these principles is illustrated by validating a variety of basic tranformation rules.

关键词： Functional Imperative Object Simulation induction Contextual assertion VTLoE

来源：评论

学校读者我要写书评

暂无评论

Information theory and noisy computation

Information theory and noisy computation

引用

IEEE International Symposium on Information Theory

作者： W.S. Evans L.J. Schulman Department of Computer Science University of British Columbia Canada Science College of Computing Technology Department of Applied Mathematics Georgia Institute of Technology USA

We report on two types of results. The first is a study of the rate of decay of information carried by a signal which is being propagated over a noisy channel. The second is a series of lower bounds on the depth, size, and component reliability of noisy logic circuits which are required to compute some function reliably. The arguments used for the circuit results are information-theoretic, and in particular, the signal decay result is essential to the depth lower bound. Our first result can be viewed as a quantified version of the data processing lemma, for the case of Boolean random variables.

关键词： Information theory Circuit noise Logic circuits Boolean functions Mutual information Reliability theory computer science Data processing Random variables Logic gates

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic and knowledge representation in a symbolic-subsymbolic architecture

Fuzzy logic and knowledge representation in a symbolic-subsy...

引用

International Conference on Neural Networks

作者： S.K. Tang T.S. Dillon R. Khosla Expert & Intelligent Systems Laboratory Applied Computing Research Instituteand Department of Computer Science and Computer Engineering La Trobe University Bundoora VIC Australia

In this paper, we show the relevance of fuzzy systems in an integrated symbolic and subsymbolic architecture for information processing. We also show how fuzzy logic can be used to represent knowledge in the integrated architecture. We end up with an integrated architecture of knowledge based, connectionist and fuzzy systems for information processing and knowledge modelling. The integrated information processing architecture assists the problem solver in determining the relevance of the three computational paradigms, and their strategy for integrating them in problem solving.

关键词： Fuzzy logic Knowledge representation Information processing computer architecture Fuzzy systems Problem-solving

来源：评论

学校读者我要写书评

暂无评论

Knowledge modeling in integrated symbolic-connectionist systems

Knowledge modeling in integrated symbolic-connectionist syst...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： R. Khosla T. Dillon Expert and Intelligent Systems Laboratory Applied Computing Research Institute Department of Computer Science and Computer Engineering La Trobe University Melbourne VIC Australia

Knowledge based systems, fuzzy systems, and artificial neural networks (ANN) are the three most widely used computational paradigms for emulating different aspects of human cognition like information processing, knowledge representation, and learning. A proper integration of these three paradigms can help to realize powerful problem solving strategies especially for large data intensive domains. In this direction we have developed a generic architecture for integration of symbolic (knowledge based and fuzzy) and connectionist (ANN) systems for large, data intensive domains at the task structure level, computational (symbol) level, and the program level. In this paper we outline the knowledge modeling aspects of the integrated symbolic (knowledge based and fuzzy)-connectionist architecture. The knowledge content of the architecture can facilitate a problem solver in modeling the knowledge required for using as well as integrating the three intelligent paradigms.

关键词： Artificial neural networks computer architecture Fuzzy systems Power system modeling Knowledge based systems computer networks Humans Cognition Information processing Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Splitters and near-optimal derandomization

Splitters and near-optimal derandomization

引用

Annual IEEE Symposium on Foundations of computer science

作者： M. Naor L.J. Schulman A. Srinivasan Department of Applied Mathematics and Computer Science Weizmann Institute of Science Israel Department of Apllied Mathematics and Computer Science Weizmann Institute of Science Israel Georgia Inst. Technology College of Computing Georgia Institute of Technology Atlanta GA USA Department of Information Systems & Computer Science National University of Singapore Singapore

We present a fairly general method for finding deterministic constructions obeying what we call k-restrictions; this yields structures of size not much larger than the probabilistic bound. The structures constructed by our method include (n,k)-universal sets (a collection of binary vectors of length n such that for any subset of size k of the indices, all 2/sup k/ configurations appear) and families of perfect hash functions. The near-optimal constructions of these objects imply the very efficient derandomization of algorithms in learning, of fixed-subgraph finding algorithms, and of near optimal /spl Sigma/II/spl Sigma/ threshold formulae. In addition, they derandomize the reduction showing the hardness of approximation of set cover. They also yield deterministic constructions for a local-coloring protocol, and for exhaustive testing of circuits.

关键词： computer science Circuit testing Mathematics Protocols Engineering profession Information systems Contracts Educational institutions Boosting Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

A multi-level approach to the transport of MPEG-coded video over ATM and some experiments

A multi-level approach to the transport of MPEG-coded video ...

引用

Proceedings of GLOBECOM '95

作者： S. Singh S.-S. Chan Department Computer Science and Computer Engineering and Applied Computing Research Institute La Trobe University Melbourne VIC Australia Systems Engineer Hewlett-Packard Far East Private Limited Singapore

The CCITT (ITU-IT) has decided that the B-ISDN services of the future will be supported by asynchronous transfer mode (ATM), since it can offer the benefits of statistical multiplexing to bursty traffic, thus bringing down costs. There has been a considerable body of research done on the problem of congestion control in ATM networks, and several different approaches have been investigated. A four-level approach is proposed to the very specific problem of transporting MPEG encoded real-time video over ATM, and it is argued that this is consistent with current research results and directions. Then, using a real video source and the simplest option in the MPEG standard, the intra-frame coding, we experimentally evaluate alternatives for the implementation of the lower three levels, and show that the approach appears feasible.

关键词： Asynchronous transfer mode Streaming media MPEG standards Quality of service Communication system traffic control computer science Australia Systems engineering and theory Control systems B-ISDN

来源：评论

学校读者我要写书评

暂无评论

Output regulation for linear discrete-time systems subject to input saturation

Output regulation for linear discrete-time systems subject t...

引用

IEEE Conference on Decision and Control

作者： R. Mantri A. Saberi Z. Lin A.A. Stoorvogel School of Electrical Engineering and Computer Science Washington State University Pullman WA USA Department of Applied Mathematics and Statistics Suny at Stony Brook Stony Brook NY USA Department of Mathematics and Computing Science Eindhovan University of Technology Eindhoven Netherlands

The purpose of this paper is to examine the problem of controlling a linear discrete-time system subject to input saturation in order to have its output track (or reject) a family of reference (or disturbance) signals produced by some external generator. It is shown that a semi-global framework, rather than a global framework, for this problem is a natural one. Within this framework, a set of solvability conditions are given and feedback laws which solve the problem are constructed. The theory developed in this paper parallels the one we developed earlier (1996) for the continuous-time system.

关键词： Control systems Regulators Feedback Linear systems Mathematics Signal generators computer science Statistics Surges Hydraulic actuators

来源：评论

学校读者我要写书评

暂无评论

SOLUTION OF POWER-SYSTEM PROBLEMS THROUGH THE USE OF THE OBJECT-ORIENTED PARADIGM

引用

INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS 1994年第3期16卷 157-165页

作者： DILLON, TS CHANG, E Expert and Intelligent Systems Laboratory Applied Computing Research Institute Australia Department of Computer Science and Computer Engineering La Trobe University Bundoora Vic 3083 Australia

The paper presents a description of the state of the art of the application of object-oriented systems to power system problems. It presents a brief resume of the object-oriented concepts. It examines the application in three areas, namely: traditional software applications, database systems and knowledge-based systems. It also looks at all three stages of the use of object-oriented models in these three areas. The three stages are the conceptual model, the software structure model and the implementation model. It provides a set of conclusions as to future areas of applications of the object-oriented paradigm to power systems applications.

关键词： SOFTWARE ENGINEERING DATABASES KNOWLEDGE-BASED SYSTEMS AND OBJECT-ORIENTED SYSTEMS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：