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.展开更多
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.展开更多
In this review,we focus on providing basics and examples for each component of the protein therapeutic specifications to interested pharmacists and biopharmaceutical scientists with a goal to strengthen understanding ...In this review,we focus on providing basics and examples for each component of the protein therapeutic specifications to interested pharmacists and biopharmaceutical scientists with a goal to strengthen understanding in regulatory science and compliance.Pharmaceutical specifications comprise a list of important quality attributes for testing,references to use for test procedures,and appropriate acceptance criteria for the tests,and they are set up to ensure that when a drug product is administered to a patient,its intended therapeutic benefits and safety can be rendered appropriately.Conformance of drug substance or drug product to the specifications is achieved by testing an article according to the listed tests and analytical methods and obtaining test results that meet the acceptance criteria.Quality attributes are chosen to be tested based on their quality risk,and consideration should be given to the merit of the analytical methods which are associated with the acceptance criteria of the specifications.Acceptance criteria are set forth primarily based on efficacy and safety profiles,with an increasing attention noted for patient-centric specifications.Discussed in this work are related guidelines that support the biopharmaceutical specification setting,how to set the acceptance criteria,and examples of the quality attributes and the analytical methods from 60 articles and 23 pharmacopeial monographs.Outlooks are also explored on process analytical technologies and other orthogonal tools which are on-trend in biopharmaceutical characterization and quality control.展开更多
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.展开更多
Acute mastitis is one of the common diseases of postpartum lactating women,also known as lactational mastitis,which can occur during breastfeeding,especially in the postpartum 3–4 weeks.Acute mastitis can lead to the...Acute mastitis is one of the common diseases of postpartum lactating women,also known as lactational mastitis,which can occur during breastfeeding,especially in the postpartum 3–4 weeks.Acute mastitis can lead to the cessation of breastfeeding.Improving breastfeeding behavior and extending breastfeeding duration have become a global strategy to promote maternal and child health.Manual lactation traditional Chinese medicine technology is one of the important measures to improve the rate of breastfeeding,which can solve the problems of breast swelling,pain,and reduction of milk production.This article introduces the definition,indications,standard operating procedures,precautions,and treatment of adverse events of manual lactation in traditional Chinese medicine technology,so as to provide more comprehensive guidance for clinical workers to carry out manual lactation operations.展开更多
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.展开更多
Automatic extraction of key data from design specifications is an important means to assist in engineering design automation.Considering the characteristics of diverse data types,small scale,insufficient character inf...Automatic extraction of key data from design specifications is an important means to assist in engineering design automation.Considering the characteristics of diverse data types,small scale,insufficient character information content and strong contextual relevance of design specification,a named entity recognition model integrated with high-quality topic and attention mechanism,namely Quality Topic-Char Embedding-BiLSTMAttention-CRF,was proposed to automatically identify entities in design specification.Based on the topic model,an improved algorithm for high-quality topic extraction was proposed first,and then the high-quality topic information obtained was added into the distributed representation of Chinese characters to better enrich character features.Next,the attention mechanism was used in parallel on the basis of the BiLSTM-CRF model to fully mine the contextual semantic information.Finally,the experiment was performed on the collected corpus of Chinese ship design specification,and the model was compared with multiple sets of models.The results show that F-score(harmonic mean of precision and recall)of the model is 80.24%.The model performs better than other models in design specification,and is expected to provide an automatic means for engineering design.展开更多
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.展开更多
Chinese Medicine Enema is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The"International Standard of Traditional Chinese Medicine Techniques:The Operati...Chinese Medicine Enema is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The"International Standard of Traditional Chinese Medicine Techniques:The Operating Specifications for Chinese Medicine Enema is drawn up by the Beijing Hospital of Traditional Chinese Medicine affiliated to Capital Medical University and Beijing University of Chinese Medicine Xiamen Hospital in collaboration with domestic TCM universities and hospitals.The specification includes definition,operating process,points for attention and contraindications.It is targeted to provide reference for TCM providers at home and abroad with TCM background in clinical decision-making.展开更多
Chinese medicated bath is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The“International Standard of Traditional Chinese Medicine Techniques:The Operating S...Chinese medicated bath is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The“International Standard of Traditional Chinese Medicine Techniques:The Operating Specifications for Chinese Medicated Bath”is drawn up by the Beijing University of Chinese Medicine Third Affiliated Hospital and Beijing University of Chinese Medicine Xiamen Hospital in collaboration with domestic TCM universities and hospitals.The specification includes definition,operating process,points for attention and contraindications.It is targeted to provide reference for TCM providers at home and abroad with TCM background in clinical decision-making.展开更多
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.展开更多
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.展开更多
A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding ...A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding of multiple parts on a single machine in automobile factories. The system incorporates an automatic recognition system for different workpiece materials using the added machine fixture,visual detection system for nuts and bolts,and secondary graphical confirmation to ensure the correctness of specification calling. This system achieves reliable,fully automatic selection of welding specifications in resistance welding equipment and has shown significant effects in improving welding quality for massproduced workpieces,while solving the problem of specification calling errors that can occur with traditional methods involving process charts and code adjustments. This system is particularly suitable for promoting applications in manual welding of multiple parts on a single machine in automobile factories,ensuring correct specification calling and welding quality.展开更多
文摘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.
文摘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.
基金supported by the Grant for Development of New Faculty Staff,Ratchadaphiseksomphot Endowment Fund,Chula-longkorn University,Thailand(Grant No.:DNS64_047_33_003_1 to Patanachai K.Limpikirati)Grant for Development of New Scholar,Office of the Permanent Secretary,Ministry of Higher Ed-ucation,Science,Research and Innovation,Thailand(Grant No.:RGNS64_012 to Patanachai K.Limpikirati).
文摘In this review,we focus on providing basics and examples for each component of the protein therapeutic specifications to interested pharmacists and biopharmaceutical scientists with a goal to strengthen understanding in regulatory science and compliance.Pharmaceutical specifications comprise a list of important quality attributes for testing,references to use for test procedures,and appropriate acceptance criteria for the tests,and they are set up to ensure that when a drug product is administered to a patient,its intended therapeutic benefits and safety can be rendered appropriately.Conformance of drug substance or drug product to the specifications is achieved by testing an article according to the listed tests and analytical methods and obtaining test results that meet the acceptance criteria.Quality attributes are chosen to be tested based on their quality risk,and consideration should be given to the merit of the analytical methods which are associated with the acceptance criteria of the specifications.Acceptance criteria are set forth primarily based on efficacy and safety profiles,with an increasing attention noted for patient-centric specifications.Discussed in this work are related guidelines that support the biopharmaceutical specification setting,how to set the acceptance criteria,and examples of the quality attributes and the analytical methods from 60 articles and 23 pharmacopeial monographs.Outlooks are also explored on process analytical technologies and other orthogonal tools which are on-trend in biopharmaceutical characterization and quality control.
文摘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.
基金This work was sponsored by 2022 Capital’s Funds for Health Improvement and Research(CFH)(2022-2-4202).
文摘Acute mastitis is one of the common diseases of postpartum lactating women,also known as lactational mastitis,which can occur during breastfeeding,especially in the postpartum 3–4 weeks.Acute mastitis can lead to the cessation of breastfeeding.Improving breastfeeding behavior and extending breastfeeding duration have become a global strategy to promote maternal and child health.Manual lactation traditional Chinese medicine technology is one of the important measures to improve the rate of breastfeeding,which can solve the problems of breast swelling,pain,and reduction of milk production.This article introduces the definition,indications,standard operating procedures,precautions,and treatment of adverse events of manual lactation in traditional Chinese medicine technology,so as to provide more comprehensive guidance for clinical workers to carry out manual lactation operations.
文摘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.
基金the High Tech Ship Project of the Ministry of Industry and Information Technology(No.[2019]331)。
文摘Automatic extraction of key data from design specifications is an important means to assist in engineering design automation.Considering the characteristics of diverse data types,small scale,insufficient character information content and strong contextual relevance of design specification,a named entity recognition model integrated with high-quality topic and attention mechanism,namely Quality Topic-Char Embedding-BiLSTMAttention-CRF,was proposed to automatically identify entities in design specification.Based on the topic model,an improved algorithm for high-quality topic extraction was proposed first,and then the high-quality topic information obtained was added into the distributed representation of Chinese characters to better enrich character features.Next,the attention mechanism was used in parallel on the basis of the BiLSTM-CRF model to fully mine the contextual semantic information.Finally,the experiment was performed on the collected corpus of Chinese ship design specification,and the model was compared with multiple sets of models.The results show that F-score(harmonic mean of precision and recall)of the model is 80.24%.The model performs better than other models in design specification,and is expected to provide an automatic means for engineering design.
文摘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.
基金National Key R&D Plan:Development of International Standards for Traditional Chinese Medicine Technology(No.2019YFC1712003)。
文摘Chinese Medicine Enema is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The"International Standard of Traditional Chinese Medicine Techniques:The Operating Specifications for Chinese Medicine Enema is drawn up by the Beijing Hospital of Traditional Chinese Medicine affiliated to Capital Medical University and Beijing University of Chinese Medicine Xiamen Hospital in collaboration with domestic TCM universities and hospitals.The specification includes definition,operating process,points for attention and contraindications.It is targeted to provide reference for TCM providers at home and abroad with TCM background in clinical decision-making.
基金National Key R&D Plan:Development of International Standards for Traditional Chinese Medicine Technology(No.2019YFC1712003)。
文摘Chinese medicated bath is one of the external therapies in Traditional Chinese Medicine(TCM),which has been widely used clinically.The“International Standard of Traditional Chinese Medicine Techniques:The Operating Specifications for Chinese Medicated Bath”is drawn up by the Beijing University of Chinese Medicine Third Affiliated Hospital and Beijing University of Chinese Medicine Xiamen Hospital in collaboration with domestic TCM universities and hospitals.The specification includes definition,operating process,points for attention and contraindications.It is targeted to provide reference for TCM providers at home and abroad with TCM background in clinical decision-making.
文摘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 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.
文摘A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding of multiple parts on a single machine in automobile factories. The system incorporates an automatic recognition system for different workpiece materials using the added machine fixture,visual detection system for nuts and bolts,and secondary graphical confirmation to ensure the correctness of specification calling. This system achieves reliable,fully automatic selection of welding specifications in resistance welding equipment and has shown significant effects in improving welding quality for massproduced workpieces,while solving the problem of specification calling errors that can occur with traditional methods involving process charts and code adjustments. This system is particularly suitable for promoting applications in manual welding of multiple parts on a single machine in automobile factories,ensuring correct specification calling and welding quality.
