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

An inductive learning algorithm based on regression analysis

systems and Computers in Japan 1998年第3期28卷

作者： Hiroshi Tsukimoto Chie Morita Nobuhiro Shimogori Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation 70 Yanagi Saiwai Kawasaki Japan 210

There are two types of learning. One is symbol learning such as inductive learning in artificial intelligence and the other is pattern learning such as multivariate analysis and neural networking. This paper presents an inductive learning algorithm which obtains propositions whose errors are at a minimum. The algorithm is based on regression analysis and works better than C4.5. The algorithm consists of preprocessing data, obtaining linear functions by multiple regression analysis, and approximating the functions with Boolean theory. Approximating linear functions with Boolean theory is a pseudo maximum likelihood method and regression is the least square method. They are the principles of pattern learning, and so an algorithm for symbolic learning can be obtained by these principles. © 1997 Scripta Technica, Inc. Syst Comp Jpn, 28(3): 62–70, 1997

关键词： inductive learning symbolic learning pattern learning regression analysis Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Error repair and knowledge acquisition via case-based reasoning (reprinted from J Japan Soc Artif Intell, vol 9)

引用

ARTIFICIAL INTELLIGENCE 1997年第1期91卷 85-101页

作者： Kohno, T Hamada, S Araki, D Kojima, S Tanaka, T [∗]Systems ana Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki-shi 2 Currently: Social Automation Systems Division Toshiba Corporation 70 Yanagicho Saiwai-ku Kawasaki-shi 2 Japan

To cope with the knowledge acquisition bottleneck, the authors propose a new architecture combining rule-based reasoning (RBR), case-based reasoning (CBR) and knowledge acquisition technology in a system which solves pattern search problems. The RBR part searches for specified patterns in a large space represented by a network structure such as an LSI circuit diagram, which contains a great number of patterns and variations. It then carries out specified actions, such as fault diagnosis, on the patterns that are found. The outputs of the RBR part are transferred to the CBR part. The user of the system detects and repairs a few pattern detection errors caused by the RBR part. The CBR part detects and repairs all remaining errors which can be estimated from the user detected ones. The repaired results are sent back to the RBR part to recover the RBR output. The repaired results are also stored automatically in the case base, Similar cases are grouped in a same case family. The knowledge acquisition part relates each case family to an incomplete rule in the RBR knowledge base and proposes modifying the rule. Eventually, the system can obtain refined rules with the cooperation of domain experts. Thus, the problem solving process and knowledge acquisition process are performed cyclically. The architecture was successfully applied to a pair condition extraction problem for an analog LSI circuit layout system. (C) 1997 Elsevier Science B.V.

关键词： knowledge acquisition knowledge refinement case-based reasoning rule-based reasoning error repair pattern search LSI circuit layout

来源：评论

学校读者我要写书评

暂无评论

Modeling Methodology for systems with Ambiguity and Uncertainty

引用

IFAC Proceedings Volumes 1997年第1期30卷 381-386页

作者： Naoki Imasaki Satoshi Sekine Sekine Mizutani Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation Japan

This paper discusses a modeling methodology for systems that contain ambiguity or uncertainty. Models built by the methodology are expected to handle the ambiguity and adapt to the uncertainty. The methodology is simple and versatile so that it can be applied to the description of various system architectures; e.g. multi-layered perceptron, fuzzy neural networks and so forth. A description language and a design tool that employ the method are also introduced.

关键词： Modeling Fuzzy logic Neural networks software tools

来源：评论

学校读者我要写书评

暂无评论

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

引用

JOURNAL OF systems AND software 1996年第3期33卷 207-221页

作者： Uchihira, N Honiden, S Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

In this paper, we examine ''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 computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Experiences of software quality management using metrics through the life-cycle

Experiences of software quality management using metrics thr...

引用

International Conference on software engineering (ICSE)

作者： H. Ogasawara A. Yamada M. Kojo Systems and Software Engineering Laboratory Ftesearch and Development Center Toshiba Corporation Kawasaki Kanagawa Japan

Many software quality metrics to objectively grasp software products and process have been proposed in the past decades. In actual projects, quality metrics has been widely applied to manage software quality. However, there are still several problems with providing effective feedback to intermediate software products and the software development process. We have proposed a software quality management using quality metrics which are easily and automatically measured. The purpose of this proposal is to establish a method for building in software quality by regularly measuring and reviewing. The paper outlines a model for building in software quality using quality metrics, and describes examples of its application to actual projects and its results. As the results, it was found that quality metrics can be used to detect and remove problems with process and products in each phase. Regular technical reviews using quality metrics and information on the change of the regularly measured results was also found to have a positive influence on the structure and module size of programs. Further, in the test phase, it was found that with the proposed model, the progress of corrective action could be quickly and accurately grasped.

