基于PVM的GAMMA程序执行环境研究

由Ｂａｎａｔｒｅ和Ｍｅｔａｙｅｒ提出的并行计算模型ＧＡＭＭＡ,通过使用多重集转化技术,允许在料高层次开发求解问题的逻辑并行性,目前已被广泛作并行程序构造工具。本文探讨如何基于网络并行计算环境－ＰＶＭ有效地实现ＧＡＭＭＡ模型。实验结果表明ＧＡＭＭＡ作为高层、隐式并行模型适合开发大规模并行程序。     

永磁式力矩器的优化设计

采用复形法对船用挠性陀螺仪的永磁式力矩器进行了优化设计,使该力矩器的输出力矩比未优化值增加了61%。     

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

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

Binet─Cauchy公式的推广

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

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

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

应用区间套法求解填充丝加热状态方程

热丝填充埋弧焊是在传统埋弧焊基础上发展起来的一种优质,高效,节能的焊接新工艺,在该工艺中,填充丝的加热状态十分重要,本文介绍了应用区间套法求解填充丝加热状态方程的思路,并给出计算结果和应用实例。     

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

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

关于Scott拓扑的core紧性

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

关于序列式回缩性的标记

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

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

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