混沌密码系统弱密钥随机性分析

弱密钥问题是混沌密码系统设计中的关键问题,已有研究主要从混沌序列退化角度进行分析.然而,本文指出保证混沌序列不退化的密钥参数仍可能构成混沌密码的弱密钥.本文提出以混沌密码序列随机性作为评价标准,应用严格的统计检验方法对混沌密码的弱密钥进行检测.进一步,对一类混沌密码系统进行了弱密钥研究,检测出了该系统大量未被发现的弱密钥.这确证了所提出方法的有效性.另一方面,虽然已有较多研究采用统计检验对混沌比特序列进行测试,但将统计检验用于分析混沌密码弱密钥或弱序列的研究还很少见.本文给出的统计检验弱序列分析,对当前混沌密码统计检验研究是一个很好的补充.     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

电容式水分仪的研制

介绍了基于单片式电容传感器的电容式水分仪,可实现对被测对象的无损检测。主要用于地暖供热管道渗漏和建筑物渗漏的检测。描述了水分测量系统的测量原理、硬件结构,以及软件设计结构。实践表明,该水分仪具有较高的准确性和应用推广价值。     

一种分布式多通道微弱电流采集系统的设计

针对多种应用环境下微弱电流信号采集的特殊性,介绍了一种分布式多通道微弱电流采集系统,基于"以数据为中心"的分布式结构,将系统逻辑分层为电流采集节点、数据存储与处理节点及人机界面等功能模块.其中,电流采集节点采用单片智能结构,易于实现信号的本地数字化及传输;数据存储与处理节点负责各采集节点数据流的收集、处理及封装.针对多...     

旋转环境下弱小信号无线遥测系统研制

为了提高直升机风洞试验中桨叶载荷、变距拉杆载荷等旋转弱小信号的测量精度,研制了一套40通道的无线遥测系统.该系统成功解决了高精度测量技术,高精度同步触发技术、高速无线数据通信、大容量数据压缩等关键技术难题,构建了高精度、模块化、小型化、实时无线传输的遥测系统.通过性能测试及试验运行,证明该系统能够提高旋转信号的测量精度及传输的实时性,满足直升机风洞试验等旋转环境下弱小信号的测量.     

遥感图像中尺度海洋锋及涡旋提取方法研究进展

目的 中尺度海洋锋及涡旋均是重要的中尺度海洋环境特征。中尺度海洋锋及涡旋的提取及其时空分布、变化的研究对海洋生态系统的研究、渔业资源评估、渔情预报及军事等都有重要意义。遥感技术能在同一时间获取大面积海洋要素观测数据,遥感数据具有优良的连续性、同步性,因此遥感数据被广泛应用于中尺度海洋锋及涡旋提取的研究中。方法 对基于遥感数据进行中尺度海洋锋提取的梯度法、Canny算法、小波分析法和基于引力模型的方法,以及涡旋的提取的Okubo-Weiss法（OW法）、Winding-Angle法（WA法）、基于海面高度的无阈值等值线法和Hybird Detection（HD法）进行总结和分析,并提出对中尺度海洋锋面及涡旋提取方法的见解及新思路。结果 利用2014年2月南海北部海表温度（SST）数据,分别采用梯度法中的Gradient法、Sobel算法以及Canny算法对南海北部温度锋进行提取并得到该区域温度锋分布图。结果 明在多种锋面提取方法中,Canny算法具有较高的效率且其提取结果的连续性和精度更好。中尺度涡的提取方法中,WA法的提取结果具有更好的准确性。早期的中尺度涡提取方法忽略了多中心结构涡旋存在的情况,而后来的HD法能较好地识别多中心结构涡旋。结论 阈值选取是中尺度海洋锋及涡旋提取的难点和提取结果好坏的关键。然而海洋要素图像弱边缘的特点使得传统边缘检测方法不一定适用于中尺度锋提取。文章通过对不同锋面及涡旋提取方法的总结与分析,为海洋锋面及涡旋提取的研究提供了参考依据。     

磁阻型弱磁传感器特性自动测试系统

随着磁阻型弱磁传感器的深入研究和广泛应用,方便、快速的测量传感器低频噪声、灵敏度、非线性等特性已成为研究其低频弱磁场测量能力的基础。设计开发了一套弱磁传感器特性自动测试系统,其自身的噪声平方根谱密度小于槡5 nV/Hz(在10kHz)。它包括亥姆霍兹线圈、惠斯登电桥和低噪声放大器、磁屏蔽桶、高精度数据采集卡和PC等硬件模块,采用互相关功率谱分析方法得到传感器低频噪声,通过传感器输入输出特性曲线得到其灵敏度和非线性等参数。利用该系统对商业化巨磁阻传感器AA002进行了测试,得到其在6 V供电时噪声平方根普密度约为槡10 nV/Hz(在10 kHz),线性范围内的灵敏度为3.35 mV/(G.V-1)。结果表明该系统为研究和分析磁阻型弱磁传感器的特性提供了一种有效的检测手段。     

基于动态采样的锁相放大微弱信号检测

摘要：基于相关检测原理设计了一种数字锁相放大器,重点研究了采样频率与相关运算结果的关系。发现参考信号为方波而采样频率与信号频率成一定关系时,系统相关运算存在固有误差。为减少该误差,首次将动态采样法引入数字锁相放大器设计中,运算发现动态采样的采样频率数越多,奇点产生的误差越少。基于LabVIEW软件对所设计的检测系统进行了仿真测试,测试结果表明该数字锁定放大器在信号幅度为5V、噪声标准差小于等于50时（SNR=-34.04dB）,能有效地检测出频率为500KHz以下的信号,系统检测结果与理论计算值的相对误差基本不超过2%。     

基于数据库管理和存储的超文档模型

Ａｌｂｅｒｔｏ和Ｇｅｏｒｇｅ使用关系型数据库管理超文档中的链接,对查询语言ＳＱＬ进行扩展,提出查询语言ＷｅｂＳＱＬ。ＳｅｒｇｅＡｂｉｔｅｂｏｕｌ使用面向对象数据库表示超文档,对查询语言ＯＱＬ进行扩展,提出ＯＱＬ－ｄｏｃ。前者没有提出如何用数据模型表示超文档,后者则没考虑超文档中的链接,为此本文提出进一步解决方法,并以例子说明这些方法的使用。     

Monoid-labeled transition systems

Given a -complete (semi)lattice , we consider -labeled transition systems as coalgebras of a functor ⁽⁻⁾, associating with a set X the set ^X of all -fuzzy subsets. We describe simulations and bisimulations of -coalgebras to show that L⁽⁻⁾ weakly preserves nonempty kernel pairs iff it weakly preserves nonempty pullbacks iff L is join infinitely distributive (JID).Exchanging for a commutative monoid , we consider the functor ⁽⁻⁾_ω which associates with a set X all finite multisets containing elements of X with multiplicities m M. The corresponding functor weakly preserves nonempty pullbacks along injectives iff 0 is the only invertible element of , and it preserves nonempty kernel pairs iff is refinable, in the sense that two sum representations of the same value, r₁ + … + r_m = c₁ + … + c_n, have a common refinement matrix (m_{(i, j)}) whose k-th row sums to r_k and whose l-th column sums to c_l for any 1≤ k ≤ m and 1 ≤ l ≤ n.