空间相关计程仪测速分析

声相关计程仪是一种新型的测速声纳,其作用距离大,测量精度高,是理想的测速仪器;但是,空间相关计程仪并不是对任何时延都能测量出船只的航速。本文从理论上分析了造成这种现象的原因,找出了可以选取的时延的大致范围,并用计算机软件进行了仿真,最后通过实验得到了证明。     

模型集省略初探

本文对一阶理论的势范畴性作了一点推广和补充说明，讨论了模型集被省略的几种情形．     

Unlocking solid-state conversion batteries reinforced by hierarchical microsphere stacked polymer electrolyte

Pursuing all-solid-state lithium metal batteries with dual upgrading of safety and energy density is of great significance.However,searching compatible solid el...     

In situ observation of cracking and self-healing of solid electrolyte interphases during lithium deposition

The growth of lithium(Li)whiskers is detrimental to Li batteries.However,it remains a challenge to directly track Li whisker growth.Here we report in situ obser...     

卷接机组集中工艺风力系统的改造与应用

对集中工艺风力系统将风力合理分配到每台卷接机组,并根据其自身状态实现风力自动平衡进行了研究.采用PLC和PROFIBUS-DP现场总线控制技术,构建工艺风力自动平衡控制系统,确保卷接机组所需工艺风力连续、有效、稳定的供给.以贵州省某卷烟厂卷包A车间4组卷接机组构建的集中工艺风力与除尘系统平衡控制技术的应用为例,探讨了其集中工艺风力平衡经济型控制系统的构成和应用效果.通过与其它平衡控制模式的比较,得出风力平衡经济型控制系统具有一定的实用性和推广价值.     

水压力传感器系统在河床冲刷深度 实时监控中的应用研究

阐述了桩基础范围内的河床冲刷实时监测的必要性;介绍了水压力传感器监测系统的应用、技术难 点和解决方案。通过潮位监测点的设置,有效解决了水位波动的修正问题,采用依托于基桩的单点定位埋设法 实现了传感器可靠定位和传感器信号的可靠传输,苏通大桥的工程实践表明,该方法具有实时性、连续性、长 期性和精度高的特点。根据实测结果分析了桩基础范围内河床局部冲刷的机理。     

蒙古族、汉族大学生皮褶发育研究

为比较蒙古族和汉族大学生皮褶发育状况,对282名蒙古族和255名汉族大学生的肱三头肌皮褶、肩胛下皮褶、髂前上棘皮褶和腓肠肌皮褶厚度进行了测量,计算了两处皮褶和、肩胛下/肱三头肌皮褶,并对各指标进行了民族间比较.结果发现,汉族男生的肱三头肌皮褶厚度、肩胛下皮褶与两处皮褶和显著高于蒙古族男生,女生之间各项指标无显著差异,提示汉族男生的体脂发育优于蒙古族,而汉族与蒙古族女生的体脂发育状况整体上比较接近.     

都江堰灌区金马河河流健康空间形态分析

以都江堰灌区金马河为研究对象,从河流健康的基础层次──河流形态景观特征的角度出发,应用遥感技术采集河流空间信息,依据生态需水理论和景观生态学方法对金马河河流空间形态特征进行分析,得到金马河河流健康情况下基本空间形态特征参数:水域面积占河道面积的比例不低于40%,平均斑块面积(MPS)大于1.97 hm2且斑块数量(NP)大于1948个,最大斑块指数(LPI)在20%～45%之间,修正的Simpson多样性指数(MSIDI)大于0.6,修正后的Simpson均匀度(MSIEI)高于0.55.同时,通过研究证明遥感技术在河流健康空间形态特征分析中具有很好的应用前景.     

互联网环境中数字作品版权保护公证技术研究

鉴于仅依靠数字水印并不足以证明互联网环境中水印化数字作品的所有权．因此,考虑借鉴公钥基础设施(PKI)的机制,为数字作品提供加盖时间戳,嵌入数字签名,随机产生认证令牌等服务,并对用户分发密钥,颁发数字证书．一旦产生版权纠纷,则在一个值得信任的第三方权威机构来认证数字作品与用户的关系以及提供进一步的服务,作为数字作品版权公证的法律凭证．     

Optimization in the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems

In this paper,we employ genetic algorithms to solve the migration problem (MP).We propose a new encoding scheme to represent trees,which is composed of two parts;the pre-ordered traversal sequence of tree vertices and the children number sequence of corresponding tree vertices.The proposed encoding scheme has the advantages of simplicity for encoding and decoding,ease for GA operations,and better equilibrium between exploration and exploitation.It is also adaptive in that,with few restrictions on the length of code,it can be freely lengthened or shortened according to the characteristics of the problem space.Furthermore,the encoding scheme is highly applicable to the degreeconstrained minimum spanning tree problem because it also contains the degree information of each node.The simulation results demonstrate the higher performance of our algorithm,with fast convergence to the optima or sub-optima on various problem sizes.Comparing with the binary string encoding of vertices,when the problem size is large,our algorithm runs remarkably faster with comparable search capability.