一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

多维立体分离分析技术面临的挑战性问题及对应策略

高效液相色谱(HPLC)、毛细管电泳(CE)等高效分离技术的发展为蛋白质组、天然产物、环境样品等复杂体系的分离分析提供了新的手段。然而一维分离模式所能提供的分辨率和峰容量仍十分有限,难以满足人们对复杂样品进行高效分离与高灵敏检测的要求。多维分离是近年来发展起来的一种新型复合分离技术,与一维分离模式相比,这种技术可以极大地提高峰容量,便捷地调整分离选择性,因此已成为近期分析化学领域的重要研究热点。多维液相分离方法可以采用不同的HPLC模式(如排阻色谱、离子交换色谱、亲和色谱、反相色谱等)和CE模式(如毛细管区带…     

水下目标多平台协同定位和跟踪方法

提出了一种融合多平台方位观测数据的水下声学目标定位跟踪方法。该方法采用多级多假设跟踪对目标状态进行滤波和关联,第一级基于每个平台波束域检测结果独立使用多假设跟踪方法对目标方位角进行初级跟踪;第二级首先通过多平台联合似然概率估计多目标初始位置,再用多假设跟踪方法对不同平台初级跟踪的方位角航迹进行关联,最后通过关联的角度值和扩展卡尔曼滤波对多目标位置进行序贯估计。仿真结果证明,该方法能以更少计算量实现更优定位性能,优于单级多假设跟踪方法.海试数据处理结果表明,存在较多干扰的情况下,单级方法跟踪过程中丢失目标,而多级方法实现了对目标的全程跟踪,且收敛后定位误差在70m内。该方法可降低噪声干扰对数据关联及目标定位的影响,并通过多平台协同消除线阵的方位模糊,适用于移动多平台声学目标定位和跟踪场景。      

高精度光电跟踪系统中伺服稳定控制算法研究

针对光电跟踪稳定平台系统中载机振动、系统参数摄动、摩擦力矩及外部扰动等因素直接影响光电跟踪系统稳定精度的问题,从伺服控制器控制角度出发抑制跟踪系统中的偏差,提高稳定精度,保证其在复杂环境下仍具有强鲁棒性.通过建立光电跟踪稳定平台系统的数学模型,分析干扰力矩、陀螺噪声及系统参数的变化对光电稳定平台的影响,设计了基于新型非...     

基于"SPOC+慕课堂+腾讯会议+微信群"的在线教学实践——以仪器分析课程为例

受新冠肺炎疫情的影响,高等学校教学活动转移到线上进行,如何化危为机,力保线上教学质量的同时探索与实践"教与学"的新模式是广大师生要共同面对的问题。联合应用"SPOC+慕课堂+腾讯会议+微信群"建立仪器分析课程"课前导学助学+课中讲学研学+课后督学思学"的一体化线上教学新模式,经初步实践教学效果较好并能为在线教学提供参考。     

基于中国大学MOOC和超星学习通平台的化学与社会课程在线教学实践

The online teaching of chemistry and society course has been successfully carried out by using national high-quality online open course as the course resource and Superstar Learning Platform for online teaching. The practice shows that online teaching based on the combination of China University MOOC, and Superstar Learning Platform has been well received by students, who are generally easy to accept and highly motivated to participate. This practice shows good teaching effect.     

量子薄膜技术改进相机感光效果

随着智能手机的日益普及,人们对手机拍照功能的要求越来越高,市场也日益扩大。摄影摄像功能已经成为智能手机的标准配置,人们不仅仅要求图像更加清晰,而且要求手机拍照能够适应更多的场景。目前的手机摄像头主要使用CMOS传感器,技术相对比较成熟,但是,仍然有许多不尽如人意的地方,例如,弱光拍摄、高速拍摄效果欠佳,变焦能力有限等等。要改进     

重视“经典问题”,深思“一题多解”——从李大潜院士谈学习数学的愉悦感说起

一、从李大潜院士谈学习数学的愉悦感说起,最近笔者在一些微信公众号的推文中阅读到我国著名数学家、复旦大学李大潜院士一些讲座观点,比如,李院士提到的学习数学的愉悦感,比如,在一个相对初等的学习阶段解决某些数学题比较困难,但到了下个阶段,有了新的工具就非常方便,这就获得了一种愉悦感.举例来说,小学阶段学习“鸡兔同笼问题”时很多学生都觉得很难,但是到了初中阶段学习了一元一次方程或二元一次方程组之后,就可以轻松解决,这时就会获得一种学习数学的愉悦感笔者对李院土论及的学习数学愉悦感深有感触,也有了一些思考、回顾自己的初中数学教与学的经历,类似的可以获得愉悦感的题例或案例有很多,本文列举-些案例,并跟进解读与反思,供讨论.