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

IEEE International Conference on systems, Man and Cybernetics

作者： H. Kawata N. Uchihira Systems & Software Eiigiiieeriiig Laboratory Research & Development Center Toshiba Corporation Japan

This paper proposes SAVE/SFC (Simulation and Varication Environment for SFC), which supports validation of sequence control programs written by an SFC (sequential function chart) for chemical plant control systems. SAVE/SFC has four characteristic features: (1) automatic generation of simulators for the process flow diagrams, (2) harmonization of conventional simulation and verification based on temporal logic model checking, and (3) suppression of state explosion based on a partial order approach. We also report the result of applying SAVE/SFC to actual chemical plants.

关键词： Control systems Logic Chemicals Power system reliability Automatic control Explosions State-space methods System testing software systems Laboratories

来源：评论

学校读者我要写书评

暂无评论

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

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.

关键词： 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

来源：评论

学校读者我要写书评

暂无评论

A high-speed high-density array-multiplier-accumulator for digital signal processing

引用

ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS 1996年第2期79卷 86-97页

作者： Minami, T Kasai, R Matsuda, H Kusaba, R Member NTT LSI Laboratories Atsugi Japan 243-01 Graduated in 1980 from the Department of Electrical Engineering Kyushu University where he received his Master's degree in 1982 and joined NTT. Until March 1986 he was engaged in the development of application software for electronic switching systems. He then engaged in research and development of LSIs for image signal processing. At present he is Senior Research Engineer Advanced LSI Laboratory NTT LSI Laboratories. He is a member of IEEE. Graduated in 1972 from the Department of Electrical Engineering Osaka University where he received his Master's degree in 1974 and his Ph.D. in 1992. He joined NTT in 1974. He is engaged in research and development of analysis of MOS devices and design of ASIC for communication. At present he is Executive Research Engineer Advanced LSI Laboratory NTT LSI Laboratories. He is a member of IEEE. Graduated in 1987 from the Department of Communications Tohoku University where he received his Master's degree in 1989 and joined NTT. He is engaged in research and development of high-speed design for image processing LSIs. At present he is Research Engineer Advanced LSI Laboratory NTT LSI Laboratories. He is a member of the Information Processing Society. Graduated in 1985 from the Department of Electrical Engineering Keio University where he received his Master's degree in 1987 and joined NTT. He is engaged in CAD research. At present he is Senior Research Engineer Advanced LSI Laboratory NTT LSI Laboratories. He is a member of the Information Processing Society and IEEE.

This paper discusses the downsizing and speed improvement of short-word multiplier-accumulators, which are frequently used in digital signal processors. As a first step, the optimal configuration for an array-type carry-save adder is considered where the shortest path in the full-adder is used to propagate the sum signal and the carry signal is sent to the full-adder of the two lower stages by skipping a stage. A configuration of the full-adder suitable for the structure is proposed. The case of eight partial product additions shows that the delay can be reduced by 22 percent compared to a simple array-type carry-save adder. Then the short-word carry look-ahead adder using the pass-transistor logic is considered. It is shown that a single-stage carry look-ahead circuit with a four-bitwise iterative structure exhibits nearly the same delay as a two-stage carry look-ahead circuit. In other words, the former is better suited to downsizing. This paper intends to examine the effectiveness of the foregoing new array-type carry-save adder and the single-stage carry look-ahead circuit using the 0.5-mu m CMOS technology. A 16-bit x 14-bit + 31-bit multiplier-accumulator has been designed and is evaluated for cases where the array-type carry-save adder is used to handle accumulation as well as partial products. The resulting area and delay are 0.77 x 0.78 mm(2) and 6.8 ns, respectively. The effectiveness of the approach used in this paper is evaluated by constructing a multiplier-accumulator, but the method is also useful in constructing a multiplier.

关键词： product-sum operation array multiplier carry-save adder full-adder carry look-ahead adder

来源：评论

学校读者我要写书评

暂无评论

Barriers to Effective Process Architecture – An Experience Report

引用

software Process: Improvement and Practice 1996年第1期2卷

作者： Ashok Dandekar Dewayne E. Perry Fujitsu Network Communications Transmission Development Division Richardson TX 75082 USA Systems and Software Research Laboratory Bell Laboratories Murray Hill NJ 07974 USA

In trying to understand the architecture of the processes governing the development of a large software product, we used various techniques for describing, analyzing and visualizing that process system. A ‘big picture’ visualization of the software development processes yielded a number of cogent observations: I/O mismatches, large fan ins/outs, no clear path through the project, inconsistency in the level of detail, no clear architectural organizational structure. We report the results of a quality improvement team (QIT) put together (i) to determine how the process architecture got to this state, (ii) to delineate the base measures by which we plan to measure architectural improvement, (iii) to establish surface and root causes for the current state of the architecture and define their interrelationships, and (iv) to derive primary and secondary process architecture drivers and to establish counter measures that will yield a more coherent and appropriate process architecture. As a result of these studies, we offer some principles learned about process architectures and generic processes.

关键词： process system architecture generic process principles process architecture principles process system architecture problems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Model-based diagnosis shell and ifs application to steel plant 11

Model-based diagnosis shell and ifs application to steel pla...

引用

11th Conference on Artificial Intelligence for Applications, CAIA 1995

作者： Iwamasa, Mikito Niina, Hiroshi Systems and Software Engineering Laboratory Research and Development Center TOSHIBA Corp. 70 Yanagi-chyo Saiwai-ku Kawasaki-city210 Japan

ISBN: (纸本)0818670703

Model-Based Diagnosis {MBD) uses the design and physical principle of the target as knowledge base in stead of wing enyirical diagnostic knowledge. Although MDB is promising to resolve the knowledge acquisitionbottleneck, it involves the problem of combinatorial explosion in making asswnptwns. This problem i s remarkable especially when target is large and complex without enough observable information. In this paper, we propose a newframework of MDB that can control and avoid this dificulty. In our fromavork, diagnostic system comprises three parts, evaluation, control and reason maintenance. By introducing propagation oriented control into control part, we can control the number of assumptwns. We analyze basic tasks for MDB based on proposed framework and propose "adjustablediagnosis"by using these tasks. We also propose a shell for MDB that has "adjustable diagnosis" feature. Using this shell engineer can build an application that canfocus diagnosis. We show an example of a systemfor steel plant diagnosis which is built using the shell. © 1995 IEEE

关键词： Steelmaking

来源：评论

学校读者我要写书评

暂无评论

A fault-tolerant architecture based on autonomous replicated objects

A fault-tolerant architecture based on autonomous replicated...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： T. Seki T. Hasegawa Y. Okataku S. Tamura Systems & Software Engineering Laboratory Research and Development Center Toshiba Corporation Kawasaki Japan

The paper proposes an architecture for the replication of program modules enabling them to behave in accordance with their own local knowledge, without any influence by not only their location, replication degree and fault-tolerant mechanism but also system level modules. In the proposed architecture, program modules are implemented as objects and communication among them is carried out by a total ordering broadcast protocol, enabling individual objects to behave autonomously. Therefore, individual objects can choose the most suitable replication degree and fault-tolerant mechanism in accordance with their own required reliability and execution efficiency without the need to change programs or for the object location to be influenced.< >

关键词： Fault tolerance Fault tolerant systems Broadcasting Computer architecture Protocols software engineering Laboratories research and development Maintenance Hardware

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：