SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的...SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。展开更多
Background: Age-related cognitive and physical decline can impair safe driving performance. Tai Chi exercise benefits cognitive and physical function and may influence safe driving performance in older adults. The pri...Background: Age-related cognitive and physical decline can impair safe driving performance. Tai Chi exercise benefits cognitive and physical function and may influence safe driving performance in older adults. The primary aim of this observational study was to compare cognitive processes and physical function related to safe driving performance among older adult Tai Chi practitioners to normative reference values.Secondary aims were to examine relationships between Tai Chi exercise habits, cognitive processes, and physical function related to safe driving performance and to explore potential predictors of safe driving performance.Methods: The Driving Health Inventory, the Driving Scenes Test, other driving-related cognitive and physical measures, and self-reported measures including the Mindful Attention Awareness Scale(MAAS) and the Vitality Plus Scale(VPS) were collected from current Tai Chi practitioners(n = 58; age 72.9 ± 5.9 years, mean ± SD) with median >3 years Tai Chi practice.Results: Compared to normative reference values, participants performed better on numerous cognitive measures including the Driving Scenes Test(p < 0.001, d = 1.63), maze navigation(p = 0.017, d = 0.27), the Useful Field of View Test(p < 0.001, r = 0.15), and on physical measures including the Rapid Walk Test(p < 0.001, r = 0.20), and the Right Foot Tapping Test,(p < 0.001, r = 0.35). Participants scored higher than normative reference values on MAAS and VPS(p < 0.001, d = 0.75; p = 0.002, d = 0.38, respectively). Statistically significant correlations were found between several study measures. The digit span backward test was the strongest predictor of safe driving performance(β = 0.34,p = 0.009).Conclusion: Tai Chi exercise has the potential to impact cognitive processes and physical function related to safe driving performance. Further study using randomized controlled trials, structured Tai Chi exercise doses, and driving simulator or on-road driving performance as outcome measures are warranted.展开更多
HPP （high pressure processing） is one of the novel technologies to produce microbiologically safe food. HPP is a non-thermal food processing method, wherein the food is subjected to a very high pressure ranging betw...HPP （high pressure processing） is one of the novel technologies to produce microbiologically safe food. HPP is a non-thermal food processing method, wherein the food is subjected to a very high pressure ranging between 100-800 MPa in order to prevent undesirable chemical and microbiological reactions, and hence, prolong the shelf-life. HPP is also called as ＂high hydrostatic processing, ultra-high pressure processing or isostatic processing＂. In dairy products, HHP has the potential to modify the functional properties of proteins, polysaccharides and alter biochemical reactions without significantly affecting the nutritional and sensory properties. HPP treatment induces significant changes in milk components particularly in proteins （whey proteins and caseins）, as well as on their applicability in innovative dairy productions. HPP influences technological properties of various milk products such as firmness, water-holding capacity of the gel and network structure, cheese yield, rennet coagulation time and ripening.展开更多
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.展开更多
Objective:The aim of this study was to investigate renal insufficiency in patients with chemotherapy.Methods:Prescribing chemotherapy in a regular hemodialysis patient with renal failure,and monitoring of serum drug c...Objective:The aim of this study was to investigate renal insufficiency in patients with chemotherapy.Methods:Prescribing chemotherapy in a regular hemodialysis patient with renal failure,and monitoring of serum drug concentrations to determine its safety and effectiveness.Results:Chemotherapy assessment efficiency:SD(better),hemodialysis did not affect THP treatment,their safety was guaranteed.Conclusion:The chemotherapy of renal dysfunction is not an absolute contraindication to fully assess the patient's adverse effects and tolerability,the reasonable arrangements for hemodialysis and the timing of administration can be safe and effective chemotherapy.展开更多
Consumption of functional foods with health promoting benefits and/or disease prevention has been on the increase globally. The study aimed at evaluating the potential of utilizing Kenyan orange fleshed sweet potato ...Consumption of functional foods with health promoting benefits and/or disease prevention has been on the increase globally. The study aimed at evaluating the potential of utilizing Kenyan orange fleshed sweet potato （Ipomoea batatas Lam.） for functional food production with aesthetics benefits. Purees from three different varieties of orange fleshed sweet potato （OFSP） were analyzed for nutritional, physicochemical and microbial quality, The findings of the study show that the three purees were all microbiologically safe and of near neutral pH, but differed significantly （P 〈 0.05） in nutrient content （dry matter content, 12.76-28.23%; crude fiber, 1.37-2.90% fresh weight basis （FWB）; 13-carotene, 0.94-9.27 mg/100g dry weight basis （DWB）; starch, 10.20-18.30% FWB ＆ total sugar 27.08-31.76% DWB）. The purees had attractive appearance （ranging from yellow to dark orange）, with varying significantly different spectrophotometer hunters color scale （P 〈 0.05）, and flow ability. Conclusions from the findings show great potential of utilizing the varying properties of OFSP puree to produce enriched functional food products such as probiotic/prebiotic dairy, beverages, bakery and baby foods.展开更多
Overall purpose of a power uprate and lifetime extension project （PLEX） is to modernize the power station cost-efficiently resulting in fulfilling the following overall requirements. The primary target is to meet th...Overall purpose of a power uprate and lifetime extension project （PLEX） is to modernize the power station cost-efficiently resulting in fulfilling the following overall requirements. The primary target is to meet the requirements provided by the local regulations from the regulatory offices. The controlling, monitoring and power supply of safety functions have to comply with these regulations. Any deviations from the existing safety analysis report （SAR） have to be corrected. On top of the safety measures the general technical status should be raised to extend the lifetime to 60 years. A high availability during the modernization has to be assured.展开更多
Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular...Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular high temperature gas-cooled reactor(MHTGR) is considered as one of the best candidates for SMR-based nuclear power plants. Since its dynamics presents high nonlinearity and parameter uncertainty, it is necessary to develop adaptive power-level control, which is beneficial to safe, stable, and efficient operation of MHTGR and is easy to be implemented. In this paper, based on the physically-based control design approach, an adaptive outputfeedback power-level control is proposed for MHTGRs. This control can guarantee globally bounded closedloop stability and has a simple form. Numerical simulation results show the correctness of the theoretical analysis and satisfactory regulation performance of this control.展开更多
The issue of CCF （common cause failure） in digital I ＆ C （instrumentation and control） systems is of great interest because an increasing number of such systems are implemented in nuclear power plants. For the mi...The issue of CCF （common cause failure） in digital I ＆ C （instrumentation and control） systems is of great interest because an increasing number of such systems are implemented in nuclear power plants. For the mitigation of ATWS （anticipated transients without scram） as well as CCF within the PPS （plant protection system） and the ESF-CCS （engineered safety feature-component control system）, the ADPS （advanced diverse protection system） has been developed by KEPCO E ＆ C （KEPCO Engineering and Construction） Company for new nuclear units in Korea. As compared to the DPS （diverse protection system） design of APR1400, the ADPS has a diverse safety injection function considering a LBLOCA （large break loss of coolant accident） concurrent with the CCF of the PPS and ESF-CCS. Besides the function of SIAS （safety injection actuation signal） initiation, several CCF avoidance features, such as the changes of software design classification, communication methods, equipment platform, and man-machine interfaces, are introduced to enhance the reliability of the ADPS. In addition, the ADPS has recently incorporated four redundant channels with 2-out-of-4 voting logics to enhance its fault tolerant capability. Therefore, it is expected that the ADPS can provide an enhanced reliability regarding possible CCFs in the safety-grade digital I ＆ C systems as well as the ADPS itself.展开更多
文摘SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。
基金supported,in part, by the Lange Doctoral Dissertation Research Award, College of Nursing, University of Arizona
文摘Background: Age-related cognitive and physical decline can impair safe driving performance. Tai Chi exercise benefits cognitive and physical function and may influence safe driving performance in older adults. The primary aim of this observational study was to compare cognitive processes and physical function related to safe driving performance among older adult Tai Chi practitioners to normative reference values.Secondary aims were to examine relationships between Tai Chi exercise habits, cognitive processes, and physical function related to safe driving performance and to explore potential predictors of safe driving performance.Methods: The Driving Health Inventory, the Driving Scenes Test, other driving-related cognitive and physical measures, and self-reported measures including the Mindful Attention Awareness Scale(MAAS) and the Vitality Plus Scale(VPS) were collected from current Tai Chi practitioners(n = 58; age 72.9 ± 5.9 years, mean ± SD) with median >3 years Tai Chi practice.Results: Compared to normative reference values, participants performed better on numerous cognitive measures including the Driving Scenes Test(p < 0.001, d = 1.63), maze navigation(p = 0.017, d = 0.27), the Useful Field of View Test(p < 0.001, r = 0.15), and on physical measures including the Rapid Walk Test(p < 0.001, r = 0.20), and the Right Foot Tapping Test,(p < 0.001, r = 0.35). Participants scored higher than normative reference values on MAAS and VPS(p < 0.001, d = 0.75; p = 0.002, d = 0.38, respectively). Statistically significant correlations were found between several study measures. The digit span backward test was the strongest predictor of safe driving performance(β = 0.34,p = 0.009).Conclusion: Tai Chi exercise has the potential to impact cognitive processes and physical function related to safe driving performance. Further study using randomized controlled trials, structured Tai Chi exercise doses, and driving simulator or on-road driving performance as outcome measures are warranted.
文摘HPP （high pressure processing） is one of the novel technologies to produce microbiologically safe food. HPP is a non-thermal food processing method, wherein the food is subjected to a very high pressure ranging between 100-800 MPa in order to prevent undesirable chemical and microbiological reactions, and hence, prolong the shelf-life. HPP is also called as ＂high hydrostatic processing, ultra-high pressure processing or isostatic processing＂. In dairy products, HHP has the potential to modify the functional properties of proteins, polysaccharides and alter biochemical reactions without significantly affecting the nutritional and sensory properties. HPP treatment induces significant changes in milk components particularly in proteins （whey proteins and caseins）, as well as on their applicability in innovative dairy productions. HPP influences technological properties of various milk products such as firmness, water-holding capacity of the gel and network structure, cheese yield, rennet coagulation time and ripening.
基金National Natural Science Foundation of China(No.61963023)。
文摘The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.
文摘Objective:The aim of this study was to investigate renal insufficiency in patients with chemotherapy.Methods:Prescribing chemotherapy in a regular hemodialysis patient with renal failure,and monitoring of serum drug concentrations to determine its safety and effectiveness.Results:Chemotherapy assessment efficiency:SD(better),hemodialysis did not affect THP treatment,their safety was guaranteed.Conclusion:The chemotherapy of renal dysfunction is not an absolute contraindication to fully assess the patient's adverse effects and tolerability,the reasonable arrangements for hemodialysis and the timing of administration can be safe and effective chemotherapy.
文摘Consumption of functional foods with health promoting benefits and/or disease prevention has been on the increase globally. The study aimed at evaluating the potential of utilizing Kenyan orange fleshed sweet potato （Ipomoea batatas Lam.） for functional food production with aesthetics benefits. Purees from three different varieties of orange fleshed sweet potato （OFSP） were analyzed for nutritional, physicochemical and microbial quality, The findings of the study show that the three purees were all microbiologically safe and of near neutral pH, but differed significantly （P 〈 0.05） in nutrient content （dry matter content, 12.76-28.23%; crude fiber, 1.37-2.90% fresh weight basis （FWB）; 13-carotene, 0.94-9.27 mg/100g dry weight basis （DWB）; starch, 10.20-18.30% FWB ＆ total sugar 27.08-31.76% DWB）. The purees had attractive appearance （ranging from yellow to dark orange）, with varying significantly different spectrophotometer hunters color scale （P 〈 0.05）, and flow ability. Conclusions from the findings show great potential of utilizing the varying properties of OFSP puree to produce enriched functional food products such as probiotic/prebiotic dairy, beverages, bakery and baby foods.
文摘Overall purpose of a power uprate and lifetime extension project （PLEX） is to modernize the power station cost-efficiently resulting in fulfilling the following overall requirements. The primary target is to meet the requirements provided by the local regulations from the regulatory offices. The controlling, monitoring and power supply of safety functions have to comply with these regulations. Any deviations from the existing safety analysis report （SAR） have to be corrected. On top of the safety measures the general technical status should be raised to extend the lifetime to 60 years. A high availability during the modernization has to be assured.
文摘Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular high temperature gas-cooled reactor(MHTGR) is considered as one of the best candidates for SMR-based nuclear power plants. Since its dynamics presents high nonlinearity and parameter uncertainty, it is necessary to develop adaptive power-level control, which is beneficial to safe, stable, and efficient operation of MHTGR and is easy to be implemented. In this paper, based on the physically-based control design approach, an adaptive outputfeedback power-level control is proposed for MHTGRs. This control can guarantee globally bounded closedloop stability and has a simple form. Numerical simulation results show the correctness of the theoretical analysis and satisfactory regulation performance of this control.
文摘The issue of CCF （common cause failure） in digital I ＆ C （instrumentation and control） systems is of great interest because an increasing number of such systems are implemented in nuclear power plants. For the mitigation of ATWS （anticipated transients without scram） as well as CCF within the PPS （plant protection system） and the ESF-CCS （engineered safety feature-component control system）, the ADPS （advanced diverse protection system） has been developed by KEPCO E ＆ C （KEPCO Engineering and Construction） Company for new nuclear units in Korea. As compared to the DPS （diverse protection system） design of APR1400, the ADPS has a diverse safety injection function considering a LBLOCA （large break loss of coolant accident） concurrent with the CCF of the PPS and ESF-CCS. Besides the function of SIAS （safety injection actuation signal） initiation, several CCF avoidance features, such as the changes of software design classification, communication methods, equipment platform, and man-machine interfaces, are introduced to enhance the reliability of the ADPS. In addition, the ADPS has recently incorporated four redundant channels with 2-out-of-4 voting logics to enhance its fault tolerant capability. Therefore, it is expected that the ADPS can provide an enhanced reliability regarding possible CCFs in the safety-grade digital I ＆ C systems as well as the ADPS itself.
