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

IEEE Conference on Decision and Control

作者： P.B. Luh Ling Gou T. Odahara M. Tsuji K. Yoneda T. Hasegawa Y. Kyoya Department of Electrical & Systems Engineering University of Connecticut Storrs CT USA Toshiba Hamakawasaki Works Kawasaki Japan Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan

The design and implementation of a scheduling system for the manufacturing of toshiba's gas insulated switchgears is presented. The manufacturing is characterized by significant machine setup times, strict local buffer capacities, the option of choosing a few exclusive-or routes for processing, and long horizon as compared to the time resolution required. Our goal is to obtain near optimal schedules with quantifiable quality in a computationally efficient manner. To achieve this goal, a novel integer optimization formulation with a separable structure is developed and a solution methodology based on a combined Lagrangian relaxation technique and heuristics is developed. The method has been implemented using the object-oriented programming language C++, and preliminary testing results show that effective schedules can be efficiently generated while considering the special features.

关键词： Job shop scheduling Optimal scheduling Gas insulation Production Manufacturing Switchgear Object oriented programming Testing Geographic Information systems software systems

来源：评论

学校读者我要写书评

暂无评论

Planning-based visual programming system for sequence control

Planning-based visual programming system for sequence contro...

引用

Conference on Artificial Intelligence for Applications

作者： Y. Namioka H. Tsukimoto H. Mizutani T. Matsudaira Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation Kawasaki Japan Fuchu Works TOSHIBA Corporation Fuchu Tokyo Japan

The paper presents a planning based visual programming system for sequence control program specification design (VIPS/S-SFCD). VIPS/S-SFCD features an example based programming technique in which designers specify the initial states and goal states of machines using visual representations, and a planning method that infers machine actions and generates the control program specifications. This method is based on the state space model and has the scope to make the searches on the model efficient. We used the planner of VIPS/S-SFCD to experimentally generate control program specifications for actually existing steel plants. The experimental results showed that the quality of control program specifications generated by VIPS/S-SFCD was the same as the ones generated by a design specialist, and the time required for designing control programs was much shorter. According to our experiments, VLPS/S-SFCD can reduce the design time of control programs to 1/3.< >

关键词： Control systems Automatic control Automatic programming State-space methods Steel Productivity software engineering Laboratories Automatic generation control Specification languages

来源：评论

学校读者我要写书评

暂无评论

Artificial neural network of locally active units with cause-oriented parameter modification

Artificial neural network of locally active units with cause...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： K. Makino T. Shimada R. Ichikawa M. Ono T. Endo Research & Development Center Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan Fuchu Works Toshiba Corporation Fuchu Tokyo Japan

In this paper, a 3-layer neural network of locally active units is proposed. In the neural network, each constituent unit of a hidden layer is only activated by input vectors in a bounded domain of the vector space. This feature leads to additional learning, and also leads to knowing the architecture of the neural network and obtaining information suggestive of ways in which forecasting accuracy could be improved. We think that forecasting one-dimensional social quantity, for example, electric load or stock prices, makes the best use of the advantages of the proposed neural network, and we propose a method for detecting the causes of forecasting errors and improving the forecasting ability of the neural network. We examined the performance of the proposed neural network by applying it to daily peak electric load forecasting in summer. Comparing the forecasting result of the network with the conventional error back-propagation algorithm, the maximum error rate is clearly reduced. Carrying out the proposed method for detecting the causes of forecasting errors, forecasting errors are further reduced.< >

关键词： Artificial neural networks neural networks Load forecasting Multi-layer neural network Object detection Computer errors software engineering Laboratories Casting Computer networks

来源：评论

学校读者我要写书评

暂无评论

Adaptive control of robot manipulators with anti-backlash gears

Adaptive control of robot manipulators with anti-backlash ge...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： N. Imasaki M. Tomizuka Research & Development Center Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan Department of Mechanical Engineering University of California Berkeley Berkeley CA USA

This paper proposes a control method for robot manipulators that have anti-backlash gears in the joints. The anti-backlash gear is modeled as a three segment flexible joint characteristic. A controller consists of a PD feedback part and a full dynamics feedforward part. This control method employs the sliding control scheme. In order to make the tip of the manipulator track desired trajectories and to eliminate steady state errors, this method utilizes two sliding surfaces for both links and actuators. For this purpose, positions and velocities of both links and actuators are fedback. An anti-backlash inverse characteristic is introduced to obtain the desired trajectories for the actuators from the desired trajectories of the links. An adaptation scheme to the variation of payloads is also investigated.

