首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   35篇
  国内免费   2篇
  完全免费   3篇
  自动化技术   40篇
  2018年   2篇
  2015年   2篇
  2014年   3篇
  2013年   2篇
  2012年   4篇
  2011年   2篇
  2010年   1篇
  2009年   2篇
  2008年   2篇
  2007年   1篇
  2006年   6篇
  2005年   4篇
  2004年   1篇
  2002年   2篇
  2001年   2篇
  1996年   1篇
  1995年   2篇
  1990年   1篇
排序方式: 共有40条查询结果,搜索用时 109 毫秒
1.
一种基于跳表的DDM相交区域快速查询算法   总被引:3,自引:0,他引:3  
HLA是为提高仿真系统的互操作性和可重用性而提出的新型分布仿真标准。HLA中数据分发管理服务的目的是通过邦员对数据公布和订购区域的表达来过滤一个邦员所接收到的数据,同时减少对网络带宽的消耗。DDM的核心是多维矩形区域动态相交查找的问题,其算法性能的好坏对DDM的效率是至关重要的。现有的一些动态区域查找算法还不能同时满足高效、精确且易于实现等要求,为此设计出一种基于跳表数据结构的用于快速相交区域查找的区问跳表,同时分析了区间跳表的构造原则以及基本操作的流程,并在此基础上提出了基于区间跳表的相交区域查找算法。该算法的匹配精度高,时间复杂度低,且具有编程实现简单的特点。  相似文献
2.
不同视点重叠图象拼接方法研究   总被引:2,自引:0,他引:2  
不同视点重叠图象的拼接算法大都需要估计相机参数和每个像素的深度等。要求有较多的源图象,由于海上实景拍摄难度大,因此符合要求的源图象十分有限,这些现有的算法对于生成生成船舶操纵模拟器中的视景并不适用,根据船舶操纵模拟器对视景的要求和背景实景图象拍摄的具体要求,依据三维成像几何理论,建立了相邻重叠图象的成像几何模型,在此基础上经数学推算得出,仅当重叠区域中的两物点位于同一景深面上或位于两视点垂直平分面上时,在左右像面上两相应像点间的距离才不产生变化,由此提出在一定条件下的不同视点重叠图象的基于视点垂直平分面最深景物线和基于同深景物面平行景物线对的匹配算法和图象拼接的平滑算法,实验结果表明,该算法的拼接效果较好,可推广到对背景几何精度要求不高的中远距离不同视点重叠图象的拼接应用中。  相似文献
3.
不同逻辑间翻译的逻辑性质   总被引:2,自引:0,他引:2  
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.  相似文献
4.
基于窗函数设计的FIR滤波器在车辆动态试验中的应用   总被引:1,自引:0,他引:1  
本文对基于窗函数设计方法的FIR滤波器进行了特性分析,并采用Hamming窗函数设计了FIR滤波器,在兼顾实时性要求的基础上,用VisualC 编制了计算程序,应用在车辆换档试验的数据采集系统中,效果良好。  相似文献
5.
便携式生物毒性快速检测仪的设计研究   总被引:1,自引:0,他引:1  
用于检测生物毒性的一种新型的快速检测仪,适合各种有毒化合物如废水、沥青液、化工原料、土壤、海洋中受污染区域的生物毒性的测定.重点阐述了基于发光细菌检测法的仪器设计原理及其关键技术.光电倍增管作为光电检测器,测定加入发光细菌样品的发光强度;光路补偿器校正有颜色、含悬浮物样品对发光细菌发光强度的干扰.实现了生物毒性的快速、准确的测量.  相似文献
6.
移动互联网在线视频播放优化研究与实现   总被引:1,自引:0,他引:1  
该文针对无线网络特性,研究分析手机视频的特点及影响手机在线视频播放质量的关键参数,提出一套提高移动互联网在线视频播放质量的优化方案.  相似文献
7.
逻辑之间的语义忠实语义满翻译   总被引:1,自引:0,他引:1       下载免费PDF全文
申宇铭  马越  曹存根  眭跃飞  王驹 《软件学报》2013,24(7):1626-1637
翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.  相似文献
8.
活动说明这实际上是一个课题选择的过程。课题应由学生自主讨论、自主选择,但教师要做到三点提示:第一,研究内容应来自生活,贴近生活;第二,研究课题应该在人力、物力、财力、时间,尤其是学生的能力方面具有可行性;第三,研究课题应该有实用价值、有社会意义,这样有助于培养学生的社会责任感。教师应在课题开始研究之前就要求同学做出细致的研究计划。研究的方法要明确,研究的过程要清晰、合理,这样才能在研究中少走“弯路”。分工与合作是研究性学习的有效形式。它不仅有助于研究的开展,而且有助于学生特长的发挥,更有助于培养学生的协作精神…  相似文献
9.
为使学生的学习方式发生根本性变革,保证学生自主性、探索性的学习落到实处,北京一六一中学从2000年11月起,就开设了研究性学习课程,成为北京地区研究性学习的先行者。现在,学校已建立了研究性学习的人员组织体系、研究性学习的活动框架、研究性学习的管理与评价机制,并逐步形成了具有一定特色的研究性学习模式。一、研究性学习课程的框架体系我校的研究性学习课程由4部分构成,即:研究性学习之科学方法、研究性学习之课题研究、研究性学习之选学课程和研究性学习之社区服务。研究性学习课程采用学分制进行管理,具体内容见下面的“研究性学习…  相似文献
10.
互联网时代,当每个人平等得到所有信息的时候,创新就成了最主要的事情.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号