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

IADIS International Conference on Information systems 2013, IS 2013

作者： Nakatani, Takako Sano, Toshikazu Okano, Michitaro Kondo, Narihito Fujiwara, Yukiko Nakazato, Ryu Inoki, Mari Hori, Shozo Tsumaki, Toshihiko Tsuda, Michio Katamine, Keiichi Univ. of Tsukuba 3-29-1 Otsuka Bunkyo Tokyo112-0012 Japan Nagoya Management Junior College Japan Knowledge Discovery Research Laboratories NEC Japan Software Engineering Center TOSHIBA Corporation Japan Advanced IT Laboratory Toshiba Solutions Corporation Japan YASKAWA Information Systems Corporation Japan National Institute of Informatics Japan Osaka University Japan Kyushu Institute of Technology Japan

ISBN: (纸本)9789728939830

The purpose of our research is to enable the management of the requirements elicitation process. To manage something, we fist have to observe it quantitatively. Therefore, to manage the requirements elicitation process, we must observe the process quantitatively. We are currently trying to observe requirements quantitatively in accordance with their categories. In general, requirements are classified into two categories: functional and non-functional. The requirements categories can be refined to more adequately observe them. We defined the taxonomy of requirements. In this paper, the classification rules of words in requirements are proposed. A prototype tool was developed, and named the "requirements counting tool (RCT)," with classification rules and morphological analysis. The rules were evaluated by comparing the results of the RCT and manual classification with the logrank test. In the paper, the results are shown, and the adequacy of the rules is confirmed. © 2013 IADIS.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

A systematic approach to domain-oriented software development

A systematic approach to domain-oriented software developmen...

引用

International Conference on software engineering (ICSE)

作者： Y. Shimizu N. Fujimaki M. Hirayama Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation Kawasaki Kanagawa Japan

We describe our experience with domain-oriented software development in the domain of automatic teller machine applications. We systematically proceeded with development in four phases: domain analysis, domain formalization, domain facility building, and product development. In this development, we built domain facilities consisting of a domain framework and domain CASE (Computer Aided software engineering) tools, then employed them for application development. The framework shared about 4% of the application, and the remaining 96% was generated by the CASE tools automatically. Our approach was found to realize effective reuse of design and implementation and to enable domain-oriented development in large domains.

关键词： Programming Application software Computer aided software engineering software systems Product development Object oriented modeling Process design software engineering Laboratories Research and development

来源：评论

学校读者我要写书评

暂无评论

A systematic approach to domain-oriented software development 98

A systematic approach to domain-oriented software developmen...

引用

Proceedings of the 20th international conference on software engineering

作者： Yoko Shimizu Noboru Fujimaki Masayuki Hirayama Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki-shi Kanagawa Japan

来源：评论

学校读者我要写书评

暂无评论

An inductive learning algorithm based on regression analysis

引用

systems and Computers in Japan 1998年第3期28卷

作者： Hiroshi Tsukimoto Chie Morita Nobuhiro Shimogori Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation 70 Yanagi Saiwai Kawasaki Japan 210

There are two types of learning. One is symbol learning such as inductive learning in artificial intelligence and the other is pattern learning such as multivariate analysis and neural networking. This paper presents an inductive learning algorithm which obtains propositions whose errors are at a minimum. The algorithm is based on regression analysis and works better than C4.5. The algorithm consists of preprocessing data, obtaining linear functions by multiple regression analysis, and approximating the functions with Boolean theory. Approximating linear functions with Boolean theory is a pseudo maximum likelihood method and regression is the least square method. They are the principles of pattern learning, and so an algorithm for symbolic learning can be obtained by these principles. © 1997 Scripta Technica, Inc. Syst Comp Jpn, 28(3): 62–70, 1997

关键词： inductive learning symbolic learning pattern learning regression analysis Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Error repair and knowledge acquisition via case-based reasoning (reprinted from J Japan Soc Artif Intell, vol 9)

引用

ARTIFICIAL INTELLIGENCE 1997年第1期91卷 85-101页

作者： Kohno, T Hamada, S Araki, D Kojima, S Tanaka, T [∗]Systems ana Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki-shi 2 Currently: Social Automation Systems Division Toshiba Corporation 70 Yanagicho Saiwai-ku Kawasaki-shi 2 Japan

To cope with the knowledge acquisition bottleneck, the authors propose a new architecture combining rule-based reasoning (RBR), case-based reasoning (CBR) and knowledge acquisition technology in a system which solves pattern search problems. The RBR part searches for specified patterns in a large space represented by a network structure such as an LSI circuit diagram, which contains a great number of patterns and variations. It then carries out specified actions, such as fault diagnosis, on the patterns that are found. The outputs of the RBR part are transferred to the CBR part. The user of the system detects and repairs a few pattern detection errors caused by the RBR part. The CBR part detects and repairs all remaining errors which can be estimated from the user detected ones. The repaired results are sent back to the RBR part to recover the RBR output. The repaired results are also stored automatically in the case base, Similar cases are grouped in a same case family. The knowledge acquisition part relates each case family to an incomplete rule in the RBR knowledge base and proposes modifying the rule. Eventually, the system can obtain refined rules with the cooperation of domain experts. Thus, the problem solving process and knowledge acquisition process are performed cyclically. The architecture was successfully applied to a pair condition extraction problem for an analog LSI circuit layout system. (C) 1997 Elsevier Science B.V.

