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

International Joint Conference on neural Networks (IJCNN)

作者： T. Shimada K. Nishimura K. Haruki Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan

A self-organizing method for neural networks is proposed. This method reduces the calculation for learning considerably, and can be applied to real application problems, where many samples must be treated. The method has been applied to handwritten digit recognition. Samples incorrectly recognized have been reduced to 1/4 (learning data) or 2/3 (unknown data), compared with the multiple similarity method, which is a conventional statistical pattern classification method.< >

关键词： Handwriting recognition neural networks Pattern classification Neurons Application software Pattern recognition Image recognition Large-scale systems software engineering Character recognition

来源：评论

学校读者我要写书评

暂无评论

AN AUTOMATIC DEBUGGING APPROACH FOR LOGIC PROGRAMMING WITH A METHOD FOR PROPAGATING CONSTRAINTS 15

AN AUTOMATIC DEBUGGING APPROACH FOR LOGIC PROGRAMMING WITH A...

引用

15TH ANNUAL INTERNATIONAL COMPUTER software AND APPLICATIONS CONF ( COMPSAC 91 )

作者： FUKAYA, T NAGATA, M Systems and Software Engineering Laboratory Toshiba Co. 70 Yanagi-cho Kawasaki 210 Japan Dept. of Administration Engineering Faculty of Science and Technology Keio University 3-14-1 Hiyoshi Yokohama 223 Japan

ISBN: (纸本)0818621524

Focusing logic programming, we propose a practical method for verifying and debugging large programs invoking many subprograms. If a programmer gives a few simple constraints on arguments of the top level program, then our approach automatically verifies that these constraints hold with a method for propagating constraints to its subprograms. Using both propagated constraints and recursive structure of programs, our method verifies the correctness of these constraints with an inductive method. Moreover, when there exists a constraint which can not hold, our approach shows debugging information on the program. We have implemented a verifying and debugging system for Prolog programs based on our method. Some experimental results are described. We also discuss issues applying our method to other programming language paradigms. © 1991 IEEE.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME systems 3rd

引用

3RD EUROPEAN software engineering CONF ( ESEC 91 )

作者： HONIDEN, S UCHIHIRA, N ITOH, K Systems and Software Engineering Laboratory Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan Faculty of Science and Technology Sophia University 7-1. Kioi-cho Chiyoda-ku Tokyo 102 Japan

ISBN: (纸本)3540547428

This paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in Object-Oriented Performance Design (OOPD) for real-time systems. A prototyping process is composed of three steps: Prototype construction, Prototype execution, and Prototype evaluation. The authors present the following artificial intelligence based methods and tools to be applied to each step. In the prototype construction step, a rapid construction mechanism, using reusable software components, is implemented based on the planning method. In the prototype execution step, a hybrid inference mechanism is used to execute the constructed prototype which is described in declarative knowledge representation. In the prototype evaluation step, an expert system, which is based on qualitative reasoning, is implemented to detect and diagnose bottlenecks and generate an improvement plan for them. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network

Qualitative reasoning-based parameter tuning on bottleneck o...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： K. Itoh S. Honiden K. Shida T. Konno Natural Sciences Center Sophia University Tokyo Japan Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

The qualitative method is proposed for parameter tuning of synchronized queuing network bottlenecks (SQN). The bottleneck diagnosis expert system for SQN (BDES-S) can carry out parameter tuning in order to diagnose and improve bottlenecks of SQN. BDES-S can produce several alternative qualitative improvement plans for the bottleneck. BDES-S is a novel system for applying the qualitative reasoning to the SQN.< >

关键词： Network servers Circuit optimization software engineering Laboratories Performance analysis Personnel Throughput Cloning

来源：评论

学校读者我要写书评

暂无评论

Application of a neural network to automatic gray level adjustment for medical images

Application of a neural network to automatic gray level adju...

引用

International Joint Conference on neural Networks (IJCNN)

作者： A. Ohhashi S. Yamada K. Haruki H. Hatano K. Nishimura Y. Fujii K. Yamaguchi H. Ogata Medical Engineering Laboratory Toshiba Corporation Otawara Tochigi Japan Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan Toshiba Information Systems Corporation Kawasaki Kanagawa Japan Toshiba Medical Engineering Company Limited Otawara Tochigi Japan Department of Radiology Toshiba Central Hospital Shinagawa Tokyo Japan

The authors have developed a system to automatically adjust the gray level of magnetic resonance (MR) images using a neural network. The gray level of an MR image is adjusted by setting the display window (gray-level) width and level (WWL). The authors define an index, EW, for the evaluation of displayed image clarity, and they prove its effectiveness. They use a neural network to learn the relationship between image histogram features and displayed image clarity. The authors calculated image clarity using the NN, performed two-stage searching, and determined the best possible WWL. They also evaluated the WWL adjusted by the system using the clarity index, EW.< >

