•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8161-8170项 搜索用时 85 毫秒
[首页] « 上一页 [812] [813] [814] [815] [816] 817 [818] [819] [820] [821] [822] 下一页 » 末  页»
8161.
下载全文  总被引:1,自引:0,他引:1
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持… …   相似文献
吕建  杨大军  廖宇  唐宝 《软件学报》2002,13(1):71-79
8162.
  
为了更有效地去除红外图像中的噪声,提出一种基于总体最小二乘法(TLS)估计的遗传小波红外图像去噪方法.该方法以TLS小波去噪后图像作为父本并以维纳滤波处理后的图像作为母本来进行选择、交叉和变异,通过提取TLS小波去噪和维纳滤波在图像去噪中的优势基因,获得最优子代并解码还原成图像.… …   相似文献
8163.
  总被引:3,自引:0,他引:3
集合覆盖问题是运筹学研究中的一个基本的组合优化问题,它通常描述成如下的一个覆盖问题:从一个m行、n列的0-1矩阵(aij)m×n中选出若干列盖住所有的行,使得付出的代价最小.集合覆盖问题被广泛应用到航空人员行程安排、电路设计、运输的车辆路线安排等领域.对这一问题,国内外学者提出了… …   相似文献
8164.
下载全文  总被引:19,自引:3,他引:19
提出一种便于异构数据源集成的公共数据模型——OIM对象模型.它基于带根连通有向图,图中可出现环路,因而能自然地描述复杂对象与其成员对象间的引用关系和WWW上HTML文件间的链接关系.它的每个对象含有描述符,特别适合于描述那些没有显式模式或模式无法预知的数据对象.OIM对象代数提供… …   相似文献
王宁  徐宏炳  王能斌 《软件学报》1998,9(12):894-898
8165.
  总被引:21,自引:3,他引:21
知识发现是一个众多学科诸如人工智能、机器学习、模式识别、统计学、数据库和知识库数据可视化等相互交叉、融合所形成的一个新兴的且具有广阔应用前景的领域。目前国际上对识发现的研究  相似文献
8166.
  
随着云计算下数据外包的流行,可搜索加密的重要性日益凸显.针对Yang等提出的多用户关键词合取搜索方案中,用户必须给全所有关键词值这一局限,设计了一个改进方案.随后,详细分析了新方案的正确性、安全性及运行效率.分析表明,新方案在维持原方案安全性的基础上,实现了用户仅需提交部分关键词… …   相似文献
伍琦  万常选 《计算机科学》2013,40(9):147-151,173
8167.
  
总体布局完成之后的核心任务就是单元位置的合法化,即在将所有的单元安放到布局区并且与合理位置(site)对齐的同时,消除单元间的重叠.为了高效地实现大规模ASIC(Application Specific Integrated Circuit,专用集成电路)的布局过程,提出一种基于… …   相似文献
8168.
  总被引:4,自引:0,他引:4
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法.  相似文献
房鼎益 《软件学报》1998,9(4):296-300
8169.
  
HIV的传播是个体的行为、疾病的干预措施和个体之间的社会网络协同演化的结果。提出了基于agent的动态加权二部无标度网络方法的异性HIV传播和干预仿真模型。二部网络中的女性人群根据高危行为不同分为普通人群和女性性工作者(Female Sex Workers,FSW),男性人群根据… …   相似文献
8170.
中心化的机构知识库构建策略难以满足用户多样化和个性化的知识应用需求.提出基于非中心化策略构建机构知识库.设计了其系统结构和工作过程,并对其关键技术问题作了概要阐述.重点围绕KM@web2.0系统介绍了解决这些关键问题的实现方案.  相似文献
[首页] « 上一页 [812] [813] [814] [815] [816] 817 [818] [819] [820] [821] [822] 下一页 » 末  页»