Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Application of STEEP and Interpretive Structural Modeling in the Design Imagery of Taiwan Public Ceramic Relief Murals

Ceramic relief mural is a contemporary landscape art that is carefully designed based on human nature,culture,and architectural wall space,combined with social customs,visual sensibility,and art.It may also become the main axis of ceramic art in the future.Taiwan public ceramic relief murals(PCRM)are most distinctive with the PCRM pioneered by Pan-Hsiung Chu of Meinong Kiln in 1987.In addition to breaking through the limitations of traditional public ceramic murals,Chu leveraged local culture and sensibility.The theme of art gives PCRM its unique style and innovative value throughout the Taiwan region.This study mainly analyzes and understands the design image of public ceramic murals,taking Taiwan PCRM’s design and creation as the scope,and applies STEEP analysis,that is,the social,technological,economic,ecological,and political-legal environments are analyzed as core factors;eight main important factors in the artistic design image of ceramic murals are evaluated.Then,interpretive structural modeling(ISM)is used to establish five levels,analyze the four main problems in the main core factor area and the four main target results in the affected factor area;and analyze the problem points and target points as well as their causal relationships.It is expected to sort out the relationship between these factors,obtain the hierarchical relationship of each factor,and provide a reference basis and research methods.

Earthquake-triggered landslide interpretation model of high resolution remote sensing imageries based on bag of visual word

Traditional visual interpretation is often inefficient due to its excessively workload professional knowledge and strong subjectivity.Therefore,building an automatic interpretation model on high spatial resolution remote sensing images is the key to the quick and efficient interpretation of earthquake-triggered landslides.Aiming at addressing this problem,a landslide interpretation model of high-resolution images based on bag of visual word(BoVW)feature was proposed.The high-resolution images were pre-processed,and then BoVW feature and support vector machine(SVM)was adopted to establish an automatic landslide interpretation model.This model was further compared with the currently widely used Histogram of Oriented Gradient(HoG)feature extraction model.In order to test the effectiveness of the method,typical landslide images were selected to construct a landslide sample library,which was subsequently utilized as the foundation for conducting an experimental study.The results show that the accuracy of landslide extraction using this method reaches as high as 89%,indicating that the method can be used for the automatic interpretation of landslides in disaster-prone areas,and has high practical value for regional disaster prevention and damage reduction.

Parameters of new three-water model based on nuclear magnetic experiment and optimization algorithm

Clastic rock reservoir is the main reservoir type in the oil and gas field.Archie formula or various conductive models developed on the basis of Archie’s formula are usually used to interpret this kind of reservoir,and the three-water model is widely used as well.However,there are many parameters in the threewater model,and some of them are difficult to determine.Most of the determination methods are based on the statistics of large amount of experimental data.In this study,the authors determine the value of the parameters of the new three-water model based on the nuclear magnetic data and the genetic optimization algorithm.The relative error between the resistivity calculated based on these parameters and the resistivity measured experimentally at 100%water content is 0.9024.The method studied in this paper can be easily applied without much experimental data.It can provide reference for other regions to determine the parameters of the new three-water model.

Structure and kinematic analysis of the deepwater area of the Qiongdongnan Basin through a seismic interpretation and analogue modeling experiments

Located at the northwest continental slope of the South China Sea, the Qiongdongnan Basin bears valley-shaped bathymetry deepening toward east. It is separated from the Yinggehai Basin through NW-trending Indo-China-Red River shear zone, and connected with NW subsea basin through the Xisha Trough. Along with the rapid progress of the deepwater exploration, large amounts of high resolution geophysical and geological data were accumulated. Scientific researches about deepwater basins kept revealing brand new tectonic and sedimentary discoveries. In order to summarize the structural features and main controlling factors of the deepwater Qiongdongnan Basin, a series of researches on basin architecture, fault activities, tectonic deformation and evolution were carried out. In reference to analogue modeling experiments, a tectonic situation and a basin formation mechanism were discussed. The researches indicate that：the northern boundary of the Qiongdongnan Basin is strongly controlled by No. 2 fault. The overlapping control of two stress fields from the east and the west made the central depression zone extremely thinned. Combined with the changed stress field, the segmentation of a preexisting weakness zone made the sags in the east experiencing different rifting histories from the west ones. The NE-trending west segment of the Qiongdongnan Basin experienced strong rifting during Eocene, while the roughly EW-trending sags in the east segment show strong rifting during late Eocene and early Oligocene. Local structures such as NW-trending basal fault and inherited uplifts controlled the lateral segmentation. So first order factors such as regional stress field and preexisting weakness zone controlled the basin zonation, while the second order factors determined the segmentation from east to west.

