•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9661-9670项 搜索用时 96 毫秒
[首页] « 上一页 [962] [963] [964] [965] [966] 967 [968] [969] [970] [971] [972] 下一页 » 末  页»
9661.
  
为了适应复杂环境下动态多变的业务需求,对以服务为核心的流程动态编排和再造提供支持,提出了基于JBPM工作流的流程动态编排与迁移方案,该方案分析了目前工作流在流程编排方面的局限性;结合柔性工作流的特点,给出了流程动态编排的模型,并对流程变更所产生的4类操作做了形式化的描述,通过对流… …   相似文献
9662.
  总被引:2,自引:0,他引:2
分布式系统的动态配置问题近年来引起了各国研究者的广泛关注.该文对面向图结构的分布式程序设计模型GOM(graph-oriented model)进行了扩充和改进,提出了支持动态配置的程序设计模型ExGOM(extended graph-oriented model).ExGOM提… …   相似文献
柳颖  陈道蓄  谢立  曹建农 《软件学报》1999,10(9):952-955
9663.
下载全文  总被引:6,自引:1,他引:6
本文讨论可重用构件应该具备的特性,并介绍一种可重用构件描述语言Recos.Recos支持面向对象设计,而且提供功能抽象和类属机制.  相似文献
9664.
下载全文  总被引:3,自引:0,他引:3
在参考了美国国家基金会(NSF)的CAREER提出的IP-DiffServ的动态定价机制后,提出了一个以市场和计划为基础的优化动态定价机制.该机制以业务计划和资源规划为基础,从实现用户的最大性能价格比和ISP的最大利益出发实现了对业务类的定价,在计算用户可感觉到的利益时,考虑了负… …   相似文献
9665.
  
为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题.与以往方法不同,在将故障运行序列和最邻近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的\"盲区\"使得后期搜索空间加大,引入了生物学基因序列比对原理,对最邻近运行序列不是通… …   相似文献
9666.
  总被引:1,自引:0,他引:1
为提高视频烟雾检测的准确性,提出一种基于概率的两层最近邻自适应度量分类算法(PTLNN)来进行烟雾检测.该算法以最小化平均绝对误差为原则,结合AdaBoost和KNN算法的优势,充分考虑局部和全局的样本分布,能明显提升分类精度.采用离散余弦变换(DCT)和离散小波变换(DWT)两… …   相似文献
9667.
针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4个SPLASH-… …   相似文献
宋伟  杨学军 《软件学报》2011,22(9):2248-2262
9668.
  
利用人工鱼群算法的追尾思想并在过程中加入拥挤度因子,对人工萤火虫群算法进行了改进,提出了一种改进型人工萤火虫群算法,并将该算法用于多峰函数的优化问题.通过实验仿真及与其他算法进行的对比分析表明,改进后的人工萤火虫群算法在种群规模较小、迭代次数较少的情况下也可以精确捕获函数定义城内… …   相似文献
9669.
  总被引:1,自引:1,他引:0
大视野、高质量的图像信息对地面移动机器人的遥控操作具有非常重要的意义.提出了一种基于先验信息的自适应图像拼接方法.该方法在图像大致重叠区域中均匀选取待匹配点,利用改进的具有旋转不变性的NCC(Normalized Cross Correlation,归一化互相关)匹配方法进行区域… …   相似文献
9670.
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法… …   相似文献
林振  吴定一 《软件学报》1995,6(6):366-371
[首页] « 上一页 [962] [963] [964] [965] [966] 967 [968] [969] [970] [971] [972] 下一页 » 末  页»