计算反射技术综述

计算反射技术是提高软件系统灵活性、可扩展性的重要技术。它使得软件系统具有自适应能力,在运行时随环境变化而改变自身,实现程序的动态演进。该文介绍了计算反射的基本概念、发展历程、方法分类、实现环境,帮助读者学习和掌握计算反射。文章的最后阐述了计算反射今后发展应重点关注的若干问题。     

基于回溯的参考点边界搜索算法

边界搜索算法是计算机图形学、几何造型中的一个重要问题。文中通过分析边界搜索的路径跟踪规律，给出了跟踪中各几何条件的数学形式，利用微分几何的有关理论导出了它们的变化规律，在此基础上得到了比较交点弧长、相对切矢量和规一曲率三个代数量的路径搜索算法，较完整地解决了边界搜索问题。     

A Type of Triangular Ball Surface and its Properties

1IntroductionIntheCONSURFsystemll--3]developedbyA.A.Ball,thebasisfunctionsforcubicpolynomialsweredefinedbyandhencecubicBallcurveswithcontrolpointsPi(i=0,1,2,3)canberepresentedasp(u)=Z?=.B!(u)Pi,0Su51.TwotypesofhigherdegreegeneralizedBallbasisfunctionsandcorrespondingcurveshavebeenderivedbyWangl4]andSaidls]independently.InWang'spaper,generalizedBailbasisfunctionsofarbitrarydegreeweredefinedasfollows'.ifnisanevennumber.ifnisanoddnumberwherew~2u(1--u),05u51.Aparametriccurveofdegreentcall…     

跨地区短时间序列的离散化方法

跨地区时间序列是由多个地区组成的多变量时间序列集合,每个地区有着相同的变量集。其时序长度通常比较短。跨地区时间序列在商业、经济、公共管理等领域广泛存在。离散化是时间序列关联规则挖掘的不可或缺的先行步骤。该文介绍了一个新颖的针对跨地区时间序列的离散化方法。相对没有考虑跨地区性质的方法,在跨地区短时序数据上,此方法可以更准确地提取出事件,完成离散化工作。     

使用拟蒙特卡罗方法计算点模型的体积

基于体积加细的方法构造点模型的八叉树,在点模型的包围盒内采用Niederreiter低差异数序列产生拟随机点．点模型的体积可以估算为：位于点模型内的随机点个数与全体随机点个数的比值乘以包围盒的体积．实验结果表明,该算法简单、高效,可以快速地计算任意拓扑结构的封闭模型的体积,其与平滑运算结合实现了保体积平滑．     

一种多源特征阵列生成算法

为解决特定特征定义下的多源特征阵列问题,提出一种基于碰撞检测的多源特征阵列生成算法.利用实例和单一实体的碰撞测试,得到连接实例和脱节实例,然后进行连接实例与单一实体的集合运算生成新体,再通过脱节实例与连接实例碰撞测试得到新的连接实例,从而生成正确的结果实体.该算法已在商业几何造型系统TiGems6.0中实现,简化了多源特征阵列的操作方式,克服了某些凸台实例被错误舍去的问题.最后,给出了实验结果.     

基于边界跟踪的快速欧氏距离变换算法

提出了一种基于边界跟踪、剥离的快速二维欧氏距离变换算法.从目标区域的最外层边界开始,自外向内、逐层对目标区域进行边界跟踪、剥离,直至目标区域为空.每跟踪到一个边界像素点,即根据其邻域像素所传递的最短距离信息来计算与最近背景像素间的欧氏距离,并利用一个链表结构来完成对已经过距离变换的像素点的距离更新,以解决距离传递的路径可能改变的问题.实验结果表明,该算法能够得到准确的欧氏距离,并且算法时间不到3×3倒角近似欧氏距离变换算法的2倍,比基于桶排序的欧氏距离变换算法快几十至上千倍.     

Class hierarchical test case generation algorithm based on expanded EMDPN model

A new model of event and message driven Petri network（EMDPN） based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths （copaths） was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion（OSC）. The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.     

傅立叶描述子识别物体的形状

傅立叶描述子是分析和识别物体形状的重要方法之一，利用基于曲线多边形近似的连续傅立叶变换方法计算傅立叶描述子，并通过形状的主方向消除边界起始点相位影响的方法，定义了新的具有旋转，平移和尺度不变性的归一化傅立叶描述子，与使用离散傅立叶变换和模归一化的传统傅立叶描述了相比，新的归一化傅立叶描述于同时保留了模与相位特性，因此能够更好地识别物体的形状，实验表明这种新的归一化傅立叶描述子比传统的傅立叶描述子能够更加高效，准确地识别物体的形状。     

从三视图重建三维形体技术的研究

本文着重就平面体与圆柱体的某些组合,设计了一种从三视图自动重建三维形体的算法。该算法在Wesley-Markowsky关于平面体的分层重建算法的基础上,进行了某些改进与补充,并吸收了Aldefeld算法中有关结构模式识别的思想。理论分析与程序运行结果表明,该算法可以排除病态解,并在多解的情况下求出全部解。与目前所见国际上有关同类问题的研究相比,对圆柱体的覆盖域有所扩展。