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

Asian Test Symposium (ATS)

作者： T. Fukuya M. Hirayama Y. Mihara Res. & Dev. Center Toshiba Corp. Kawasaki Japan Research & Development Center Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

We propose a verification approach for software specification. In order to avoid software design faults, our approach derives safety assertions using fault tree analysis, computes a behavioral graph of specification and analyzes statically whether this graph satisfies safety assertions. When there exists an assertion which can not hold, our method localizes software design faults. Moreover we show an example of our approach applied to a practical "microwave oven" development.< >

关键词： software design US Department of Transportation software safety software quality Formal verification Microwave ovens software engineering Laboratories Fault trees software systems

来源：评论

学校读者我要写书评

暂无评论

Holonic planning and scheduling for a robotic assembly testbed

Holonic planning and scheduling for a robotic assembly testb...

引用

International Conference on Computer Integrated Manufacturing

作者： Ling Gou T. Hasegawa P.B. Luh S. Tamura J.M. Oblak Departments of Electrical and Systems Engineering University of Connecticut Storrs CT USA Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation Kawasaki Japan United Technologies Research Center Inc. East Hartford CT USA

A holonic manufacturing system (HMS) is a manufacturing system where key elements, such as machines, products, parts, etc., have autonomous and cooperative properties. These elements are called "holons," a word coined by combining "holos" (the whole) and "on" (a particle) following Koestler. In an HMS, each holon's activities are determined through cooperation with other holons, as opposed to being determined by a centralized mechanism. An HMS could therefore enjoy high agility, which is an important characteristic for future manufacturing systems. Effective cooperation of holons for overall system performance, however, is mostly on open issue. In this paper, the holonic concept is applied to a simple robotic assembly testbed, and cooperation mechanisms among holons for planning and scheduling are established, respectively, based on an adaptive consistency algorithm and the Lagrangian relaxation technique. It turns out that Lagrangian relaxation provides a theoretical foundation for the cooperation of scheduling activities among holons. The system has been implemented in an object-oriented framework, and evaluated based on the computation times for generating assembly plans and schedules and the quality of schedules under different circumstances. Preliminary testing showed that the system can generate assembly plans and high quality schedules, and respond to dynamic changes.< >

关键词： Robotic assembly Job shop scheduling Processor scheduling Manufacturing systems Lagrangian functions Assembly systems System performance Scheduling algorithm System testing Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Comparison of OOA and real-time SA-from the experiment of analyzing an image filing system

Comparison of OOA and real-time SA-from the experiment of an...

引用

Conference on Object-Oriented Programming systems, Languages, and Applications, OOPSLA 1993

作者： Yamashiro, Akihiro Nakano, Hiroko Yoshida, Kazuki Saito, Etsuo Research and Development Center Systems and Software Engineering Laboratory Toshiba Corporation Japan

来源：评论

学校读者我要写书评

暂无评论

Combining Strict Matching and Similarity Assessment for Retrieving Appropriate Cases Efficiently

Combining Strict Matching and Similarity Assessment for Retr...

引用

1993 AAAI Spring Symposium

作者： Tanaka, Toshikazu Sueda, Naomichi Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagicho Saiwaiku Kanagawa Kawasaki210 Japan

It is essential for case-based reasoning (CBR) systems to access truly relevant cases efficiently. Similarity assessment adopted by many CBR systems needs performance improvement, especially if the case library of a CBR system consists of a database in the target domain which is not equipped with suitable indexing for the CBR system. In consideration of this problem, we are exploring use of strict matching, a conventional information retrieval technology, to screen out irrelevant cases effectively and efficiently before similarity assessment. In this paper, we first clarify the need for combining strict matching and similarity assessment by analyzing two CBR systems we developed: Sales Estimation System and Motor Design Support System. Then, we propose a method for combining the two retrieval techniques, Similarity Assessment with Strict Screening, which first performs strict matching to reduce the size of a set of candidate cases subject to similarity assessment. Central to the method is an algorithm which is complete in that strict matching does not screen out any relevant case which similarity assessment would select. Copyright © 1993, AAAI (***). All rights reserved.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Recognition of facial expressions using conceptual fuzzy sets

Recognition of facial expressions using conceptual fuzzy set...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： H. Ushida T. Takagi T. Yamaguchi Laboratory for International Fuzzy Engineering Research Yokohama Japan Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation Yokohama Japan

A facial expression is a vague concept that is difficult to describe explicitly. Conceptual fuzzy sets (CFSs), which have the ability to explicitly represent vague concepts, are realized using bidirectional associative memories, and a multilayer structured CFS represents the meaning of a concept by various expressions in each layer. Multilayered reasoning in CFS has the capability of simultaneous abstract and concrete representation and of simultaneous top-down and bottom-up processing. CFS has been applied to the recognition of facial expressions and shown to achieve context-sensitive recognition.< >

关键词： Face recognition Fuzzy sets Humans Laboratories Associative memory Fuzzy set theory Fuzzy systems software engineering Bidirectional control Concrete

来源：评论

学校读者我要写书评

暂无评论

Fuzzy artificial network and its application to a command spelling corrector

Fuzzy artificial network and its application to a command sp...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： N. Imasaki T. Yamaguchi D. Montgomery T. Endo University of California Berkeley USA Systems & Software Engineering Laboratory Research & Development Center TOSHIBA Corporation Kawasaki Japan Faculty of Engineering University of Victoria Canada

