面向VHDL语言的专用智能编辑器

目的设计面积超高速集成电路硬件描述语言的专用智能编辑器。方法使用散列表记忆各类标识符方法,动态地分析当前输入状态,完成ＶＥｄｉｔｏｒ的功能设置。结果该编辑器汇聚了目前流行的各类通用程序编辑器的优点,同时具有其独特的功能－标识符自动记忆,语句联想式输入及简单词法,语法错误的报错功能,结论实现了一个功能齐全的编辑器。     

Binet─Cauchy公式的推广

用推广的行列式概念行（列）式推广了Binet—Cauchy公式,同时获得了求两矩阵积的行（列）式的公式。     

蜗杆式振动珩齿珩磨啮合纹路研究

研究和分析了蜗杆式振动珩齿时,被珩齿轮齿面上的珩磨啮合轨迹,以及在不同珩磨运动参数下,齿面上珩磨啮合纹路的形式。     

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

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

GMS—5红外资料反演大气可降水量

建立了用ＧＭＳ－５红外亮资料反演大气可降水量的分裂窗统计法。     

关于Scott拓扑的core紧性

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

关于序列式回缩性的标记

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

NUMERICAL ANALYSIS OF HYDRODYNAMICS IN AIRLIFT LOOP REACTOR (IALR) ECOSYSTEM(I)——THE FIELDS OF FLOW,PRESSURE AND SHEAR STRESSES

气升内环流反应器是在生物工程中有较广泛应用、在环境工程中有重要应用前景的反应器．采用时间分裂法和有限元法对ＩＡＬＲ生态系统下降段的流体动力学Ｎ＿Ｓ方程进行求解,获得了发酵液为牛顿液体时,锥角θ＝｛７０°,７５°｝和Ｒｅ＝｛１００,２００｝情形下的二维速度场、压力场和剪切应力场．结果表明锥结构对ＩＡＬＲ的性能有重要影响．     

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

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

跳帧转换编码中的运动矢量修正

在跳帧转换编码中,利用前向向量法进行运动矢量合成可以得到较好的图像信噪比。本文提出了用HAVS快速搜索算法对合成的运动矢量进行修正的方法,同时给出了一个最佳搜索窗口。实验结果表明,在±2像素内,用HAVS算法对合成的运动矢量修正,既能明显提高图像的信噪比,同时又能最大限度的降低计算量。