A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equatio

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:zhqs1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.
其他文献
The title complex [Zn(HPDB)2(H2O)2]n·(2nDMSO(2nH2O(H2-PDB is pyridine-3, 4-dicarboxylic acid and DMSO the dimethyl sulphoxide) was synthesized under traditiona
Based on integral equation method, the study of unsteady supercavitating flow past cones is presented. The shape and length of supercavity are calculated respec
在密度泛函B3LYP/6-311G**水平上对气相和水相中吲唑、3- 卤代(-F、-Cl和-Br)吲唑互变异构体进行几何构型全自由度优化,Onsager 反应场溶剂模型用于水相计算.计算结果显示,在气
IntroductionElectron transfer oxidation of DNA by triplet artificial photonuclease reveals a bright prospect of its application in biology and medicine. Both mo
The Michael addition reactions of Z and E benzaldoximes with propene were investigated theoretically by DFT method at B3LYP/6-31G* level. The calculation result
Starting from a discrete spectral problem, a hierarchy of integrable lattice soliton equations is derived. It is shown that the hierarchy is completely integrab
Spinal muscular atrophy (SMA) is a common autosomal recessive neuromuscular disorder1 (1in 6000 to 10 000 births) caused by mutations in the SMN1 gene at 5q13.
Both four-arm star-shaped poly(ε-caprolactone) (4sPCL) and two-arm linear PCL (2LPCL) were synthesized and their inclusion complexation with α-cyclodextrin (
在Tl2Ba2Can-1CunO2n+4(n=1,2,3,4)系列超导性氧化物中,Tl2Ba2Ca2Cu3O10具有最高Tc值(125 K).利用电介质的平均能带模型计算了Tl2Ba2Ca2Cu3O10的局域化学键参数,得到Cu(1)-O
在甘氨酸存在条件下,经混合金属盐溶液在pH为10.0时共沉淀后的水热反应,可成功合成甘氨酸插层的镁铝双氢氧化物(Gly-LDHHTT).产物以XRD、IR、TEM/SEM、TG/DTA等技术进行表征.