近年来,美国家庭教育指导服务取得了社会认可并成为全球家庭教育指导工作的风向标,尤其是循证家庭教育指导服务成效显著。其中,“父母即教师”(Parent As Teachers,简称PAT)项目是美国循证家庭教育指导服务的杰出代表,其以改进家庭教育...近年来,美国家庭教育指导服务取得了社会认可并成为全球家庭教育指导工作的风向标,尤其是循证家庭教育指导服务成效显著。其中,“父母即教师”(Parent As Teachers,简称PAT)项目是美国循证家庭教育指导服务的杰出代表,其以改进家庭教育质量为主旨、以科学的循证模型为基础、收集丰富的实证数据来开展有针对性的家庭教育指导服务。展开更多
Mr．Big Band，大先生乐队，如雷贯耳的名字。20世纪80年代后期，这支以速度金属、硬摇滚、流行金属叱咤摇滚乐坛的速度战车，曾是多少摇滚与流行乐迷膜拜的偶像，那首浪漫迷人的单曲《To be with you》时常会在我们的耳边响起。我们至...Mr．Big Band，大先生乐队，如雷贯耳的名字。20世纪80年代后期，这支以速度金属、硬摇滚、流行金属叱咤摇滚乐坛的速度战车，曾是多少摇滚与流行乐迷膜拜的偶像，那首浪漫迷人的单曲《To be with you》时常会在我们的耳边响起。我们至今不能忘记。展开更多
枯草杆菌芽孢是极难被杀灭的细菌之一,为探究山梨酸钾与压力辅助热杀菌(pressure assisted thermal sterilization,PATS)对枯草杆菌芽孢的联合作用效果,该研究以OD600值(optical density at 600 nm)、OD_(260)值(optical density at 260...枯草杆菌芽孢是极难被杀灭的细菌之一,为探究山梨酸钾与压力辅助热杀菌(pressure assisted thermal sterilization,PATS)对枯草杆菌芽孢的联合作用效果,该研究以OD600值(optical density at 600 nm)、OD_(260)值(optical density at 260 nm)、OD_(280)值(optical density at 280 nm)、2,6-吡啶二羧酸释放率表征芽孢内容物的释放情况,扫描电镜、流式细胞术、傅里叶红外光谱仪、激光粒度仪检测芽孢结构变化情况。结果表明,山梨酸钾强化了PATS的杀菌效果,200 MPa-75℃处理杀灭了2.63 lg CFU/mL芽孢,添加2 g/L山梨酸钾后,杀灭了3.24 lg CFU/mL芽孢。较单独PATS处理,添加山梨酸钾后,促进了芽孢内容物的释放,内膜通透性增加,芽孢粒径显著减小,内膜、细胞壁等结构受损程度加剧。同时,Na^(+)/K^(+)-ATPase活力显著降低,膜电位平衡被破坏,基本生理代谢功能紊乱。总之,PATS结合山梨酸钾对枯草芽孢杆菌芽孢有协同杀菌作用,且随着山梨酸钾添加量或温度的升高而增强,有利于促进该技术在食品杀菌中的应用。展开更多
为了提高空间光通信PAT系统的扰动抑制能力,提出了一种基于扰动观测器的控制方法。该方法首先对PAT系统进行分析,得到简化的控制模型,然后利用扰动观测器从电机转动位置和光斑位置中观测出扰动,最后将扰动等效补偿量加入到电流环前的综...为了提高空间光通信PAT系统的扰动抑制能力,提出了一种基于扰动观测器的控制方法。该方法首先对PAT系统进行分析,得到简化的控制模型,然后利用扰动观测器从电机转动位置和光斑位置中观测出扰动,最后将扰动等效补偿量加入到电流环前的综合点。精跟踪系统的仿真实验结果表明:相比常规的PD控制器,加入扰动观测器使扰动隔离度在电机电流饱和前的几乎所有频率处都得到了提升,最优情况可达到28.2 d B;同时,该方法具有很强的鲁棒性,在系统物理参数变化15%时扰动隔离度依然比没有使用扰动观测器时提高了至少1倍。所述的控制方法显著提高了PAT系统的抗扰动性能,对大范围与高动态的精密光电跟踪系统有一定的参考价值。展开更多
操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失....操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。展开更多
文摘近年来,美国家庭教育指导服务取得了社会认可并成为全球家庭教育指导工作的风向标,尤其是循证家庭教育指导服务成效显著。其中,“父母即教师”(Parent As Teachers,简称PAT)项目是美国循证家庭教育指导服务的杰出代表,其以改进家庭教育质量为主旨、以科学的循证模型为基础、收集丰富的实证数据来开展有针对性的家庭教育指导服务。
文摘枯草杆菌芽孢是极难被杀灭的细菌之一,为探究山梨酸钾与压力辅助热杀菌(pressure assisted thermal sterilization,PATS)对枯草杆菌芽孢的联合作用效果,该研究以OD600值(optical density at 600 nm)、OD_(260)值(optical density at 260 nm)、OD_(280)值(optical density at 280 nm)、2,6-吡啶二羧酸释放率表征芽孢内容物的释放情况,扫描电镜、流式细胞术、傅里叶红外光谱仪、激光粒度仪检测芽孢结构变化情况。结果表明,山梨酸钾强化了PATS的杀菌效果,200 MPa-75℃处理杀灭了2.63 lg CFU/mL芽孢,添加2 g/L山梨酸钾后,杀灭了3.24 lg CFU/mL芽孢。较单独PATS处理,添加山梨酸钾后,促进了芽孢内容物的释放,内膜通透性增加,芽孢粒径显著减小,内膜、细胞壁等结构受损程度加剧。同时,Na^(+)/K^(+)-ATPase活力显著降低,膜电位平衡被破坏,基本生理代谢功能紊乱。总之,PATS结合山梨酸钾对枯草芽孢杆菌芽孢有协同杀菌作用,且随着山梨酸钾添加量或温度的升高而增强,有利于促进该技术在食品杀菌中的应用。
文摘为了提高空间光通信PAT系统的扰动抑制能力,提出了一种基于扰动观测器的控制方法。该方法首先对PAT系统进行分析,得到简化的控制模型,然后利用扰动观测器从电机转动位置和光斑位置中观测出扰动,最后将扰动等效补偿量加入到电流环前的综合点。精跟踪系统的仿真实验结果表明:相比常规的PD控制器,加入扰动观测器使扰动隔离度在电机电流饱和前的几乎所有频率处都得到了提升,最优情况可达到28.2 d B;同时,该方法具有很强的鲁棒性,在系统物理参数变化15%时扰动隔离度依然比没有使用扰动观测器时提高了至少1倍。所述的控制方法显著提高了PAT系统的抗扰动性能,对大范围与高动态的精密光电跟踪系统有一定的参考价值。
文摘操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。