关键词： knowledge acquisition knowledge refinement case-based reasoning rule-based reasoning error repair pattern search LSI circuit layout

来源：评论

学校读者我要写书评

暂无评论

Modeling Methodology for systems with Ambiguity and Uncertainty

引用

IFAC Proceedings Volumes 1997年第1期30卷 381-386页

作者： Naoki Imasaki Satoshi Sekine Sekine Mizutani Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation Japan

This paper discusses a modeling methodology for systems that contain ambiguity or uncertainty. Models built by the methodology are expected to handle the ambiguity and adapt to the uncertainty. The methodology is simple and versatile so that it can be applied to the description of various system architectures; e.g. multi-layered perceptron, fuzzy neural networks and so forth. A description language and a design tool that employ the method are also introduced.

关键词： Modeling Fuzzy logic neural networks software tools

来源：评论

学校读者我要写书评

暂无评论

Mixed-model assembly line scheduling using the Lagrangian relaxation technique

Mixed-model assembly line scheduling using the Lagrangian re...

引用

IEEE Conference on Control Technology and Applications (CCTA)

作者： Yuanhui Zhang P.B. Luh K. Yoneda T. Kano Y. Kyoya Department of Electrical and Systems Engineering University of Connecticut USA Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

The increasing market demand for product variety forces the manufacturers to design a mixed-model assembly line on which different model products can be switched quickly to satisfy diversified demand. Scheduling is critical to generate a sequence of different products to meet due dates and to avoid possible component shortage or starvation. Because of the combinatorial nature of integer programming and large sizes of real problems, the scheduling for mixed-model assembly line has been recognized to be extremely difficult. In this paper, an optimization-base scheduling method for mixed-model assembly line is presented. The study is motivated by the design and implementation of a scheduling system for the compressor assembly lines of toshiba. In the shop, an assembly line can be simplified as a single machine and the number of components can be supplied is limited within fixed length windows. A separable integer programming formulation is developed and a solution methodology based on a combined Lagrangian relaxation and heuristic can be applied to get near-optimal schedule. The method has been implemented using the object-oriented programming language C++, and numerical testing shows that the generated sequence will help on-time product delivery, low finished goods inventory and smooth usage of components.

关键词： Lagrangian functions Job shop scheduling Single machine scheduling Linear programming Virtual manufacturing Object oriented modeling Optimization methods Assembly systems Object oriented programming Testing

来源：评论

学校读者我要写书评

暂无评论

Holonic manufacturing scheduling: architecture, cooperation mechanism, and implementation

Holonic manufacturing scheduling: architecture, cooperation ...

引用

IEEE/ASME (AIM) International Conference on Advanced Intelligent Mechatronics

作者： Ling Gou P.B. Luh Y. Kyoya Department of Electrical and Systems Engineering University of Connecticut Storrs CT USA Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

Summary form only given. A holonic manufacturing system (HMS) is a manufacturing system where the key elements, such as machines, cells, factories, parts, products, persons, teams, etc., have autonomous and cooperative properties. These elements are called "holons". In an HMS, each holon's activities are determined through cooperation with other holons. In this paper, holonic scheduling is developed for a factory consisting of multiple cells. The cooperation mechanisms among holons are established based on the Lagrangian relaxation technique of mathematical optimization. Through a novel modeling of the interactions among cells and a decomposition-coordination solution method, cooperation across cells is performed without intruding individual cells' private information and decision autonomy. The embedded route selection mechanism also balances the load among candidate cells. The clear delineation of information, responsibilities, and interfaces of individual holons and the object-oriented implementation makes the system extendible to more complicated manufacturing settings.

关键词： Job shop scheduling Computer architecture Manufacturing systems Production facilities systems engineering and theory software engineering Laboratories Mechanical factors System performance Object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Dynamic link matching for multiple object recognition

Dynamic link matching for multiple object recognition

引用

13th International Conference on Pattern Recognition, ICPR 1996

作者： Umeki, Hideo Mizutani, Hiroyuki RWCP Neural Systems Toshiba Laboratory in Systems and Software Engineering Laboratory RD Center 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

ISBN: (纸本)081867282X

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. © 1996 IEEE.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

A high-level Petri net for accurate modeling of reactive and concurrent systems

引用

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 1996年第11期E79A卷 1797-1808页

作者： Uchihira, N Honiden, S Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki-shi 210 Japan

This paper concerns a Petri-net-based model for describing reactive and concurrent systems. Although many high-level Petri nets have been proposed, they are insufficiently practical to describe reactive and concurrent systems in the detail modeling, design and implementation phases. They are mainly intended to describe concurrent systems in the rough modeling phase and lack in several important features (e.g., concurrent tasks, task communication/synchronization, I/O interface, task scheduling) which the most actual implementations of reactive and concurrent systems have. Therefore it is impossible to simulate and analyze the systems accurately without explicitly modeling these features. On the other hand, programming languages based on Petri nets are deeply dependent on their execution environments and not sophisticated as modeling and specification languages. This paper proposes MENDEL net which is a high-level Petri net extended by incorporating concurrent tasks, task communication/synchronization, I/O interface, and task scheduling in a sophisticated manner. MENDEL nets are a wide-spectrum modeling language, that is, they are suitable for not only modeling but also designing and implementing reactive and concurrent systems.

关键词： high-level Petri net reactive and concurrent system programming language task scheduling real-time operating system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：