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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CAD CAM MANUFACTURING OF PROTOTYPE SHIPBOARD COMPONENTS

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 93-99页

作者： CALVERT, TE RODRIGUEZ, FA SLEBZAK, JS Thomas E. Calvert P.E.: is a senior project engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center Annapolis Md. His interests include application of computers to all aspects of engineering with particular emphasis on utilization of small computers. Mr. Calvert is a licensed professional engineer in Maryland. He received a BSEE from Drexel University in 1969 and since that time has completed a number of graduate courses related to machinery acoustics. Francisco A. Rodriguez:is an engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He was formerly with the Computer-Aided Design/Interactive Graphics Group of the Division of Engineering and Weapons U.S. Naval Academy. His interests include interfacing the computer aided design to the computer aided manufacturing along with related software and hardware development. Mr. Rodriguez received a BSEEfrom the University of Virginia in 1968. James S. Slebzak:is a mechanical engineering technician with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He received his machinists papers in 1971 after serving his apprenticeship at David Taylor Research Center. He continued his education and became the senior numerical control programmer at the Annapolis Laboratory. He completed his mechanical technology degree from Anne Arundel Community College in 1986. His interests are in the application of numerically controlled manufacturing techniques to prototype machinery components.

The machine shop at the Annapolis laboratory of the David Taylor Research center (DTRC) provides model making and prototype support to a large variety of naval ship related engineering projects. In order to meet these challenging requirements, computer aided design/computer aided manufacturing (CAD/CAM) techniques are being used to produce “one of a kind” prototypes or very low volume production parts. The use of computer aides in these cases is to facilitate the accurate manufacture of a difficult part, rather than to improve manufacturing efficiencies. In addition, the approach provides the flexibility required to support research and development projects. Several examples of prototype shipboard components manufactured using CAD/CAM techniques are presented in this paper. The hardware and software that facilitated these projects are discussed. The examples described have met the requirements to produce a wide variety of prototype shipboard machinery components quickly and accurately.

关键词： Ship Equipment

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：