声纳斜入射水深实时监测中最短路径时延估计

以射线声学理论为基础,提出了一种以声纳斜入射方式实现港口航道水深实时监测的新方法。针对该方法中水声信道的多径传播结构,通过求解直达路径声信号和海底反射最短路径声信号的相对时延来估算港口航道的即时水深。将用于阵列信号方位估计的MODEX算法和带惩罚函数的非线性最小二乘算法结合起来,给出了一种解决单频水声信号高分辨率多径时延估计的混合算法,其中MODEX算法用于计算多径信号时延和幅度估计的初始值,然后将此初始值赋予带惩罚函数的频域非线性最小二乘算法确定时延和幅度估计的真实值。海上实测数据分析显示该混合算法具有很强的处理重叠多径信号以及抗噪声干扰的能力,时延估计精度达到μs量级。海上实验结果进一步说明声纳斜入射水深监测方法的可行性,该方法简单实用、实时性好,尤其对狭窄航道水深的实时监测具有广泛的应用前景。

一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从Linux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.

基于CMX624芯片的超低功耗MODEM的设计

CMX624是CML公司新推出的可支持V23或Bell202标准的MODEM芯片。文章介绍了CMX624芯片的特性和功能,给出了基于该芯片的公用电话网 (PSTN)通信产品系统中超低功耗、低速MODEM的设计方法。同时给出了该设计的硬件电路的软件和程序框图。

人体蠕形螨病的病原学研究

目的:探讨引起人体蠕形螨病的螨种、感染度及其与疾病发生的相互关系。方法;对963例酒渣鼻、睑缘炎、外耳道瘙痒症患者用透明胶纸法作病原分离,直接镜检鉴定虫种。结果:963例人体蠕形螨病患者中检出的病原体为毛囊蠕形螨和皮脂蠕形螨,其感染率分别为45.28％（436/963）、34.48％（332/963）,二者混合感染的占20.25％（195/963）。浅型酒渣鼻和深型酒渣鼻患者中,毛囊蠕形螨感染率为65.18％（219/336）35.54％（59/166）,皮脂蠕形螨感染率为（62/179）、34.04％（96/282）,皮脂蠕形螨感染率为46.37％（83/179）、39.72％（112/282）。轻度、中度、重度、极重度感染患者的感染率分别为19.11％（184/963）、59.81％（576/963）、18.69％（180/963）、2.39％（23/963）。结论:浅型酒渣鼻、蠕形螨性睑缘炎、蠕形螨性外耳道瘙痒症主要以毛囊蠕形螨感染为主,深型酒渣鼻以皮脂蠕形螨感染为主,其感染程度以中、重度感染多见。

乌达矿区煤的洁净利用地质技术与动态评价——地质-采矿-选矿的有机融合、动态协调技术在矿区的实际应用

通过对乌达矿区主采煤层中主要矿物黄铁矿、粘土矿物和有机硫的赋存状态分析 ,认为在现有的技术和经济条件下 ,对单个煤层的降硫脱灰是不切实际的 ,只有综合考虑矿区所有的主采煤层 ,合理布置采区 ,针对不同的煤层 ,选择合适的配比进行煤的洗选 ,实现地质 -采矿 -选矿的有机融合。