活动边界抛物型方程迎风差分格式

对在一给定的依赖于时间的区域上的三维线性抛物型方程,给出显式和隐式迎风差分格式及修正的迎风格式,证明了差分格式在最大模意义下的稳定性和收敛性。     

解色散方程的二层隐式差分格式

解色散方程的二层隐式差分格式李小平（数学系）不少科技问题涉及波的输运,色散是输运过程中重要的物理现象．文［１］指出,在构造其差分格式时,在一定程度上可将描述孤波的ｋｄｖ方程ｕｔ＋ｕｕｘ＋ｕｘｘｘ＝０看成是拟线性双曲型方程ｕｔ＋ｂｕｕｘ＝０与色散方程ｕ...     

关于Scott拓扑的core紧性

ＤＣＰＯ Ｌ被称作Σ－ｃｏｒｅ紧的,如果当Ｌ赋以Ｓｃｏｔｔ拓扑后是一个ｃｏｒｅ紧空间,长期以来,从序结构的角度刻划那些Σ－ｃｏｒｅ紧的ＤＣＰＯ一直是悬而未解的问题。在一定的限制条件下讨论上述问题,并得到了一些结果。     

关于序列式回缩性的标记

设α（Ｅ,Ｅ）为介于弱拓扑σ（Ｅ,Ｅ）和Ｍａｃｋｅｙ拓扑τ（Ｅ,Ｅ）之间的Ｈｅｌｌｉｎｇｅｒ－Ｔｏｅｐｌｉｔｚ拓扑,称诱导极限（Ｅ,ｔ）＝ｉｎｄ（Ｅｎ,ｔｎ）的α－序列式回缩的,若（Ｅ,α（Ｅ,Ｅ）中每个收敛于０的序列必含于某Ｅｎ且为（Ｅ,α（Ｅｎ,Ｅｎ）中收敛于０的序列,我们证明了：α－序列式回缩性蕴涵正则性,特别地,我们证明了下述结论：若诱导极限（Ｅ,ｔ）＝ｉｎｄ（Ｅｎ,Ｔｎ）中每个收敛于０的     

抛物型方程的一个新的高精度显格式

本文给出了解抛物型方程的一个新的显式差分格式,截断误差达０（Δｔ３＋Δｘ４）,是同类的显格式中精度最高的．     

小麦流态化干燥实验关联式及在热泵流化床谷物干燥中的应用

基于流化床干燥理论,采用热风循环充分的电热烘箱作为干燥器,对小麦进行了一系列的薄层干燥实验研究,模拟小麦流态化干燥过程,总结出适用于流化床小麦干燥时间预测的经验回归公式.开发了热泵流化床谷物干燥实验系统,并将小麦干燥的经验回归公式应用于此实验台的干燥实验过程.结果表明,小麦干燥经验回归式可用于预测小麦在流态化条件下的干燥时间,所开发的热泵流化床谷物干燥装置经济性合理,有市场应用前景.     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

期权在公司激励中的应用

通过将相关企业的信息引入对本企业经理人的期权激励和约,建立了合理的期权激励 模型．并利用委托代理模型给出了此模型合理性的论证．     

前向多翼离心风机叶片尾迹和蜗壳二次流动的试验研究

对前向多翼式离心风机建立了性能及流场测试台位 性能试验及流场测试表明,性能试验重复性良好,曲线符合理论性能曲线.用粒子图像速度场仪技术对叶片尾迹区及蜗壳出口横截面上的二次流做了详细的变工况测量与分析.结果表明:叶片尾迹区脉动强度达20%～70%;在设计工况附近叶片尾迹影响区域小,在非设计工况下叶片尾迹影响区域大,尾迹区域占到蜗壳径向宽度的15%～25%,约是叶片弦高的2～3倍;在蜗壳横截面上明显存在二次流旋涡;沿着蜗壳旋出方向二次流对称分布,但是到达出口时,小流量下两侧旋涡结合成一个旋涡,大流量下两侧旋涡一直保持到蜗壳出口.     

Cache中TLB的设计及优化

当今微处理器的设计中，为了加快虚拟地址向物理地址转换的速度，通常使用地址转换后备缓冲器TLB(translation lookaside buffer)来加快地址转化的速度．本论基于逆向设计，提出了一种可行的TLB结构，可完成地址转换的功能，并从硬件上支持了不同大小的页表格式．此外，通过引入DVS技术将TLB存储单元中的漏电功耗减少90％以上．