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

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

一类由函数迭代所确定数列的研究

关于数列的研究历来为人们所关注,尤其是非线性递归数列通项的求解问题更是讨论的热点．由于递归数列与函数迭代有着密切关系,因此本文试图用函数迭代思想解决一类数列通项的求解问题．     

永磁式力矩器的优化设计

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

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

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

Binet─Cauchy公式的推广

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

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

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

求解摄动问题的一种新方法

本文提出了求解摄动问题的一种新方法－变分迭代算法,这种方法不按小参数展开,而是先给出一个近似解,然扣用拉氏乘子法校正其近似解,而拉氏乘子可用分变分理论最佳识别。     

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

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

多载荷结构极限分析的无搜索迭代算法

详细研究了结构极限分析的现有方法,在考虑多组独立变化载荷联合作用的情况下,结合传统的极限分析理论,提出了加载路径射线辐射求解法,并基于这种射线辐射状的加载路径,推导了多组载荷联合作用下结构塑性极限上限分析的数学规划格式,并编制了相应的有限元程序。文中的数值算例表明本文所提出的这种射线辐射状的加载路径是合理且有效的,同时采用无搜索数学规划方法能够很好的避免弹塑性分段逐步增量的复杂计算,克服规划中目标函数非线性所导致的困难。     

一致平滑可分的Banach空间中K-正定算子方程的逼近解(英文)

设Ｅ是可分的一致平滑Ｂａｎａｃｈ空间,Ａ：Ｄ（Ａ）Ｅ→Ｅ是一个Ｋ－正定算子。构造了一个迭代序列强收敛于算子方程Ａｘ＝ｆ（ｆ∈Ｅ）的唯一解。所做工作推广了Ｃｈｉｄｕｍｅ与Ｏｓｉｌｉｋｅ,Ｃｈｉｄｕｍｅ与Ａｎｅｋｅ等人的结果。