基于OS20嵌入式系统的DPTV设计与实现

DPTV电视是近几年电视行业的发展重点．本系统通过在32bit CPU上运行OS20实时操作系统来实现DPTV电视的解决方案，高效地实现数字域的图像处理及各音、视频通道的管理功能．这是目前决大多数以单片机为内核的DPTV电视所不能完成的，此外该方案也能容易的移植为数字电视．     

一类半导体方程组整体弱解的存在性

考虑一类半导体方程组的混合初边值问题。利用正则化算子和逼近过程，通过一系列先验估计，在迁移率既不为常数，又不满足速度饱和的条件下，证明了其整体弱解的存在性．     

韧性材料的细观力学实验和数值模拟研究

引入能够定量描述内界面的细观统计参量-形状因子,定义了基于内界面形状因子的损伤变量,建立了相应的细观力学模型,探索细观组织演化和材料宏观响应关系的力学问题。通过宏细观相结和的方法,对韧性金属材料的内界面进行实验研究和数值计算。通过对比试验和数值计算结果,认为可以用形状因子能够反映材料细观组织的演化情况,用损伤变量能够表征材料的损伤程度。并得到了内界面演化随应变发展的演化方程。对于发展和应用宏-细观相结合的损伤力学理论,对阐明韧性材料的变形、损伤、破坏机制有重要意义。     

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

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

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

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

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

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

一种Windows网络嗅探器的检测原理与实现

使用微软未公开的Windows系统函数获取系统的所有句柄并进行分析.将进行嗅探的套接字挑出并建立嗅探套接字与进程之间的联系,有效地解决了本机嗅探器的检测与定位,弥补了其它的网络嗅探器检测软件不能方便地对嗅探程序进行确认的缺陷.     

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

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

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

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

江西南部某市排水工程设计

该设计是江西南部某市的排水工程设计,设计主要分排水管网和污水处理两部分.排水管网采用分流制,分污水管网和雨水管网两部分.考虑地势与经济等因素,污水管网采用截流式布置,雨水管网采用正交式布置.污水管网采用两个方案,从技术、经济方面进行比较选择优先方案.污水处理厂的设计以近期的最大污水量(Q=96630 m3/d)为设计标准,污水处理厂的排水水质达到二级排放标准,即SS、BOD5排放浓度分别为30 mg/L、30 mg/L.