关键词： Adaptive control Gears Sliding mode control Manipulator dynamics Actuators Robot control Feedback Trajectory Steady-state Payloads

来源：评论

学校读者我要写书评

暂无评论

Knowledge acquisition and integration on specification change-a method for systematic reuse

Knowledge acquisition and integration on specification chang...

引用

Asia-Pacific Conference on software engineering

作者： S. Matsuura S. Honiden Lab. for New Software Archit. Inf.-technology Promotion Agency Tokyo Japan Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan

Our research goal is to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existing program can be altered to meet the given specification change using the program derivation process from the specification. We consider what kinds of knowledge must be acquired when a specification is changed and how they have to be integrated so well as to implement our method on a computer system. In particular, we focus on the following points in terms of program synthesis. First, a wide spectrum language, Extended IML, defines a framework in which specifications, program and the elaborate derivation process can be expressed formally on a computer system. This forms a basic unit of reusable knowledge for specification change. Second, a reuse process is formulated in which a new requirement changes the efficient specification and its program is altered to meet this requirement correctly. Third, we consider some conditions and a mechanism by which the knowledge can be integrated so as to obtain an objective program automatically, implying that we will yet profit from reusing the knowledge.

关键词： Knowledge acquisition Programming Humans software architecture software engineering Laboratories Artificial intelligence Problem-solving Knowledge representation Formal specifications

来源：评论

学校读者我要写书评

暂无评论

PQL - MODAL LOGIC FOR COMPOSITIONAL VERIFICATION OF CONCURRENT PROGRAMS

引用

systems AND COMPUTERS IN JAPAN 1994年第1期25卷 1-16页

作者： UCHIHIRA, N Member Systems & Software Engineering Laboratory Toshiba Corporation Kawasaki Japan 210

The temporal logic model checking method is very useful for verification of concurrent programs that can be expressed by finite state transition systems. However, a major drawback to using this method is that as the scale of the programs increases, the computation costs for verification increase exponentially. An effective solution for this problem is compositional verification. Compositional verification is a method in which the bisimulation equivalence of concurrent programs is used to extract from each construction element (subprocess) only that abstract information necessary to verify each query, thereby avoiding an explosion in cost. In this paper, PQL (Process Query Language) is proposed as an improved method in the solution of this problem. PQL is based on modal logic which is the union of temporal and process logic. Also in this paper, the compositional verification method is proposed by using PQL with consideration of the ''divergence by internal transition''.

关键词： COMPOSITIONAL VERIFICATION CONCURRENT PROGRAM MODAL LOGIC TRANSITION SYSTEM BISIMULATION EQUIVALENCE MODEL CHECKING TEMPORAL LOGIC

来源：评论

学校读者我要写书评

暂无评论

Dynamics-based active learning for handwritten character recognition

Dynamics-based active learning for handwritten character rec...

引用

International Joint Conference on neural Networks (IJCNN)

作者： N. Natori K. Nishimura RWCP Neural Systems Toshiba Laboratory Kawasaki Kanagawa Japan

This paper proposes a new efficient learning of a neural network for handwritten character recognition. Like human learning, the proposed learning acquires excellent recognition ability for unknown character patterns only from a small number of typical character patterns. The proposed learning is based on the dynamics of a human's hand mechanism and has been realized on a neural network. The recognition rates exceed those by a conventional statistical method.< >

关键词： Character recognition Humans neural networks Biological neural networks Pattern recognition Statistical analysis Biology computing Laboratories Handwriting recognition Iterative algorithms

来源：评论

学校读者我要写书评

暂无评论

Object-oriented analysis and design support system using algebraic specification techniques 1

Object-oriented analysis and design support system using alg...

引用

1st Asia-Pacific software engineering Conference, APSEC 1994

作者： Yamamoto, J. Ohsuga, A. Honiden, S. Systems and Software Engineering Laboratory Research and Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki Kanagawa210 Japan

ISBN: (纸本)0818669608

Although many CASE tools for object-oriented methods (OO-CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propose a software development method amalgamating OO-CASE tools and algebraic specification techniques. We are developing an experimental system named COOAD (CASE tool for Object-Oriented Analysis and Design) in order to examine the effectiveness of our proposition. COOAD supports object-oriented analysis and design, verification of the analysis and design, and generation of code. In this paper, we propose the software development method, introduce COOAD, and illustrate the facilities of COOAD with several examples. © 1994 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Automatic verifying approach for product specification using FTA

Automatic verifying approach for product specification using...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：