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

Workshops on Object-Oriented Technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Toward computational support for software process improvement activities 98

Toward computational support for software process improvemen...

引用

Proceedings of the 20th international conference on software engineering

作者： Keishi Sakamoto Kumiyo Nakakoji Yasunari Takagi Naoki Niihara Social Systems Business Group OMRON Corporation 2-2-1 Nishi-kusatsu Kusatsu Shiga 525 Japan Software Engineering Lab. SRA Inc. 3-12 Yotsuya Shinjuku Tokyo 160 Japan and Graduate School of Information Science NAIST 8916-5 Takayama-Cho Ikoma Nara 630-01 Japan

来源：评论

学校读者我要写书评

暂无评论

An optimal bandwidth allocation strategy for the delivery of compressed prerecorded video

引用

MULTIMEDIA systems 1997年第5期5卷 297-309页

作者： Feng, WC Jahanian, F Sechrest, S Software Systems Research Lab Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor Michigan USA e-mail: {wuchifarnamsechrest}@eecs.umich.edu. US

The transportation of prerecorded, compressed video data without loss of picture quality requires the network and video servers to support large fluctuations in bandwidth requirements. Fully utilizing a client-side buffer for smoothing bandwidth requirements can limit the fluctuations in bandwidth required from the underlying network and the video-on-demand servers. This paper shows that, for a fixed-size buffer constraint, the critical bandwidth allocation technique results in plans for continuous playback of stored video that have (1) the minimum number of bandwidth increases, (2) the smallest peak bandwidth requirements, and (3) the largest minimum bandwidth requirements. In addition, this paper introduces an optimal bandwidth allocation algorithm which, in addition to the three critical bandwidth allocation properties, minimizes the total number of bandwidth changes necessary for continuous playback. A comparison between the optimal bandwidth allocation algorithm and other critical bandwidth-based algorithms using 17 full-length movie videos and 3 seminar videos is also presented.

关键词： video-on-demand bandwidth allocation MPEG video compression smoothing

来源：评论

学校读者我要写书评

暂无评论

A blackboard architecture for integrated process planning/production scheduling

A blackboard architecture for integrated process planning/pr...

引用

ASME 1996 Design engineering Technical Conferences and Computers in engineering Conference, DETC-CIE 1996

作者： Laliberty, Thomas J. Hildum, David W. Sadeh, Norman M. McA'Nulty, John Kjenstad, Dag Bryant, Robert V.E. Smith, Stephen F. Software Engineering Laboratory Raytheon Electronic Systems TewksburyMA01876-0901 United States Intelligent Coordination and Logistics Lab Carnegie Mellon University PittsburghPA15213-3891 United States

ISBN: (纸本)9780791880494

As companies increase the level of customization in their products, move towards smaller lot production and experiment with more flexible customer/supplier arrangements such as those made possible by Electronic Data Interchange (EDI), they increasingly require the ability to quickly, accurately and competitively respond to customer requests for bids on new products and efficiently work out supplier/subcontractor arrangements for these new products. This in turn requires the ability to rapidly convert standard-based product specifications into process plans and quickly integrate process plans for new orders into the existing production schedule to best accommodate the current state of the manufacturing enterprise. This paper describes IP3S, an Integrated Process Planning/Production Scheduling (IP3S) Shell for Agile Manufacturing. The IP3S Shell is designed around a blackboard architecture that emphasizes (1) concurrent development and dynamic revision of integrated process planning/production scheduling solutions, (2) the use of a common representation for exchanging process planning and production scheduling information, (3) coordination with outside information sources such as customer and supplier sites, (4) mixed initiative decision support, enabling the user to interactively explore a number of tradeoffs, and (5) portability and ease of integration with legacy systems. The system is scheduled for initial evaluation in a large and highly dynamic machine shop at Raytheon's Andover manufacturing facility. © 1996 by ASME.

关键词： Production control

来源：评论

学校读者我要写书评

暂无评论

CRITICAL BANDWIDTH ALLOCATION FOR THE DELIVERY OF COMPRESSED VIDEO

引用

COMPUTER COMMUNICATIONS 1995年第10期18卷 709-717页

作者： FENG, WC SECHREST, S Software Systems Research Lab Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

The transportation of compressed video data without loss of picture quality requires the network to support large fluctuations in bandwidth requirements. These fluctuations can be smoothed, but straightforward approaches to smoothing can still suffer from excessive buffering requirements, poor buffer utilization and an excessive number of bandwidth changes. This paper introduces critical bandwidth allocation, which reduces the number of bandwidth changes to a very small number, and achieves the maximum effectiveness from client-side buffers. A comparison between critical bandwidth allocation algorithms and other smoothing algorithms is presented, the sensitivity of the algorithm to jitter is examined, and, implications for the design of network services are discussed.

关键词： VIDEO-ON-DEMAND BANDWIDTH ALLOCATION MPEG VIDEO COMPRESSION SMOOTHING

来源：评论

学校读者我要写书评

暂无评论

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE 28

