Business Process Modelling(BPM)is essential for analyzing,improving,and automating the flow of information within organizations,but traditional approaches based on manual interpretation are slow,error-prone,and requir...Business Process Modelling(BPM)is essential for analyzing,improving,and automating the flow of information within organizations,but traditional approaches based on manual interpretation are slow,error-prone,and require a high level of expertise.This article proposes an innovative alternative solution that overcomes these limitations by automatically generating comprehensive Business Process Modelling and Notation(BPMN)diagrams solely from verbal descriptions of the processes to be modeled,utilizing Large Language Models(LLMs)and multimodal Artificial Intelligence(AI).Experimental results,based on video recordings of process explanations provided by an expert from an organization(in this case,the Commercial Courts of a public justice administration),demonstrate that the proposed methodology successfully enables the automatic generation of complete and accurate BPMN diagrams,leading to significant improvements in the speed,accuracy,and accessibility of process modeling.This research makes a substantial contribution to the field of business process modeling,as its methodology is groundbreaking in its use of LLMs and multimodal AI capabilities to handle different types of source material(text and video),combining several tools to minimize the number of queries and reduce the complexity of the prompts required for the automatic generation of successful BPMN diagrams.展开更多
The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once compri...The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.展开更多
Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic ...Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.展开更多
In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasib...In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising...In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.展开更多
The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited ...The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.展开更多
This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture m...This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.展开更多
To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is present...To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their livi...The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their living habits and incidence were outlined.展开更多
基金funded by Fundación CajaCanarias and Fundación Bancaria“la Caixa”,grant number 2023DIG11.
文摘Business Process Modelling(BPM)is essential for analyzing,improving,and automating the flow of information within organizations,but traditional approaches based on manual interpretation are slow,error-prone,and require a high level of expertise.This article proposes an innovative alternative solution that overcomes these limitations by automatically generating comprehensive Business Process Modelling and Notation(BPMN)diagrams solely from verbal descriptions of the processes to be modeled,utilizing Large Language Models(LLMs)and multimodal Artificial Intelligence(AI).Experimental results,based on video recordings of process explanations provided by an expert from an organization(in this case,the Commercial Courts of a public justice administration),demonstrate that the proposed methodology successfully enables the automatic generation of complete and accurate BPMN diagrams,leading to significant improvements in the speed,accuracy,and accessibility of process modeling.This research makes a substantial contribution to the field of business process modeling,as its methodology is groundbreaking in its use of LLMs and multimodal AI capabilities to handle different types of source material(text and video),combining several tools to minimize the number of queries and reduce the complexity of the prompts required for the automatic generation of successful BPMN diagrams.
基金supported by China West Normal University (17YC352)。
文摘The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.
基金supported by the Project of National Natural Science Foundation of China(22102095,21773153)the National Key Basic Research and Development Program(2018YFB1502001)financial support from the program of China Scholarships Council(No.202306230242).
文摘Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.
基金partially supported by the National Key Research and Development Project under Grant2020YFB1806805Social Development Projects of Jiangsu Science and Technology Department under Grant No.BE2018704
文摘In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No.50674086)Specialized Research Fund for the Doctoral Program of Higher Education(No.20060290508)the Postdoctoral Scientific Program of Jiangsu Province(No.0701045B)
文摘In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.
文摘The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.
文摘This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.
基金Program for New Century Excellent Talents in Uni-versity (NoNCET-05-0288)
文摘To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金supported by the Fund of the National Natural Science Foundation of China (30570196)the International Cooperation Project of Hubei Provincial Department of Education (G200612001)
文摘The female of Sinodorcadion punctulatum is reported for the first time, and the photographs of adult are presented.
基金Supported by Science and Technology Department of Guizhou Province(LKS[2009]No.2085)GSW Technology Project(Agriculture2009-20)~~
文摘The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their living habits and incidence were outlined.
