数据压缩技术在海洋资料浮标通信系统中的应用

为减少海洋资料浮标通信系统数据传输的时间和费用,本文针对传输数据类型,采用位拼接、LZW和改进的LZW算法结合的方法对数据进行实时无损压缩。该压缩技术平均压缩率在40%以下,降低了浮标通信所需时间。实际应用证明,该技术提高了数据压缩效率,缩减了通信成本,保证了系统的可靠性。     

VB和MATLAB混合编程在井眼轨道设计上的运用

为提高连续油管钻井井眼轨道设计的便捷性,采用基于COM组件的VB和MATLAB混合编程方法,将绘图的代码进行封装,只要即时改变参量数值,就可得出相应的图形,并可比较不同参数下图形的特点。该设计实现了VB编写的多个模块调用一个MATLAB程序的功能,减少了程序编写的工作量,提高了程序开发的效率。     

PAN基炭纤维高效催化石墨化研究

通过在磷酸和钼酸钠水溶液中交替直流电解,实现磷-钼元素催化剂在PAN基炭纤维上的沉积和分散,以促进其石墨化,考察了热处理温度和电解液中钼酸钠浓度对PAN基炭纤维催化石墨化的影响.催化剂的担载状况、纤维的形貌和结构变化等分别通过能量散射谱(EDS)、扫描电子显微镜(SEM)和X射线衍射(XRD)进行分析和表征.结果表明:通过交替直流电解处理,可以有效地破坏炭纤维的组织结构,并同步实现催化剂在炭纤维上的分散和沉积,促进了PAN基炭纤维的催化石墨化.交替直流电解处理过的炭纤维经2 400 ℃热处理后,其石墨化度高达99%,微晶尺寸(L_c)为38 nm.     

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.     

原子系综在二次方相互作用演化下多体纠缠特性

利用平均量子Fisher信息度量了在二次方相互作用下体系的相互纠缠的特性,同时也考虑了加上线性相互作用项后体系多体纠缠演化的特点,结果表明在线性和非线性共同作用下自旋体系的多体纠缠保持的时间更久。考虑了体系在噪声影响下的纠缠产生过程,发现即便是有噪声的情况下,原子体系也还具有很高的纠缠度。这对于量子多体纠缠在量子精密测量和量子通信中的应用都有着极其重要的作用。     

基于相对距离分布聚类的人脸特征点定位算法

针对目前主流算法对所有特征点采用整体回归而忽略人脸局部结构信息的问题,提出了一种新的回归流程结构,通过基于特征点相对距离分布直方图和K均值聚类,结合了人脸结构信息对特征点聚类并分别进行回归,可以更准确地进行人脸特征点定位。另外,通过对回归迭代方法进行优化,可以实现鲁棒的参数更新,大大提高运算速度。在有遮挡标识的人脸数据库(COFW)上进行了深入的实验,结果表明:论文算法对于人脸特征点定位效果显著,相较于鲁棒姿势级联回归(RCPR)等算法训练时间大幅减少,其定位准确度也有了一定提高,而且算法计算效率高,测试速度则达到220fps,能够满足实时处理的要求。