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

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

Binet─Cauchy公式的推广

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

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

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

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

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

关于Scott拓扑的core紧性

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

关于序列式回缩性的标记

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

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

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

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

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

等价式在簇合物中的应用

介绍了分子或复杂离子的等价式概念，等价式与分子或复杂离子具有相同的价电子数．等价式与分子或复杂离子的结构及它们中的每个原子的成键情况是紧密联系的，同时等价式仅与价电子有关，而与内层电子无关．在等价式中，各种键型之间存在着明确的数学关系式，这个数学关系式完全适用于任何类型的化合物，并且无任何错误之处，同时也扩大了半拓扑图式理论的应用范围．簇合物中存在的键型种类多，成键情况比较复杂．列出了主族原子簇合物和过渡金属簇合物中各种键型之间所符合的数学关系式，这样等价式概念在簇合物中得到了应用，处理结果令人满意。     

数据服务中间件中数据表示的实现技术分析

针对数据服务中间件进行数据表示时普遍采用的视图和主从式数据集等技术,分析了影响它们执行效率的因素,并采用动态生成SQL命令和限定基础数据集大小的处理方式大大降低了数据提取和重组的时间开销,有效地提升了数据服务中间件的执行效率,实现了对客户应用数据请求的快速响应.