CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

高温超导层状势研究

本文对文献中提出的层状势作了较为深入的研究,作出了相互作用强度U与ω间关系的曲线,U与电子密度N_c~0间关系的曲线和U与铜氧层数l间的关系曲线。进而对层状势的微观机制——Cu-O层的有效哈密顿量进行了研究,得到了铜氧层的有效哈密顿量,讨论了空穴(附属费密子) 凝聚成库柏对的条件。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

基于agent 的分布式集成环境

本文提出了一种基于多ａｇｅｎｔ的分布式集成环境ＤＩＥＭＡ的通用框架,描述了ＤＩＥＭＡ的工作原理;提出了服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现。     

带混合边界条件的m——分支半线性反应扩散系统

采用非线性分析的方法与技巧,研究了一类带混合边界条件的m(m≥2)一分支半线性反应扩散系统解的整体存在性.首次给出一种控制条件,使其“IntermediateSums”控制指数可达到 ∞.     

一种新的变结构控制方案及其在船舶操纵中的应用

船舶的操纵与控制问题可以归结为一个四阶线性系统在环境干扰、参数摄动与建模误差同时存在时的状态空间控制问题。传统的变结构控制应用于船舶操纵系统易导致频繁来回操舵。本文研究一种连续的变结构控制方案,进一步讨论了其稳定性及优点,并将其引入限制水域的船舶操纵中。仿真表明,它可以完全抑制频繁来回操舵或抖振,并可得到较理想的控制效果。     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。