•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7061-7080项 搜索用时 96 毫秒
[首页] « 上一页 [349] [350] [351] [352] [353] 354 [355] [356] [357] [358] [359] 下一页 » 末  页»
7061.
对象存储技术是对象管理系统OMS(object management system)的核心,已经研究了许多年.文章主要对ObjectCore——软件过程环境ISPE(integrated software process environment)中,对象管理系统的存储部分进行了讨… …   相似文献
郭江 《软件学报》1998,9(10):781-784
7062.
  
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全… …   相似文献
申宇铭  文习明  王驹 《计算机科学》2014,41(12):206-210,215
7063.
  
针对遗传算法中的早收敛现象,提出了一种实数自适应并行遗传算法(real adaptive parallel genetic algorithm,RAPGA)。该算法采用了一种并行遗传进化结构,并将自适应交叉、变异算子引入到本算法中,增强和保持了种群的多样性。最后,通过与其他经典优… …   相似文献
7064.
下载全文  总被引:1,自引:0,他引:1
隐式曲面没有参数域的概念,故对其裁剪问题的研究,很少有人问津.提出了一种隐式裁剪曲面的造型和绘制方法:先把投影平面变换到xy平面,将该xy平面作正交化网格剖分,由参数表示或隐式表示的裁剪曲线在该xy平面定义裁剪区域,再把裁剪后留下的区域内的网格投影到隐式曲面上,从而实现了隐式裁剪… …   相似文献
7065.
针对认知网络高度动态性带来的服务随机失效问题,提出了一种服务迁移方法以保障认知网络的 QoS.首先,采用先迁移、后优化的思想,重新生成关联服务有向无环图(directed acyclic graph,简称DAG),并在此基础上提出 DAG 动态重构算法,将关联服务转化为层次化 D… …   相似文献
林俊宇  王慧强  马春光  卢旭  吕宏武 《软件学报》2014,25(10):2373-2384
7066.
  
针对目前无线传感器网络分簇路由协议存在的节点能耗不均衡的问题,提出一种基于分簇思想的能量高效的多跳路由协议(EEMR)。该协议首先基于节点临近度将网络划分成簇,采用簇首自适应轮转模式优化簇内节点通信的能量消耗,以高剩余能量短路径向心角的适应度路由算法均衡簇间通信负载和能量消耗,有… …   相似文献
陈战胜  沈鸿 《计算机科学》2015,42(8):90-94, 117
7067.
下载全文  总被引:2,自引:0,他引:2
给出了上下文无关文法(context-free grammar,简称CFG)产生式集的一种划分方法,可将产 生式分为两类.使用一类产生式进行推导时,推导过程将无限进行下去;使用另一类进行推导 时,推导过程将迅速结束.证明了CFG句子生成过程一定是先使用一类产生式使生成的句型不 断变长、变复杂,再使用另一类产生式使句型变成句子.据此,提出了一种可控制的通用句子 生成方法.其生成一条句子的时间和空间复杂度是O(r+n),其中n是生成句子的长度或深度 限制… …   相似文献
王泓皓  董韫美 《软件学报》2000,11(8):1030-1034
7068.
  总被引:2,自引:1,他引:2
设计高可用分布式并行数据库系统,系统重构不能只局限于单节点状态变化,为此提出了基于数据动态冗余的分布式并行系统重构机制。该机制通过相关事件触发系统检测,及时分布采集节点状态信息,借助数据的再生和转移,在各节点并行完成负载失衡和节点状态变化下的系统自动重构。实际应用表明,该机制解决… …   相似文献
7069.
下载全文  总被引:1,自引:0,他引:1
电信软件往往庞大而复杂.应用一些分层、分离原则,可以在很大程度上降低系统设计的复杂度,构造出结构清晰、适应性强的软件产品.文章对此进行探讨,以期能够给软件开发者提供一些指导.  相似文献
王江哲  周莹新  艾波 《软件学报》1998,9(7):542-546
7070.
针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题。利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题。首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式… …   相似文献
姬靖  刘桂雄  郁文生 《软件学报》2014,25(11):2627-2635
7071.
目前非结构化的P2P网络系统中,一般以广播方式作为其搜索的基本策略,引发较大的网络流量。因此,提出改进的搜索策略,根据历史查询记录,为每个节点建立朋友节点,同时又在搜索过程中把节点划分为超级节点和普通节点。实验表明改进算法提高了搜索效率,同时减少了网络信息流量。  相似文献
7072.
  总被引:1,自引:1,他引:0
为了保护软件所有权,根据一般的反汇编算法的特征,提出代码重叠、跳转地址重定向和控制流混淆等几种代码混淆技术。这些技术能使反汇编结果出现混淆,误导攻击者对程序理解,从而提高软件防反汇编的能力,有效地阻止对软件的逆向分析,保护了软件的知识产权。  相似文献
尚涛  谷大武 《计算机应用研究》2009,26(12):4553-4557
7073.
以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例.  相似文献
张健 《软件学报》1998,9(8):598-600
7074.
Internet的发展要求能同时使用来自不同知识源的信息.本文定义了一个两层的多con-text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论,对应于一个数据库;第2层的context是个特殊的多类逻辑理论,可以声明第1层中各context间的各种联系,D… …   相似文献
7075.
  总被引:1,自引:0,他引:1
分析了微微网、通信链接、设备电力等级等因素对蓝牙自组织网性能的影响,提出一种新颖的蓝牙自组织网构建算法。仿真结果表明,该算法能优化微微网数目,降低桥单元设备负载,并能有效减少设备间冗余通信链接,从而提高了蓝牙自组织网的性能。  相似文献
7076.
  总被引:9,自引:1,他引:9
首先提出一个基于椭圆曲线密码体制的签密方案。该方案是数字签名和公钥加密的有机集成,除了具有认证性、保密性外,还具有计算量与通信量小等特点。在此基础上,构造了一个基于椭圆曲线密码体制的(t,n)门限签密方案。该方案具有数据传输安全、鲁棒性、通信代价更小、执行效率更高等特点。还给出两… …   相似文献
7077.
以三维电子地图作为应用背景,重点介绍如何利用改进的八叉树来设计并实现一个三维场景管理器,用来对整个场景进行有效地组织和管理。在此基础上通过Android系统平台的原生OpenGL ES图形库将场景进行重现。针对场景划分过程,提出了基于模型特征的场景划分方式。经过实验证实了该方法可… …   相似文献
7078.
提出一种基于数据库模式的数据库关键词检索结果展现方法S-CBR(schema-based classification,browsing and retrieving),包括结果分类、用户浏览和再次检索3个过程.S-CBR首先利用数据库模式和查询关键词自动产生第一级类别,将检索结… …   相似文献
彭朝晖  张俊  王珊 《软件学报》2008,19(2):323-337
7079.
  
针对多品种、小批量离散型制造企业生产车间零件种类多、可选加工工艺路线集合空间大等特点,从零件加工工艺路线角度出发,构建车间零件加工的物流成本和时间函数模型。利用遗传算法良好的收敛性、强全局寻优能力和径向基函数神经网络(RBFNN)较高的鲁棒性、数据分类能力强的优势,提出GA-RB… …   相似文献
7080.
下载全文  总被引:1,自引:0,他引:1
本文通过连锁超市管理系统网络系统设计,提出了连锁超市管理系统网络系统的设计策略,进而进行网络实例设计,给出了一整套网络配置方案,提出了一个可行的连锁超市管理系统广域网实施策略。  相似文献
[首页] « 上一页 [349] [350] [351] [352] [353] 354 [355] [356] [357] [358] [359] 下一页 » 末  页»