The authors propose a fuzzy artificial network (FAN) which utilizes associative memories and is constructed by a method which makes it easy to represent and to modify fuzzy rule sets. Whereas conventional fuzzy inference methods induce much fuzziness on multilayered fuzzy rule sets, the associative-memory-based FAN results in inferences which fit human senses better. This type of fuzzy inference is called associative inference. For memorizing fuzzy rule sets, the FAN system employs a correlation matrix which is constructed from a nominal correlation matrix, a bias matrix, and a scale parameter, so that it is easy to carry out refinement and cut-and-paste operations for rule sets. Using a FAN development system, a command spelling corrector is proposed which uses a multilayered fuzzy rule set. The spelling corrector application shows the eligibility of associative inference for multilayered fuzzy rule sets.< >

关键词： Fuzzy sets Fuzzy systems Matrix converters Associative memory Humans Fuzzy set theory Artificial neural networks Magnesium compounds Intelligent systems Competitive intelligence

来源：评论

学校读者我要写书评

暂无评论

NUMERICAL-SIMULATION OF A LOW-MACH-NUMBER FLOW WITH A LARGE TEMPERATURE-VARIATION

引用

COMPUTERS & FLUIDS 1992年第2期21卷 185-200页

作者： HORIBATA, Y Systems & Software Engineering Laboratory Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

Compressibility is important in a low-Mach-number flow with a large temperature variation. However, it is well-known that time-dependent compressible flow schemes become ineffective at low Mach numbers. This ineffectiveness occurs because a wide disparity exists between the time scales associated with convection and the propagation of acoustic waves. For this reason, scale analysis modifies the compressible equations in order to remove acoustic waves from them. The pressure is divided into the thermodynamic and dynamic parts. The density variation caused by the variation in the dynamic part is neglected. The scale analysis shows the conditions under which the modified equations are applicable. Examination of small-amplitude waves shows that the modified equations contain internal gravity waves (buoyant effects), while they exclude acoustic waves. Similarly to the modified equations, the Boussinesq equations are derived under a further condition. A finite difference scheme integrates the modified equations. The scheme is essentially the MAC method. First, thermal convection of a Boussinesq fluid in a square cavity is simulated in order to validate the calculation method. The result is in good agreement with a benchmark solution. Second, thermal convection with a large temperature variation is simulated in a vertical pipe furnace used for the heat treatment of semiconductor wafers. An axisymmetric steady flow is obtained.

关键词： Flow of Fluids

来源：评论

学校读者我要写书评

暂无评论

KASE project toward effective diagnosis system development

引用

Knowledge Acquisition 1992年第3期4卷 323-346页

作者： Araki, Dai Kojima, Shoichi Kohno, Takeshi Systems and Software Engineering Laboratory TOSHIBA Corporation Saiwai-ku Kawasaki 210 70 Yanagicho Japan

The Knowledge Acquisition Support Environment (KASE) and some case studies on expert system development are described. DiPROS is a diagnostic expert system building tool, which has a knowledge base editor and an inference engine specialized for diagnostic tasks. DiKAST is an interactive knowledge-acquisition (KA) tool, which guides repairs on defects in the knowledge base. In order to build this KA facility, many kinds of KA interview strategies were formalized. We applied KASE tools in building a defect diagnosis system for a color picture tube manufacturing plant. The prototype system was able to be developed in a short time by the domain experts alone, who had no previous experience in computer programming. © 1992.

关键词：

来源：评论

学校读者我要写书评

暂无评论

TEST COVERAGE DEPENDENT software-RELIABILITY ESTIMATION BY THE HGD MODEL 3

TEST COVERAGE DEPENDENT SOFTWARE-RELIABILITY ESTIMATION BY T...

引用

3RD INTERNATIONAL SYMPOSIUM ON software RELIABILITY engineering

作者： JACOBY, R MASUZAWA, K TOSHIBA Corporation Systems and Software Engineering Laboratory Yanagi-cho Saiwai-ku Kawasaki-shi 223 Japan

ISBN: (纸本)0818629754

The Hyper-Geometric Distribution Model (HGDM) has been presented as a software reliability growth mode] with the capability to make estimations for various kind of real observed test-and-debug data. With the HGDM, the discovery and rediscovery of faults during test-and-debugging has been discussed. One of the parameters, the "ease of test" function w(i) represents the total number of faults discovered and rediscovered at a test instance. In this paper, we firstly show that the "ease of test " function w(i) can be expressed as a function of the test coverage for software under test. Test coverage represents a measure of how much of the software has been tested during a test run. Furthermore, the ease of test function w(i) can integrate a user experiencedbased parameter c that represents the strength of test cases to discover faults. This parameter c allows the integration of information on the goodness of test cases into the estimation process. The application of the HGDM to a set of real observed data clearly shows that test coverage measure can be integrated directly into the "ease of test" function w(i) of the model. © 1992 IEEE.

关键词： HGDM Hyper-Geometric Distribution Model Initial number of software faults Test coverage Test-and-debugging User experience-based reliability estimation

来源：评论

学校读者我要写书评

暂无评论

Job shop configuration with queueing networks and simulated annealing

引用

1992 IEEE International Conference on systems engineering

作者： Yoneda, Kiyoshi Wada, Isaku Haruki, Kazuhito TOSHIBA Corporation Systems and Software Engineering Laboratory 70 Yanagi Saiwai Kawasaki210 Japan

A new method for equipment planning is proposed for job shop type production systems, together with computer experiment results with a semiconductor fab model. First, the production system is modeled as an open queuei... 详细信息

ISBN: (纸本)0780307348

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：