Deep Learning-Driven Data Curation and Model Interpretation for Smart Manufacturing

Characterized by self-monitoring and agile adaptation to fast changing dynamics in complex production environments,smart manufacturing as envisioned under Industry 4.0 aims to improve the throughput and reliability of production beyond the state-of-the-art.While the widespread application of deep learning(DL)has opened up new opportunities to accomplish the goal,data quality and model interpretability have continued to present a roadblock for the widespread acceptance of DL for real-world applications.This has motivated research on two fronts:data curation,which aims to provide quality data as input for meaningful DL-based analysis,and model interpretation,which intends to reveal the physical reasoning underlying DL model outputs and promote trust from the users.This paper summarizes several key techniques in data curation where breakthroughs in data denoising,outlier detection,imputation,balancing,and semantic annotation have demonstrated the effectiveness in information extraction from noisy,incomplete,insufficient,and/or unannotated data.Also highlighted are model interpretation methods that address the“black-box”nature of DL towards model transparency.

Research on Well Testing Interpretation of Low Permeability Deformed Dual Medium Reservoir

Considering the influence of quadratic gradient term and medium deformation on the seepage equation, a well testing interpretation model for low permeability and deformation dual medium reservoirs was derived and established. The difference method was used to solve the problem, and pressure and pressure derivative double logarithmic curves were drawn to analyze the seepage law. The research results indicate that the influence of starting pressure gradient and medium deformation on the pressure characteristic curve is mainly manifested in the middle and late stages. The larger the value, the more obvious the upward warping of the pressure and pressure derivative curve;the parameter characterizing the dual medium is the crossflow coefficient. The channeling coefficient determines the time and location of the appearance of the “concave”. The smaller the value, the later the appearance of the “concave”, and the more to the right of the “concave”.

Artificial intelligence-driven radiomics study in cancer:the role of feature engineering and modeling

Modern medicine is reliant on various medical imaging technologies for non-invasively observing patients’anatomy.However,the interpretation of medical images can be highly subjective and dependent on the expertise of clinicians.Moreover,some potentially useful quantitative information in medical images,especially that which is not visible to the naked eye,is often ignored during clinical practice.In contrast,radiomics performs high-throughput feature extraction from medical images,which enables quantitative analysis of medical images and prediction of various clinical endpoints.Studies have reported that radiomics exhibits promising performance in diagnosis and predicting treatment responses and prognosis,demonstrating its potential to be a non-invasive auxiliary tool for personalized medicine.However,radiomics remains in a developmental phase as numerous technical challenges have yet to be solved,especially in feature engineering and statistical modeling.In this review,we introduce the current utility of radiomics by summarizing research on its application in the diagnosis,prognosis,and prediction of treatment responses in patients with cancer.We focus on machine learning approaches,for feature extraction and selection during feature engineering and for imbalanced datasets and multi-modality fusion during statistical modeling.Furthermore,we introduce the stability,reproducibility,and interpretability of features,and the generalizability and interpretability of models.Finally,we offer possible solutions to current challenges in radiomics research.

Optimized Non-hyperbolic Stack Imaging Based on Interpretation Model

