Static and dynamic consistency checking for numerical simulation:: A mixed-logic and object-oriented programming approach

被引：0

作者：

Defour, O ^{[1
]}

Maréchal, Y ^{[1
]}

机构：

[1] ENSIEG, INPG, Electrotech Lab, F-38402 St Martin Dheres, France

来源：

IEEE TRANSACTIONS ON MAGNETICS | 2004年 / 40卷 / 02期

关键词：

logic programming; object-oriented programming; simulation software;

D O I：

10.1109/TMAG.2004.824906

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

This paper presents a framework which implements the common software functionalities. By using this framework, software designers focus on their activity on developing efficient data structures and algorithms. The logic programming introduced in this framework is an efficient technology for Object Constraint Language expressions. Errors made by the user when modeling a device are detected and prevented by the modeling guide.

引用

页码：1386 / 1389

页数：4