摘要:本文探讨如何通过类库将并发性引入顺序面向对象语言.以C++为例,在并发类库中提供并发类及相应工具,使之支持分布并行的面向对象程序设计.本文介绍并发类库及语言底层支撑系统的设计与实现,最后给出初步测试结果.

摘要:基于重新划分的三角形网格简化方法能自动生成多细节层次模型，它的基本思想是:根据三角形网格的局部几何和拓扑特征将一定数量的点分布到原网格上,生成一个中间网格,移去中间网格中的老顶点,并对产生的多边形区域进行局部三角化,最后形成以新点为顶点的三角形网格.本文在已有算法的基础上,提出了一种分布新点的算法,从而克服了原有方法的局限性.它利用三角形顶点的曲率和三角形的面积两个因素来反映网格在每个三角形处的特征.文中给出的一组实例说明了算法的有效性.

摘要:纹理是真实感图象最重要的特征之一,而织物纹理是决定服装风格特征的一个重要因素.由于织物纹理的多样性和复杂性,在计算机图形学和服装CAD技术的研究中,如何用计算机生成漂亮、逼真的服装面料以及织物纹理就成为一个非常有趣并富有挑战性的问题.本文基于Arnold变换和生命游戏算法提出了一种在计算机上生成多种复杂织物纹理的新方法.实验表明,利用该方法生成的织物纹理既十分漂亮又比较逼真.

摘要:为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统.

摘要:广义超立方体EH(extended hypercube)作为组织大型分布式多处理机系统的拓扑结构,在使用阈值和阈长两种控制参量的阈值选择策略中表现出许多良好的性质.文章探讨了EH中的若干性质,这些性质为实现高效稳定的任务分配算法提供了理论基础.最后,该文详尽地讨论了在一个EH中,基于使用阈值和阈长的启发式选择策略、多叉树状态信息组织方法以及动态阈值修改措施的任务分配算法和它的性能.

摘要:工程图纸扫描识别和字符笔画提取一直是模式识别中的难点问题.为克服细化算法逐象素处理的局部特性,已提出了一些整体算法.基于图段的整体识别算法突破了细化算法在象素层次做局部操作的局限,力图抓住图象的宏观特征进行整体识别;但它在处理小线素、曲线及字符图象时仍有较大局限性.本文采用扫描串（行程编码）作为基本处理单元,动态扫描整个图象数据,利用预先建立的信息头指导后续跟踪,得到了更精确的矢量化结果.本文提出的算法可适用于各种不同工程图纸的处理,用来提取汉字笔画也得到了满意的结果.

摘要:可靠多播算法在并行处理中有着广泛的应用.文章在分析基于共享介质Ethernet的3种可靠多播算法的基础上,提出了一种新的可靠多播算法：MAK(multicast acknowledgment)多播算法,并且以实验数据验证了此算法的高效性.

摘要:程序结构测试可以分为4个阶段:静态分析、路径选择、测试数据生成和动态分析.本文应用区间算术在测试数据生成阶段对约束集求解.由于正则约束式的引入,能够处理复杂的逻辑表达式组,找到一组解以供第4阶段动态分析使用.文中提出的算法具有非常大的灵活性,可以处理非线性约束,经改进后,它甚至可以处理包含函数的表达式.

摘要:文章介绍一种从汉语语句中提取逻辑函子的方法.该方法基于汉语配价理论,用组合逻辑方法将动词结构表示成逻辑函子,解决了多个NP竞争一个论元位置的问题.该方法体现了如何计算汉语语句语义的思想.

摘要:文章指出了随机神经网络em学习算法仍然存在着收敛于局部极小值之缺陷.针对三层随机感知机,文章将em学习算法与Solis和Wets的随机优化算法结合起来,提出了三层随机感知机的混合型新学习算法HRem.文章从理论的角度证明了混合型新学习算法HRem能以概率1全局收敛于随机感知机的基于Kullback-Leibler差异度量的最小值.这一理论结果对em学习算法的深入研究有重要意义.

摘要:查询是一个数据库管理系统的核心功能,一个功能强大而又高效的查询算法的设计是一个成功的数据库系统的关键.文章提出了一个数据库查询优化算法，并实现于联邦数据库系统LNFDBS(Lingnan federal database system).另外，对查询算法在联邦条件下的优化进行了探讨.

摘要:文章提出一种程序交互执行流程图PIEF(program interactive execution flow chart),用于描述一个交互式软件的各种可能的交互执行过程.基于被测程序的交互执行流程图,进一步提出了功能测试的若干基本的测试覆盖准则、测试用例生成策略及其自动化方法.

摘要:根据物理模型的造型技术可以从另一个角度研究曲线曲面的光顺问题.基于能量的可变形曲线曲面可用于光顺一批有误差的散乱数据点.该方法不必要求数据点有序的条件，通过在数据点与曲线和曲面之间连接假想弹簧，可以克服“光顺”和“插值”的矛盾，得到所需形状.文章采用三次B样条几何表达形式，建立了光顺模型，分析了光顺机理，并给出了一个算法和几个应用实例.

摘要:泛“蕴含”运算是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统具有普遍意义的逻辑运算之一.但常见蕴含算子往往凭主观经验给定,缺乏理论指导和使用的有效性分析,具有很大的随意性和盲目性.本文首先研究了“蕴含”运算的思想基础,认为“蕴含”运算是“串行推理”运算的逆运算.然后提出了“蕴含”公理,从代数系统角度给出了“蕴含”运算的定义,提出并证明了“蕴含”运算的表示定理,对常见的蕴含算子进行了有效性分析.最后研究了“蕴含”运算在“串行推理”运算中的运用.从而克服了已有的蕴含运算理论存在的不足.这样实际应用就可

摘要:文章第1节对软件流水下多重循环中数据元素的调度进行了分析,着重讨论了用地址计数器完成简单地址运算的意义、ILSP(interlaced inner and outer loop software pipelining)算法的基本思想及其在此基础上分析了软件流水下多重循环中数据元素的调度特点；第2节进一步探讨了为完成调度而寻找地址控制信息序列的一般方法；第3、4节则分别讨论了用求得的地址控制信息序列控制地址计数器对数据元素的访问和将地址控制信息序列化简为精简地址控制信息序列的步骤；最后两节分别是实验结果和结