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.展开更多
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.展开更多
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.展开更多
IntroductionThe PXI industry standard has quickly gained adoption and grown in prevalence in automated test systems since its release in 1998. PXI is being selected as the platform of choice for thousands of applicati...IntroductionThe PXI industry standard has quickly gained adoption and grown in prevalence in automated test systems since its release in 1998. PXI is being selected as the platform of choice for thousands of applications, from areas such as military and aerospace, consumer electronics, and communications, to process control and industrial automation. One of the key elements driving the rapid adoption of PXI is its use of PCI in the communication backplane. Now, as the commercial PC industry drastically improves the available bus bandwidth by evolving PCI to PCI Express, PXI has the ability to meet even more application needs by integrating PCI Express into the PXI standard.展开更多
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展开更多
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.展开更多
Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal seme...Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simp1eexample, this paper introduces how to analyze consistency and completeness of requirements specifica-tlons.展开更多
In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-pleme...In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.展开更多
As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in in...As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.展开更多
文摘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.
基金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.
文摘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.
文摘IntroductionThe PXI industry standard has quickly gained adoption and grown in prevalence in automated test systems since its release in 1998. PXI is being selected as the platform of choice for thousands of applications, from areas such as military and aerospace, consumer electronics, and communications, to process control and industrial automation. One of the key elements driving the rapid adoption of PXI is its use of PCI in the communication backplane. Now, as the commercial PC industry drastically improves the available bus bandwidth by evolving PCI to PCI Express, PXI has the ability to meet even more application needs by integrating PCI Express into the PXI standard.
文摘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
文摘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.
文摘Based on SCR(Software Cost Reduction), this paper presents a formal mOdel analyzingSCR-style requirements- This model mainly apply state trans1ation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simp1eexample, this paper introduces how to analyze consistency and completeness of requirements specifica-tlons.
文摘In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.
文摘As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.
