数据流图模型的一个形式定义

增加计算速度已考虑采用并行计算,在计算机系统中并行操作,在算法上表示并行计算模型和这种并行计算机的新程序语言。除了并行机器的设计和并行计算方面的程序外,在理论模型的阐述和分析方法上还有待进一步探讨,这里并行计算的本质特性能被明确地定义和研究,并且是更多地从算法或问题的观点出发而不是从特定机器执行出发。此项理论工作能被划分为两类:一是利用并行系统中并行计算所作的算法方面的研究;二是并行计算机的性能和可靠性方面的研究。     

数学机械化的研究与应用

该学术团队主要从事几何问题自动求解、非线性代数方程组符号处理的研究,近12年来取得了一系列具国际领先水平的成果。将数学机械化的思想、方法和成果应用于计算机辅助教学,以求更多地用计算机代替师生机械性、重复性、对教学没有积极作用的劳动,也是该学术团队学术思想的重要特色。这一学术特色使该学术团队研究的“智能教育平台”的理论和实践更为充实且更具可操作性。该学术团队已形成以张景中院士为学术带头人、以中青年学科骨干为主力的研究群体,其研究工作由基础理论推进到了智能教育软件、符号代数计算软件、工业机械手运动反解程序等方面的相关应用领域,当前已经取得在国内外居于先进行列的成果。1990年,张景中、杨路提出了定理机器证明的数值并行方法,在世界上首次用计算机实现了有严密理论依据的几何定理例证法,也是机器证明中惟一可高度并行的算法。在国外文献中,称此法为“张杨定理”。1992年,张景中等提出了几何定理可读证明自动生成的理论、算法和方法,并实现为通用的微机程序。用此新方法已经证明近千个非平凡的几何定理,其中有几十个非欧几何的新定理,对多数定理计算机自动生成了简捷优美的证明。国外著名计算机科学家在公开发表的出版物中,称这一工作是使计算机能像处理算术那样处理几何的发展道路上的里程碑,是自动推理领域30年来最重要的工作。1995年,该学术团队发现了实系数多项式的完全判别系统,一方面突破了自动推理领域长期阻碍人们在与有序几何、不等式及实代数有关问题方面取得进展的根本性瓶颈困难,另一方面使几个世纪以来悬而未决的一个数学基本问题得到系统而完美的回答。二次方程判别式问题古代已解决,直到本世纪才找出四次方程的完全判别系统。应用他们的理论和算法,在微机上几秒内就能生成五、六、七次方程的完全判别系统,理论上可生成N次方程的判别系统。这是用计算机自动推理解决重大数学问题的少见的范例,为自动推理的几个困难方向的发展开辟了道路。在此基础上,被吴文俊称为“一大难题”的不等式机器证明问题已有了重大进展:该学术团队提出的算法和程序己经发现或证明了500名个非平凡的几何不等式,其中包括数十个见诸于国内外书刊的未解决问题。     

并行算法及其在电子系统中的应用

并行算法中所设计的DSP并行算法正确，性能优越，并行效率达到30%以上，最高达到85%。 在并行算法的应用中，成功地解决了在电磁散射中单机无法完成的大型计算问题，为电子尺寸目标电磁、特性的精确求解提供了一条应用并行计算技术解决方案。具有很大的工程实用意义。并对阵列、信号参数联合估计的并列求解作了试探性的工作，取得了较好的效果。 在算法设计过程中，创造性地提出了有关动、静结合的两阶段负载平衡策略，动、静结合的调波算法等，成功地使多种算法得到实现和应用。 该课题在DSP并行化方面进行了较系统的研究，同时在应用中…     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

蝴蝶定理及其推广

本文概述蝴蝶定理的简单历史,用不同方法将蝴蝶定理推广到一般二次曲线,得到定理2、3、4、5,证明蝴蝶定理及定理2～5均为二次曲线某一射影性质,即定理6的特例,最后给出定理6的另外几种特例,从一个侧面反映射影几何、仿射几何与初等几何的内在联系。     

计算机与智力:推理过程的机械化

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。     

二维到达角和极化参数的并行化设计

针对无线电波的信号频率、二维到达角和极化参数联合估计算法的运算量大、计算时间长,且不能满足实时性要求的问题,提出了对该算法进行并行化设计的解决方法。通过对联合估计算法的数学模型和串行算法的分析,设计并实现了通用并行算法。经在4台同构处理器上进行测试,表明该并行算法能有效减少计算时间,使加速比达到2倍以上。     

多媒体数据库检索的一种并行算法

本文描述了并行算法在多媒体数据库中的应用。重点介绍了K-树模型和建立在K-树模型上的一种基于内 容、多特征匹配的多媒体并行检索算法。在K-树模型下,每一多媒体数据类型可被视为一个K维的数据集合,它能 在保证检索精度的情况下显著提高检索速度。通过在Beowulf机群系统上的性能测试验证了该算法的有效性。     

非对称广义特征值问题的并行QZ算法

非对称广义特征值问题的并行处理是并行计算结构力学的重要部分,这方面的工作目前在国内外研究得还很少.将串行计算中求解非对称广义值问题AX＝λBX(A、B为n阶实矩阵)行之有效的QZ算法作了并行化处理,并就得到的并行QZ算法在Challenge L并行机上进行了试算.数值结果表明:当处理机个数为2或4时并行效率良好,但当处理机个数为8时并行效率不高.     

