Purpose:Mo ve recognition in scientific abstracts is an NLP task of classifying sentences of the abstracts into different types of language units.To improve the performance of move recognition in scientific abstracts,...Purpose:Mo ve recognition in scientific abstracts is an NLP task of classifying sentences of the abstracts into different types of language units.To improve the performance of move recognition in scientific abstracts,a novel model of move recognition is proposed that outperforms the BERT-based method.Design/methodology/approach:Prevalent models based on BERT for sentence classification often classify sentences without considering the context of the sentences.In this paper,inspired by the BERT masked language model(MLM),we propose a novel model called the masked sentence model that integrates the content and contextual information of the sentences in move recognition.Experiments are conducted on the benchmark dataset PubMed 20K RCT in three steps.Then,we compare our model with HSLN-RNN,BERT-based and SciBERT using the same dataset.Findings:Compared with the BERT-based and SciBERT models,the F1 score of our model outperforms them by 4.96%and 4.34%,respectively,which shows the feasibility and effectiveness of the novel model and the result of our model comes closest to the state-of-theart results of HSLN-RNN at present.Research limitations:The sequential features of move labels are not considered,which might be one of the reasons why HSLN-RNN has better performance.Our model is restricted to dealing with biomedical English literature because we use a dataset from PubMed,which is a typical biomedical database,to fine-tune our model.Practical implications:The proposed model is better and simpler in identifying move structures in scientific abstracts and is worthy of text classification experiments for capturing contextual features of sentences.Originality/value:T he study proposes a masked sentence model based on BERT that considers the contextual features of the sentences in abstracts in a new way.The performance of this classification model is significantly improved by rebuilding the input layer without changing the structure of neural networks.展开更多
It is difficult to formalize the causes of vulnerability, and there is no effective model to reveal the causes and characteristics of vulnerability. In this paper, a vulnerability model construction method is proposed...It is difficult to formalize the causes of vulnerability, and there is no effective model to reveal the causes and characteristics of vulnerability. In this paper, a vulnerability model construction method is proposed to realize the description of vulnerability attribute and the construction of a vulnerability model. A vulnerability model based on chemical abstract machine（CHAM） is constructed to realize the CHAM description of vulnerability model, and the framework of vulnerability model is also discussed. Case study is carried out to verify the feasibility and effectiveness of the proposed model. In addition, a prototype system is also designed and implemented based on the proposed vulnerability model. Experimental results show that the proposed model is more effective than other methods in the detection of software vulnerabilities.展开更多
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.展开更多
This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system w...This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.展开更多
Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, ...Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, especially at the small enterprises, to play many roles, and sometimes simultaneously. Beside the technical and managerial skills, software engineers should have additional intellectual skills such as domain-specific abstract thinking. Therefore, software engineering curriculum should help the students to build and improve their skills to meet the labor market needs. This study aims to explore the perceptions of software engineering students on the influence of learning software modeling and design on their domain-specific abstract thinking. Also, we explore the role of the course project in improving their domain-specific abstract thinking. The study results have shown that, most of the surveyed students believe that learning and practicing modeling and design concepts contribute to their ability to think abstractly on specific domain. However, this finding is influenced by the students’ lack of the comprehension of some modeling and design aspects (e.g., generalization). We believe that, such aspects should be introduced to the students at early levels of software engineering curriculum, which certainly will improve their ability to think abstractly on specific domain.展开更多
The rise of social media platforms has revolutionized communication, enabling the exchange of vast amounts of data through text, audio, images, and videos. These platforms have become critical for sharing opinions and...The rise of social media platforms has revolutionized communication, enabling the exchange of vast amounts of data through text, audio, images, and videos. These platforms have become critical for sharing opinions and insights, influencing daily habits, and driving business, political, and economic decisions. Text posts are particularly significant, and natural language processing (NLP) has emerged as a powerful tool for analyzing such data. While traditional NLP methods have been effective for structured media, social media content poses unique challenges due to its informal and diverse nature. This has spurred the development of new techniques tailored for processing and extracting insights from unstructured user-generated text. One key application of NLP is the summarization of user comments to manage overwhelming content volumes. Abstractive summarization has proven highly effective in generating concise, human-like summaries, offering clear overviews of key themes and sentiments. This enhances understanding and engagement while reducing cognitive effort for users. For businesses, summarization provides actionable insights into customer preferences and feedback, enabling faster trend analysis, improved responsiveness, and strategic adaptability. By distilling complex data into manageable insights, summarization plays a vital role in improving user experiences and empowering informed decision-making in a data-driven landscape. This paper proposes a new implementation framework by fine-tuning and parameterizing Transformer Large Language Models to manage and maintain linguistic and semantic components in abstractive summary generation. The system excels in transforming large volumes of data into meaningful summaries, as evidenced by its strong performance across metrics like fluency, consistency, readability, and semantic coherence.展开更多
With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly re...Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.展开更多
This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales'...This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales' IMRD(Introduction-Method-Result-Discussion) model and all the data are coded through SPSS.Result indicates 1) English natives tend to write longer than Chinese.2) The rhetorical structure of the abstract tends to be more complete in the international journals.3) English natives tend to write more about the background details while the Chinese natives focus more on the result explanation.It is hoped that this comparison would shed some lights on abstract writing for Chinese writers.展开更多
Genre analysis has become one of the most important approaches to text analysis, especially in the field of English for Specific Purposes. Abstract is the essential part of the paper, which helps the readers get initi...Genre analysis has become one of the most important approaches to text analysis, especially in the field of English for Specific Purposes. Abstract is the essential part of the paper, which helps the readers get initial impressions. Because of its particular the usage of communication, it has its special rules and mode. The purpose of this paper was to present the 5-move model characteristic of research dissertation Abstracts, and explore the linguistic characteristics of each move. The analysis started from the macrostructure, i.e from the text as a whole, towards the microstructure which included linguistic description (syntactic and lexical). The results showed that most abstracts followed 5-move model and the linguistic features of this genre.展开更多
Although contrastive move analysis of article abstracts has been a highlight,few studies focus on abstracts of natural sci⁃ence articles.To compensate for this gap,this study,based on IMRD model,focuses on aquatic bio...Although contrastive move analysis of article abstracts has been a highlight,few studies focus on abstracts of natural sci⁃ence articles.To compensate for this gap,this study,based on IMRD model,focuses on aquatic biology abstracts and contrasts those by native English speakers and those by Chinese authors.Combining quantitative and qualitative studies,it reveals their dif⁃ferences and similarities in terms of the frequency of different moves,sentence length and move length significance.Such similari⁃ties and differences can be explained by the face culture of China,the different language proficiency and the common convention of academic abstract.展开更多
Considering the fact that the original two-parameter LCM model can only be used to investigate rainfall losses during the runoff period because the initial abstraction is not included, the LCM model was redefined as a...Considering the fact that the original two-parameter LCM model can only be used to investigate rainfall losses during the runoff period because the initial abstraction is not included, the LCM model was redefined as a three-parameter model, including the initial abstraction coefficient l, the initial abstraction Ia, and the rainfall loss coefficient R. The improved LCM model is superior to the original two-parameter model, which only includes r and R, where r is the initial rainfall loss index and can be calculated with l using the Soil Conservation Service curve number （SCS-CN） method, with r = 1/（1 ＋ λ）. The trial method was used to determine the parameter values of the improved LCM model at the watershed scale for 15 flood events in the Hongde Basin in China. The results show that larger r values are associated with smaller R values, and the parameter R ranges widely from 0.5 to 2.0. In order to improve the practicability of the LCM model, r = 0.833 with λ = 0.2 is reasonable for simplifying calculation. When the LCM model is applied to arid and semi-arid regions, rainfall without yielding runoff should be deducted from the total rainfall for more accurate estimation of rainfall-runoff.展开更多
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activitie...Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model.展开更多
The paper describes a new human-interface system design method by combining the conception of Multilevel Flow Model and Ecological Interface Design to support operators’ fault diagnosis in the complex plant system. M...The paper describes a new human-interface system design method by combining the conception of Multilevel Flow Model and Ecological Interface Design to support operators’ fault diagnosis in the complex plant system. Modern man-made systems are always achieving many complex automatic and intelligent tasks so that they are becoming more and more complex and can be hardly understood by operators, who should be the primary role in system operating. This situation presents a big challenge to the operating support system that it should present the complex system in a direct and clear way to operators to and make operators understand the internal interaction of the system especially in the abnormal status to ensure the operating safety. The Multilevel Flow Model based on the idea of ”Abstraction Hierarchy”, aiming at decompressing a system by means-end and part-whole way, can be used to represent a complex system in a standard way and perform intelligent operating tasks such as fault diagnosis and process control. Ecological Interface Design, which based on the human cognitive properties, can present the internal interaction of the system in a direct way. This paper combines this two interface design conceptions to achieve two aspects, intelligent fault diagnosis and direct presentation of causal relationship of operating parameters, to support operators’ fault diagnosis in complex plant system. The design method is applied to a PWR power plant in this paper as an application example.展开更多
【目的】系统评估大语言模型(large language model,LLM)在辅助医学期刊英文摘要编校中的实际效能,并凝练可落地的编辑工作流程。【方法】选取11种代表性医学期刊的100篇中英文摘要,构建基于“术语-语法-规范-表达-逻辑”五维框架的英...【目的】系统评估大语言模型(large language model,LLM)在辅助医学期刊英文摘要编校中的实际效能,并凝练可落地的编辑工作流程。【方法】选取11种代表性医学期刊的100篇中英文摘要,构建基于“术语-语法-规范-表达-逻辑”五维框架的英文摘要评估体系,对比3种LLM对医学期刊英文摘要问题的自动检测能力,并实施双盲人工复核。【结果】3种LLM累计发现1197个问题,人工审核后共采纳1113个(93%)修改意见。LLM能有效检出英文摘要中存在的多样化问题。这些问题以术语准确性为主(408个,占36.7%),其次是表达地道性、语法正确性和学术规范性。不同LLM在评估维度上呈现一定的互补优势,协同使用可全面提升英文摘要编校质量。【结论】LLM是赋能英文摘要编校的有效辅助工具,可提升工作效率与文本质量,实践策略包括优化输入指令、多模型互补集成、结构化评估框架、明确人机边界以及坚守伦理底线等。展开更多
Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an...Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.展开更多
基金supported by the project “The demonstration system of rich semantic search application in scientific literature” (Grant No. 1734) from the Chinese Academy of Sciences
文摘Purpose:Mo ve recognition in scientific abstracts is an NLP task of classifying sentences of the abstracts into different types of language units.To improve the performance of move recognition in scientific abstracts,a novel model of move recognition is proposed that outperforms the BERT-based method.Design/methodology/approach:Prevalent models based on BERT for sentence classification often classify sentences without considering the context of the sentences.In this paper,inspired by the BERT masked language model(MLM),we propose a novel model called the masked sentence model that integrates the content and contextual information of the sentences in move recognition.Experiments are conducted on the benchmark dataset PubMed 20K RCT in three steps.Then,we compare our model with HSLN-RNN,BERT-based and SciBERT using the same dataset.Findings:Compared with the BERT-based and SciBERT models,the F1 score of our model outperforms them by 4.96%and 4.34%,respectively,which shows the feasibility and effectiveness of the novel model and the result of our model comes closest to the state-of-theart results of HSLN-RNN at present.Research limitations:The sequential features of move labels are not considered,which might be one of the reasons why HSLN-RNN has better performance.Our model is restricted to dealing with biomedical English literature because we use a dataset from PubMed,which is a typical biomedical database,to fine-tune our model.Practical implications:The proposed model is better and simpler in identifying move structures in scientific abstracts and is worthy of text classification experiments for capturing contextual features of sentences.Originality/value:T he study proposes a masked sentence model based on BERT that considers the contextual features of the sentences in abstracts in a new way.The performance of this classification model is significantly improved by rebuilding the input layer without changing the structure of neural networks.
基金Supported by the National Natural Science Foundation of China(61202110 and 61502205)the Project of Jiangsu Provincial Six Talent Peaks(XYDXXJS-016)
文摘It is difficult to formalize the causes of vulnerability, and there is no effective model to reveal the causes and characteristics of vulnerability. In this paper, a vulnerability model construction method is proposed to realize the description of vulnerability attribute and the construction of a vulnerability model. A vulnerability model based on chemical abstract machine（CHAM） is constructed to realize the CHAM description of vulnerability model, and the framework of vulnerability model is also discussed. Case study is carried out to verify the feasibility and effectiveness of the proposed model. In addition, a prototype system is also designed and implemented based on the proposed vulnerability model. Experimental results show that the proposed model is more effective than other methods in the detection of software vulnerabilities.
基金the National Natural Science Foundation of China (60663005, 60563005)the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
文摘Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.
文摘This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.
文摘Software engineering has been taught at many institutions as individual course for many years. Recently, many higher education institutions offer a BSc degree in Software Engineering. Software engineers are required, especially at the small enterprises, to play many roles, and sometimes simultaneously. Beside the technical and managerial skills, software engineers should have additional intellectual skills such as domain-specific abstract thinking. Therefore, software engineering curriculum should help the students to build and improve their skills to meet the labor market needs. This study aims to explore the perceptions of software engineering students on the influence of learning software modeling and design on their domain-specific abstract thinking. Also, we explore the role of the course project in improving their domain-specific abstract thinking. The study results have shown that, most of the surveyed students believe that learning and practicing modeling and design concepts contribute to their ability to think abstractly on specific domain. However, this finding is influenced by the students’ lack of the comprehension of some modeling and design aspects (e.g., generalization). We believe that, such aspects should be introduced to the students at early levels of software engineering curriculum, which certainly will improve their ability to think abstractly on specific domain.
文摘The rise of social media platforms has revolutionized communication, enabling the exchange of vast amounts of data through text, audio, images, and videos. These platforms have become critical for sharing opinions and insights, influencing daily habits, and driving business, political, and economic decisions. Text posts are particularly significant, and natural language processing (NLP) has emerged as a powerful tool for analyzing such data. While traditional NLP methods have been effective for structured media, social media content poses unique challenges due to its informal and diverse nature. This has spurred the development of new techniques tailored for processing and extracting insights from unstructured user-generated text. One key application of NLP is the summarization of user comments to manage overwhelming content volumes. Abstractive summarization has proven highly effective in generating concise, human-like summaries, offering clear overviews of key themes and sentiments. This enhances understanding and engagement while reducing cognitive effort for users. For businesses, summarization provides actionable insights into customer preferences and feedback, enabling faster trend analysis, improved responsiveness, and strategic adaptability. By distilling complex data into manageable insights, summarization plays a vital role in improving user experiences and empowering informed decision-making in a data-driven landscape. This paper proposes a new implementation framework by fine-tuning and parameterizing Transformer Large Language Models to manage and maintain linguistic and semantic components in abstractive summary generation. The system excels in transforming large volumes of data into meaningful summaries, as evidenced by its strong performance across metrics like fluency, consistency, readability, and semantic coherence.
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
文摘Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.
文摘This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales' IMRD(Introduction-Method-Result-Discussion) model and all the data are coded through SPSS.Result indicates 1) English natives tend to write longer than Chinese.2) The rhetorical structure of the abstract tends to be more complete in the international journals.3) English natives tend to write more about the background details while the Chinese natives focus more on the result explanation.It is hoped that this comparison would shed some lights on abstract writing for Chinese writers.
文摘Genre analysis has become one of the most important approaches to text analysis, especially in the field of English for Specific Purposes. Abstract is the essential part of the paper, which helps the readers get initial impressions. Because of its particular the usage of communication, it has its special rules and mode. The purpose of this paper was to present the 5-move model characteristic of research dissertation Abstracts, and explore the linguistic characteristics of each move. The analysis started from the macrostructure, i.e from the text as a whole, towards the microstructure which included linguistic description (syntactic and lexical). The results showed that most abstracts followed 5-move model and the linguistic features of this genre.
文摘Although contrastive move analysis of article abstracts has been a highlight,few studies focus on abstracts of natural sci⁃ence articles.To compensate for this gap,this study,based on IMRD model,focuses on aquatic biology abstracts and contrasts those by native English speakers and those by Chinese authors.Combining quantitative and qualitative studies,it reveals their dif⁃ferences and similarities in terms of the frequency of different moves,sentence length and move length significance.Such similari⁃ties and differences can be explained by the face culture of China,the different language proficiency and the common convention of academic abstract.
基金supported by the National Natural Science Foundation of China(Grants No.41271048 and 41330529)
文摘Considering the fact that the original two-parameter LCM model can only be used to investigate rainfall losses during the runoff period because the initial abstraction is not included, the LCM model was redefined as a three-parameter model, including the initial abstraction coefficient l, the initial abstraction Ia, and the rainfall loss coefficient R. The improved LCM model is superior to the original two-parameter model, which only includes r and R, where r is the initial rainfall loss index and can be calculated with l using the Soil Conservation Service curve number （SCS-CN） method, with r = 1/（1 ＋ λ）. The trial method was used to determine the parameter values of the improved LCM model at the watershed scale for 15 flood events in the Hongde Basin in China. The results show that larger r values are associated with smaller R values, and the parameter R ranges widely from 0.5 to 2.0. In order to improve the practicability of the LCM model, r = 0.833 with λ = 0.2 is reasonable for simplifying calculation. When the LCM model is applied to arid and semi-arid regions, rainfall without yielding runoff should be deducted from the total rainfall for more accurate estimation of rainfall-runoff.
基金National Natural Science Foundations of China(No. 61073013,No. 90818024)Aviation Science Foundation of China( No.2010ZAO4001)
文摘Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model.
文摘The paper describes a new human-interface system design method by combining the conception of Multilevel Flow Model and Ecological Interface Design to support operators’ fault diagnosis in the complex plant system. Modern man-made systems are always achieving many complex automatic and intelligent tasks so that they are becoming more and more complex and can be hardly understood by operators, who should be the primary role in system operating. This situation presents a big challenge to the operating support system that it should present the complex system in a direct and clear way to operators to and make operators understand the internal interaction of the system especially in the abnormal status to ensure the operating safety. The Multilevel Flow Model based on the idea of ”Abstraction Hierarchy”, aiming at decompressing a system by means-end and part-whole way, can be used to represent a complex system in a standard way and perform intelligent operating tasks such as fault diagnosis and process control. Ecological Interface Design, which based on the human cognitive properties, can present the internal interaction of the system in a direct way. This paper combines this two interface design conceptions to achieve two aspects, intelligent fault diagnosis and direct presentation of causal relationship of operating parameters, to support operators’ fault diagnosis in complex plant system. The design method is applied to a PWR power plant in this paper as an application example.
文摘【目的】系统评估大语言模型(large language model,LLM)在辅助医学期刊英文摘要编校中的实际效能,并凝练可落地的编辑工作流程。【方法】选取11种代表性医学期刊的100篇中英文摘要,构建基于“术语-语法-规范-表达-逻辑”五维框架的英文摘要评估体系,对比3种LLM对医学期刊英文摘要问题的自动检测能力,并实施双盲人工复核。【结果】3种LLM累计发现1197个问题,人工审核后共采纳1113个(93%)修改意见。LLM能有效检出英文摘要中存在的多样化问题。这些问题以术语准确性为主(408个,占36.7%),其次是表达地道性、语法正确性和学术规范性。不同LLM在评估维度上呈现一定的互补优势,协同使用可全面提升英文摘要编校质量。【结论】LLM是赋能英文摘要编校的有效辅助工具,可提升工作效率与文本质量,实践策略包括优化输入指令、多模型互补集成、结构化评估框架、明确人机边界以及坚守伦理底线等。
基金National Natural Science Foundations of China (No. 61073013,No. 90818024)Aviation Science Foundation of China(No.2010ZAO4001)
文摘Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.
