操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失....操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。展开更多
In practical applications,noble metal doping is often used to prepare high performance gas sensors,but more noble metal doping will lead to higher preparation costs.In this study,CeO_(2)/ZnO-Pd with low palladium cont...In practical applications,noble metal doping is often used to prepare high performance gas sensors,but more noble metal doping will lead to higher preparation costs.In this study,CeO_(2)/ZnO-Pd with low palladium content was prepared by ultrasonic method with fast response and high selectivity for acetone sensing.With the same amount of palladium added,the selectivity coefficient of CeO_(2)/ZnO-Pd is 1.88 times higher than that of the stirred sensor.Compared with the pure PdO-doped CeO_(2)/ZnO-PdO material,the content of Pd in CeO_(2)/ZnO-PdO is about 30%of that in CeO_(2)/ZnO-PdO,but the selectivity coefficient for acetone is 2.56 times higher.The CeO_(2)/ZnO-Pd sensor has a higher response(22.54)to 50×10^(−6) acetone at 300℃and the selectivity coefficient is 2.57 times that of the CeO_(2)/ZnO sensor.The sensor has a sub-second response time(0.6 s)and still has a 2.36 response to 330×10^(−9) of acetone.Ultrasonic doping makes Pd particles smaller and increases the contact area with gas.Meanwhile,the composition of n-p-n heterojunction and the synergistic effect of Pd/PdO improve the sensor performance.It shows that ultrasonic Pd doping provides a way to improve the utilization rate of doped metals and prepare highly selective gas sensors.展开更多
目的·基于问题行为理论,构建结构方程模型,开展对于大学生社交网络成瘾的相关研究。方法·在上海市某高校一、二年级本科生中开展关于大学生社交网络成瘾的横断面问卷调查,采用Logistic回归分析性别、年级、学习压力、自尊、...目的·基于问题行为理论,构建结构方程模型,开展对于大学生社交网络成瘾的相关研究。方法·在上海市某高校一、二年级本科生中开展关于大学生社交网络成瘾的横断面问卷调查,采用Logistic回归分析性别、年级、学习压力、自尊、孤独感、抑郁、困顿感、挫败感、人际需求、社会支持、吸烟、饮酒、运动和学习成绩对社交网络成瘾的影响。以问题行为理论为理论框架,构建大学生社交网络成瘾的理论框架模型。结果·60.31%(591/980)的低年级大学生有社交网络成瘾情况。单因素Logistic回归结果显示:抑郁、自尊、孤独感、挫败感、困顿感、社会支持、人际需求、运动和学习成绩对社交网络成瘾有显著影响。研究构建的大学生社交网络成瘾的结构方程模型拟合结果良好[S-Bχ^(2)/df=8.03,拟合指数(goodness-of-fit index,GFI)=0.924,比较拟合指数(comparative fit index,CFI)=0.909,非规范拟合指数(Tucker-Lewis index,TLI)=0.872,近似误差均方根(root mean square error of approximation,RMSEA)=0.096,标准化残差均方根(standardized root mean square residual,SRMR)=0.070],提示人格系统与社会环境系统之间、人格系统与行为系统之间、社会环境系统与行为系统之间均相互影响(β=1.018,P=0.000;β=0.218,P=0.003;β=0.268,P=0.000)。人格系统和行为系统对社交网络成瘾的影响在统计学上不存在显著性,社会环境系统对社交网络成瘾有显著的正向影响(β=0.481,P=0.001)。结论·人格系统和行为系统通过影响社会环境系统间接影响社交网络成瘾,社会环境系统直接影响社交网络成瘾。对于低年级大学生社交网络成瘾问题,应当充分尊重大学生的特点,从系统3个层面共同入手,降低大学生社交网络成瘾风险。展开更多
文摘操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。
基金Project(2023JJ10005)supported by the Natural Science Foundation of Hunan Province,ChinaProjects(51772082,51804106)supported by the National Natural Science Foundation of China。
文摘In practical applications,noble metal doping is often used to prepare high performance gas sensors,but more noble metal doping will lead to higher preparation costs.In this study,CeO_(2)/ZnO-Pd with low palladium content was prepared by ultrasonic method with fast response and high selectivity for acetone sensing.With the same amount of palladium added,the selectivity coefficient of CeO_(2)/ZnO-Pd is 1.88 times higher than that of the stirred sensor.Compared with the pure PdO-doped CeO_(2)/ZnO-PdO material,the content of Pd in CeO_(2)/ZnO-PdO is about 30%of that in CeO_(2)/ZnO-PdO,but the selectivity coefficient for acetone is 2.56 times higher.The CeO_(2)/ZnO-Pd sensor has a higher response(22.54)to 50×10^(−6) acetone at 300℃and the selectivity coefficient is 2.57 times that of the CeO_(2)/ZnO sensor.The sensor has a sub-second response time(0.6 s)and still has a 2.36 response to 330×10^(−9) of acetone.Ultrasonic doping makes Pd particles smaller and increases the contact area with gas.Meanwhile,the composition of n-p-n heterojunction and the synergistic effect of Pd/PdO improve the sensor performance.It shows that ultrasonic Pd doping provides a way to improve the utilization rate of doped metals and prepare highly selective gas sensors.
文摘目的·基于问题行为理论,构建结构方程模型,开展对于大学生社交网络成瘾的相关研究。方法·在上海市某高校一、二年级本科生中开展关于大学生社交网络成瘾的横断面问卷调查,采用Logistic回归分析性别、年级、学习压力、自尊、孤独感、抑郁、困顿感、挫败感、人际需求、社会支持、吸烟、饮酒、运动和学习成绩对社交网络成瘾的影响。以问题行为理论为理论框架,构建大学生社交网络成瘾的理论框架模型。结果·60.31%(591/980)的低年级大学生有社交网络成瘾情况。单因素Logistic回归结果显示:抑郁、自尊、孤独感、挫败感、困顿感、社会支持、人际需求、运动和学习成绩对社交网络成瘾有显著影响。研究构建的大学生社交网络成瘾的结构方程模型拟合结果良好[S-Bχ^(2)/df=8.03,拟合指数(goodness-of-fit index,GFI)=0.924,比较拟合指数(comparative fit index,CFI)=0.909,非规范拟合指数(Tucker-Lewis index,TLI)=0.872,近似误差均方根(root mean square error of approximation,RMSEA)=0.096,标准化残差均方根(standardized root mean square residual,SRMR)=0.070],提示人格系统与社会环境系统之间、人格系统与行为系统之间、社会环境系统与行为系统之间均相互影响(β=1.018,P=0.000;β=0.218,P=0.003;β=0.268,P=0.000)。人格系统和行为系统对社交网络成瘾的影响在统计学上不存在显著性,社会环境系统对社交网络成瘾有显著的正向影响(β=0.481,P=0.001)。结论·人格系统和行为系统通过影响社会环境系统间接影响社交网络成瘾,社会环境系统直接影响社交网络成瘾。对于低年级大学生社交网络成瘾问题,应当充分尊重大学生的特点,从系统3个层面共同入手,降低大学生社交网络成瘾风险。