微分方程在构造微分中值命题的辅助函数中的应用

众所周知,Lagrange定理、Cauchy定理[1]及其它许许多多微分中值命题的证明均借助于构造一个适当的辅助函数。然而,如何作辅助函数,如同作几何证明中的辅助线,需要较高的技巧,无一定法则可循,这给教学带来了难处。文[2]给出了一种辅助函数的“统一”构造法,只需按照一套固定的程序即可。本文利用简单微分方程的解构造出中值问题的辅助函数,从而得到寻求辅助函数的一种新方法。     

与FFT并行算法相适应的体系结构探讨

介绍了并行ＦＦＴ算法,讨论其在网格和超立方体并行体系结构上的实现方法,并作了多个方面的比较,为高效实现并行ＦＦＴ选择一种合适的体系结构。经研究表明,并行ＦＦＴ算法的最佳体系结构为超立方体。     

高速数字解调中的并行处理算法

在分析频域并行FIR滤波性能特点的基础上,提出了一种时域并行FIR滤波处理方案,该方案能以较低复杂度实现600 Mb/s以上数字调制信号的解调。还提出了一种基于多相滤波器组和并行处理的高精度符号同步方法,可以在不提高接收信号采样率和几乎不增加硬件复杂度的条件下,使符号同步精度提高一倍。最后给出了基于以上方法设计的原理样机的测试结果。     

一类正交多项式的两种并行算法

通过修正计算Chebyshev多项式的Forsythe算法和Clenshaw算法 ,提出了求解一类正交多项式的两种并行算法 ,并对其稳定性进行了分析 .     

混合并行技术在FDTD计算中的应用研究

为提高网络环境下细粒度并行FDTD计算的性能,引入局域网两层并行能力的概念,发展了一种高性能的混合并行FDTD算法。在该算法中,通过利用MPI与OpenMP多线程技术,在传统域分解FDTD算法基础上,实现了数据与任务的两层并行化。作为算法实现的应用,对一种常见的车载隐藏式印刷天线进行了模拟研究。计算在不同数量的PC机上执行,并与传统的网络并行FDTD算法进行了比较。数值结果表明,当域分解粒度较小时,该混合并行方法能够有效地提高局域网并行FDTD的算法性能。     

版权穷竭的空间效力范围与平行进口问题研究

版权穷竭制度是版权法律制度上一项非常重要的制度,这一制度在全世界范围内已经得到了普遍的认可,但是关于版权穷竭的空间效力范围问题,各国学者却始终没有达成一致,目前在学界对于这一问题主要有两种观点,即国内穷竭说与国际穷竭说,并且大部分学者又以国际穷竭或国内穷竭来佐证或反对平行进口。实际上,各国在制定法规时,并非单纯地依据知识产权法原理,而是更多地考虑了本国贸易利益的需要。贸易层面的利益冲突才是造成平行进口问题分歧的根源所在。     

一类刚性系统基于线性多步法的并行计算方法

针对一类分解的刚性系统,提出了一类并行组合方法.该方法将系统分割与方法分割的并行化方法相结合,采用显式线性多步方法求解非刚性子系统,采用隐式线性多步方法求解刚性子系统.讨论了方法的相容阶、收敛性和数值稳定性.数值试验结果表明,该方法对于求解分解的刚性系统是可行的.     

基于平行语料库的积极型汉英词典配例原则

基于平行语料库的积极型汉英词典编纂需要解决的问题之一是如何改编检索出的双语平行语料,以契合例证的质量和功能需要。基于平行语料库的汉英词典配例应遵循形式原则和功能原则,功能原则是目的,形式原则服务于功能原则。编纂者有效结合这两项原则可以实现从双语对应语料到汉英词典例证的转变。     

五点差分格式求解泊松方程并行算法的研究

以二维静电场泊松方程数值求解的串行算法(雅可比迭代、超松弛迭代)为基础,提出了五点差分格式超松弛迭代(SOR)求解二维静电场泊松方程的并行算法,通过与雅可比迭代(Jacobi)并行算法的时间复杂度、加速比和空间复杂度进行对比,得出超松弛迭代的并行算法具有更低的时间复杂度、空间复杂度和更高的加速比与效率。通过实验验证,CHIPIC软件的泊松模块宜采用超松弛迭代并行算法。     

论法律语言平行语料库的构建

语料库技术的广泛应用为语言对比研究和翻译研究开辟了又一广阔的发展领域.相比于其他语言学分支,法律语言学者大多仍然固守传统的直觉和内省法对语言进行定性研究,而利用海量语料、采用经验主义研究方法对法律文本进行的研究却寥寥无几.因此,构建法律语言学平行语料库已成为法律语言研究必须直面的一个紧迫任务.本文针对并结合平行语料库和法律语言的各自特点,从法律词汇学、法律句法学、法律语义学等六方面探讨平行语料库在法律语言研究方面广阔的应用前景.     

李商隐骈文的对偶

李商隐骈文的对偶在方法、句式以及句内、句间关系、总体表达效果方面成就颇高,这种成就不在于方法和形式上的创新,而在于作者能在遵守对偶基本修辞规范的情况下,灵活自如、淋漓尽致的表情达意,使骈文从内容到形式、从微观到宏观都呈现出骈丽之美。