Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the...Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the vegetation landscapes, we proposed the lacunarity texture derived from NDVI to characterize the spatial patterns of vegetation landscapes concerning the ＂gappiness＂ or ＂emptiness＂ characteristics. The NDVI-based lacunarity texture was incorporated into object-oriented classification for improving the identification of vegetation categories, especially Torreya which was the targeted tree species in the present research. A three-level hierarchical network of image objects was defined and the proposed texture was integrated as potential sources of information in the rules base. A knowledge base of rules created by classifier C5.0 indicated that the texture could potentially be applied in object-oriented classification. It was found that the addition of such texture improved the identification of every vegetation category. The results demonstrated that the texture could characterize the spatial patterns of vegetation structures, which could be a promising approach for vegetation identification.展开更多
The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strate...The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strategic decision making lead to the achievemellt of optimal path towardsmarket economy from the central planning situation in China. To meet user's various requirements,a series of innovations in software development have been carried out, such as system formalization with OBFRAMEs in an object-oriented paradigm for problem solving automation and techniques of modules intelligent cooperation, hybrid system of reasoning, connectionist framework utilization,etc. Integration technology has been highly emphasized and discussed in this article and an outlook to future software engineering is given in the conclusion section.展开更多
A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inhe...A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inherited and expanded in the new system. The integrity and security of the SOTER database are enhanced. The attribute database management, the spatial database management and the model base are integrated into SOTER based on the component object model (COM), and the graphical user interface (GUI) for Windows is used to interact with clients, thus being easy to create and maintain the SOTER, and convenient to promote the quantification and automation of soil information application.展开更多
High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent u...High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.展开更多
In this paper, mathematical models and FEA formulation for implementing heat treatment process simulation were given out. The various coupling effects were treated. The object-oriented methodology of developing heat t...In this paper, mathematical models and FEA formulation for implementing heat treatment process simulation were given out. The various coupling effects were treated. The object-oriented methodology of developing heat treatment simulation was explored. The framework of simulating programs was outlined. The main C++ classes were developed, some important member functions were implemented. The present research work shows that using object-oriented method can greatly reduce the amount of coding. The programs are clear in conception, easy to test, modify and expand. By using the methodology introduced in this paper, one heat treatment process three dimensional simulation tool was developed.展开更多
This paper proposed a new approach of sample part classification and design, a so called Or-dered-object-oriented method (O-O-O method). Based on the theory of neural networks, fuzzy clustering algorithm and adaptive ...This paper proposed a new approach of sample part classification and design, a so called Or-dered-object-oriented method (O-O-O method). Based on the theory of neural networks, fuzzy clustering algorithm and adaptive pattern recognition, O-O-O method can be used to classify and design the sample parts automatically. The basic theory, the main step as well as the characteristics of the method are analysed. The construction of the ordered object in application is also presented in this paper.展开更多
Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a ...Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.展开更多
The process of rapid urbanization in China features two opposing trends： declining rural population and increasing rural residential land, especially in southern hilly areas. The extraction and analysis of residentia...The process of rapid urbanization in China features two opposing trends： declining rural population and increasing rural residential land, especially in southern hilly areas. The extraction and analysis of residential land in rural China represents an important application for remote sensing technology. The study aimed to discover rural residential land information using RapidEye satellite imagery, taking Taihe County as the research area in the hilly region of southern China. Based on multiple experiments, classification was conducted with an optimal image segmentation scale set to 200. The object-oriented classification rule set was constructed using the customized parameters NDVI, NDWI, brightness, and length/width. The areas of residential land and other land use types were interpreted by varying the parameter values for classification rule sets. Finally, validation and accuracy evaluations were carried out. The overall accuracy of residential land interpretation is 78.40%, and producer＇s accuracy and user＇s accuracy are 68.75% and 77.33%, respectively. The results indicate that RapidEye provides a suitable data source for extraction of rural residential land using an object-oriented approach. Compared with the second national land survey of China, the classification gave an absolute difference of 93.67 ha residential land within the study area. Recognition errors occurred mainly in regions adjacent to the boundaries between residential land and other types of land.展开更多
Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch ...Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.展开更多
The design and management of the objects about the numerical manifold method are studied by abstracting the finite cover system of numerical manifold method as independent data classes and the theoretical basis for th...The design and management of the objects about the numerical manifold method are studied by abstracting the finite cover system of numerical manifold method as independent data classes and the theoretical basis for the researching and expanding of numerical manifold method is also put forward. The Hammer integration of triangular area coordinates is used in the integration of the element. The calculation result shows that the program is accuracy and effective.展开更多
The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There ar...The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.展开更多
Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defec...Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some extent.However,these detection techniques are mainly based on text features and have weak detection capabilities across programs.Compared with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of thinking.This article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection methods.In the experiment,some representative Android applications were selected to test and compare the proposed methods.In terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.展开更多
In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to ...In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to obtain the maximal positive definite solution of nonlinear matrix equation X+A^(*)X|^(-α)A=Q with the case 0<α≤1.Based on this method,a new iterative algorithm is developed,and its convergence proof is given.Finally,two numerical examples are provided to show the effectiveness of the proposed method.展开更多
Convex feasibility problems are widely used in image reconstruction,sparse signal recovery,and other areas.This paper is devoted to considering a class of convex feasibility problem arising from sparse signal recovery...Convex feasibility problems are widely used in image reconstruction,sparse signal recovery,and other areas.This paper is devoted to considering a class of convex feasibility problem arising from sparse signal recovery.We rst derive the projection formulas for a vector onto the feasible sets.The centralized circumcentered-reection method is designed to solve the convex feasibility problem.Some numerical experiments demonstrate the feasibility and e ectiveness of the proposed algorithm,showing superior performance compared to conventional alternating projection methods.展开更多
Marine thin plates are susceptible to welding deformation owing to their low structural stiffness.Therefore,the efficient and accurate prediction of welding deformation is essential for improving welding quality.The t...Marine thin plates are susceptible to welding deformation owing to their low structural stiffness.Therefore,the efficient and accurate prediction of welding deformation is essential for improving welding quality.The traditional thermal elastic-plastic finite element method(TEP-FEM)can accurately predict welding deformation.However,its efficiency is low because of the complex nonlinear transient computation,making it difficult to meet the needs of rapid engineering evaluation.To address this challenge,this study proposes an efficient prediction method for welding deformation in marine thin plate butt welds.This method is based on the coupled temperature gradient-thermal strain method(TG-TSM)that integrates inherent strain theory with a shell element finite element model.The proposed method first extracts the distribution pattern and characteristic value of welding-induced inherent strain through TEP-FEM analysis.This strain is then converted into the equivalent thermal load applied to the shell element model for rapid computation.The proposed method-particularly,the gradual temperature gradient-thermal strain method(GTG-TSM)-achieved improved computational efficiency and consistent precision.Furthermore,the proposed method required much less computation time than the traditional TEP-FEM.Thus,this study lays the foundation for future prediction of welding deformation in more complex marine thin plates.展开更多
It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is ver...It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is very im-portant in global change.It is vital to incorporate the information of urban land use/cover change into the process of decision-making about urban area development.In this paper,a new urban change detection approach,urban dynamic monitoring based on objects,is introduced.This approach includes four steps:1)producing multi-scale objects from multi-temporal remotely sensed images with spectrum,texture and context information;2)extracting possible changed objects adopting object-oriented classification;3)obtaining shared objects as the basic units for urban change detection;4)determining the threshold to segment the changed objects from the possible changed objects using Otsu method.In this paper,the object-based approach was applied to detecting the urban expansion in Haidian District,Beijing,China with two Landsat Thematic Mapper(TM)data in 1997 and 2004.The results indicated that the overall accuracy was about 84.83%,and Kappa about 0.785.Compared with other conventional approaches,the object-based approach was advantageous in reducing the error accumulation of image classification of each datum and in independence to the radiometric correction and image registration accuracy.展开更多
The inspection of engine lubricating oil can give an indication of the internal condition of an engine. By means of the Object-Oriented Programming (OOP), an expert system is developed in this paper to computerize the...The inspection of engine lubricating oil can give an indication of the internal condition of an engine. By means of the Object-Oriented Programming (OOP), an expert system is developed in this paper to computerize the inspection. The traditional components of an expert system, such us knowledge base, inference engine and user interface are reconstructed and integrated, based on the Microsoft Foundation Class (MFC) library. To testify the expert system, an inspection example is given at the end of this paper.展开更多
This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedd...This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedded AI or namely agents in computer world, corresponding to economic agents and entities in real world, such as government, households, markets and so on. A frame representation of major objects in CGE model is used for trade and environment. Embedded Al object-oriented approach (or software agent) is used in the CGE model representation can able to narrow the gap among the semantic representation, formal CGE (mathematical) representation and computer and algorithm representation, and to improve CGE in understanding and maintenance etc. In such a system, constructing a CGE model to appear an intuitive process rather than an abstract process. This intuitive process needs more understanding of the substance of economics and the logic underlying the problem rather than mathematical notation.展开更多
This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability...This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability.To draw as many general conclusions as possible,the confounding effect of class size is analyzed on 127 C＋＋ systems and 113 Java systems.For each OO metric,the indirect effect that represents the distortion of the association caused by class size and its variance for individual systems is first computed.Then,a statistical meta-analysis technique is used to compute the average indirect effect over all the systems and to determine if it is significantly different from zero.The experimental results show that the confounding effects of class size on the associations between OO metrics and maintainability generally exist,regardless of whatever size metric is used.Therefore,empirical studies validating OO metrics on maintainability should consider class size as a confounding variable.展开更多
Expert systems (ESs) are being increasingly applied to the fault diagnosis of engines. Based on the idea of ES template (EST), an object-oriented rule-type EST is emphatically studied on such aspects as the object-ori...Expert systems (ESs) are being increasingly applied to the fault diagnosis of engines. Based on the idea of ES template (EST), an object-oriented rule-type EST is emphatically studied on such aspects as the object-oriented knowledge representation, the heuristic inference engine with an improved depth-first search (DFS) and the graphical user interface. A diagnositic ES instance for debris on magnetic chip detectors (MCDs) is then created with the EST. The spot running shows that the rule-type EST enhances the abilities of knowledge representation and heuristic inference, and breaks a new way for the rapid construction and implementation of ES.展开更多
基金supported by the National Natural Science Foundation of China (30671212)
文摘Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the vegetation landscapes, we proposed the lacunarity texture derived from NDVI to characterize the spatial patterns of vegetation landscapes concerning the ＂gappiness＂ or ＂emptiness＂ characteristics. The NDVI-based lacunarity texture was incorporated into object-oriented classification for improving the identification of vegetation categories, especially Torreya which was the targeted tree species in the present research. A three-level hierarchical network of image objects was defined and the proposed texture was integrated as potential sources of information in the rules base. A knowledge base of rules created by classifier C5.0 indicated that the texture could potentially be applied in object-oriented classification. It was found that the addition of such texture improved the identification of every vegetation category. The results demonstrated that the texture could characterize the spatial patterns of vegetation structures, which could be a promising approach for vegetation identification.
文摘The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strategic decision making lead to the achievemellt of optimal path towardsmarket economy from the central planning situation in China. To meet user's various requirements,a series of innovations in software development have been carried out, such as system formalization with OBFRAMEs in an object-oriented paradigm for problem solving automation and techniques of modules intelligent cooperation, hybrid system of reasoning, connectionist framework utilization,etc. Integration technology has been highly emphasized and discussed in this article and an outlook to future software engineering is given in the conclusion section.
基金Project supported by the National Natural Science Foundation of China (No. 40271056) Hubei Provin- cial Natural Science Foundation of China (No. 99J123).
文摘A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inherited and expanded in the new system. The integrity and security of the SOTER database are enhanced. The attribute database management, the spatial database management and the model base are integrated into SOTER based on the component object model (COM), and the graphical user interface (GUI) for Windows is used to interact with clients, thus being easy to create and maintain the SOTER, and convenient to promote the quantification and automation of soil information application.
文摘High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
文摘In this paper, mathematical models and FEA formulation for implementing heat treatment process simulation were given out. The various coupling effects were treated. The object-oriented methodology of developing heat treatment simulation was explored. The framework of simulating programs was outlined. The main C++ classes were developed, some important member functions were implemented. The present research work shows that using object-oriented method can greatly reduce the amount of coding. The programs are clear in conception, easy to test, modify and expand. By using the methodology introduced in this paper, one heat treatment process three dimensional simulation tool was developed.
文摘This paper proposed a new approach of sample part classification and design, a so called Or-dered-object-oriented method (O-O-O method). Based on the theory of neural networks, fuzzy clustering algorithm and adaptive pattern recognition, O-O-O method can be used to classify and design the sample parts automatically. The basic theory, the main step as well as the characteristics of the method are analysed. The construction of the ordered object in application is also presented in this paper.
基金support of the Deanship of Research and Graduate Studies at Ajman University under Projects 2024-IRG-ENiT-36 and 2024-IRG-ENIT-29.
文摘Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.
基金National Natural Science Foundation of China(41301474)National Science&Technology Infrastructure Work Special Projects of China(2011FY110400,2013FY114600)the China Postdoctoral Science Foundation(2013M530708,2014T70114)
文摘The process of rapid urbanization in China features two opposing trends： declining rural population and increasing rural residential land, especially in southern hilly areas. The extraction and analysis of residential land in rural China represents an important application for remote sensing technology. The study aimed to discover rural residential land information using RapidEye satellite imagery, taking Taihe County as the research area in the hilly region of southern China. Based on multiple experiments, classification was conducted with an optimal image segmentation scale set to 200. The object-oriented classification rule set was constructed using the customized parameters NDVI, NDWI, brightness, and length/width. The areas of residential land and other land use types were interpreted by varying the parameter values for classification rule sets. Finally, validation and accuracy evaluations were carried out. The overall accuracy of residential land interpretation is 78.40%, and producer＇s accuracy and user＇s accuracy are 68.75% and 77.33%, respectively. The results indicate that RapidEye provides a suitable data source for extraction of rural residential land using an object-oriented approach. Compared with the second national land survey of China, the classification gave an absolute difference of 93.67 ha residential land within the study area. Recognition errors occurred mainly in regions adjacent to the boundaries between residential land and other types of land.
基金supported by National Natural Science Foundation of China (Grant No. 60873003)
文摘Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.
基金This project is supported by National Natural Science Foundation of China.
文摘The design and management of the objects about the numerical manifold method are studied by abstracting the finite cover system of numerical manifold method as independent data classes and the theoretical basis for the researching and expanding of numerical manifold method is also put forward. The Hammer integration of triangular area coordinates is used in the integration of the element. The calculation result shows that the program is accuracy and effective.
文摘The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.
基金This work was supported by National Key RD Program of China under Grant 2017YFB0802901.
文摘Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some extent.However,these detection techniques are mainly based on text features and have weak detection capabilities across programs.Compared with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of thinking.This article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection methods.In the experiment,some representative Android applications were selected to test and compare the proposed methods.In terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.
基金Supported in part by Natural Science Foundation of Guangxi(2023GXNSFAA026246)in part by the Central Government's Guide to Local Science and Technology Development Fund(GuikeZY23055044)in part by the National Natural Science Foundation of China(62363003)。
文摘In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to obtain the maximal positive definite solution of nonlinear matrix equation X+A^(*)X|^(-α)A=Q with the case 0<α≤1.Based on this method,a new iterative algorithm is developed,and its convergence proof is given.Finally,two numerical examples are provided to show the effectiveness of the proposed method.
基金Supported by the Natural Science Foundation of Guangxi Province(Grant Nos.2023GXNSFAA026067,2024GXN SFAA010521)the National Natural Science Foundation of China(Nos.12361079,12201149,12261026).
文摘Convex feasibility problems are widely used in image reconstruction,sparse signal recovery,and other areas.This paper is devoted to considering a class of convex feasibility problem arising from sparse signal recovery.We rst derive the projection formulas for a vector onto the feasible sets.The centralized circumcentered-reection method is designed to solve the convex feasibility problem.Some numerical experiments demonstrate the feasibility and e ectiveness of the proposed algorithm,showing superior performance compared to conventional alternating projection methods.
基金Supported by the National Natural Science Foundation of China under Grant No.51975138the High-Tech Ship Scientific Research Project from the Ministry of Industry and Information Technology under Grant No.CJ05N20the National Defense Basic Research Project under Grant No.JCKY2023604C006.
文摘Marine thin plates are susceptible to welding deformation owing to their low structural stiffness.Therefore,the efficient and accurate prediction of welding deformation is essential for improving welding quality.The traditional thermal elastic-plastic finite element method(TEP-FEM)can accurately predict welding deformation.However,its efficiency is low because of the complex nonlinear transient computation,making it difficult to meet the needs of rapid engineering evaluation.To address this challenge,this study proposes an efficient prediction method for welding deformation in marine thin plate butt welds.This method is based on the coupled temperature gradient-thermal strain method(TG-TSM)that integrates inherent strain theory with a shell element finite element model.The proposed method first extracts the distribution pattern and characteristic value of welding-induced inherent strain through TEP-FEM analysis.This strain is then converted into the equivalent thermal load applied to the shell element model for rapid computation.The proposed method-particularly,the gradual temperature gradient-thermal strain method(GTG-TSM)-achieved improved computational efficiency and consistent precision.Furthermore,the proposed method required much less computation time than the traditional TEP-FEM.Thus,this study lays the foundation for future prediction of welding deformation in more complex marine thin plates.
基金Under the auspices of the National High Technology ResearchDevelopment Program of China(No.2003AA132020)
文摘It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is very im-portant in global change.It is vital to incorporate the information of urban land use/cover change into the process of decision-making about urban area development.In this paper,a new urban change detection approach,urban dynamic monitoring based on objects,is introduced.This approach includes four steps:1)producing multi-scale objects from multi-temporal remotely sensed images with spectrum,texture and context information;2)extracting possible changed objects adopting object-oriented classification;3)obtaining shared objects as the basic units for urban change detection;4)determining the threshold to segment the changed objects from the possible changed objects using Otsu method.In this paper,the object-based approach was applied to detecting the urban expansion in Haidian District,Beijing,China with two Landsat Thematic Mapper(TM)data in 1997 and 2004.The results indicated that the overall accuracy was about 84.83%,and Kappa about 0.785.Compared with other conventional approaches,the object-based approach was advantageous in reducing the error accumulation of image classification of each datum and in independence to the radiometric correction and image registration accuracy.
文摘The inspection of engine lubricating oil can give an indication of the internal condition of an engine. By means of the Object-Oriented Programming (OOP), an expert system is developed in this paper to computerize the inspection. The traditional components of an expert system, such us knowledge base, inference engine and user interface are reconstructed and integrated, based on the Microsoft Foundation Class (MFC) library. To testify the expert system, an inspection example is given at the end of this paper.
文摘This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedded AI or namely agents in computer world, corresponding to economic agents and entities in real world, such as government, households, markets and so on. A frame representation of major objects in CGE model is used for trade and environment. Embedded Al object-oriented approach (or software agent) is used in the CGE model representation can able to narrow the gap among the semantic representation, formal CGE (mathematical) representation and computer and algorithm representation, and to improve CGE in understanding and maintenance etc. In such a system, constructing a CGE model to appear an intuitive process rather than an abstract process. This intuitive process needs more understanding of the substance of economics and the logic underlying the problem rather than mathematical notation.
基金The National Natural Science Foundation of China(No.60425206,60633010)
文摘This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability.To draw as many general conclusions as possible,the confounding effect of class size is analyzed on 127 C＋＋ systems and 113 Java systems.For each OO metric,the indirect effect that represents the distortion of the association caused by class size and its variance for individual systems is first computed.Then,a statistical meta-analysis technique is used to compute the average indirect effect over all the systems and to determine if it is significantly different from zero.The experimental results show that the confounding effects of class size on the associations between OO metrics and maintainability generally exist,regardless of whatever size metric is used.Therefore,empirical studies validating OO metrics on maintainability should consider class size as a confounding variable.
文摘Expert systems (ESs) are being increasingly applied to the fault diagnosis of engines. Based on the idea of ES template (EST), an object-oriented rule-type EST is emphatically studied on such aspects as the object-oriented knowledge representation, the heuristic inference engine with an improved depth-first search (DFS) and the graphical user interface. A diagnositic ES instance for debris on magnetic chip detectors (MCDs) is then created with the EST. The spot running shows that the rule-type EST enhances the abilities of knowledge representation and heuristic inference, and breaks a new way for the rapid construction and implementation of ES.