关键词： software quality Quality management software measurement Project management Feedback Programming Proposals Application software Phase detection Size measurement

来源：评论

学校读者我要写书评

暂无评论

Reuse of design processes based on domain analysis

Reuse of design processes based on domain analysis

引用

International Conference on software Reuse

作者： M. Natori A. Kagaya S. Honiden Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation Kawasaki Japan

The paper presents a technique for reusing design processes which aims at facilitating software reuse. The authors have constructed a specification reuse model based on two major ideas. One is to extract domain specific specification parts, and the other is to reuse design processes represented by reuse histories. In addition, a domain analysis method is proposed to construct the specification reuse model. This model has been evaluated through experimental applications. The results show that the model facilitates software reuse, and that the domain analysis clarifies the application scope of the model. Applicability of our model to other domains is also discussed.

关键词： Process design History Application software Design engineering Marketing and sales software quality systems engineering and theory Supercapacitors Data mining Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Dynamic link matching for multiple object recognition

Dynamic link matching for multiple object recognition

引用

International Conference on Pattern Recognition

作者： H. Umeki H. Mizutani RWCP Neural Systems Toshiba Laboratory in Systems and Software Engineering Laboratory Research & Development Center Toshiba Corporation Kawasaki Japan

We present an extended version of dynamic link matching for the recognition of all objects similar to a stored model. With a given complex image containing multiple objects, our system can detect all of those matched with a model regardless of their type of geometric transformation and distortion. This is achieved by allowing simultaneous strengthening of multiple bundles of interlayer links (dynamic links) when local features in the model have more than one counterpart in the image layer. To extract the matched regions, in which dynamic links are established as geometrically invariant mappings, we propose a neural system based on edge dynamics in the edge-mapping parameter space.

关键词： Object recognition Face recognition Laboratories Object detection Pattern recognition Neurons software engineering Research and development Solid modeling Computer vision

来源：评论

学校读者我要写书评

暂无评论

Object recognition by dynamic link matching with multiple blob formation

Object recognition by dynamic link matching with multiple bl...

引用

International Workshop on Neural Networks for Identification, Control, Robotics, and Signal/Image Processing

作者： H. Umeki H. Mizutani RWCP Neural Systems Toshiba Laboratory in Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation Kawasaki Japan

We present a one-to-many object matching system based on neural dynamic link architecture. When an input image containing multiple objects is given, if some of them are similar to a stored model, the system can establish geometric transformation-invariant mappings between the model and the corresponding object regions in the input image. This can be achieved by extending the fast dynamic link matching (FDLM) algorithm to allow multiple blob formation. Numerical simulations of neural layer dynamics indicate that multiple blobs can be developed where the layer input is sufficiently strong against the background level. To extract matched regions from the input layer, we consider each neural layer as a graph and introduce another neural system based on local edge mappings. This system can roughly detect the matched regions with neighborhood-preserving mappings without global cost functions.

关键词： Object recognition Pattern matching Laboratories Solid modeling Numerical simulation Neurons Face recognition software engineering Research and development Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Experiences of software quality management using metrics through the life-cycle 96

Experiences of software quality management using metrics thr...

引用

Proceedings of the 18th international conference on software engineering

作者： Hideto Ogasawara Atsushi Yamada Michiko Kojo Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki Kanagawa 210 Japan

ISBN: (纸本)9780818672460

关键词： programs software metrics program testing automatic measurement problem removal problem detection test phase life-cycle software quality metrics software development process software quality management software development management software quality regular technical reviews software products corrective action

来源：评论

学校读者我要写书评

暂无评论

An approach to reverse quality assurance with data-oriented program analysis

An approach to reverse quality assurance with data-oriented ...

引用

1995 Asia Pacific software engineering Conference, APSEC 1995

作者： Kataoka, Y. Hirayama, M. Okayasu, J. Fukaya, T. Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Kawasaki210 Japan

ISBN: (纸本)0818671718

The paper describes a quality assurance approach for source code to assure source code quality with less effort than conventional method. The paper introduces the data relation tracking method (DRTM) as a practical instance of data oriented program analysis, a key factor of our new quality assurance approach. DRTM helps comprehension of the source code by extracting the internal logic of the source code in declarative notation. An example and evaluation of DRTM for the C language is also described. The example shows that DRTM can deal in data structures and inter-data relations of any control structure. The evaluation shows that DRTM can extract the internal logic of the source code uniquely and that the extracted internal logic is useful for quality assurance of the source code. © 1995 IEEE.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：