基于单片机的微小角度测量系统的研制

角度测量是计量科学的重要组成部分,其在精密加工、航空航天、军事和通讯等领域都具有极其重要的意义和作用。光学测角法由于具有非接触测量、准确度和灵敏度高的特点而倍受人们的重视。该系统采用红外LED发射红外线,通过旋转反射镜改变红外线的反射角度,使红外接收器收到的红外线强度随之变化,进而引起电信号的变化。基于ICL7135模数转换芯片和51单片机进行数据采集,实时显示测量角度。实验结果表明该系统的测量相对误差小于1%。     

灌浆期小麦排水指标的试验研究

采用测坑原位受淹试验的方法研究了灌浆期小麦在涝渍胁迫下产量要素的响应。试验表明小 麦相对产量与涝渍综合水深具有良好的线性关系,小麦产量随着淹水历时的增加而降低。此外,淹水 还直接导致小麦千粒重降低、穗粒数减少、植株易倒伏等变化,而淹水对小麦有效穗数和株高影响不 大。最后,提出了排水控制指标与小麦减产率的关系形式。     

大伙房输水工程取水头部竖井高边坡稳定分析 与加固处理方法

主要介绍了大伙房输水(二期)工程,取水头部竖井开挖过程中,针对实际地质状况,对高边坡 稳定性进行详细分析,采取了灌浆、支护等加固处理措施,边坡稳定监测结果表明,加固效果较好。     

基于KL分解的翼型尾流场湍流相位特征PIV试验研究

翼型尾流场是一个典型的湍流场,通过对其进行PIV测试研究,有望对翼型尾流的湍流发生机理有一个更深入的理解,并且为湍流诱导流噪声的研究提供重要的参量,具有重要的意义.通过对PIV数据进行雷诺平均分析,可以得出时间平均意义下的大尺度涡结构的平均运动规律,但无法得到小尺度湍流结构的周期性演化规律,而对于充分发展的平稳湍流场来说涡的发放通常是具有周期性的.基于KL分解的湍流相位特征分析方法能够提取小尺度湍流运动并揭示其演化的周期性规律.缘于此,此文在CSSRC空泡水简中开展了翼型尾流场PIV测量试验,基于KL分解原理对翼型尾流场进行相位分解并进行了各相位湍流流动特征分析,探索湍流结构的周期性演化规律.     

IK-CPA security implies IE-CCA security in the random oracle model

Key-privacy is a notion of security that is concerned with the key anonymity in public-key encryption.Some popular schemes keep key-privacy,while others do not.Key-privacy has been shown to be orthogonal to data-privacy within one cryptosystem.This paper investigates the relationship between keyprivacy and data-privacy in public-key encryption.We show that the existence of IK-CPA secure cryptosystems implies the existence of IE-CCA secure cryptosystems in the random oracle model.The main contributions include a novel construction of a family of injective one-way trapdoor functions directly based on any IK-CPA secure public-key cryptosystem in the random oracle model.This construction adopts a novel idea in the construction compared to the existing one.The latter was based on unapproximable trapdoor predicates.The novelty of the construction allows to show that the injective trapdoor functions are secure under correlated products with respect to uniform repetitional distribution.That further allows us to conclude,in the random oracle model,that the existence of IK-CPA secure public-key cryptosystems implies the existence of CCA secure cryptosystems by a result of Rosen and Segev.     

蚁群聚类在课程微型化中的应用研究

课程微型化过程往往是教师根据自身对课程的认识,课程的重点、难点及基本概念完整性等将课程划分为若干片段.在整个过程中对学习者的学习需求很少考虑,造成很多课程微型化不能得到学习者的认可.为了更加科学、合理的将课程微型化,必须充分考虑学习者的学习需求,收集网络学习系统用户观看视频教程的学习过程信息,使用改进的LF算法对学习过程信息进行聚类,聚类后的每个类别表示一种学习类型的用户,而每个类的聚类中心正是该类用户对课程微型化的需求.通过蚁群聚类不但能够得到不同类型的用户群,而且还能得到不同类别的课程微型化,针对不同的用户采用不同的微型化课程,既能提高学习者的学习效率还能实现在线学习系统的个性化.     

一种基于邓氏关联度的图像边缘检测新方法

边缘检测主要是对图像的灰度变化进行度量、检测和定位。基于边缘检测的灰色系统理论中的邓氏关联度分析方法对处理非典型规律的图像数据与其它一些方法相比,具有明显的优势。根据邓氏关联度分析方法建立的改进模型,结合仿射变换和最小二乘法直线拟合,一定程度上克服了邓氏关联度分析方法的比例因子影响和位移差,实验证明在检测边缘点的连续性、完整性方面比用邓氏关联度模型检测的边缘有一定的改进。     

一种面向机器人的超市形态建模方法

结合超市经营客观实际,围绕环境、商品、货架形态建模过程遇到的体系结构、关键症结解决对策等展开深入讨论,给出了问题处置策略、指导原则与技术路线。     

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。     

感知模型的学习能力研究

感知行为建模是行为建模的重要组成部分,构建逼真可信的感知模型是行为模型逼真的基础.为更加逼真的模拟人的感知行为,提出了感知模型学习能力的概念,给出了感知模型的框架,对感知模型的感受器和处理器的学习能力进行了研究分析,讨论了实现感知模型学习能力的方法.研究并实现感知模型的学习性,使感知模型具备学习能力,对提高感知模型的逼真性具有重要意义,同时是行为建模学习能力实现,提高行为建模可信性的重要部分.