•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第5601-5620项 搜索用时 146 毫秒
[首页] « 上一页 [276] [277] [278] [279] [280] 281 [282] [283] [284] [285] [286] 下一页 » 末  页»
5601.
下载全文  总被引:14,自引:0,他引:14
针对嵌入式数据库系统的实时性和高可预见性,提出了基于功能替代的事务模型.该模型改善了实时事务对动态实时环境的应变能力.由于受功能替代性的影响,事务调度分为内部调度和外部调度,提高了系统的成功率.研究了实时事务的可调度性分析,并给出了相应的内部调度策略,最后作出模拟性能分析.… …   相似文献
刘云生  夏家莉  许贵平 《软件学报》2002,13(8):1692-1697
5602.
  总被引:3,自引:0,他引:3
本文提出了一种用知识与知识处理观点统一智能决策支持系统的方法,这种方法能使智能决策系统接口方便,构造简单。 目前,我们正在研制一个基于这种方法的智能决策支持系统NCIDSS,它有很多有别于其它智能决策支持系统的特点。  相似文献
5603.
下载全文  总被引:1,自引:0,他引:1
同时达到代数次数上界n-m-1和非线性度上界2n-1-2m+1nm阶弹性布尔函数(mn/2-2)具有3个Walsh谱值:0,±2m+2这样的函数被称为饱和最优函数(saturated best,简称SB).将利用(32,6)Reed-Muller码陪集重量的分布,从一种全新的构造角度出发,给出n=5的饱和最优函数的个数.… …   相似文献
谢敏  裴定一 《软件学报》2005,16(4):595-600
5604.
下载全文  总被引:10,自引:0,他引:10
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合,定义了更为一般的关联图(rela… …   相似文献
5605.
  总被引:3,自引:0,他引:3
给出了一个无双线性对的无证书两方密钥协商方案,并演示了这些不安全无证书方案存在的攻击.只要每方至少有1个未泄露的秘密值,该方案在最强的安全模型下就是安全的.即使密钥生成中心知道双方的临时私钥或显示双方的秘密值/替换公钥(但不能同时),但只要计算Diffie-Hellman假设成立… …   相似文献
刘文浩  许春香 《软件学报》2011,22(11):2843-2852
5606.
基于计算机的考试日渐推广,构建一种能灵活配置、适应性强、高效稳定而又具备二次开发能力的考试平台架构,是此类考试大规模推广应用必须解决的问题。插件式考试平台是一种松散耦合的开放型平台,以可更换的插件为基础,以统一的接口规范为标准,既满足题型的灵活配置要求,又能增强系统的稳定性和兼容… …   相似文献
5607.
容迟容断网络近年来得到了广泛的研究和应用.容迟容断网络中源节点和目的节点之间不存在持续稳定的端到端路径,因而传统网络的路由协议无法适用于容迟容断网络.为了完成容迟容断网络消息传输,采用基于存储-转发的路由机制.容迟容断网络路由协议性能受链路生存时间、节点缓存大小以及网络中节点移动… …   相似文献
田成平  慈林林  程宾  赵守俊 《软件学报》2013,24(S1):134-147
5608.
下载全文  总被引:2,自引:0,他引:2
提出一种恢复场景中所有物体的反射特性的方法.算法以一个全景图、场景的完整几何模型和光源信息为输入,结果是场景的一个完整反射模型.恢复是以逐步求精的方式进行的.先假定物体表面是漫反射面并生成一幅全景图,然后算法逐步迭代,比较绘制的全景图和原始全景图,如果有的物体的误差超过某个阈值,… …   相似文献
孙其民  吴恩华 《软件学报》2003,14(10):1796-1805
5609.
下载全文  总被引:2,自引:0,他引:2
受资源类型多样化、搜索复杂度的制约,现有的P2P文件共享系统中的搜索机制是基于文件名的关键字匹配,这种方法不能发现关键字与资源内容之间的深层关系,因此不能实现语义检索.针对这个问题,提出一种新的搜索方案,该方案建立在已有的搜索机制之上,利用用户的搜索行为和下载行为的规律自动发现关… …   相似文献
邱志欢  肖明忠  代亚非 《软件学报》2007,18(9):2216-2225
5610.
模型选择是支持向量学习的关键问题.已有模型选择方法采用嵌套的双层优化框架,内层执行支持向量学习,外层通过最小化泛化误差的估计进行模型选择.该框架过程复杂,计算效率低.简化传统的双层优化框架,提出一个支持向量学习的多参数同时调节方法,在同一优化过程中实现模型选择和学习器训练.首先,… …   相似文献
丁立中  贾磊  廖士中 《软件学报》2014,25(9):2149-2159
5611.
  
在大量CAD/CAM应用类问题中,不但需要描述实体的外形,也要求表达实体的内部信息.针对这个要求,本文提出了NURBS三参数实体造型方法和形体构筑技术.本文将此方法应用于模具CAD/CAM系统中,如有限元建模中的形体三维有限元网格生成及相应的应力分析、质量特性计算等问题.… …   相似文献
5612.
  
由于软件体系复杂度和数量不断增加使得测试用例的设计和选择越来越困难,为了能够在来自不同信息源的众多测试用例中选择有效的用例集,提出了一种基于粗糙集与证据理论的测试用例优化方法。粗糙集是一种处理不确定信息的有效方法,其本身不需要先验知识、有经典的约简算法等;D-S理论处理来自不同信… …   相似文献
5613.
  总被引:1,自引:1,他引:0
矢量场可视化用来帮助人们直观理解二维和三维矢量场。由于目前的矢量场可视化方法只能展示二维矢量场的方向而不能展示强度,并且对于三维矢量场可视化的效果不太令人满意,因此本文提出了用线积分卷积来实现二维平面矢量场可视化,以及三维空间矢量场可视化的方法。对于线积分卷积中的流线跟踪,利用扩… …   相似文献
5614.
下载全文  总被引:5,自引:0,他引:5
提花织物图像分割是提花图案设计的关键,曲线演化模型是一种流行的图像分割方法,但是该方法无法检测含噪环境下的图像特征.由于Mumford-Shah(MS)模型能够在噪声环境下对不连续边集进行检测,因此它比曲线演化模型更适于对含噪提花织物图像的分割.提出一种结合有限元法和拟牛顿法的M… …   相似文献
5615.
  
通过引入模拟退火算法来保证PSO的全局收敛性,在群体最优信息陷入停滞时引入位置逃逸机制保持前期搜索速度快的特性。仿真结果表明本算法不但具有好的全局收敛性,而且有好的收敛速度。  相似文献
5616.
下载全文  总被引:2,自引:0,他引:2
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.  相似文献
焦文品  史忠植 《软件学报》2001,12(8):1177-1182
5617.
  总被引:10,自引:0,他引:10
研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径.好的重用技术可以带来高可靠、高性能、高质量和高效率的软件新系统.重用是支持软件工程新范型的基本前提.本文介绍了一种支持基于重用的、开放的、不依赖于具体领域的可重用部件管理系统.  相似文献
王青  张为民  蔡建平 《软件学报》1997,8(5):391-396
5618.
用倍增技术在带有Wormhole路由技术的n×n二维网孔机器上提出了时间复杂度为O(log2n)的连通分量和传递闭包并行算法,并在此基础上提出了一个时间复杂度为O(log3n)的最小生成树并行算法.这些都改进了Store-and-Forward路由技术下的时间复杂度下界O(n).同其他运行在非总线连接分布式存储并行计算机上的算法相比,此连通分量和传递闭包算法的时间复杂度是最优的.… …   相似文献
5619.
使用AVR系列的高档八位单片机作为主控芯片控制多路舵机,并用USB接口作为机器人控制器和上位机通讯的接口,从而设计出一款通用的机器人控制器。控制器下位机软件程序引入了分时操作系统的思想,并利用AVR单片机内部16位定时器及i/o端口产生多路PWM输出。本设计尤其适用于教学机器人和… …   相似文献
5620.
下载全文  总被引:3,自引:0,他引:3
类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来,形成一个五元组模型,然后分析该模型的各个要素,并依据该模型对类BAN逻辑的缺陷进行分类,最后指出进… …   相似文献
许剑卓  戴英侠  左英男 《软件学报》2000,11(12):1660-1665
[首页] « 上一页 [276] [277] [278] [279] [280] 281 [282] [283] [284] [285] [286] 下一页 » 末  页»