可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

基于模拟退火—遗传算法的非线性密钥序列生成器线性复杂度研究

计算线性等价是研究非线性密钥序列生成器线性复杂度的有效方法。本文先介绍了计算线性等价的模拟退火法,然后使用遗传算法对该算法进行改进,最后使用一组密钥序列生成器对改进后的算法进行性能评估,并将改进后的算法和原算法进行了比较。结果表明改进后的算法能比原算法更有效的找到非线性密钥序列生成器的线性等价。     

高频高压静电除尘电源控制系统的设计

介绍一种高频高压静电除尘电源控制系统.改控制系统以TMS320F2812和TL494核心,通过研究先进的控制方法来提高电除尘器的工作效率.     

智能化工程计算器的设计与实现

现有工程技术人员实施进行的计算工作存在专业性较强,且冗余繁杂等问题,为了解决此类问题,减轻工作量,因此采用Delphi程序设计语言和适当的编译技术设计了一种智能化工程计算器系统,对各种专业符号识别、习惯性输入、数据库系统的设计和词法分析等若干关键技术进行了研究,并提出了具体的实现方法.通过在各种实际环境中进行测试,运行良好并应用于自主开发软件系统中,此模块也可以嵌入别的系统中以提高工作效率.     

基于内容的视频拷贝检测研究

提出一种新的基于内容的视频拷贝检测方法,根据视频连续帧之间信息的冗余,提出关键帧提取算法,对提取的关键帧做DCT变换,并将AC系数的有序测度作为关键帧的特征,计算视频关键帧之间的L1距离作为视频之间的相似度度量。实验表明该方法对抗几种不同的几何攻击有较好的效果。     

星球车松软星壤的轮腿式探测系统:Ⅱ-感知车轮

为增强星球车松软星壤的穿越通过能力,提出了轮壤交互接触信息的感知车轮设计。该车轮是一种星球车的前置轮腿式探测系统(WOLS)的关键部分,可实现动态轮壤交互的关键量测量(轮壤作用力/力矩、轮壤接触角和车轮沉陷量)。研究分析了轮壤力学的关键测量参量及其分组,完成了感知车轮的硬件设计和集成,提出了待测参数的在线测量模型和方法,通过标定校准和实车测试验证了该感知车轮的性能。     

基于边缘计算的电力系统通信网络构建

为克服电力系统传统云计算模式网络拥堵的问题,在现有的电力系统通信网基础上,引入边缘计算技术。在分析国内电力系统大数据计算量的基础上,讨论了现有电力系统通信网体系架构的优化途径。构建了基于docker技术的云边协同电力系统通信网络总体模型。将协同运行机制应用于系统中的各级设备。根据电力系统通信网络模型的特点,以多无人机巡检任务为应用场景,研究了基于合作型协同进化的任务协作机制的全局优化方案。提出了边缘计算服务器延时模型。讨论了基于时延和资源分配综合最优的计算卸载策略。构建了资源分配目标函数。在保证各节点总延时最小的前提下,实现了资源分配差异度最小。     

硅丙乳液包覆Mg(OH)2核壳结构纳米粒子的制备与表征

为有效提高Mg(OH)_2纳米粒子在硅丙乳液中的相容性与分散稳定性,在油酸修饰Mg(OH)_2纳米粒子的基础上,以甲基丙烯酸甲酯、丙烯酸丁酯、丙烯酸与乙烯基三乙氧基硅烷为共聚单体,通过乳液聚合法制备出具有核壳结构的硅丙乳液包覆Mg(OH)_2复合材料。利用傅里叶变换红外光谱仪(FTIR)、X射线衍射仪(XRD)、透射电子显微镜(TEM)等测试手段对样品结构、形貌进行了表征。通过燃烧实验,研究了硅丙乳液包覆Mg(OH)_2纳米粒子对水性防火涂料阻燃性能的影响。结果表明,油酸通过酯化作用修饰在Mg(OH)_2纳米粒子表面,借助油酸分子中双键结构,丙烯酸类混合单体在纳米Mg(OH)_2表面完成聚合过程,形成以Mg(OH)_2纳米粒子为核、硅丙乳液为壳的复合材料。XRD与热分析表明经硅丙乳液包覆的纳米Mg(OH)_2晶体结构与热稳定性能未受影响。此外,掺杂0.1%(质量分数)的硅丙乳液包覆Mg(OH)_2可使水性防火涂料阻燃时间延长至113 min,较未掺杂水性涂料阻燃时间(91min)提高约23%。     

化被动为主动,锻炼课堂教学的心境

在探索新课程的应有内容与方法的过程中,我们会遇到各种各样的问题。随便从常见问题中选择几个,就让很多人难以处理。课标内容很好,做起来好难,非要这样教吗,学这些知识没用啊,太难了,不会教,也学不会……林林总总。不论是教学目标、教     

化被动为主动,锻炼课堂教学的心境

在探索新课程的应有内容与方法的过程中,我们会遇到各种各样的问题。随便从常见问题中选择几个,就让很多人难以处理。"课标内容很好,做起来好难","非要这样教吗","学这些知识没用啊","太难了,不会教,也学不会"……林林总总。不论是教学目标、教