排序方式: 共有73条查询结果,搜索用时 15 毫秒
1.
PV查斯坦福机构开发的强大的规约。验证系统,它的适用领域广泛,在概要介绍PVS的构成。功能后,着重分析了PVS的规约语言,验证系统的特点,以及使得PVS灵活,强大的设计决策和内在机制。 相似文献
2.
图像匹配(Image registration)是将不同时间、不同成像设备在不同条件下(气候、光照、方位等)获取的两幅或多幅图像进行匹配的过程。图像匹配是图像分析和处理的基本问题,在计算机视觉、模式识别、医学图像处理、遥感融合、影像分析等领域都有重要应用。采用最广泛的是基于特征点的图像匹配算法,其中用得最多的是采用SIFT(scale invariant feature transform)算子来描述一幅图像的特征,进而采用RANSAC算法来剔除误匹配点。然而传统RANSAC算法在图像不同尺度上去掉误匹配点的精度不高。因此,本文提出一种改进RANSAC算法的图像匹配算法,可以大大提高特征点的寻找和匹配精度,得到较好的匹配结果。 相似文献
3.
4.
由于德国的可再生能源发电占比很高,2015年3月20日发生的日偏食使德国光伏出力在短时间内大幅度波动,对德国的电力平衡、电网安全造成了威胁,也影响了电力交易。但最终德国没有发生任何电力短缺或停电,并且电网频率波动甚至比平常还要小。通过分析日食当日与非日食日的电力数据,以及电网公司采取的措施,探讨了光伏大规模接入电网后遇到极端自然现象时的经验与预防措施。结果表明,电网的合理规划设计、适当的虚拟电厂以及需求侧管理技术和调度部门的协作对于维持供电安全有着重要意义。 相似文献
5.
集群通信系统的应用及其发展 总被引:3,自引:0,他引:3
集群无线通信系统是特殊移动无线电系统或专用移动无线电系统中的一种,它主要为户外作业的移动用户提供生产调度和指挥控制等通信业务。由于系统具有易于使用、建立通话陕速及保密性好等优点,在铁路运输、船舶通信、港口导航、航空业务、气象预报、森林、矿区怍业、公安、电力、石油、灾难救助等众多专用指挥调度通信领域得到广泛的应用。同时,许多国家的政府还为集群通信系统运营开放执照申请,将其作为公共接入移动无线电系统,除运营本身使用外还可为公众提供服务。 相似文献
6.
跨国移动通信公司——和记电讯开始在全球五个国家推出了品牌为“3”的3G业务,除了开发新的业务外,它在吸取其它移动通信公司经验的基础上,制订了不同的资费套餐来发展用户,本简单介绍了和记电讯的3G业务的开展情况,并根据它在各国制订的资费套餐,分析了其价格政策。 相似文献
7.
目前大部分无参考型的图像质量评价方法都是基于图像的几何特征进行描述的,但是这种方法对于图像的边界要求较为严格,并且在实际应用中的图像的失真类型是未知的。针对这一缺点,提出一种基于梯度相关性分解的无参考图像质量评价(DGS)方法,该方法提取图像的梯度,对其进行奇异值分解作为图像的主要结构信息,以此对图像的质量进行评价。实验结果表明,DGS模型比通用的简单有效的峰值信噪比(或均方误差)模型更符合人眼视觉系统特性,能在无参考的情况下更好地评价图像质量,并与图像的主观评价值达到更准确的一致性。 相似文献
8.
铁路客站照明节能设计的研究 总被引:3,自引:0,他引:3
铁路客站照明设计应将节能放在重要位置.通过合理确定照度标准和LPD值,选择节能光源和灯具,充分利用天然采光,运用智能照明控制系统.达到照明设计的节能与功能性、美观性的统一。 相似文献
9.
本文通过足尺钢结构框架外挂陶板幕墙模型的震动台试验,研究了陶板幕墙的抗震性能。试验分别输入Elcentro地震波、人工波及唐山地震天津记录波。试验结果表明,所测试的陶板幕墙体系抗震性能良好,符合抗震设计要求。 相似文献
10.
以相关部门和机构发布的科普政策文件为研究对象,对各项政策文本中科技工作者从事科普工作的有关规定进行调研和梳理,抽取核心关键词绘制政策内容的知识网络图谱,分析和揭示我国科技工作者科普政策的现状与构成要素.研究结果显示,科技工作者科普工作的政策要素可从科普前置阶段、科普过程阶段、科普后续阶段三个流程,以及外部环境与自身行动两个维度,归纳概括为项目要求、激励机制、组织动员、能力培训、机构支持、经费保障等17项构成要素,同时从顶层设计、合作机制、角色定位、内容体系、传播模式等方面对未来科普政策规划和修订完善提出展望和建议. 相似文献