•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7021-7040项 搜索用时 112 毫秒
[首页] « 上一页 [347] [348] [349] [350] [351] 352 [353] [354] [355] [356] [357] 下一页 » 末  页»
7021.
针对已有的一些完整性度量方法在度量主动性、灵活性和运行效率等方面的不足,提出了基于策略嵌入和可信计算的完整性主动动态度量架构(PEDIAMA)。将度量策略嵌入到度量目标内部,因此不需要专门的内存空间来集中维护所有的策略,节省了策略的查询和维护成本,提高了运行效率。由于策略方便存取… …   相似文献
7022.
针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题。利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题。首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式… …   相似文献
姬靖  刘桂雄  郁文生 《软件学报》2014,25(11):2627-2635
7023.
  
以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例.  相似文献
张健 《软件学报》1998,9(8):598-600
7024.
  
在室外环境中,可见光相机可以获取场景中丰富的纹理细节和光谱信息,但受光照变化的影响很大;而热红外相机对光照变化不敏感,但热红外成像对比度低、颜色信息缺失。为了充分利用两者的互补信息,实现运动目标的精确检测,同时提高检测的鲁棒性,提出了一种应用RGBT混合高斯模型的目标检测方法。该… …   相似文献
张笙  严云洋  李郁峰 《计算机科学》2015,42(8):86-89, 127
7025.
本文提出一种基于任务图的并行程序设计方法.首先分析欲解的问题,产生数据流程图,并以此设计出表示并行算法的任务图,然后根据任务图选择合适的系统拓扑结构,最后完成并行程序的设计.该方法思路清晰,富有条理,产生的并行程序质量较高.  相似文献
张德富  吴巧泉 《软件学报》1995,6(6):379-384
7026.
下载全文  总被引:2,自引:0,他引:2
光线投射是一种高质量的体绘制方法.它以图像空间为序,逐根光线遍历和采样体数据.因此,传统上,它只能在CPU上实现,因而速度慢,交互性不好.提出了一个新的视点相关的层次采样VDLS (view dependent layer sampling)结构,VDLS将光线上的所有采样点重新… …   相似文献
陈为  彭群生  鲍虎军 《软件学报》2006,17(3):587-601
7027.
下载全文  总被引:10,自引:1,他引:9
首先提出一个基于椭圆曲线密码体制的签密方案。该方案是数字签名和公钥加密的有机集成,除了具有认证性、保密性外,还具有计算量与通信量小等特点。在此基础上,构造了一个基于椭圆曲线密码体制的(t,n)门限签密方案。该方案具有数据传输安全、鲁棒性、通信代价更小、执行效率更高等特点。还给出两… …   相似文献
7028.
下载全文  总被引:10,自引:2,他引:10
该文通过引入假设信念,解释愿望和意图在Agent思维状态的认知方面的含义,进而定义愿望和意图,并引入规划,建立理性Agent的动态BDI模型.与Cohen和Levesque,Rao和Georgeff,Konolige和Pollack等人的工作相比,克服了对信念、愿望和意图的反直观… …   相似文献
康小强  石纯一 《软件学报》1999,10(12):1268-1274
7029.
下载全文  总被引:3,自引:0,他引:3
高效地选取可见面,对于复杂场景的快速绘制是非常重要的.提出一种可见面的选择方法,能将基于图像空间或基于物体空间的可见面选择进行高效的结合,实现可见面的快速高精度的选取.首先,它对场景中的面片进行基于法向的分类,并根据面片的空间位置,为每一类面片分别建立一种层次形式的索引结构进行管… …   相似文献
魏峰  王文成  吴恩华 《软件学报》2006,17(10):2199-2210
7030.
下载全文  总被引:1,自引:0,他引:1
随着算机CPU处理能力不断快速增强、网络带宽不断扩充,使得软件视频会议系统发展迅速,以其灵活性和经济型获得了广泛应用.安徽省气象部门根据现状和需求,在原有的视频会议系统的基础上,采用了业界成熟的V2软件视频会议系统.本文介绍了V2软件视频会议系统建设方案和工作模式,并简单介绍该系… …   相似文献
7031.
组态王作为一款优秀的工控组态软件,集成了很多开发过程中常用的、通用的功能,然而对于一些工程中特定的、特殊的需求,或是包含复杂算法,只依靠组态王自身很难实现。给出了应用动态数据交换(DDE)技术实现组态王与其它Windows 软件交互的解决方案,扩充了组态王的功能,弥补了组态王在处… …   相似文献
7032.
针对CloSpan算法分两个阶段挖掘闭合序列模式中第一阶段需要保持候选序列且未充分利用项的位置信息、存在对数据库重复扫描和计算大小的不足,提出了posCloSpan算法。算法通过对二级索引结构进行检索实现向前剪枝,避免数据库重复扫描以及对超序索引表、子序索引表的检测,实现非闭合序… …   相似文献
7033.
下载全文  总被引:9,自引:0,他引:9
重点研究将数据挖掘中的分类技术与数据库技术紧密结合的高效的可扩展的分类算法.提出一种基于分组记数技术构造分类器的方法,利用数据库系统的结构化查询语言来实现主要计算任务.为了提高算法的执行效率,还提出了优化策略和冗余规则的剪裁策略,并将分类规则的发现过程与相关属性的选择方法有机地结… …   相似文献
刘红岩  陆宏钧  陈剑 《软件学报》2002,13(6):1075-1081
7034.
  
