To design and analyze Cyber-Physical Systems (CPSs), engineers should consider computation and physical processes at the same time. Engineers require a design description which is easy to understand. SysML provides diagrammatic notations which are independent of specific disciplines. To express numerical constraints of SysML diagrams, we extend OCL with real arithmetic. Both SysML and extended-OCL require an executable design language to check inconsistencies of constraints. To achieve the above idea, we bridge a gap between SysML and VDM-RT. We propose a framework to embed SysML/extended-OCL into VDM-RT, where we prepare some libraries for extended-OCL. It is unnecessary for engineers to know VDM-RT. Using a unified CPS design description, our approach automatically debugs inconsistencies in whole CPS design. This paper illustrates the proposed method with a car race system.
Separation of geochemical anomalies from background plays an important role in the study of exploration geochemistry. The limitations of commonly used methods are not taken into account spatial correlation, variability and the unsatisfactory of the statistical assumption of the normality of geochemical data. For solving these limitations, an indirect method for the separation of geochemical anomalies is proposed based on anomaly separation of local Moran's I i values using robust statistics in this study. The experiment was carried out using 1481 samples collected from Jiurui copper prospect (southeast China). The steps for the anomaly separation are (i) spatial association and variability were first analyzied by means of Moran scatterplots at six spatial scales (2, 4, 6, 8, 10 and 12 km) using both raw data and Box-Cox transformed data; (ii) local Moran's I i was used to measure spatial autocorrelationat these six local scales; (iii) anomalous separation was finally performed using the MEDIAN ± 1.5*IQR (IQR: interquartile range) rule on local Moran's I i values. The results show that geochemical anomalies are mostly concentrated around known ore-deposits, according the objective reality and a strong correlation with known ore-deposits in Jiurui copper prospect.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.