Solving Nonlinear Constraints in BPU_CLP_C Compiler

Zhou Tianshan; Liu Chunnian; Li Jingyue; Zhong Ningyan; Miao Zhanlu

doi:10.3969/j.issn.0254-0037.2000.03.021

Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107. DOI: 10.3969/j.issn.0254-0037.2000.03.021

Citation:

Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107. DOI: 10.3969/j.issn.0254-0037.2000.03.021

Citation:

Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107. DOI: 10.3969/j.issn.0254-0037.2000.03.021

Solving Nonlinear Constraints in BPU_CLP_C Compiler

Graphical Abstract

Graphical Abstract

Abstract

Abstract

The data structure and interpretation for the extended WAM code of the BPU_CLP_C compiler are discussed, which is highly optimized.The system can solve nonlinear constraints using interval arithmetic and constraint propagation.

FullText(HTML)

References (0)

Solving Nonlinear Constraints in BPU_CLP_C Compiler

Graphical Abstract

Abstract

Catalog

Export File

Citation

Format

Content