多圆盘上Hardy空间之间复合算子列的总体紧性

设φ:Dm→D为全纯映射,对ξ=(ξ1,ξ2,…ξm)∈Tm,文章利用切片函φξ:D→D,φξ(z)=φ(zξ)定义的计数函数Nφ(z)=∫TmNξ(z)dσ(ξ)研究复合算子列Cφn:H2(D)→H2(Dm)n的总体紧性。得到了如下定理:设φn:Dm→D为全纯映射列,Cφn:H2(D)→H2(Dm)为一致有界复合算子列,则η∞({n})=0当且仅当lim n→∞∣z∣→-Nφn(z)-log∣z∣=0。     

基于模式匹配的目标点数算法

开发了基于模式匹配的目标点数算法.算法通过对图像中的目标进行模式匹配处理,自动识别目标,实现目标的点数功能.该算法避免了傅立叶变换滤波等计算量较大算法的使用,适用于利用图像处理进行目标实时点数的领域.     

郯庐断裂带同造山期活动的前陆沉积证据

对大别山高压-超高压变质岩剥露地表的时间以及前陆盆地对郯庐断裂带起源的指示等重要问题进行了探讨。前陆盆地上三叠统至下-中侏罗统砂岩的端元组分分析结果指示了前陆盆地的物源区为大别造山带。砂岩成熟度从近断裂带处的1.54左右变化为远离断裂带处的5.4左右,反映了前陆沉积盆地中黄马青群及象山群应是直接来自大别造山带的原地沉积,也说明郯庐断裂带在晚三叠世时可能已经存在于大别山东缘。伊利石的结晶度多数介于0.24°~0.39°(Δ2θ),多型为2M型和1M 2M1型,指示了当时前陆沉积的热演化温度为190~320℃,从而反映了前陆沉积的最大原始埋深约为10 000 m。     

单光子计数系统的研究

通过实验确定单光子计数系统的最佳甄别电压,研究外界各种因素对单光子计数系统信噪比的影响,运用 MATLAB 软件拟合实验数据曲线,由实验曲线得出相关结论.     

一种基于Matlab 的血红细胞计数的工程方法

提出了一种简便的血红细胞计数的工程方法,对血液图像依次进行灰度化、二值化、中值滤波、逻辑运算、形态学处理、细胞边界识别,最后进行了细胞数目统计． 实验结果表明: 这种改进的方法能使血液图像中的红细胞被有效地分割出来,成功地解决了目标粘连现象对后续分析、测量产生的干扰问题,算法基于Matlab平台,语言简便可行.与分水岭算法及基于ImageJ 软件的人工计数的结果比较,该方法的统计结果更准确,误差在5%以内,是一种有效的工程图像处理方法．     

关于网络文献参考引用问题的探讨

针对网络文献的参考引用不规范的现状,分析了其原因,提出了相应的建议。     

倾翻式托盘分拣机在机场行李处理系统中的应用

通过化整为零的方法,依次介绍了分拣系统机械部分的若干重要部分、自控部分的控制原理及完成精密控制所需要的若干电气单元。论证了此系统如何完成高竞速的整理行李分拣流程,同时结合笔者多年维护工作经验,总结得出了此系统的集中常见故障机应对措施。     

可编程定时计数器计数波形的实时观测与研究

应用查询或中断控制技术实时观测8253可编程定时计数器的各种计数波形,实验结果表明,8253计数器的计数频率可数倍于2．5MHZ,并且在计数模式3下的奇分频系数必须大于等于5才有效,本实验为提高8253计数器的使用效能提供了可靠的实验依据。     

海洋钢悬链线立管振动响应与疲劳预测

涡激振动是引发立管疲劳损伤的关键诱因之一。基于Van Der Pol尾流振子方程，研究了不同长度两端铰接的钢悬链线立管在相同来流流量不同剖面剪切来流作用下的涡激振动响应。采用二阶中心差分法对时域和空间域的耦合方程组进行了求解，并采用雨流计数法对立管的疲劳寿命进行了预测。结果表明，立管振动沿轴向传播呈驻波和行波的混合模式，随立管长度的增加，振动响应由驻波主导转变为行波主导。受剪切来流剖面的影响，立管振动响应呈现多频特性，行波自立管的顶部向底部传播，且其传播速率随来流剪切程度及立管长度而变化。随剪切程度的增强，立管从流体中获得的能量减少，能耗增加，振动位移减少。相同来流剖面时，随着水深的增加，立管疲劳损伤增加；而水深相同时，随来流剪切程度的增加，疲劳损伤逐渐增大。     

混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高.