In complex media, especially for seismic prospecting in deep layers in East China and in the mountainous area in West China, due to the complex geological condition, the common-mid-point （CMP） gather of deep reflection event is neither hyperbolic, nor any simple function. If traditional normal move-out （NMO） and stack imaging technology are still used, it is difficult to get a clear stack image. Based on previous techniques on non-hyperbolic stack, it is thought in this paper that no matter how complex the geological condition is, in order to get an optimized stack image, the stack should be non time move-out stack, and any stacking method limited to some kind of curve will be restricted to application conditions. In order to overcome the above-mentioned limit, a new method called optimized non-hyperbolic stack imaging based on interpretation model is presented in this paper. Based on CMP/CRP （Common-Reflection-Point） gather after NMO or pre-stack migration, this method uses the interpretation model of reflectors as constraint, and takes comparability as a distinguishing criterion, and finally forms a residual move-out correction for the gather of constrained model. Numerical simulation indicates that this method could overcome the non hyperbolic problem and get fine stack image.

Alternative 3D Modeling Approaches Based on Complex Multi-Source Geological Data Interpretation

Due to the complex nature of multi-source geological data, it is difficult to rebuild every geological structure through a single 3D modeling method. The multi-source data interpretation method put forward in this analysis is based on a database-driven pattern and focuses on the discrete and irregular features of geological data. The geological data from a variety of sources covering a range of accuracy, resolution, quantity and quality are classified and integrated according to their reliability and consistency for 3D modeling. The new interpolation-approximation fitting construction algorithm of geological surfaces with the non-uniform rational B-spline(NURBS) technique is then presented. The NURBS technique can retain the balance among the requirements for accuracy, surface continuity and data storage of geological structures. Finally, four alternative 3D modeling approaches are demonstrated with reference to some examples, which are selected according to the data quantity and accuracy specification. The proposed approaches offer flexible modeling patterns for different practical engineering demands.

Effective Electromagnetic Log Data Interpretation in Realistic Reservoir Models

This paper analyzes some specific features of the numerical interpretation of high-frequency electromagnetic logging data in vertical, deviated and horizontal boreholes entering oil- and water-saturated formations. The interpretation is based on numerical modeling for signals.

Model Interpretation Development: Analysis Design of Automatic Control System

Currently the development of automatic control system is mainly based on manual design. This has made the develop-ment process complicated and has made it difficult to guarantee system requirement. This paper presents a Model in-terpretation development architecture built on meta-models and model interpretation. In this modeling and developing process, different meta-models or domain models may be constructed in terms of various system requirements. Inter-preters are used to transform the meta-model into relevant domain model and generate some other formats from do-main models, typically with different semantic domains. An interpretation extension interface is introduced, which can be accelerated to develop the model interpreter. This development architecture can improve system reusability and en-hance development efficiency. Finally, an example is introduced to explain the advantage of method.

The Skills of Note-taking in Consecutive Interpretation from the Perspective of Gile's Effort Models

This paper introduces the method of note-taking based on the Gile's Effort Models,exploring how tokeep the balance of memory and note-aking in consecutive interpreting.The paper also analyses some examples tofind an effective way to balance the memory and note-taking in consecutive interpreting,so as to help interpreters tobetter convey the meaning of speakers accurately and quickly with the help of interpreting notes,thereby improvingthe quality of interpreting.

Analysis of Ecosystem Degradation Factors in Yuanmou Arid-Hot Valleys Based on Interpretative Structural Model

For ecological restoration and reconstruction of the degraded area, it is an important premise to correctly understand the degradation factors of the ecosystem in the arid-hot valleys. The factors including vegetation degradation, land degradation, arid climate, policy failure, forest fire, rapid population growth, excessive deforestation, overgrazing, steep slope reclamation, economic poverty, engineering construction, lithology, slope, low cultural level, geological hazards, biological disaster, soil properties etc, were selected to study the Yuanmou arid-hot valleys. Based on the interpretative structural model （ISM）, it has found out that the degradation factors of the Yuanmou arid-hot valleys were not at the same level but in a multilevel hierarchical system with internal relations, which pointed out that the degradation mode of the arid-hot valleys was ＂straight （appearance）-penetrating-background＂. Such researches have important directive significance for the restoration and reconstruction of the arid-hot valleys ecosystem.

