•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9241-9260项 搜索用时 671 毫秒
[首页] « 上一页 [458] [459] [460] [461] [462] 463 [464] [465] [466] [467] [468] 下一页 » 末  页»
9241.
下载全文  总被引:1,自引:2,他引:1
本交通过实例介绍实现Java语言程序设计中的数据交换和通信技术的几种方法,并给出具体实现的关键部分程序代码。  相似文献
9242.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单.  相似文献
9243.
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.  相似文献
9244.
下载全文  总被引:1,自引:0,他引:1
介绍电子内窥镜图像传输系统的设计及实现,包括系统的硬件设计和软件功能实现.用PCI接口控制器实现PCI总线接口,用DMA方式将图像数据由PCI总线传送至主杌内存,操作员只要采用脚踏板开关发送采集信号并可以进行实时图像采集;采用数据库方式进行图像数据存储;报告采用填充式模板结构进行… …   相似文献
9245.
下载全文  总被引:1,自引:0,他引:1
Apache是Internet中最流行的Web服务器软件之一。世界上可能有超过半敏的网站采用Apache作为Web Sever.Apache提供了许多有特色的服务功能,虚拟主机就是主要功能之一。本文主要讨论Apacche的虚拟主机的配置及应用。  相似文献
9246.
  
远程证明是可信计算领域中亟待突破的重要问题。结合二进制证明和基于属性的证明,应用环签名思想提出了一种简单、高效的匿名远程证明协议。该协议不需要属性证书,也不需要AIK证书,它通过借助一个离线可信第三方,应用可信计算绑定和密封机制,采用基于双线性对的属性环签名,同时实现了平台的身份… …   相似文献
9247.
  
针对Android APK的静态描述,目前主要是采用权限、数据以及API调用序列的方法,而忽视了代码本身的层级结构,因此无法有效地通过这些静态特征来揭示应用程序的可能行为和恶意属性.设计并实现了一种基于代码层次结构的系统API调用描述方法,其主要是提取APK文件中API调用在应用… …   相似文献
魏松杰  杨铃 《计算机科学》2015,42(1):155-158,179
9248.
  总被引:1,自引:0,他引:1
利用信任机制的概念,对传统网格调度算法进行改进,提出了信任驱动的动态调度算法TD_OLB、TD_MCT和静态调度算法TD_max-min;同时,在相同的假定条件设置下对这些新算法进行了仿真分析和比较研究.仿真结果表明,基于信任机制的调度算法不仅优于传统的基于makespan的调度… …   相似文献
9249.
本文从分析中文域名系统实现需要的基本功能模块出发,将域名系统分为应用层、表示层和寻址定位层3层结构。并简单说明了应用层应具备哪些功能,重点讨论了起关键作用的表示层中的中文域名统一编码的Puny-code编码实现流程,分析了寻址定位层中基于IPv6地址下的中文域名正反向解析方法,从… …   相似文献
9250.
  
目前,关于窃密防范措施基本上只针对已知协议,为了保证网络的安全运行以及对攻击与危害行为的预警,迫切需要在当前结构复杂的网络环境下为决策者准确提供一种能高效地对未知协议进行识别的方法。为此,在整合已有的网络安全和数据挖掘技术的基础上,设计了基于数据报指纹关系的未知协议识别发现的解决… …   相似文献
9251.
  
社会化媒体提供了海量的、大尺度的异质网络数据,如何对网络数据进行分类是一个亟待解决的新问题。基于潜在社会维模型,提出利用流形学习中的拉普拉斯特征映射算法进行社会维抽取。实验表明,在精确匹配率、微平均、宏平均等性能指标上,均优于基于模块度最大化的原有社会维模型。该算法能更好地获取用… …   相似文献
9252.
介绍了JDBC架构,从实现者的角度详细介绍JDBC驱动程序的四种类型,最后以MySQL为例讲解驱动程序的设计与实现,对需要解决的关键性问题如静态结构、多线程安全、加载时注册等给出答案.  相似文献
9253.
  
网络QoS机制不足以提供完全的端到端的性能保证,在由三层结构构成的电子商务网站中,基于反馈控制理论,提出并实现了在应用服务器的数据库连接池中的绝对延迟保证,对数据库连接池作出了改进,确保带有高优先级请求的平均排队延迟不超过设定的阈值。通过系统辨识建立了数据库连接池的近似线性时不变… …   相似文献
9254.
  
为了提高分子动力学模拟在对称多处理(SMP)集群上的计算速度,在分子动力学并行方法中引入MPI+TBB的混合并行编程模型。基于该模型,在分子动力学软件LAMMPS中设计并实现混合并行算法,在节点间采用MPI及空间分解技术实施进程级并行,节点内采用TBB及临界区技术实施线程级并行。… …   相似文献
9255.
下载全文  总被引:2,自引:0,他引:2
面向对象的开发方法是一种很有前途的软件开发方法.它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护.然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象.本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和… …   相似文献
柳诚飞  居德华 《软件学报》1995,6(2):112-117
9256.
  
为了实现用户在工作流调度中对服务质量、智能化等的要求,提出了一种基于模糊理论的工作流调度模型。该模型通过对流程运行中上下文环境的模糊信息进行分析,提高了工作流实例调度的智能性。该模型已在基于工作流的MapGIS搭建平台中得到了应用,应用的结果说明了其可行性和有效性。  相似文献
9257.
  
中国社会正在逐渐进入老龄化,肢体残疾人群数也在不断增加,这逐渐加剧了我国康复专业人才的供需矛盾。为了缓解该矛盾,针对下肢运动功能完全或部分丧失的偏瘫及截瘫患者,设计了PRMI助行外骨骼机器人。该外骨骼系统对其穿戴者提供运动补偿以帮助其自然和有效地独立行走。介绍了PRMI助行外骨骼… …   相似文献
邱静  程洪  过浩星 《计算机科学》2015,42(10):31-34
9258.
  
群搜索优化算法(Group Search Optimizer,GSO)是一类基于发现者-加入者(Producer-Scrounger,PS)模型的新型群体随机搜索算法。尽管该算法在解决众多问题中表现优越,但其依然面临着早熟和易陷入局部最优的问题,为此,提出了一种基于一般反向学习策… …   相似文献
9259.
  
针对如何将IPv4环境下的包标记技术应用于IPv6的问题,结合已有的算法思想提出一种改进的算法,该算法采取固定概率将路由信息标记到扩展首部hop-by-hop,隧道模式下节点标记数据包时增加一个复制操作,扩大标记算法的适用范围;利用ESP的加密算法有选择地对标记消息进行加密。实验… …   相似文献
9260.
  
自然语言的主题转换是自然语言理解的一个重要线索.语言处理通常是针对不同的主题有不同的数据库和处理方法.因此,如何找到文本中的主题转换点是语言处理中的一个重要内容.该技术在语言理解、文本自动索引以及语言模型的建立等方面都有重要意义.该文以文本主题转换时的词汇突变为表征,提出和定义了… …   相似文献
陈浪舟  黄泰翼 《软件学报》1999,10(12):1246-1252
[首页] « 上一页 [458] [459] [460] [461] [462] 463 [464] [465] [466] [467] [468] 下一页 » 末  页»