一种基于语音识别SoC调试的JTAG接口设计

在JTAG(jointtestactiongroup)工业标准的基础上,采用了一种基于语音识别SoC(SystemonChip)调试的JTAG接口设计.该设计以求用最少的硬件开销,最简单灵活的方式,支持寄存器查看和设置、IP核程序流跟踪、代码覆盖率检查、代码分析、IP核扫描测试等功能.该设计已经应用于以OpenRISC为核心的语音识别SoC设计平台上.     

Banach空间中积分微分方程周期边值问题

给出了Banach空间中非线性一阶积分微分方程周期边值问题在一序区间上的最大解与最小解的存在性。     

从应力边界条件推求应力函数

对于矩形截面梁,提出了一种根据主要应力边界条件确定应力函数的方法,该方法克服了设定应力函数的盲目性,并通过例题说明了该方法的正确性及应用方法,对于弹性力学教学具有参考价值.     

神经网络方法确定玛北油田岩性油藏含油边界

用常规方法确定岩性油藏含油边界需要一定的井孔资料，导致勘探成本较高，为此引入神经网络方法。先对地震资料进行解释，提取地震特性参数，与已知井的试油结果一起组成神经网络的学习样本集，经训练并绘制测线剖面或平面图，最终确定出含油边界。应用该方法对准噶尔盆地玛北油田二叠系乌尔禾组和三叠系百口泉组油藏进行了含油边界的确定，结果表明，用该方法可以直观地在剖面图上确定油藏的含油边界，这样确定的含油边界能够满足储量计算的要求，且该方法较传统方法有很大的优越性。     

含一阶导数的奇异二阶两点边值问题的可解性

应用Leray—Schauder不动点定理考察了含一阶导数的奇异二阶两点边值问题的可解性。结论的主要条件都是局部的，即只要非线性项的主部在其定义域的某个有界子集上的“高度”是适当的，该问题必然存在解或者正解。     

煤矿井下开掘工作面双风机双电源自动切换的实现

为了进一步保证矿井安全生产，减少井下掘进工作面无计划停风，采用双风机双电源自动切换对掘进工作面供风。介绍了双风机双电源及自动切换通风系统的组成和功能，阐述了自动切换装置的设计思路和工作原理以及日常运行和维护的要点。     

晋城矿区综采放顶煤工作面顶煤冒放性分析

根据晋城煤业集团综采放顶煤开采实际情况,从影响顶煤冒放性的煤体裂隙、开采工艺和支架与围岩关系3个方面进行分析,对综放工作面的布置、采放比、放煤步距、支架架型与工作阻力提出了建议.     

具有长条型内边界外问题的耦合法

本文以具有长条型内边界的二维调和外问题为例，研究一种带有椭圆人工边界的自然边界元与有限元耦合法，给出耦合变分问题的适定性及近似解的误差估计．理论分析及数值结果表明，用该方法求解带长条型内边界的外问题是十分有效的．     

关于一类有界弦振动方程能量变化及解的性态

研究了一类关于受摩擦力作用且具有固定端点的有界弦振动的波动方程，证明了在满足一定条件时其能量的衰减性，并由此推导出在外力作用下方程解的性态．     

板几何中一类具周期边界条件迁移算子的谱分析

分析了板几何中一类与时间有关的具周期边界条件的线性迁移方程一些谱的性质，证明了：这类迁移算子的谱在区域中仅由有限个具有限代数重数的离散本征值组成，并证明了该迁移算子的占优本征值的存在性等结果。