实现了一款嵌入式语音通信终端。该终端硬件系统采用飞凌嵌入式开发板OK6410,其核心板采用以ARM11为内核的处理器S3C6410。该终端软件部分基于嵌入式WINCE操作系统,实现了基于SIP协议的LINPHONE代码的移植和分析。首先,分析了所涉及语音通信终端的硬件和软件架构;… …   相似文献
7035.
  
对象存储技术是对象管理系统OMS(object management system)的核心,已经研究了许多年.文章主要对ObjectCore——软件过程环境ISPE(integrated software process environment)中,对象管理系统的存储部分进行了讨… …   相似文献
郭江 《软件学报》1998,9(10):781-784
7036.
下载全文  总被引:5,自引:0,他引:5
提出了一种基于散乱分布的数据点重构三维曲面的有限元方法.根据最佳逼近与数据光顺理论建立正定的目标泛函,采用有限元最佳拟合使泛函极小化,求得最优解.通过八节点等参数有限元插值计算,重新构造出三维曲面.这种光顺-有限元方法有效地抑制了输入数据上误差噪声的影响,与有限元拟合方法相比,所… …   相似文献
蔡中义  李明哲 《软件学报》2003,14(4):838-844
7037.
  
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全… …   相似文献
申宇铭  文习明  王驹 《计算机科学》2014,41(12):206-210,215
7038.
下载全文  总被引:1,自引:0,他引:1
分析了微微网、通信链接、设备电力等级等因素对蓝牙自组织网性能的影响,提出一种新颖的蓝牙自组织网构建算法。仿真结果表明,该算法能优化微微网数目,降低桥单元设备负载,并能有效减少设备间冗余通信链接,从而提高了蓝牙自组织网的性能。  相似文献
7039.
下载全文  总被引:1,自引:0,他引:1
文章介绍了一种基于随机Petri网、在软件体系结构设计阶段对构件化软件进行可靠性早期分析的方法.该方法建立起的模型可以很好的描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为分析系统运行一定时间后的可靠性情况提供了有利的手段.  相似文献
7040.
  
针对目前无线传感器网络分簇路由协议存在的节点能耗不均衡的问题,提出一种基于分簇思想的能量高效的多跳路由协议(EEMR)。该协议首先基于节点临近度将网络划分成簇,采用簇首自适应轮转模式优化簇内节点通信的能量消耗,以高剩余能量短路径向心角的适应度路由算法均衡簇间通信负载和能量消耗,有… …   相似文献
陈战胜  沈鸿 《计算机科学》2015,42(8):90-94, 117
[首页] « 上一页 [347] [348] [349] [350] [351] 352 [353] [354] [355] [356] [357] 下一页 » 末  页»