• 2001年第12卷第8期文章目次
    全 选
    显示方式: |
    • 数值型和分类型混合数据的模糊K-Prototypes聚类算法

      2001, 12(8):1107-1119.

      摘要 (4867) HTML (0) PDF 3.35 M (5042) 评论 (0) 收藏

      摘要:由于数据库经常同时包含数值型和分类型的属性,因此研究能够处理混合型数据的聚类算法无疑是很重要的.讨论了混合型数据的聚类问题,提出了一种模糊K-prototypes算法.该算法融合了K-means和K-modes对数值型和分类型数据的处理方法,能够处理混合类型的数据.模糊技术体现聚类的边界特征,更适合处理含有噪声和缺失数据的数据库.实验结果显示,模糊算法比相应的确定算法得到的结果准确度高.

    • 一种用于镜头检测的光照不变测度

      2001, 12(8):1120-1127.

      摘要 (4113) HTML (0) PDF 2.30 M (4396) 评论 (0) 收藏

      摘要:光照问题是镜头检测中的一个重要的问题.光照变化严重干扰了许多镜头检测的精度.而现有的光照不变的帧间相似性测度计算代价高而降低了算法的速度.为此,提出了一种新的光照不变测度,并将它用于视频镜头检测.这种新的测度是基于图像中的边缘信息.它先提取了图像中的边缘,然后二值化,最后把背景的面积作为光照不变测度.理论分析及实验数据都证明了该测度的有效性.与同类测度相比,提高了速度而没有牺牲精度.

    • 可用于人脸识别的反馈型二元神经网络

      2001, 12(8):1128-1139.

      摘要 (4393) HTML (0) PDF 2.48 M (4601) 评论 (0) 收藏

      摘要:提出和分析了一种新型的反馈型随机神经网络,并将其用于解决复杂的人脸识别问题.该模型采用随机型加权联接,神经元为简单的非线性处理单元.理论分析揭示该网络模型存在唯一的收敛平稳概率分布,当网络中神经元个数较多时,平稳概率分布逼近于Boltzmann-Gibbs分布,网络模型与马尔可夫随机场之间存在密切关系.在设计了一种新型模拟退火和渐进式Boltzmann学习算法后,系统被成功地应用于难度较大的静态和动态人像识别,实验结果证实了系统的可行性和高效率.

    • 子句型缺省逻辑中的分情形推理

      2001, 12(8):1140-1146.

      摘要 (3871) HTML (0) PDF 1.78 M (4539) 评论 (0) 收藏

      摘要:引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.

    • 等级加密体制中的密钥管理研究

      2001, 12(8):1147-1153.

      摘要 (3635) HTML (0) PDF 429.13 K (4766) 评论 (0) 收藏

      摘要:分别利用对称加密技术、非对称加密技术以及对称加密与非对称加密结合技术,提出在等级加密下的密钥管理体制,同时对其安全性与效率进行分析.与现有的体制相比,这种体制采用树状模型,其各等级用户之间的密钥通过关系参数连接起来,使得该体制不但适合于一般的等级体制,同时也适合于密钥频繁改变、用户动态变化的应用环境.

    • 对象式Lambda演算的自作用部分计值

      2001, 12(8):1154-1161.

      摘要 (3462) HTML (0) PDF 743.93 K (4622) 评论 (0) 收藏

      摘要:讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.

    • 扩展服务路由器操作维护系统的研究

      2001, 12(8):1162-1169.

      摘要 (3480) HTML (0) PDF 1.48 M (4673) 评论 (0) 收藏

      摘要:路由器操作维护(operating and maintenance,简称OAM)系统负责对路由器进行操作和管理.它是路由器正常运行的保证,是路由器中的重要模块.随着路由器技术的发展,对路由器软件动态升级的要求越来越受到人们的重视.对扩展服务路由器操作管理进行了深入的研究,首先介绍了扩展服务路由器操作管理的设计要求和研究现状,然后介绍了清华大学研制的扩展服务路由器原型系统的软、硬件体系结构及其对操作维护系统的功能要求,设计并实现了可实时动态加载扩展服务组件的操作维护管理系统.最后指出了进一步的研究方向.

    • 输入缓冲交换开关的多步调度策略

      2001, 12(8):1170-1176.

      摘要 (3975) HTML (0) PDF 1.28 M (4693) 评论 (0) 收藏

      摘要:输入缓冲交换开关已经在越来越多的ATM交换机和高性能路由器中使用.对于独立的信元到达,VOQ(virtual output queueing)技术与LQF(1ongest queue first)和OCF(oldest cell first)等加权调度算法的结合使用可以使利用交换开关的吞吐率达到100%.然而LQF和OCF等加权调度算法过于复杂,无法用硬件实现.提出了多步调度策略,使得用硬件实现加权调度算法成为可能.在该策略下,对于独立的信元到达,LQF算法仍可以达到100%的利用开关吞吐率,并具有良好的

    • 形式化多主体系统中的交互及交互协议

      2001, 12(8):1177-1182.

      摘要 (3450) HTML (0) PDF 815.40 K (4754) 评论 (0) 收藏

      摘要:深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.

    • 一种基-于周期合并策略的流调度算法

      2001, 12(8):1183-1189.

      摘要 (3485) HTML (0) PDF 1.14 M (4396) 评论 (0) 收藏

      摘要:在视频点播系统中.流调度算法通过降低服务延迟和提高服务效率等措施,可显著提高系统服务能力.提出了一种新的流调度算法--PeriodPatch.该算法在Patching算法的基础上引入了周期调度的规则.Period-Patch算法可以通过少数有序生成的组播节目流提供大量TVOD(truevideo_on_demand)级服务.PeriodPatch算法还保证系统在资源耗尽的情况下,可以提供高效、可预测的NVOD(nearvideo_on_demand)级服务.仿真结果表明,PeriodParch算法在TVO

    • 曲率连续的有理二次样条插值的一种优化方法

      2001, 12(8):1190-1196.

      摘要 (3958) HTML (0) PDF 925.29 K (5347) 评论 (0) 收藏

      摘要:人们通常用有理三次曲线样条来构造整体曲率连续的曲线.提出利用有理二次样条曲线插值整体曲率连续的曲线的一种方法.首先导出了两相邻二次曲线段间曲率连续的拼接条件,然后提出了求解平面上一个闭的点列中每一点处的切线的最优算法.最后给出了闭曲线插值的一些实例以检验方法的有效性.

    • 基于扩展有限状态机的协议测试集生成研究

      2001, 12(8):1197-1204.

      摘要 (4084) HTML (0) PDF 834.99 K (5383) 评论 (0) 收藏

      摘要:与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.

    • 基于认知模拟的自适应机器学习算法研究

      2001, 12(8):1205-1211.

      摘要 (4565) HTML (0) PDF 446.44 K (5435) 评论 (0) 收藏

      摘要:根据认知科学的理论,同时以神经科学、脑科学等学科的最新研究成果为指导,利用计算机科学、数学及工程科学的方法,提出了一种自适应机器学习方法.该方法从微观神经元层次、中间层次和宏观层次,根据人脑的学习机理模拟人脑的学习过程.根据该方法开发的心电图分类知识自动获取系统,可以较好地模拟心电图专家的感知、认知和思维等功能.

    • 一种MPEG-2流的索引模型及其应用

      2001, 12(8):1212-1219.

      摘要 (3720) HTML (0) PDF 894.94 K (4528) 评论 (0) 收藏

      摘要:MPEG(moving picture expert group)标准目前以及未来都将在多媒体应用中起到越来越重要的作用.提出了一种有效的针对MPEG-1、2码流的索引模型,并详细给出了MPEG流的索引文件生成算法以及基于该模型对码流中的任意帧随机访问显示算法.实验结果表明,该模型可提供对一般的MPEG-1、2码流异常快速的定位访问能力,并可有效地应用于码流中的任意帧随机访问.

    • 快速鲁棒的全局运动估计算法

      2001, 12(8):1220-1228.

      摘要 (4100) HTML (0) PDF 2.18 M (4622) 评论 (0) 收藏

      摘要:对全局运动估计算法进行研究,提出一种新的快速且鲁棒性较好的全局运动估计算法.全局运动估计是MPEG-4中的sprite编码中的关键技术,其性能将直接影响编码效率和速度.所提出的算法比传统的Levenberg-Marquadet方法要快,而且参数估计比较准确.新算法是基于非线性密度进行估计的,采用了六参数的仿射模型.为了提高计算速度,采用了3层金字塔进行多分辨率计算,而且在每层迭代计算中都抽取重要的特征点进行计算,同时结合了Gauss-Newton优化计算方法.为了保证计算的准确性,采用基于直方图和基于块两

    • 复杂背景下文本提取的彩色边缘检测算子设计

      2001, 12(8):1229-1235.

      摘要 (4652) HTML (0) PDF 2.21 M (5142) 评论 (0) 收藏

      摘要:分析了当前彩色边缘检测方法的现状与复杂背景下文本提取的社会需求,提出一个新的彩色图像边缘检测算子--ColorRoberts,该算子全面作用于三维RGB彩色空间.实验证明,在文本区域提取的彩色图像边缘检测中,ColorRoberts具有传统算子所无法比拟的优势,检测出的文本区域完整、清晰,字符形状边缘保持较好,文本区域与背景易于进一步剥离.

    • 电子月票

      2001, 12(8):1236-1241.

      摘要 (3373) HTML (0) PDF 333.41 K (4196) 评论 (0) 收藏

      摘要:提出了一种电子月票系统.用户从银行提取一笔款项后,可在有效次数范围内购买网上的服务,其付费方式不是以购买的信息量的多少进行,而是以购买的次数进行.这样既方便了用户,又方便了网上的服务提供者.

    • 一个可构造的反演状态模式

      2001, 12(8):1242-1249.

      摘要 (3292) HTML (0) PDF 576.41 K (4458) 评论 (0) 收藏

      摘要:为了构造可扩充、可配置、可控制的状态模型,提出了一个可构造的反演状态模式.基于体系结构的反演模式和角色对象模式,讨论了状态设计模式中结构和行为的反演方法及其手段;给出了其反演模式体系结构的元级和基本级对象结构;使用MOP(metaobjeotprotoco1)规程给出了元级和基本级的关系,讨论了反演状态模式的元对象反演到基本级对象群的"截取和求精(interception和reification)”机制.此外,还给出了一个应用可构造的反演状态模式的[记账凭证处理型]应用事例.

    • 网格多处理机的一种改进的子网分配算法

      2001, 12(8):1250-1257.

      摘要 (4084) HTML (0) PDF 490.14 K (4586) 评论 (0) 收藏

      摘要:子网分配问题是指识别并分配一个空闲的、满足指定大小要求的节点机.首先,提出了网格结构中一种新的具有O(N2a·1og2Na)时间复杂度的空闲子网搜索算法,它优于现有的O(N3a)时间复杂度的搜索算法.然后,用该算法对基于保留因子的最佳匹配类子网分配算法——RF(reservation factor)算法进行了改进,得到了

    • 基于 P-F方法的软件过程建模的复用性

      2001, 12(8):1258-1264.

      摘要 (3632) HTML (0) PDF 1.51 M (4738) 评论 (0) 收藏

      摘要:P-F方法可以直观而精确地提供软件过程的复用机制.软件过程的复用问题如同软件本身的复用性,具有同样重要的意义.为了抽象过程复用机制,P-F方法使用3层复用结构:过程模板、模式和元模式.过程模板代表由P-F方法描述的部分过程的可复用类.模式是模板的拓扑结构.最底层是元模式,代表最基本的模式,也是建成良结构过程/模板/模式的基本材料.利用元模式来构造软件过程可以避免病态的软件过程,并可以改进软件过程管理.形式化地定义了可复用结构部件间的操作.这些操作帮助实现软件过程的定义、复用或集成.软件过程的可复用特性在许

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号