运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

城市公交车回收、采集能量的智能控制器设计

文章介绍了基于单片机的城市公交车回收、采集能量智能控制器的软硬件设计。该控制器提供四个直流能量入口,二个输出接口。当控制器正常运行时,依次检测各个能量入口和超级电容器储能模块的端电压,根据检测的结果,由系统自动控制各输入、输出通道的接通状态,最终通过DC/DC变换,稳压模块等实现回收、采集能量的有效利用。     

末制导弹道修正子弹的六自由度建模仿真

总体没计阶段利用数字仿真方法验证制导方案是一项重要手段也是后续半实物仿真的基础.脉冲式末制导弹道修正子弹是一种新型简控子母战斗部,它的特点是探测系统为捷联光学成像导引头,控制执行机构为安装在质心附近的一组定推力、单次使用的侧喷式微型固体脉冲发动机.针对子弹上述特点,给出利用捷联导引头测量信息得到制导信号的方法,建立捷联体制下的脉冲比例导引律.在MATLAB/Simulink环境下构建六自由度弹道仿真模型并嵌入制导方法进行验证.仿真结果表明该新型子弹可有效打击地面固定目标,仿真架构正确,控制制导方案可行.     

双飞燕无线鼠标故障处理一例

某双飞燕无线鼠标R7-70D,用于笔记本上时,有时出现玩玩游戏就没有反应了,但是鼠标动时接收器的灯还是正常的闪,就是没反应。不知道如何处理？     

一种基于非线性弹簧模型的虚拟手交互新方法

基于虚拟手的交互技术在人机交互和人机工程学测试等应用中发挥着重要的作用。为了实现直观自然、实时准确、接近真实世界中的虚拟手与虚拟物体的交互,并计算出反馈作用力,首先提出了用非线性弹簧模型计算抓取作用力,使虚拟手和虚拟环境之间实现了基于物理的交互;然后将计算结果以视觉渲染的形式反馈给用户,并对仿真的速率做了定量分析,以便使仿真速率可以达到屏幕刷新频率和力反馈刷新频率的要求。实验结果表明,虚拟手不仅可以直观自然地抓取3维虚拟物体,而且和3维物体之间能够进行实时交互,同时可计算出反馈作用力。     

基于合同功率与持续时间的电网老化和可靠性优化

为解决线路老化与电网可靠性之间的权衡问题,通过最小化因导体温度升高引起的需求损失和网络老化,优化每条负载母线的平均需求损耗,以提高线路额定值和修改负载曲线。所考虑的线路与负载母线相连接,采用动态线路额定值技术,以削峰填谷形式的需求响应来修改负荷需求曲线,根据剩余平均需求损失的利用率降低允许的峰值负荷。结果表明,与仅优先考虑网络老化保护的方案相比,该方法在网络老化和可靠性并重的基础上,在线路老化允许范围内少量增加线路老化以提高系统可靠性,提高率高达68.9%,具有较高的经济效益。与仅优先考虑提高网络可靠性的方案相比,在整个研究的超标温度允许范围（1%~25%）内,线路老化平均降低70.3%。     

典型工业粉尘地区复合绝缘子污秽成分及其闪络特性

近年来,盐城德隆镍业厂区附近数次发生输电线路外绝缘放电、污闪现象,且采用复合绝缘子后仍不能得到有效抑制,而临近的化工区却没无该情况发生。因此,本文对盐城电网辖区内镍厂、化工厂绝缘子进行污秽取样,开展了污秽化学成分分析测试,包括阴阳离子含量、不溶物元素组成、主要化合物成分等;继而基于成分分析结果,开展了混合污秽下的污闪特性试验,得到了不同污染源典型污秽成分下复合绝缘子的闪络特性。研究结果表明：化工厂和镍厂附近绝缘子污秽成分有一定的差异,体现在镍厂污秽成分含硝酸盐较多,而化工厂附近含氯盐较多;对于一大两小型复合绝缘子,其在镍厂典型污秽下的闪络梯度要比化工厂低5%-10%;对于重工业粉尘地区的外绝缘配置,建议采用一大一小型绝缘子来提高电气强度。     

大口径快反镜面形测试系统设计

大口径快速反射镜（快反镜）常被应用于空间光通信和激光武器等领域。为实现工作状态下大口径快反镜面形误差的实时检测,设计了大口径快反镜面形测试系统。该系统的口径参数为400 mm,工作波长为633 mm,由离轴式前置扩束系统和焦面附件系统组成。对测试系统的设计参数及元件参数选择进行了阐述,设计和仿真了光学系统结构,并基于光机热集成分析获得温度变化对光学系统的影响。测试大口径快反镜面形测试系统后结果表明该系统可实现实时记录和高精度测量,且在温度变化的工作环境下也可实现稳定测量,其测量稳定性为0.048λ（RMS,λ=633 nm）。     

磷酸化蛋白质分析

蛋白质的磷酸化过程是人体内翻译后修饰的重要一步,非正常的磷酸化会导致人体产生各种疾病.近年来,通过分析化学的手段研究磷酸化的过程取得了很大的进展.该文就蛋白激酶分析、磷酸化多肽的富集方面的国内外的研究进展进行了综述.