Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi...Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.展开更多
Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satel...Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.展开更多
In the developing course of the information system, the modeling method of information system and model expressing problem are very important. This paper through discussing the facing object of Petri network, expatiat...In the developing course of the information system, the modeling method of information system and model expressing problem are very important. This paper through discussing the facing object of Petri network, expatiates the basic problem of how to set up the business procedure model on the basis of Petri network, and shows the expressing and storing methods of the model in computer way.展开更多
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.展开更多
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.展开更多
本文采用的着色Petri网(Colored Petri Nets,CPN)是一种基于模型检测法的自动化建模技术,它引入了"颜色集"的概念,以扩展Petri网的表达能力。该技术利用着色Petri网及其配套的建模工具CPN Tools对安全协议进行建模,能够使得...本文采用的着色Petri网(Colored Petri Nets,CPN)是一种基于模型检测法的自动化建模技术,它引入了"颜色集"的概念,以扩展Petri网的表达能力。该技术利用着色Petri网及其配套的建模工具CPN Tools对安全协议进行建模,能够使得模型实现图形化和层次化,其内置的状态空间分析工具及CPN ML语言,能够高效地协助分析人员获取必要数据。本文以经典的密钥交换协议TMN为例,运用CPN方法对其进行形式化分析,成功识别出攻击者可能利用的攻击路径,并验证了协议中存在的安全漏洞。针对这些漏洞,本文提出了一种改进方法,经过验证,证实了该改进方法的有效性。展开更多
Due to the small size,variety,and high degree of mixing of herbaceous vegetation,remote sensing-based identification of grassland types primarily focuses on extracting major grassland categories,lacking detailed depic...Due to the small size,variety,and high degree of mixing of herbaceous vegetation,remote sensing-based identification of grassland types primarily focuses on extracting major grassland categories,lacking detailed depiction.This limitation significantly hampers the development of effective evaluation and fine supervision for the rational utilization of grassland resources.To address this issue,this study concentrates on the representative grassland of Zhenglan Banner in Inner Mongolia as the study area.It integrates the strengths of Sentinel-1 and Sentinel-2 active-passive synergistic observations and introduces innovative object-oriented techniques for grassland type classification,thereby enhancing the accuracy and refinement of grassland classification.The results demonstrate the following:(1)To meet the supervision requirements of grassland resources,we propose a grassland type classification system based on remote sensing and the vegetation-habitat classification method,specifically applicable to natural grasslands in northern China.(2)By utilizing the high-spatial-resolution Normalized Difference Vegetation Index(NDVI)synthesized through the Spatial and Temporal Non-Local Filter-based Fusion Model(STNLFFM),we are able to capture the NDVI time profiles of grassland types,accurately extract vegetation phenological information within the year,and further enhance the temporal resolution.(3)The integration of multi-seasonal spectral,polarization,and phenological characteristics significantly improves the classification accuracy of grassland types.The overall accuracy reaches 82.61%,with a kappa coefficient of 0.79.Compared to using only multi-seasonal spectral features,the accuracy and kappa coefficient have improved by 15.94%and 0.19,respectively.Notably,the accuracy improvement of the gently sloping steppe is the highest,exceeding 38%.(4)Sandy grassland is the most widespread in the study area,and the growth season of grassland vegetation mainly occurs from May to September.The sandy meadow exhibits a longer growing season compared with typical grassland and meadow,and the distinct differences in phenological characteristics contribute to the accurate identification of various grassland types.展开更多
基金This project is supported by National Natural Science Foundation of China (No.50085003).
文摘Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.
文摘Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.
文摘In the developing course of the information system, the modeling method of information system and model expressing problem are very important. This paper through discussing the facing object of Petri network, expatiates the basic problem of how to set up the business procedure model on the basis of Petri network, and shows the expressing and storing methods of the model in computer way.
基金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.
基金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.
文摘本文采用的着色Petri网(Colored Petri Nets,CPN)是一种基于模型检测法的自动化建模技术,它引入了"颜色集"的概念,以扩展Petri网的表达能力。该技术利用着色Petri网及其配套的建模工具CPN Tools对安全协议进行建模,能够使得模型实现图形化和层次化,其内置的状态空间分析工具及CPN ML语言,能够高效地协助分析人员获取必要数据。本文以经典的密钥交换协议TMN为例,运用CPN方法对其进行形式化分析,成功识别出攻击者可能利用的攻击路径,并验证了协议中存在的安全漏洞。针对这些漏洞,本文提出了一种改进方法,经过验证,证实了该改进方法的有效性。
基金supported by the National Natural Science Foundation of China[grant number 42001386,42271407]within the ESA-MOST China Dragon 5 Cooperation(ID:59313).
文摘Due to the small size,variety,and high degree of mixing of herbaceous vegetation,remote sensing-based identification of grassland types primarily focuses on extracting major grassland categories,lacking detailed depiction.This limitation significantly hampers the development of effective evaluation and fine supervision for the rational utilization of grassland resources.To address this issue,this study concentrates on the representative grassland of Zhenglan Banner in Inner Mongolia as the study area.It integrates the strengths of Sentinel-1 and Sentinel-2 active-passive synergistic observations and introduces innovative object-oriented techniques for grassland type classification,thereby enhancing the accuracy and refinement of grassland classification.The results demonstrate the following:(1)To meet the supervision requirements of grassland resources,we propose a grassland type classification system based on remote sensing and the vegetation-habitat classification method,specifically applicable to natural grasslands in northern China.(2)By utilizing the high-spatial-resolution Normalized Difference Vegetation Index(NDVI)synthesized through the Spatial and Temporal Non-Local Filter-based Fusion Model(STNLFFM),we are able to capture the NDVI time profiles of grassland types,accurately extract vegetation phenological information within the year,and further enhance the temporal resolution.(3)The integration of multi-seasonal spectral,polarization,and phenological characteristics significantly improves the classification accuracy of grassland types.The overall accuracy reaches 82.61%,with a kappa coefficient of 0.79.Compared to using only multi-seasonal spectral features,the accuracy and kappa coefficient have improved by 15.94%and 0.19,respectively.Notably,the accuracy improvement of the gently sloping steppe is the highest,exceeding 38%.(4)Sandy grassland is the most widespread in the study area,and the growth season of grassland vegetation mainly occurs from May to September.The sandy meadow exhibits a longer growing season compared with typical grassland and meadow,and the distinct differences in phenological characteristics contribute to the accurate identification of various grassland types.