The Research and Application of Bright Spot Quantitative Interpretation in Deepwater Exploration

Prospectors usually recognize the event with strong amplitude in seismic sections as bright spots. However, such a simple and rough method can’t distinguish whether these bright spots are related to favorable gas layer or water layer directly. In this paper, for the high correlation between reservoir gascontent and amplitude anomaly in research area, based on rock physical analysis of the wells drilled, using forward modeling technique respectively simulates and analyzes the seismic amplitude of gas layer and water layer. Then, combining the simulation result with corresponding statistics amplitude obtains the numerical relationship between each layer amplitude. At last, using the display technique directly recognizes the bright spots of gas layer in seismic profile and gets rid of those false bright spots caused by water layer, which improved the robustness in the bright spots interpretation and provided reliable basis for reducing exploration risks. Moreover, applying the method to the target zone, we obtain huge success.

Analysis of Feature Importance and Interpretation for Malware Classification

This study was conducted to enable prompt classification of malware,which was becoming increasingly sophisticated.To do this,we analyzed the important features of malware and the relative importance of selected features according to a learning model to assess how those important features were identified.Initially,the analysis features were extracted using Cuckoo Sandbox,an open-source malware analysis tool,then the features were divided into five categories using the extracted information.The 804 extracted features were reduced by 70%after selecting only the most suitable ones for malware classification using a learning model-based feature selection method called the recursive feature elimination.Next,these important features were analyzed.The level of contribution from each one was assessed by the Random Forest classifier method.The results showed that System call features were mostly allocated.At the end,it was possible to accurately identify the malware type using only 36 to 76 features for each of the four types of malware with the most analysis samples available.These were the Trojan,Adware,Downloader,and Backdoor malware.

New Trend in Fintech: Research on Artificial Intelligence Model Interpretability in Financial Fields

With the development of Fintech, applying artificial intelligence (AI) technologies to the financial field is a general trend. However, there are some inappropriate conditions, for instance, the AI model is always treated as a black box and cannot be interpreted. This paper studies the AI model interpretability when the models are applied in the financial field. We analyze the reasons of black box problem and explore the effective solutions. We propose a new kind of automatic Regtech tool—LIMER, and put forward policy suggestions, thereby continuously promoting the development of Fintech to a higher level.

Application of Catastrophe Theory in 3D Seismic Data Interpretation of Coal Mine

In order to detect fault exactly and quickly, cusp catastrophe theory is used to interpret 3D coal seismic data in this paper. By establishing a cusp model, seismic signal is transformed into standard form of cusp catastrophe and catastrophe parameters, including time-domain catastrophe potential, time-domain catastrophe time, frequency-domain catastrophe potential and frequency- domain degree, are calculated. Catastrophe theory is used in 3D seismic structural interpretation in coal mine. The results show that the position of abnormality of the catastrophe parameter profile or curve is related to the location of fault, and the cusp catastrophe theory is effective to automatically pick up geology information and improve the interpretation precision in 3D seismic data.

On the Dogmatics of Contract Interpretation

The interpretation of contract has attracted much attention in the practice of contract law and the basic problems to be solved are what the parties agree on and how to set up the rules of adjudication.The present domestic studies are not conducive to contract practices because they either unnecessarily elevate scientific problems to the speculative realm of fantasy,or make the problems become more unreal and abstract.The two traditional theories of contract interpretation do not conflict in values in terms of the autonomy of the will and trust protection.However,in today' s society where cultural pluralism and legal value pluralism exist,because of different contract practices,differentiation and individualization of contract interpretation will become the basic patterns.Therefore,it is impossible and unnecessary to construct a unitary model,but it is of great significance to introduce the dogmatics-oriented contract interpretation.