关键词： neural networks Biomedical imaging Humans Biological neural networks Displays Histograms Education Biomedical engineering Signal design System testing

来源：评论

学校读者我要写书评

暂无评论

An automatic debugging approach for logic programming with a method for propagating constraints

An automatic debugging approach for logic programming with a...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： T. Fukaya M. Nagata Systems & Software Engineering Laboratory Toshiba Company Limited Kawasaki Japan Department of Administration Engineering Faculty of Science & Technology Keio University Yokohama Japan

Focusing on logic programming, a practical method is proposed for verifying and debugging large programs invoking many subprograms. If a programmer gives a few simple constraints on arguments of the top-level program, then the approach automatically verifies that these constraints hold with a method for propagating constraints to its subprograms. Using both propagated constraints and recursive structure of programs, the method verifies the correctness of there constraints with an inductive method. Moreover, when these exists a constraint which can not hold, the approach shows debugging information on the program. The authors have implemented a verifying and debugging system for Prolog programs based on their method. Some experimental results are described.< >

关键词： Debugging Logic programming Writing Programming profession Computer bugs software engineering Laboratories Automatic logic units Computer languages Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Parameter value computation by least square method and evaluation of software availability and reliability at service-operation by the hyper-geometric distribution software reliability growth model (HGDM) 91

Parameter value computation by least square method and evalu...

引用

Proceedings of the 13th international conference on software engineering

作者： Raymond Jacoby Yoshihiro Tohma TOSHIBA Corporation Systems & Software Engineering Laboratory Saiwat-ku Kawasaki-shi 210 Japan and Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo

来源：评论

学校读者我要写书评

暂无评论

An application of structural modeling and automated reasoning to real-time systems design

引用

Real-Time systems 1990年第4期1卷 313-331页

作者： Honiden, Shinichi Uchihira, Naoshi Matsumoto, Kazunori Matsumura, Kazuo Arai, Masahiko Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki 210 70 Yanagi-cho Saiwai-ku Japan

This paper presents an application of structural modeling and automated reasoning as a software development environment for real-time systems. This application satisfies two major requirements for such an environment: (1) to synthesize an absolutely correct program and, (2) to increase software productivity. The real-time systems, which consist of concurrent programs, are described by a Prolog based concurrent object-oriented language, called MENDEL/87. As a typical concurrent program consists of two parts: functional and synchronization parts;the functional part in the reusable component to be registered in a library will be generated by a structural modeling through the use of structuring functions with respect to data flows. The synchronization part will be synthesized from temporal logic specifications by the use of an automated reasoning mechanism. This paper also describes the MENDELS ZONE implemented on a Prolog machine, which is the working base for the presented application method. © 1990 Kluwer Academic Publishers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

POWER-SYSTEM VOLTAGE CONTROL BY DISTRIBUTED EXPERT systems

引用

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 1990年第3期37卷 236-240页

作者： MATSUDA, S OGI, H NISHIMURA, K OKATAKU, Y TAMURA, S Artificial Intelligence Technology Department Computer and Communication Research Center Tokyo Electric Power Company Limited Japan Systems and Software Engineering Laboratory Toshiba Corporation Japan

A case study of the application of a distributed control scheme to a power system control is presented. In addition, an investigation has been conducted into voltage control. Combined injection of VAr-compensating devices controlled by distributed expert systems has been proposed as a measure to maintain voltage stability in a power system under heavy loading conditions. A simulation study has been carried out by using five workstations that represent a power system and four VAr-compensating devices. The results demonstrate the effectiveness of the proposed system for voltage recovery.< >

关键词： Power system control Power systems Voltage control Expert systems Power system stability Power system simulation Distributed control Power system measurements Control systems Power measurement

来源：评论

学校读者我要写书评

暂无评论

Modeling of software reusable component approach and its case study

Modeling of software reusable component approach and its cas...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： K. Matsumura A. Yamashiro T. Tanaka I. Takahashi Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

A technique to reuse standardized software components is presented which features a component development process and component-oriented object layers together with validity demonstrated through applications. The approach is called the 'standardized components and their composition approach.' The technique, on the condition that the architecture of a product family is fixed for a certain period of time, has the following features: (1) development of software components and that of software products are performed independently, and (2) guidelines for software component analysis/design can be obtained using an object layer which is based on shared software resources (called objects). This software component development approach has been applied to three different cases: process monitoring and control software (mainly Fortran); distributed information processing system software (Cobol); and microcomputer embedded product control software (C and assembler). Excellent results have been obtained.< >

关键词： software reusability software performance Embedded software Control systems Application software Computer architecture Guidelines Independent component analysis Performance analysis Monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：