一种用广义特征矩阵计算若当基的方法

给出一种用广义特征矩阵计算若当基的方法.该方法在获得亏损矩阵的特征值及其代数重数的基础上,求出广义特征矩阵,利用系列广义特征矩阵构成分块矩阵,并使每一分块矩阵正好是特征向量或广义特征向量,再施以初等变换求出若当基.     

Integrating Automatic Patch Snatching System by the Concept of Generalized Mechanisms

An automatic patch snatching system is described which has three machine cells including dividing equipment, tackling equipment and patch removing equipment. The electromechanical integration design of in-piece tackling system based on the concept of generalized mechanisms is introduced. The design of the dividing equipment, the design of micro.feeding machine equipped with micro-level pressure sensor, and the realizing of computer path for patch snatching are investigated.     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

机构拓扑回路的自动生成

为了研究平面机构的计算机自动生成算法,采用了图论的理论与方法,根据平面机构的结构特点,提出了四点机构拓扑回路的分类问题,以及如何在每类回路上增加通路,进而成功地搜索出全部的机构拓扑回路。该文还提出了扩展点点邻接矩阵与扩展点边关联矩阵的概念,并利用这两个矩阵的扩展列与扩展行存储搜索过程中的信息,为进一步搜索提供了方向,从而提高了机构拓扑回路生成的效率。最后通过实例分析证明了这种计算机自动生成算法是快捷而可靠的。     

关于广义Lucas数列函数的均值计算

主要讨论Lucas数列{Ln}均值计算问题,利用初等数论知识,采用归纳、猜测和递推的方法,定义了一个与Lucre数列的负项有关的计数函数n（n）,得出了计数函数n（n）的广义均值让算公式,对于Lucas数列的性质研究有一定的推动作用。     

一种广义分子计算模型在集合覆盖中的应用

在分子计算原理和传统计算机模型基础上,提出了一种新的基于图灵机的广义分子计算模型,又称广义图灵模型,该模型的具体实现不依赖于特定生物技术. 模型继承分子计算大存储高并行的特点,通过时空复杂度转换,在求解NP完全问题上具有通用性. 模型由一台基本图灵机、一个只写带和一条工作带及读写网络这3部分组成,其中只写带和工作带之间存在一种特殊拓扑映射. 通过数据规模为4的集合覆盖问题,证明该算法能在多项式时间内求解集合覆盖问题,验证了算法和模型的有效性.     

广义磁流体力学方程组的部分正则性

研究带分数次扩散项(-△)α和(-△)β的广义磁流体力学方程组(GMHD)的正则性.这一方程包含了Navier-Stokes方程与通常的磁流体力学方程组(MHD).本文采用能量积分方法,研究GMHD方程的解用速度向量的分量来判定正则性,并且结果并不依赖于磁场函数.本文主要讨论α=β的情形.设u=(u1,u2,u3),(ū)=(u1,u2,0),0<α=β<3/2初始速度与初始磁场满足u0,b0 ∈ H1(R3).在上述条件下,本文指出,如果▽(ū)∈Lp(0,T;Lq(R3))且2α/p+3/q≤2α,或者▽(ū)∈L2α/2α-r(0,T;(X)(R3)),0≤r≤α,那么方程的解在[0,T]上依然是光滑的.     

自动旋转盘中不完全齿轮机构的设计

作者根据在设计高级餐桌自动旋转转盘中所采用的不完全齿轮机构，介绍了其工作原理和特点，对其进行运动分析，并提出了计算其运动和停歇时间的方法，探讨了设计中的几个具体问题．     

某些压缩型映像的不动点定理及计算

本文研究了在完备ε—可链接的距离空间中的两个不动点定理并关于这些不动点的计算采用了 一种比Ｐｉｃａｒｄ程序更便于计算，更灵活的方法．     

基于任务量划分的紧嵌套循环自动并行化方法

采用计算任务量大小的方法,解决了在紧嵌套循环自动并行化过程中存在循环并行化的并行粒度确定问题以及循环自动并行化中数据划分的数据访问局部性问题,在多核系统中实现了紧嵌套循环自动并行化时的数据访问局部性方案和并行化方法,从而构造了一个基于任务量划分的循环自动并行化模型,降低了程序自动并行化中小任务量并行带来的开销.     

三维分片光滑Filippov-型方程Hopf分支周期解的数值计算

给出了三维分片光滑Filippov-型方程广义Hopf分支周期解的数值计算方法,通过在每个光滑区域内构造Poincaré映射,再计算复合的Poincaré映射的不动点得到了相应的广义Hopf分支周期解,并给出了数值算例.结果表明,算法是有效的.     

焊接结构装配顺序的自动生成

