•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9001-9010项 搜索用时 105 毫秒
[首页] « 上一页 [896] [897] [898] [899] [900] 901 [902] [903] [904] [905] [906] 下一页 » 末  页»
9001.
图像超分辨率(SR)重建是利用数字信号处理技术由一系列低分辨率观测图像得到高分辨率图像。为了扩展SR技术的应用范围,提出了一种同时进行图像超分辨率重建和全局运动估计的方法。该方法首先基于最大后验概率(MAP)给出了图像SR重建和运动估计框架,该框架不仅考虑了前后两次迭代所得的HR… …   相似文献
9002.
下载全文  总被引:7,自引:1,他引:7
为了解决随着遥感技术的飞速发展而产生的海量遥感图象,以及在计算机显示时,操作不流畅的问题,结合当前计算机软件和硬件的技术对其原因进行了深入分析。并针对影响显示速度的图象漫游和缩小操作等关键问题提出了基于中间图象技术,栅格分块技术,高速缓存技术以及中间图象序列技术等解决手段。同时在… …   相似文献
9003.
下载全文  总被引:20,自引:0,他引:20
多数遗传算法在搜索解时没有充分利用其问题域的知识.提出了一类新的改进的适应度函数的遗传算法.它考虑了函数在搜索点的函数值及其变化率,并将该信息加入适应度函数,使得按概率选择的染色体不但具有较小的函数值(对极小化问题而言),而且具有较大的函数值变化率.实验结果表明,这类方法的收敛速… …   相似文献
何新贵  梁久祯 《软件学报》2001,12(7):981-986
9004.
下载全文  总被引:4,自引:0,他引:4
加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench… …   相似文献
丁一强 《软件学报》1999,10(10):1103-1107
9005.
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。  相似文献
9006.
在停车场的停车位检测系统中,要识别停车位是否空闲,就必须对检测系统获取的图像中的任何可能停靠在停车场中的汽车进行识别,但由于汽车种类、形状、大小等千变万化,因此通过识别图像中是否有汽车来判断停车位是否空闲是不现实的。由于可以先在每个停车位上画上一个实心黑三角形,然后通过识别图像中… …   相似文献
9007.
下载全文  总被引:8,自引:0,他引:8
本文提出了一种事件代数,它由一组基本事件和作用在事件上的运算组成.从而各种复杂事件都可用这种代数中的事件表达式表示.然后,本文在事件代数的基础上提出了主动知识库系统的概念,在这种系统中可以根据事件的发生主动触发执行各种功能,本文还讨论了主动知识库的用途、结构和实现技术等问题.… …   相似文献
何新贵 《软件学报》1994,5(9):23-29
9008.
下载全文  总被引:1,自引:0,他引:1
研究防火墙(或过滤路由器)应用于传输网络中的管理问题与吞吐量问题.一方面,手工配置分布在各个接入点的大量防火墙,无法满足开放的、动态的网络环境的安全管理需求;另一方面,大量过滤规则的顺序查找导致了防火墙吞吐量下降.针对一个典型的传输网络和它的安全政策需求,提出了一种基于政策的访问… …   相似文献
段海新  吴建平  李星 《软件学报》2001,12(12):1739-1747
9009.
  
针对现有Web访问序列模式挖掘算法和PrefixSpan算法存在的问题,提出一种基于投影位置的Web访问序列模式挖掘算法(PWSPM)。该算法通过序列模式分析,发现用户的行为模式,预测用户对网页的访问模式,进而改进站点的性能和组织结构,提高用户查找信息的质量和效率,以及对用户开展… …   相似文献
9010.
  
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联… …   相似文献
[首页] « 上一页 [896] [897] [898] [899] [900] 901 [902] [903] [904] [905] [906] 下一页 » 末  页»