This study focuses on automatic searching and verifying methods for the teachability, transition logics and hierarchical structure in all possible paths of biological processes using model checking. The automatic sear...This study focuses on automatic searching and verifying methods for the teachability, transition logics and hierarchical structure in all possible paths of biological processes using model checking. The automatic search and verification for alternative paths within complex and large networks in biological process can provide a considerable amount of solutions, which is difficult to handle manually. Model checking is an automatic method for verifying if a circuit or a condition, expressed as a concurrent transition system, satisfies a set of properties expressed in a temporal logic, such as computational tree logic （CTL）. This article represents that model checking is feasible in biochemical network verification and it shows certain advantages over simulation for querying and searching of special behavioral properties in biochemical processes.展开更多
[ Objective] To establish a Taqman real-time PCR for detection of Salmonella in pet food. [Method] A pair of primers and a probe were designed based on published nucleotide sequence of invA gene encoding the invasion ...[ Objective] To establish a Taqman real-time PCR for detection of Salmonella in pet food. [Method] A pair of primers and a probe were designed based on published nucleotide sequence of invA gene encoding the invasion protein of Salmonella enterica. [ Result] The assay detects Salmonella specifically. The detection limit of the real-time PCR was 17 CFU/test （25 uL/test） for the positive strain. This method was effective to detect artificially contaminated pet food. [ Conclusion] The results showed that Taqman PCR assay was rapid and accurate for detection of Salmonella from infected pet food.展开更多
Oil reclamation with Fuller＇s earth is known to have an improved effect on conditioning aged oil. In this paper it is shown that aged oil reclamation effectiveness can be monitored with turbidity and spectrophotometr...Oil reclamation with Fuller＇s earth is known to have an improved effect on conditioning aged oil. In this paper it is shown that aged oil reclamation effectiveness can be monitored with turbidity and spectrophotometry measurements. These low cost testing techniques offer a useful tool to quantify the effect of Fuller＇s earth. Experimental investigations performed in laboratory conditions have shown that the quality of properly reclaimed aged oil can compete with that of new oils. Thus, in addition to extending the life cycle of this non-renewable resource, on-line reclamation of liquid might also prevent the premature ageing of paper insulation. Studying the stability of reclaimed service aged oil samples emphasized the important role played by Fuller＇s earth absorption capability.展开更多
文摘This study focuses on automatic searching and verifying methods for the teachability, transition logics and hierarchical structure in all possible paths of biological processes using model checking. The automatic search and verification for alternative paths within complex and large networks in biological process can provide a considerable amount of solutions, which is difficult to handle manually. Model checking is an automatic method for verifying if a circuit or a condition, expressed as a concurrent transition system, satisfies a set of properties expressed in a temporal logic, such as computational tree logic （CTL）. This article represents that model checking is feasible in biochemical network verification and it shows certain advantages over simulation for querying and searching of special behavioral properties in biochemical processes.
基金Supported by the Project of General Administration of Quality Supervision,Inspection and Quarantine of the People's Republic of China( 201110034)
文摘[ Objective] To establish a Taqman real-time PCR for detection of Salmonella in pet food. [Method] A pair of primers and a probe were designed based on published nucleotide sequence of invA gene encoding the invasion protein of Salmonella enterica. [ Result] The assay detects Salmonella specifically. The detection limit of the real-time PCR was 17 CFU/test （25 uL/test） for the positive strain. This method was effective to detect artificially contaminated pet food. [ Conclusion] The results showed that Taqman PCR assay was rapid and accurate for detection of Salmonella from infected pet food.
文摘Oil reclamation with Fuller＇s earth is known to have an improved effect on conditioning aged oil. In this paper it is shown that aged oil reclamation effectiveness can be monitored with turbidity and spectrophotometry measurements. These low cost testing techniques offer a useful tool to quantify the effect of Fuller＇s earth. Experimental investigations performed in laboratory conditions have shown that the quality of properly reclaimed aged oil can compete with that of new oils. Thus, in addition to extending the life cycle of this non-renewable resource, on-line reclamation of liquid might also prevent the premature ageing of paper insulation. Studying the stability of reclaimed service aged oil samples emphasized the important role played by Fuller＇s earth absorption capability.
