• 2001年第12卷第3期文章目次
    全 选
    显示方式: |
    • 适用于工作站机群系统高性能计算的快速消息传递协议

      2001, 12(3):317-322.

      摘要 (3317) HTML (0) PDF 430.71 K (4144) 评论 (0) 收藏

      摘要:消息传递系统对于工作站机群系统的计算性能是至关重要的.随着网络设备性能的飞速提高,传统的TCP/IP协议中不必要的开销已经成为通信速度的瓶颈.为了能够充分利用高速硬件的通信潜能,介绍了一种专门为Myrinet设计的新的通信协议——FMP.该协议包含网络部分和本地部分,是一个精简的通信协议.物理层假定是不会出错的,因此该协议十分简单而高效.与TCP/IP相比,该协议的性能有了很大的提高.介绍了该协议中的关键技术,并展示了部分结果

    • 一种设计分解的正确性证明

      2001, 12(3):323-328.

      摘要 (3525) HTML (0) PDF 366.38 K (3713) 评论 (0) 收藏

      摘要:二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示.通过设计分解可以提高几何约束求解的效率和数值稳定性.给出了一种基于图论的设计分解方法及其正确性证明.该方法可以(1)处理结构欠约束系统的分解;(2)检测出冗余约束.分解算法在有限步内终止,其结果是结构相容的

    • 电子商务的安全和原子:模型、协议和验证

      2001, 12(3):329-333.

      摘要 (3251) HTML (0) PDF 314.24 K (4305) 评论 (0) 收藏

      摘要:电子商务的流行与接受主要取决于下述属性:安全、原子、隐私与匿名.对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议.基于此,提出了一个称为ELC的电子商务模型,ELC模型模拟了国际贸易中的电子信用证.然后提出了一个安全、原子的电子商务协议.最后,在有一个入侵者的情况下,通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性

    • 不确定性MPI/PVM程序的完全调试

      2001, 12(3):334-339.

      摘要 (3338) HTML (0) PDF 388.09 K (4031) 评论 (0) 收藏

      摘要:讨论如何完全地调试不确定性MPI/PVM并行程序.在循环调试过程中,不确定性导致前次遇到的错误在以后的执行中很可能无法再现.基于MPI/PVM的FIFO通信模型,给出一种记录-重放技术的实现.通过可控制的重放,用户可以覆盖所有可能的程序执行路径,从而达到完全调试的目的.和其它方法相比,所提供的方法所需时空开销要小得多.此技术已在两种消息传递体系结构上得到实现:一种是曙光-2000超级服务器(由国家智能计算机研究中心开发),它由单处理器(PowerPC)结点经MESH网互联而成;另一种是国家高性能计算中心(

    • 非对称选择网活性的一个多项式时间判定

      2001, 12(3):340-346.

      摘要 (3478) HTML (0) PDF 392.29 K (4087) 评论 (0) 收藏

      摘要:活性判定是Petri网中一直没有完全解决的问题.针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究.首先,讨论和分析了活性判定的一般方法,然后利用S-不变,提出了非对称选择网活性判定的一个充分条件,并给出了相应的多项式算法.同时,对有界的非对称选择网的活性单调性问题进行了深入的研究,得到了一个简单的充分必要条件

    • 一种CIM集成基础结构的设计与实现

      2001, 12(3):347-354.

      摘要 (3514) HTML (0) PDF 465.61 K (4161) 评论 (0) 收藏

      摘要:在计算机集成制造系统中,CIM(computer integrated manufacturing)集成基础结构是最主要的支撑环境之一.介绍了由哈尔滨工业大学设计和开发的开放式CIM集成基础结构——HIT-IIS.2.该原型系统为CIM系统提供了以下一些服务功能:经营过程控制、企业活动控制、资源管理、定义描述与维护、全局系统信息服务、通信管理以及系统前端接口等.详细描述其中的每一服务功能

    • Web请求分配和选择的综合方案与性能分析

      2001, 12(3):355-366.

      摘要 (3683) HTML (0) PDF 1.05 M (4121) 评论 (0) 收藏

      摘要:Internet的服务模式正由传统的通信与信息浏览向电子交易与服务转变,这就要求WWW服务器既支持电子商务类具有优先级的请求,同时也要维护各类Web应用的公平性.以实现系统负载均衡和满足不同请求的WebQoS需求及公平性为目标,讨论并提出了并行WWW服务器集群系统HTTP请求分配和选择的综合方案,并提供了这些方案的随机高级Petri网模型.为解决模型状态空间爆炸问题,还提出了一种可以显著简化模型求解复杂性的近似性能分析技术;给出了综合方案的数值分析结果和性能评价,建议了适合电子商务类应用的、实现高性能集群

    • WWW集群服务器的数据副本分布方式研究

      2001, 12(3):367-371.

      摘要 (3696) HTML (0) PDF 613.25 K (3881) 评论 (0) 收藏

      摘要:为了有效地提高WWW服务器的吞吐能力、反应速度和可扩展性,国际上许多著名站点纷纷转向采用WWW集群服务器来替代原有的单一主机服务器.采用不同副本分布方式的WWW集群服务器,其数据可靠性也有所不同.对不同数据副本分布方式进行探讨,同时,论证了最优副本分布方案.

    • 面向对象软件回归测试技术研究

      2001, 12(3):372-376.

      摘要 (3872) HTML (0) PDF 707.28 K (4662) 评论 (0) 收藏

      摘要:回归测试的目标之一是在程序修改后,只对进行修改的部分重新测试,从而达到与完全测试相同的测试覆盖.利用数据流或部分数据流技术,对结构化程序进行回归测试的技术已相继提出.随着面向对象方法的逐渐成熟,对面向对象软件测试技术的研究有了迫切的需求.通过分析对象系统的特性,定义了对象之间的依赖关系,通过这个依赖关系,导出测试对象的方法序列,并应用程序切片技术,标识那些受到程序修改影响的测试用例,只有这些测试用例才需要在回归测试中重新执行.最后给出了一完整的对象系统的回归测试解决方案.

    • 新闻视频中口播帧检测方法的研究

      2001, 12(3):377-382.

      摘要 (3975) HTML (0) PDF 396.72 K (4101) 评论 (0) 收藏

      摘要:新闻视频分析是视频分析领域的重要课题.提出了一种基于知识的新闻视频分析方法——二阶段模板匹配法,用于检测新闻节目中主持人口播镜头,从而为新闻单元的定位提供基本依据.该方法具有通用性和实时性的特点,可以在新闻视频的自动分析或自动索引系统中得到实际应用.

    • 三维欧氏距离变换的一种新方法

      2001, 12(3):383-389.

      摘要 (4258) HTML (0) PDF 850.00 K (4536) 评论 (0) 收藏

      摘要:常见的三维距离变换算法大都是对城市街区、棋盘等二维近似欧氏距离变换算法的三维扩展,得到的依然是近似欧氏距离.提出一种新的三维欧氏距离变换算法,可以得到完全欧氏距离,时间复杂度为O(n3logn).将该算法应用于三维医学CT图像内部软组织的显示,取得了较好的效果.

    • 基于线程的Java程序自动并行转换技术

      2001, 12(3):390-397.

      摘要 (3808) HTML (0) PDF 539.40 K (3872) 评论 (0) 收藏

      摘要:Java程序的并行化研究是一个重要课题.提出一种Java程序的自动并行转换技术,并充分利用Java语言本身提供的多线程机制,通过操作冲突性检测等方法将串行化的Java程序自动转化成并行化程序.使得转化后的并行化程序在多处理机操作系统的支持下,能在共享内存的多处理机系统上运行,从而提高了程序的运行效率.

    • 多媒体节目时序描述的组合技术

      2001, 12(3):398-404.

      摘要 (3491) HTML (0) PDF 453.14 K (4011) 评论 (0) 收藏

      摘要:组合性是形式描述研究的基本问题,便于大型程序的设计、分析、测试和复用.为了方便用户编制大型多媒体系统的时序描述,组合模型是必须的.目前,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等.但是,这些模型描述层次过低,很难支持两个多媒体节目之间的时序描述.通过引入单位流的概念和扩展两种时序关系,研究一种多媒体节目时序描述的结构化技术,使复杂的多媒体节目易于理解,以方便用户运用组合方法把一些可以复用于不同多媒体节目的节目模块进行组合设计.

    • 数据分发管理机制中层次化组播地址分配策略

      2001, 12(3):405-414.

      摘要 (3368) HTML (0) PDF 1018.05 K (4019) 评论 (0) 收藏

      摘要:高层体系结构HLA(high level architecture)支持仿真应用间的互操作和可重用,受资源的限制,基于因特网的分布仿真面临着系统可扩缩性的挑战.HLA提供数据分发管理机制,为提高系统可扩缩性提供了可能.分析了HLA中数据分发管理机制的实现途径,针对存在的问题提出了层次化的组播地址分配策略,解决了组播地址数量有限与仿真结点机冗余数据接收之间的矛盾,同时也为仿真数据的可靠发送及数据打包提供了有力的支持.

    • Rough逻辑及其在数据约简中的应用

      2001, 12(3):415-419.

      摘要 (3194) HTML (0) PDF 335.88 K (4168) 评论 (0) 收藏

      摘要:讨论了被定义在邻域值决策表上的Rough逻辑及其公式的真值,它在数据约简中的应用比Pawlak定义的决策表上的决策逻辑更加广泛.目前常用的数据约简方法有Pawlak的数据分析和Skowron的分明矩阵法.前者是非形式的,不易机械化;而后者虽说直观、易理解,但还要求生成一个分明矩阵的中间环节,从而造成时空上的不必要的开销.采取一边从邻域值决策表关于属性值邻域是分明的属性并构成邻域分明合取范式,一边做这种逻辑公式的等价变换直接得到邻域值决策表的诸多约简.由于不用生成分明矩阵的中间环节,这样便节省了空间和时间,

    • 基础矩阵估计的加权归一化线性算法

      2001, 12(3):420-426.

      摘要 (4471) HTML (0) PDF 807.60 K (5189) 评论 (0) 收藏

      摘要:基础矩阵是对来自同一景物的两幅未定标图像进行分析的基本工具.对其进行估计的常用线性算法有八点算法和改进的八点算法,其最大的优点是运算简单、易于实现,但对噪声和错误数据较敏感,因此实用性差.通过引入与余差有关的代价函数,给出了一种新的鲁棒性线性算法——加权归一化算法.首先将原始输入数据加权归一化处理,然后再用八点算法求F阵的8个参数,实现了F阵的估计.大量的模拟数据和真实图像的实验结果表明,此算法不仅具有良好的鲁棒性,而且可提高基础矩阵的估计精度.

    • 面向对象石油管理公共数据模型建立研究

      2001, 12(3):427-434.

      摘要 (3911) HTML (0) PDF 698.10 K (3725) 评论 (0) 收藏

      摘要:给出了一个石油管理领域应用的面向对象公共数据模型PDMM(petroleum data model for management),论述了元模型的建立与表达、类结构组织和实体定义、属性及约束规则等模型构筑技术.强调了通过引入“活动”、“特性”等超类使模型具有强大描述能力的特色,给出了模型的EXPRESS语言描述方法.

    • 基于广义逆矩阵的Bézier曲线降阶逼近

      2001, 12(3):435-439.

      摘要 (3746) HTML (0) PDF 307.29 K (4346) 评论 (0) 收藏

      摘要:研究了Bézier曲线的降多阶逼近问题.利用Bézier曲线本身的升阶性质,并结合广义逆矩阵的最小二乘理论,给出了一种新的降阶逼近方法.此方法克服了一般降阶方法中每次只能降阶一次的弱点,并且得到了很好的逼近效果.

    • 基链分治算法与Voronoi区的面积计算定理研究

      2001, 12(3):440-447.

      摘要 (3615) HTML (0) PDF 495.91 K (3830) 评论 (0) 收藏

      摘要:基于一般曲线多边形Voronoi图的面向对象数据结构,提出了一种改进的Voronoi图生成算法——基链分治算法.该算法与经典的分治法相比更容易被实现.同时,在欧氏米制中,由于Voronoi区的边界包含抛物线或双曲线,因而Voronoi区的面积很难被计算.为此提出了Voronoi区的面积计算定理,并给出了定理证明和算例,从而为某些工程应用中的面积计算提供了一种方法.

    • 一个用于优化搜索的学习算法

      2001, 12(3):448-453.

      摘要 (3704) HTML (0) PDF 427.27 K (4251) 评论 (0) 收藏

      摘要:在PBIL(population base dincremental learning)算法和自私基因算法的基础上,提出一个新的优化搜索算法——基因学习算法.该算法允许每个等位基因取多值(复等位基因),并且用信息熵作为结束条件的判据.在学习过程中还与局部启发式搜索法相结合.最后用基因学习算法解决了3个典型的组合优化问题(最大截问题、调度问题和旅行商问题),取得了比现有文献最优值还好的结果.

    • 从多地址空间到单地址空间再到无地址空间

      2001, 12(3):454-461.

      摘要 (3879) HTML (0) PDF 873.63 K (4521) 评论 (0) 收藏

      摘要:在分析单地址空间操作系统的优点及其所存在问题的基础上,提出了无地址空间操作系统的思想,并介绍了一个无地址空间操作系统原型.在无地址空间操作系统中,没有进程虚拟空间的概念,指令直接对文件寻址,进程直接在文件上运行.与单地址空间操作系统相比,无地址空间操作系统不仅具有单地址空间操作系统的优点,而且能够避免单地址空间操作系统中存在的不足.

    • 基于约束区域神经网络的动态遗传算法

      2001, 12(3):462-467.

      摘要 (3513) HTML (0) PDF 388.44 K (3910) 评论 (0) 收藏

      摘要:提出一种基于约束区域神经网络的动态遗传算法,将遗传算法的全局搜索和约束区域神经网络模型的局部搜索结合了起来.利用动态遗传算法确定神经网络模型的初始点,同时使用神经网络确定动态遗传算法的适应度函数.该算法具有一定的理论意义和生物意义.与标准的遗传算法相比,缩小了搜索规模,可获得不定二次规划问题更好的近似最优解.

    • 一种基于模型的扫换检测方法

      2001, 12(3):468-474.

      摘要 (3362) HTML (0) PDF 415.21 K (3841) 评论 (0) 收藏

      摘要:视频自动分割是实现视频数据库检索必不可少的一个过程,其基础是镜头边界检测.当前已有的算法能够较准确地检测出镜头突变,但对于镜头的渐变则常常会漏检,这是由于镜头渐变时帧间差没有一个明显的峰值,因而其检测比突变检测要困难得多.扫换是一种常用的视频空间编辑手段,用于实现多种镜头变化.通过分析各种类型的扫换,提出了一种新的基于视频空间编辑模型的扫换检测算法,其性能优于Alattar提出的基于统计特征的算法.对用AdobePremiere5.1生成的各种扫换视频进行检测.实验结果表明,这种扫换检测算法能够较好地适应

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号