本文采用问题归约方法的思想，认为图论割集算法和ＡＮＤ／ＯＲ图ＡＯ搜索算法是装配顺序生成理想的通用算法。但是，制约其实用化的关键问题是产品建模、约束类型的确定和各类型约束的求解。这方面与具体应用领域有关，必须具有开放式结构。同时，任何约束都不能仅仅认为是绝对约束和绝对不约束这两种情况，而应对约束附加约束程度系数。本文就此提出了构造焊接结构扩展关系图（ＥＲＧ）的建模方法和影响焊接结构生产工艺过程设计的七种约束类型及其约束程度系数求解方法。     

矩阵广义逆偏序的新定义

从矩阵的偏序定义出发,提出了在集合意义下新的矩阵广义逆偏序的定义.$\boldsymbol{A}\leqslant^{\{1\}}\boldsymbol{B}\Leftrightarrow\boldsymbol{A}\boldsymbol{A}\{1\}=\boldsymbol{B}\boldsymbol{A}\{1\},\boldsymbol{A}\{1\}\boldsymbol{A}=\boldsymbol{A}\{1\}\boldsymbol{B}$以及$\boldsymbol{A}\leqslant^{\{1,2\}}\boldsymbol{B}\Leftrightarrow\boldsymbol{A}\boldsymbol{A}\{1,2\}=\boldsymbol{B}\boldsymbol{A}\{1,2\},\boldsymbol{A}\{1,2\}\boldsymbol{A}=\boldsymbol{A}\{1,2\}\boldsymbol{B} $.并分别讨论了四种情况下, 矩阵$\boldsymbol{A},\boldsymbol{B}$的形式.最后得到了相应的广义逆偏序的充要条件.     

宽凸缘筒形件拉深工艺自动计算系统的开发

基于三维设计软件Pro/E开发了宽凸缘筒形件的拉深工艺自动计算系统,研究了实现制件参数输入的关键技术以及自动查表和拉深工艺自动计算的实现方法.通过实例对系统进行了验证,该系统在保证计算质量的前提下极大地提高了计算效率.     

快速生成三维非结构网格的一种方法

提出了快速生成三维非结构网格的一种方法。在（ｘ１,ｘ２,ｘ３）构成的三维曲线坐标系中,该方法只需在任意选定的一个拟Ｓ１面（即由ｘ１,ｘ２所张成的曲面）上生成非结构网格,而其它拟Ｓ１面上的网格是通过空间映射来完成的。所生成网格的总特点是在拟Ｓ１面上为非结构三角形网格,而沿ｘ３方向上具有结构网格的特征,因此,所生成的网格属于五面体单元。在拟Ｓ１面上生成网格时,采用分区生成技术,即在近壁面区生成以Ｏ型网格为基础的三角形单元,在远离壁面区采用本文发展的一种高效快速生成非结构网格的方法。该方法改进了Ｂｏｗｙｅｒ－Ｗａｔｓｏｎ算法,通过合理的配置网格尺度分布函数来保证整个拟Ｓ１面上非结构网格生成的质量,并借助于堆栈搜索技术,大大提高了计算效率。整个三维程序用Ｆｏｒｔｒａｎ语言编制,大量的计算表明：该程序能够快速高效地生成满意的三维非结构网格。     

通用部分全局规划方法在多智能体协调控制中的应用

针对多智能体系统分布式问题建立了智能体的简单模型,并对其进行了形式化描述,提出了多智能体系统的一种协调算法,即通用部分全局规划算法．在该协调算法的作用下,多智能体系统中各个智能体的局部规划／协调器对各自的行为进行规划,从而使整个系统相互协作,共同完成系统的全局任务．因此,它是一种全局协调算法．该算法并不局限于某个具体的应用领域,具有一定的通用性．     

算子的广义解空间及自动适定性

将Frechet空间X上的算子A的广义解空间拓扑化,证明了A在Zk 1上的限制生成k-次积分半群,并且在某种意义下,Zk 1是最大的。应用上述结果,证明了A生成k-次积分半群的充要条件是对任意x∈X,积分Cauchy问题有唯一解。     

广义逆A(2)T,S的表示与计算

比较系统的总结了A(2)T,S的各种表示,与此同时,给出A(2)T,S的三个新的表达式,A(2)T,S=(E1GAE2)-1(E10)G或A(2)T,S=G(F1 0)-1(AGF1 F2)以及A(2)T,S=-1/β0((GA)s-1 βs-1(GA)s-2 … β2(GA) β1In)G=-1/β0G((AG)s-1 βs-1(AG)s-2 … β2(AG) β1In)利用前两种表达式,我们给出A(2)T,S逆的Gauss-Jordan消去法的求法.     

LR（1）语法分析的自动构造

讨论了LR(1)语法分析器的自动构造，可判定给定的文法是否为LR(1)文法．若是，则自动生成给定文法的LR(1)分析表，并对任一输入串进行分析，判断其是否为给定文法的句子．论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的LR语法分析器的自动构造．