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

International Symposium on Fault-Tolerant Computing (FTCS)

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

We propose a verification method for software specification. In order to avoid software faults, our method derives safety assertions using FTA, computes the behavioral graph of specification and analyzes statically whether this graph satisfies safety assertions. Moreover, when there exists an assertion which can not hold, our method localizes software design faults.< >

关键词： US Department of Transportation software safety software design software quality Product safety Formal verification Hardware Humans Temperature control software engineering

来源：评论

学校读者我要写书评

暂无评论

Composition-based mapping of design plans into implementation-level architectures

Composition-based mapping of design plans into implementatio...

引用

Conference on Artificial Intelligence for Applications

作者： Y. Nagai S. Honiden Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation Saiwai Kanagawa Japan

This paper describes a mapping method using composition for software reuse in object-oriented constraint programming (OOCP) languages. We discuss the mapping of design plans using an OOCP language. We also apply this mapping, using composition in an OOCP language, to a mechanical design problem and demonstrate the effectiveness of our approach.< >

关键词： Computer architecture Problem-solving Programming profession Algorithm design and analysis Libraries Skeleton software engineering Laboratories Object oriented programming Computer languages

来源：评论

学校读者我要写书评

暂无评论

software design verification using FTA

Software design verification using FTA

引用

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

来源：评论

学校读者我要写书评

暂无评论

Supporting multiple conference spaces in Group Teleworking System

Supporting multiple conference spaces in Group Teleworking S...

引用

IEEE ComSoc International Workshop on Multimedia Communications

作者： T. Ishizaki C. Kitahara K. Mori S. Kinosita M. Kameda Syst. Dev. Lab. Hitachi Ltd. Kanagawa Japan Systems Development Laboratory Hitachi and Limited Yokohama Kanagawa Japan Kabushiki Kaisha Hitachi Seisakusho Chiyoda-ku Tokyo JP Central Research Laboratory Hitachi and Limited Japan Software Development Center Hitachi and Limited Japan

The paper describes the user interface design of the Group Teleworking System (GTWS), which is designed to support multiple conference spaces. GTWS is developed as a real time collaboration system, often called a desktop conference system. Combining virtual meeting room representation and conference switching mechanism, GTWS provide an environment in which users can, through their own workstations, participate in more than one conference at the same time. GTWS is a prototype system including multipoint audio video unit with CODEC facility in it. Some of the experimental results observed in use in our laboratory and public exhibitions are also presented.

关键词： Teleworking Videoconference Collaborative work Laboratories User interfaces Real time systems Video sharing Collaborative software Facsimile Programming

来源：评论

学校读者我要写书评

暂无评论

THE CALLING(SM) NETWORK - A GLOBAL WIRELESS COMMUNICATION-SYSTEM

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第1期12卷 45-61页

作者： TUCK, EF PATTERSON, DP STUART, JR LAWRENCE, MH Calling Communications Corporation. 1900 West Garvey Ave South. Suite 200 West Covina CA 91790 USA. Chairman of Calling Communications Corporation. He is also the Managing Director of Kinship Venture Management Inc. the general partner of Kinship Partners 11 and a General Partner of Boundary the general partner of The Boundary Fund. As a venture capitalist he has founded or participated in founding several telecommunications companies including Calling Communications Corporation Magellan Systems Corporation manufactures of Global Positioning System receivers Applied Digital Access manufacturer of DS-3 test access and network performance monitoring equipment Endgate Technology Corporation specialists in satellite phased array antennas and Poynting Systems Corporation. now a division of Reliance Corporation manufacturers of fibre optic transport equipment. He was a founder of Kebby Microwave Corporation where he invented the first solid-state. frequency-modulated commercial microwave link system. The company was acquired by ITT Corporation where he rose to the position of V.P. and Technical Director of ITT North America Telecommunications Inc. Subsequently he was V.P. of Marketing and Engineering at American Telecommunications Inc. (ATC). He was founding Director of American Telecom Inc. a joint venture between ATC and Fujitsu and has served on more than 20 boards of directors including those of three public companies. He has authored articles on microwave engineering and telephone signalling and was a contributor to Reference Data For Radio Engineers. He is a graduate of the University of Missouri at Rolla where he was later awarded an honorary Professional degree and serves on its Academy of Electrical Engineering. Mr Tuck is a Senior Member of the IEEE a Fellow of the Institution of Engineers (Australia) a Professional Member of the AIAA and a registered professional engineer in three states. More than 25 years of experience in the telecommunications industry where he has been responsibl

There is a very large demand for basic telephone service in developing nations, and remote parts of industrialized nations, which cannot be met by conventional wireline and cellular systems. This is the world's largest unserved market. We describe a system which uses recent advances in active phased arrays, fast-packet switching technology, adaptive routeing, and light spacecraft technology, in part based on the work of the Jet Propulsion laboratory and on recently-declassified work done on the Strategic Defense Initiative, to make it possible to address this market with a global telephone network based on a large low-Earth-orbit constellation of identical satellites. A telephone utility can use such a network to provide the same modern basic and enhanced telephone services offered by telephone utilities in the urban centres of fully-industrialized nations. Economies of scale permit capital and operating costs per subscriber low enough to provide a service to all subscribers, regardless of location, at prices comparable to the same services in urban areas of industrialized nations, while generating operating profits great enough to attract the capital needed for its construction. The bandwidth needed to support the capacity needed to gain these economies of scale requires that the system use K(alpha)-band frequencies. This choice of frequencies places unusual constraints on the network design, and in particular forces the use of a large number of satellites. Global demand for basic and enhanced telephone service is great enough to support at least three networks of the size described herein. The volume of advanced components, and services such as launch services, required to construct and replace these networks is sufficient to propel certain industries to market leadership positions in the early 21st Century.

关键词： LOW EARTH ORBIT SATELLITE COMMUNICATIONS FAST PACKET SWITCHING EARTH FIXED CELLS ADAPTIVE ROUTEING LIGHT SPACECRAFT K(A) BAND PHASED-ARRAY ANTENNAS

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

application of neural network to operation of power generating units

application of neural network to operation of power generati...

引用

International Forum on Applications of Neural Networks to Power systems

作者： K. Nishimura H. Iida H. Hayashi T. Asano Research and Development Center Systems & Software Engineering Laboratory Kawasaki Kanagawa Japan Fuchu Tokyo Japan

The authors propose a new method based on neural network technology to optimize the operation of generating units. The iterative use of a neural network permits less accuracy of learning and makes the method applicable to larger power systems. Simulations of transmission loss reduction and steady-state stability improvement have demonstrated the effectiveness of the proposed method.< >

关键词： Neural networks Power generation Power system modeling Power system simulation Power system stability Computer networks Optimization methods Iterative methods Propagation losses Steady-state

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：