Compositional adjustment of concurrent programs to satisfy t...

引用

28th Annual Hawaii International Conference on System Sciences, HICSS 1995

作者： Uchihira, N. Honiden, S. Systems and Software Engineering Lab R and D Center TOSHIBA Corporation 70 Yanagi-cho Saiwai-ku Kawasaki210 Japan

ISBN: (纸本)0818669306

Examines »program adjustment», a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite-state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e. imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. The target concurrent programming language, MENDEL, is based on a high-level Petri net. Adjusted programs can be compiled into the kernel language KL1 and executed on Multi-PSI. © 1995 IEEE.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Knowledge acquisition and integration on specification change-a method for systematic reuse

Knowledge acquisition and integration on specification chang...

引用

Asia-Pacific Conference on software engineering

作者： S. Matsuura S. Honiden Lab. for New Software Archit. Inf.-technology Promotion Agency Tokyo Japan Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan

Our research goal is to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existing program can be altered to meet the given specification change using the program derivation process from the specification. We consider what kinds of knowledge must be acquired when a specification is changed and how they have to be integrated so well as to implement our method on a computer system. In particular, we focus on the following points in terms of program synthesis. First, a wide spectrum language, Extended IML, defines a framework in which specifications, program and the elaborate derivation process can be expressed formally on a computer system. This forms a basic unit of reusable knowledge for specification change. Second, a reuse process is formulated in which a new requirement changes the efficient specification and its program is altered to meet this requirement correctly. Third, we consider some conditions and a mechanism by which the knowledge can be integrated so as to obtain an objective program automatically, implying that we will yet profit from reusing the knowledge.

关键词： Knowledge acquisition Programming Humans software architecture software engineering laboratories Artificial intelligence Problem-solving Knowledge representation Formal specifications

来源：评论

学校读者我要写书评

暂无评论

INTELLIGENT CONTROL FOR PROLOG

INTELLIGENT CONTROL FOR PROLOG

引用

计算机，通信，控制与电力工程国际会议

作者： Young K.Nam Kyusang Shin Software Development Automation Lab.Systems Engineering Research Institute/KIST Taejon Korea

We propose an extension to Prolog called the count term for controlling Prolog *** purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are *** analyze the possible meanings one might associate with the count *** possible replacement of cut and fail by the count term is *** ease of analysis of programs with count terms is discussed.

关键词： Prolog INTELLIGENT CONTROL FOR PROLOG

来源：评论

学校读者我要写书评

暂无评论

FRAMEWORK FOR FUZZY NEURAL NETWORKS

FRAMEWORK FOR FUZZY NEURAL NETWORKS

引用

1ST CONF ON SCIENCE OF ARTIFICIAL NEURAL NETWORKS

作者： IMASAKI, N KIJI, J ARAI, M Toshiba Systems and Software Engineering Lab. (Japan)

ISBN: (纸本)0819408751

This paper proposes fuzzy inference neural network (FiNN) as a framework for an incorporated system involving fuzzy theory and neural network theory. The FiNN is structured on a skeleton of specified fuzzy rules so that the FiNN can store the fuzzy rules smoothly. A FiNN system implements approximate inference from the fuzzy rules. There are three types for the structured parts, which are called `antecedent network,' or `conclusion network,' or `logic network.' Each structured part is a neural network component. Each neural network component executes an elementary function which is a part of an approximate inference procedure. The FiNN categorizes practical data by itself to generate learning samples for the conclusion networks. Membership functions in the antecedent networks are initialized by a priori knowledge, and modified by solving inverse problems of the logic network. A numerical example clarifies the applicability to the system identification.

关键词： Fuzzy logic Neural networks Logic Inverse problems Artificial neural networks Fuzzy systems System identification Data modeling Radon Statistical modeling

来源：评论

学校读者我要写书评

暂无评论

Plant control expert system coping with unforeseen events—model based reasoning using fuzzy qualitative reasoning 90

Plant control expert system coping with unforeseen events—m...

引用

Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1

作者： J. Suzuki N. Sueda Y. Gotoh A. Kamiya Systems and Software Engineering Lab. Toshiba Corp. 70 Yanagi-cho Saiwai-ku Kawasaki-city 210 Japan

ISBN: (纸本)9780897913720

An ordinary expert system controls a plant according to heuristics. So, it fails to control the plant for lack of heuristics if unforeseen events occur as a result of abnormal situations. We propose a new framework of model-based reasoning that can dynamically generate the knowledge for plant control against unforeseen events. This proposed framework consists of three functions: (a) generation of the goal state after recovery from the unforeseen events; (b) generation of knowledge for plant control; (c) prediction of process trend curves and estimation of the generated knowledge. In the proposed framework, various kinds of models which correspond to the fundamental knowledge about plant control are used. We have implemented a thermal power plant control expert system on the basis of this proposed framework. This paper describes the model-based reasoning mechanism of the experimental plant control expert system to realize each of three functions. Especially as for (c), this paper explains qualitative reasoning mechanism using fuzzy logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：