•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4041-4050项 搜索用时 104 毫秒
[首页] « 上一页 [400] [401] [402] [403] [404] 405 [406] [407] [408] [409] [410] 下一页 » 末  页»
4041.
下载全文  总被引:3,自引:2,他引:1
在总结国内外相关文献基础上,系统介绍了数据起源的概念、内容及其主要应用,介绍了数据起源的基础研究和开放环境下两个典型的形式化模型,然后介绍了其在数据库和工作流及其他领域的应用,对现有成熟的起源管理系统进行了分析和比较,最后展望了数据起源技术的发展方向。  相似文献
4042.
提出了在分布式交互仿真中基于回拨时钟的异步时钟一致性控制模型,利用节点间时钟的异步性对系统时间资源进行重新分配,达到了在保证原有系统功能正确性的前提下有效提高系统整体性能的目的.根据上述模型,首先提出了基于全局信息的快速拟合法,并证明了该算法的有效性;之后又根据实际网络情况提出了… …   相似文献
张伟  周航军  彭宇行  李思昆 《软件学报》2010,21(6):1208-1219
4043.
下载全文  总被引:2,自引:0,他引:2
提出了变形映射和变形源的概念,给出一种基于变形映射的二维工程图约束图有向化与求解新方法.同时,提出一种基于变形映射的约束图有向化新方法,并在约束图分解的基础上,给出了一个基于复合节点及虚拟约束的约束图变形求解新算法.应用此方法,可提高约束图有向化的可靠性、降低计算复杂度,且能方便… …   相似文献
金建国  谭建荣 《软件学报》2000,11(7):924-930
4044.
下载全文  总被引:6,自引:0,他引:6
从最优决策的角度出发,将人工智能中的再励学习方法引入主动队列管理的研究中,提出了一种基于再励学习的主动队列管理算法RLGD(reinforcement learning gradient-descent).RLGD以速率匹配和队列稳定为优化目标,根据网络状态自适应地调节更新步长,… …   相似文献
4045.
下载全文  总被引:11,自引:0,他引:11
用户需求和运行环境的变化增加了软件产品开发、维护和演化的难度.另一方面,如果能对同类软件(比如软件产品家族)的变化性实施有效的控制,则可以极大地促进软件复用,提高软件生产效率和质量.对变化性建模是控制变化性的有效手段,既有助于变化性的识别和规约,又能够提供足够的机制支持变化性的演… …   相似文献
4046.
  总被引:10,自引:0,他引:10
程序结构测试可以分为4个阶段:静态分析、路径选择、测试数据生成和动态分析.本文应用区间算术在测试数据生成阶段对约束集求解.由于正则约束式的引入,能够处理复杂的逻辑表达式组,找到一组解以供第4阶段动态分析使用.文中提出的算法具有非常大的灵活性,可以处理非线性约束,经改进后,它甚至可… …   相似文献
王志言  刘椿年 《软件学报》1998,9(6):438-443
4047.
下载全文  总被引:2,自引:0,他引:2
在提出一种适合ApsectJ程序分析的面向方面调用图的基础上,给出了一种AspectJ动态通知编织优化方法.该方法利用程序调用图求解调用栈,并对栈中节点进行类型推导,再将调用栈与切点匹配,根据匹配结果决定通知织入方式.实例研究结果表明,该方法精确度高,能够静态确定程序中大部分动态… …   相似文献
曹璟  徐宝文  周晓宇  钱巨  杨彬 《软件学报》2008,19(9):2218-2227
4048.
下载全文  总被引:2,自引:0,他引:2
由于服务是由彼此独立的提供商开发的,无法在开发阶段就预测到其潜在的所有交互可能,因此需要在实际协作时检查服务之间的兼容性,从而保障协作的正确性和一致性.提出了一种基于分布式协调模型的方法,以提高服务的可复用性和服务协作的灵活性.该方法通过失败等价(failure-equivale… …   相似文献
乔晓强  魏峻  黄涛 《软件学报》2009,20(6):1470-1486
4049.
针对组合测试用例生成问题的具体特点,结合组织进化思想及粒子群优化算法,设计了适合问题求解的编码方式及操作算子等,提出了一种基于组织进化粒子群优化的测试用例自动生成算法。该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足两两覆盖的测试用例集。仿真实验表明,该方法能有效地降… …   相似文献
4050.
下载全文  总被引:2,自引:0,他引:2
提出了一种新的大规模图形可视化技术.它可显示含有几万个接点和边的大规模关系图.为了完成对图形的抽象化。一个多层次的聚类图形从原始的大规模关系图中抽取了出来.这种抽取是建立在大规模关系图的内在结构基础上来完成的.一种递规封入式的几何划分算法被应用来完成对几何空间的优化,在具体的制图… …   相似文献
[首页] « 上一页 [400] [401] [402] [403] [404] 405 [406] [407] [408] [409] [410] 下一页 » 末  页»