Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specifica...Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).展开更多
The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transporta...The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transportation system is not a trivial task, especially in growing cities of developing countries. This study investigates the sensitivity of results of a travel mode choice model to different specifications of network-based LOS attributes using a mixed logit model. The study also looks at the possibilities of correcting some of the inaccuracies in network-based LOS attributes. Further, the study also explores the effects of different specifications of LOS data on implied values of time and aggregation forecasting. The findings indicate that the implied values of time are very sensitive to specification of data and model implying that utmost care must be taken if the purpose of the model is to estimate values of time. Models estimated on all specifications of LOS-data perform well in prediction, likely suggesting that the extra expense on developing a more detailed and accurate network models so as to derive more precise LOS attributes is unnecessary for impact analyses of some policies.展开更多
With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raisin...With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.展开更多
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.展开更多
Introduction The success in lineage-specific differentiation of human embryonic and induced pluripotent stem(hES/iPS)cells raises new hopes for cell-based therapies.It is envisioned that cells differentiated from hES/...Introduction The success in lineage-specific differentiation of human embryonic and induced pluripotent stem(hES/iPS)cells raises new hopes for cell-based therapies.It is envisioned that cells differentiated from hES/iPS cells can be used to replace or repair damaged or diseased cells and tissues in body.This has not yet been possible due to the difficulty in generating biologically functional cells in vitro.While many factors may contribute to these failures,the lack of tissue niches in the current differentiation systems has been viewed in impairing the maturation of these cells.As revealed by studying mice embryo development,organ development requires strict temporal and spatial control at each stage.The stepwise hESC differentiation展开更多
We investigated the hydroxyl and saponification values of 27 samples of Polysorbate 60 products that were commercially available worldwide. We observed that the values of most of the studied samples were not within th...We investigated the hydroxyl and saponification values of 27 samples of Polysorbate 60 products that were commercially available worldwide. We observed that the values of most of the studied samples were not within the range established at the Joint FAO/WHO Expert Committee on Food Additives (JECFA), while they did agree with the specifications described in the USA, the EU and Japan. We believe that purities of the new commercial Polysorbate 60 samples are higher than those of the older products which were available when the JECFA specifications were discussed (around 1973). The present study suggests that the hydroxyl and saponification values of the current JECFA specifications for Polysorbate 60 should be re-evaluated.展开更多
Steviol glycosides are natural sweetener constituents found in the leaves of Stevia rebaudiana Bertoni (Asteraceae). The specifications for steviol glycosides were established by the Joint FAO/WHO Expert Committee on ...Steviol glycosides are natural sweetener constituents found in the leaves of Stevia rebaudiana Bertoni (Asteraceae). The specifications for steviol glycosides were established by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) in 2008, although there was a call in the following year for the modification of this assay method to enable the determination of nine steviol glycosides rather than just seven. In response, based on a proposed method by the Japan Stevia Association, we developed an improved method by changing the HPLC conditions and including the use of an octadecylsilyl column instead of an amino-bonded column to enable the rapid and reliable determination of the nine steviol glycosides by an isocratic HPLC-UV method. With the developed method, the nine steviol glycosides can be separately determined, and identified using individual reference chemicals as standards, unlike the previous identification method, which was based on the relative retention times. In addition, the single stevioside quantification standard was replaced with both stevioside and rebaudioside A quantification standards. Importantly, the validation of the developed method was successful. The limits of quantification for the nine steviol glycosides were between 0.2% and 0.6%. The developed assay method for the nine steviol glycosides was proposed to JECFA and adopted as the revised assay method for the steviol glycosides specifications at its 73rd meeting in 2010.展开更多
This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through...This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through natural orifices,combining endoscopic submucosal dissection(ESD)and full-thickness resection(EFTR)techniques,aimed at curing the disease while maximizing the preservation of the structure and function of the colorectal organs.The article specifies that this technique is suitable for early colon cancer,early rectal cancer,and locally advanced low rectal cancer after neoadjuvant therapy,detailing its indications and contraindications.It emphasizes the importance of multidisciplinary team(MDT)assessment,meticulous preoperative imaging and endoscopic evaluation,standardized intraoperative procedures(including marking,dissection,traction,full-thickness resection,and wound closure),as well as rigorous postoperative management and follow-up processes.Additionally,the expert consensus highlights the need for a strong focus on infection prevention and the establishment of standardized training and quality control systems to promote the safe and standardized application of this difficult endoscopic technique.展开更多
Objective: Under the guidance of the theory of Miao medicine, the technical norm scheme for intervention of acupuncture and moxibustion for the treatment of cancer pain is proposed. Methods: The standard operation pro...Objective: Under the guidance of the theory of Miao medicine, the technical norm scheme for intervention of acupuncture and moxibustion for the treatment of cancer pain is proposed. Methods: The standard operation procedure of the intervention of the acupuncture and moxibustion acupuncture therapy for cancer pain was formulated according to the selection of acupoints in the Miao medicine Tianying acupoint, sputum manipulation method, and the routine operations such as medicine, acupuncture and canning. Results: A set of technical specifications for the treatment of cancer pain in a mobilized Miao doctor was sorted out. Conclusion: The sputum acupuncture treatment technique specification for cancer pain is easy to operate and easy to be applied in clinical application.展开更多
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language f...Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language for this model is defined by using BNF grammar. Compared with those in literatures, it is simpler because of only concerning the algebraic properties of cryptographic protocols.展开更多
Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,...Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,a new-type distribution network digital twin topology modeling method based on Common Information Model(CIM)specifications and spectral clustering is proposed.Firstly,according to the specifications of the CIM standard,the digital twin topology models of distributed resources are extended and established.Secondly,based on the digital twin topology models of distributed resources,a digital twin aggregation modelling method for new-type distribution network is proposed based on spectral clustering.Furthermore,an online linked update strategy for the digital twin model of new-type distribution network that integrates real-time topology states is proposed.Finally,a case study is conducted on a distribution network in a certain demonstration area in China,and the results verify the practicability and effectiveness of the method proposed in this paper.This lays the foundation for the application of electrical network twin analysis,such as power flow calculation,optimal power flow,economic dispatch,and safety check,in a new-type distribution network that includes diversified distributed resources.展开更多
This paper elaborates on the seedling technology,field cultivation technology,field management technology,seed harvesting and seed processing technology in the propagation process of Gentiana macrophylla to provide te...This paper elaborates on the seedling technology,field cultivation technology,field management technology,seed harvesting and seed processing technology in the propagation process of Gentiana macrophylla to provide technical support for artificial breeding of G. macrophylla.展开更多
In service-oriented computing, process model may serve as a link to connect users’ requirements with Web Services. In this paper, we propose an approach and related key techniques to generate process-oriented require...In service-oriented computing, process model may serve as a link to connect users’ requirements with Web Services. In this paper, we propose an approach and related key techniques to generate process-oriented requirements specification from user’s goal. For this purpose, a requirements description language named SORL will be provided to capture users’ requirements. Then, a unified requirements meta-modeling frame RPGS will be used to construct reusable domain assets, which is the basis of generating requirements specifications. Finally, a set of rules are defined to extract process control structures from users’ requirements described with SORL, so that we can convert requirements description into process-oriented requirements specification smoothly.展开更多
We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in ...We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.展开更多
The line pipes with large diameter,thick wall and high steel grade are preferred to meet the requirements of extremely high gas transmission rate(380×10^(8) m^(3)/a)in the Sino-Russian eastern route project.In th...The line pipes with large diameter,thick wall and high steel grade are preferred to meet the requirements of extremely high gas transmission rate(380×10^(8) m^(3)/a)in the Sino-Russian eastern route project.In this paper,the technical standards of line pipes at home and abroad were comparatively analyzed after the research and formulation process of technical specifications of X80 line pipes(OD 1422 mm)used in the above-mentioned project was introduced.The key technical indexes such as chemical components,crack-arrest-toughness values,etc.and its formulation process were discussed.In addition,the development process and product performance of the X80 line pipes(OD 1422 mm)were described.It is proved by trial production and product tests that using X80 line pipes(OD 1422 mm)in this gas project is a rational and effective solution to the following technical issues such as chemical composition control,fracture control and welding stability maintenance.This type of line pipes is proved not only to meet project requirements,but to suit for production cases.As a result,the safety of Sino-Russian eastern route gas pipeline will be guaranteed essentially.The research results in this paper provide a strong technical support for the application of X80 line pipes(OD 1422 mm)in the Sino-Russian eastern route project,and play a guiding role in drawing up the technical specifications of other gas pipeline projects.展开更多
Straightness error is an important parameter in measuring high-precision shafts. New generation geometrical product speeifieation（GPS） requires the measurement uncertainty characterizing the reliability of the resul...Straightness error is an important parameter in measuring high-precision shafts. New generation geometrical product speeifieation（GPS） requires the measurement uncertainty characterizing the reliability of the results should be given together when the measurement result is given. Nowadays most researches on straightness focus on error calculation and only several research projects evaluate the measurement uncertainty based on ＂The Guide to the Expression of Uncertainty in Measurement（GUM）＂. In order to compute spatial straightness error（SSE） accurately and rapidly and overcome the limitations of GUM, a quasi particle swarm optimization（QPSO） is proposed to solve the minimum zone SSE and Monte Carlo Method（MCM） is developed to estimate the measurement uncertainty. The mathematical model of minimum zone SSE is formulated. In QPSO quasi-random sequences are applied to the generation of the initial position and velocity of particles and their velocities are modified by the constriction factor approach. The flow of measurement uncertainty evaluation based on MCM is proposed, where the heart is repeatedly sampling from the probability density function（PDF） for every input quantity and evaluating the model in each case. The minimum zone SSE of a shaft measured on a Coordinate Measuring Machine（CMM） is calculated by QPSO and the measurement uncertainty is evaluated by MCM on the basis of analyzing the uncertainty contributors. The results show that the uncertainty directly influences the product judgment result. Therefore it is scientific and reasonable to consider the influence of the uncertainty in judging whether the parts are accepted or rejected, especially for those located in the uncertainty zone. The proposed method is especially suitable when the PDF of the measurand cannot adequately be approximated by a Gaussian distribution or a scaled and shifted t-distribution and the measurement model is non-linear.展开更多
Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this p...Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this process, developers working in parallel introduce and make modifications to requirements until reaching a specification that satisfies the stakeholders’ requirements. Merge conflicts are inevitable when integrating the modifications made by different developers to a shared specification. Thus, detecting and resolving these conflicts is critical to ensure a consistent resulting specification. A conflicts detection approach for merging Object-Oriented formal specifications is proposed in this paper. Conflicts are classified, formally defined and detected based on the results of a proposed differencing algorithm. The proposed approach has been empirically evaluated, and the experimental results are discussed in this paper.展开更多
Big data on product sales are an emerging resource for supporting modular product design to meet diversified customers’requirements of product specification combinations.To better facilitate decision-making of modula...Big data on product sales are an emerging resource for supporting modular product design to meet diversified customers’requirements of product specification combinations.To better facilitate decision-making of modular product design,correlations among specifications and components originated from customers’conscious and subconscious preferences can be investigated by using big data on product sales.This study proposes a framework and the associated methods for supporting modular product design decisions based on correlation analysis of product specifications and components using big sales data.The correlations of the product specifications are determined by analyzing the collected product sales data.By building the relations between the product components and specifications,a matrix for measuring the correlation among product components is formed for component clustering.Six rules for supporting the decision making of modular product design are proposed based on the frequency analysis of the specification values per component cluster.A case study of electric vehicles illustrates the application of the proposed method.展开更多
文摘Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).
文摘The need for travel demand models is growing worldwide. Obtaining reasonably accurate level of service (LOS) attributes of different travel modes such as travel time and cost representing the performance of transportation system is not a trivial task, especially in growing cities of developing countries. This study investigates the sensitivity of results of a travel mode choice model to different specifications of network-based LOS attributes using a mixed logit model. The study also looks at the possibilities of correcting some of the inaccuracies in network-based LOS attributes. Further, the study also explores the effects of different specifications of LOS data on implied values of time and aggregation forecasting. The findings indicate that the implied values of time are very sensitive to specification of data and model implying that utmost care must be taken if the purpose of the model is to estimate values of time. Models estimated on all specifications of LOS-data perform well in prediction, likely suggesting that the extra expense on developing a more detailed and accurate network models so as to derive more precise LOS attributes is unnecessary for impact analyses of some policies.
基金supported by the Open Foundation of Key Laboratory of Cyberspace Security,Ministry of Education of China(KLCS20240211)。
文摘With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.
文摘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.
文摘Introduction The success in lineage-specific differentiation of human embryonic and induced pluripotent stem(hES/iPS)cells raises new hopes for cell-based therapies.It is envisioned that cells differentiated from hES/iPS cells can be used to replace or repair damaged or diseased cells and tissues in body.This has not yet been possible due to the difficulty in generating biologically functional cells in vitro.While many factors may contribute to these failures,the lack of tissue niches in the current differentiation systems has been viewed in impairing the maturation of these cells.As revealed by studying mice embryo development,organ development requires strict temporal and spatial control at each stage.The stepwise hESC differentiation
文摘We investigated the hydroxyl and saponification values of 27 samples of Polysorbate 60 products that were commercially available worldwide. We observed that the values of most of the studied samples were not within the range established at the Joint FAO/WHO Expert Committee on Food Additives (JECFA), while they did agree with the specifications described in the USA, the EU and Japan. We believe that purities of the new commercial Polysorbate 60 samples are higher than those of the older products which were available when the JECFA specifications were discussed (around 1973). The present study suggests that the hydroxyl and saponification values of the current JECFA specifications for Polysorbate 60 should be re-evaluated.
文摘Steviol glycosides are natural sweetener constituents found in the leaves of Stevia rebaudiana Bertoni (Asteraceae). The specifications for steviol glycosides were established by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) in 2008, although there was a call in the following year for the modification of this assay method to enable the determination of nine steviol glycosides rather than just seven. In response, based on a proposed method by the Japan Stevia Association, we developed an improved method by changing the HPLC conditions and including the use of an octadecylsilyl column instead of an amino-bonded column to enable the rapid and reliable determination of the nine steviol glycosides by an isocratic HPLC-UV method. With the developed method, the nine steviol glycosides can be separately determined, and identified using individual reference chemicals as standards, unlike the previous identification method, which was based on the relative retention times. In addition, the single stevioside quantification standard was replaced with both stevioside and rebaudioside A quantification standards. Importantly, the validation of the developed method was successful. The limits of quantification for the nine steviol glycosides were between 0.2% and 0.6%. The developed assay method for the nine steviol glycosides was proposed to JECFA and adopted as the revised assay method for the steviol glycosides specifications at its 73rd meeting in 2010.
基金National Key Research and Development Program of China(Project No.:2022YFC2503600)。
文摘This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through natural orifices,combining endoscopic submucosal dissection(ESD)and full-thickness resection(EFTR)techniques,aimed at curing the disease while maximizing the preservation of the structure and function of the colorectal organs.The article specifies that this technique is suitable for early colon cancer,early rectal cancer,and locally advanced low rectal cancer after neoadjuvant therapy,detailing its indications and contraindications.It emphasizes the importance of multidisciplinary team(MDT)assessment,meticulous preoperative imaging and endoscopic evaluation,standardized intraoperative procedures(including marking,dissection,traction,full-thickness resection,and wound closure),as well as rigorous postoperative management and follow-up processes.Additionally,the expert consensus highlights the need for a strong focus on infection prevention and the establishment of standardized training and quality control systems to promote the safe and standardized application of this difficult endoscopic technique.
文摘Objective: Under the guidance of the theory of Miao medicine, the technical norm scheme for intervention of acupuncture and moxibustion for the treatment of cancer pain is proposed. Methods: The standard operation procedure of the intervention of the acupuncture and moxibustion acupuncture therapy for cancer pain was formulated according to the selection of acupoints in the Miao medicine Tianying acupoint, sputum manipulation method, and the routine operations such as medicine, acupuncture and canning. Results: A set of technical specifications for the treatment of cancer pain in a mobilized Miao doctor was sorted out. Conclusion: The sputum acupuncture treatment technique specification for cancer pain is easy to operate and easy to be applied in clinical application.
文摘Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language for this model is defined by using BNF grammar. Compared with those in literatures, it is simpler because of only concerning the algebraic properties of cryptographic protocols.
基金Supported by Science and Technology Project of State Grid Corporation of China(5108-202218280A-2-396-XG).
文摘Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,a new-type distribution network digital twin topology modeling method based on Common Information Model(CIM)specifications and spectral clustering is proposed.Firstly,according to the specifications of the CIM standard,the digital twin topology models of distributed resources are extended and established.Secondly,based on the digital twin topology models of distributed resources,a digital twin aggregation modelling method for new-type distribution network is proposed based on spectral clustering.Furthermore,an online linked update strategy for the digital twin model of new-type distribution network that integrates real-time topology states is proposed.Finally,a case study is conducted on a distribution network in a certain demonstration area in China,and the results verify the practicability and effectiveness of the method proposed in this paper.This lays the foundation for the application of electrical network twin analysis,such as power flow calculation,optimal power flow,economic dispatch,and safety check,in a new-type distribution network that includes diversified distributed resources.
基金Supported by Lanzhou Talent Innovation and Entrepreneurship Project(2016-RC-64)Agricultural Science and Technology Innovation Team Project of Gansu Academy of Agricultural Sciences(2017GAAS29)
文摘This paper elaborates on the seedling technology,field cultivation technology,field management technology,seed harvesting and seed processing technology in the propagation process of Gentiana macrophylla to provide technical support for artificial breeding of G. macrophylla.
文摘In service-oriented computing, process model may serve as a link to connect users’ requirements with Web Services. In this paper, we propose an approach and related key techniques to generate process-oriented requirements specification from user’s goal. For this purpose, a requirements description language named SORL will be provided to capture users’ requirements. Then, a unified requirements meta-modeling frame RPGS will be used to construct reusable domain assets, which is the basis of generating requirements specifications. Finally, a set of rules are defined to extract process control structures from users’ requirements described with SORL, so that we can convert requirements description into process-oriented requirements specification smoothly.
基金partially supported by National Funds through FCT-"Fundacao para a Ciencia e a Tecnologia",(PEst-OE/MAT/UI0212/2011)supported by Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry,ICT&Future Planning(No.2014R1A1A1A05002124)supported by National Natural Science Foundation of China(No.11301018 and 11371046)
文摘We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.
文摘The line pipes with large diameter,thick wall and high steel grade are preferred to meet the requirements of extremely high gas transmission rate(380×10^(8) m^(3)/a)in the Sino-Russian eastern route project.In this paper,the technical standards of line pipes at home and abroad were comparatively analyzed after the research and formulation process of technical specifications of X80 line pipes(OD 1422 mm)used in the above-mentioned project was introduced.The key technical indexes such as chemical components,crack-arrest-toughness values,etc.and its formulation process were discussed.In addition,the development process and product performance of the X80 line pipes(OD 1422 mm)were described.It is proved by trial production and product tests that using X80 line pipes(OD 1422 mm)in this gas project is a rational and effective solution to the following technical issues such as chemical composition control,fracture control and welding stability maintenance.This type of line pipes is proved not only to meet project requirements,but to suit for production cases.As a result,the safety of Sino-Russian eastern route gas pipeline will be guaranteed essentially.The research results in this paper provide a strong technical support for the application of X80 line pipes(OD 1422 mm)in the Sino-Russian eastern route project,and play a guiding role in drawing up the technical specifications of other gas pipeline projects.
基金supported by National Natural Science Foundation of China (Grant No. 51075198)Jiangsu Provincial Natural Science Foundation of China (Grant No. BK2010479)+2 种基金Innovation Research of Nanjing Institute of Technology, China (Grant No. CKJ20100008)Jiangsu Provincial Foundation of 333 Talents Engineering of ChinaJiangsu Provincial Foundation of Six Talented Peak of China
文摘Straightness error is an important parameter in measuring high-precision shafts. New generation geometrical product speeifieation（GPS） requires the measurement uncertainty characterizing the reliability of the results should be given together when the measurement result is given. Nowadays most researches on straightness focus on error calculation and only several research projects evaluate the measurement uncertainty based on ＂The Guide to the Expression of Uncertainty in Measurement（GUM）＂. In order to compute spatial straightness error（SSE） accurately and rapidly and overcome the limitations of GUM, a quasi particle swarm optimization（QPSO） is proposed to solve the minimum zone SSE and Monte Carlo Method（MCM） is developed to estimate the measurement uncertainty. The mathematical model of minimum zone SSE is formulated. In QPSO quasi-random sequences are applied to the generation of the initial position and velocity of particles and their velocities are modified by the constriction factor approach. The flow of measurement uncertainty evaluation based on MCM is proposed, where the heart is repeatedly sampling from the probability density function（PDF） for every input quantity and evaluating the model in each case. The minimum zone SSE of a shaft measured on a Coordinate Measuring Machine（CMM） is calculated by QPSO and the measurement uncertainty is evaluated by MCM on the basis of analyzing the uncertainty contributors. The results show that the uncertainty directly influences the product judgment result. Therefore it is scientific and reasonable to consider the influence of the uncertainty in judging whether the parts are accepted or rejected, especially for those located in the uncertainty zone. The proposed method is especially suitable when the PDF of the measurand cannot adequately be approximated by a Gaussian distribution or a scaled and shifted t-distribution and the measurement model is non-linear.
文摘Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this process, developers working in parallel introduce and make modifications to requirements until reaching a specification that satisfies the stakeholders’ requirements. Merge conflicts are inevitable when integrating the modifications made by different developers to a shared specification. Thus, detecting and resolving these conflicts is critical to ensure a consistent resulting specification. A conflicts detection approach for merging Object-Oriented formal specifications is proposed in this paper. Conflicts are classified, formally defined and detected based on the results of a proposed differencing algorithm. The proposed approach has been empirically evaluated, and the experimental results are discussed in this paper.
基金National Key R&D Program of China(Grant No.2018YFB1701701)Sailing Talent Program+1 种基金Guangdong Provincial Science and Technologies Program of China(Grant No.2017B090922008)Special Grand Grant from Tianjin City Government of China。
文摘Big data on product sales are an emerging resource for supporting modular product design to meet diversified customers’requirements of product specification combinations.To better facilitate decision-making of modular product design,correlations among specifications and components originated from customers’conscious and subconscious preferences can be investigated by using big data on product sales.This study proposes a framework and the associated methods for supporting modular product design decisions based on correlation analysis of product specifications and components using big sales data.The correlations of the product specifications are determined by analyzing the collected product sales data.By building the relations between the product components and specifications,a matrix for measuring the correlation among product components is formed for component clustering.Six rules for supporting the decision making of modular product design are proposed based on the frequency analysis of the specification values per component cluster.A case study of electric vehicles illustrates the application of the proposed method.
