全文获取类型
收费全文 | 58篇 |
免费 | 19篇 |
国内免费 | 5篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 2篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 1篇 |
2012年 | 5篇 |
2011年 | 4篇 |
2010年 | 2篇 |
2009年 | 5篇 |
2008年 | 4篇 |
2007年 | 1篇 |
2006年 | 6篇 |
2005年 | 5篇 |
2004年 | 7篇 |
2003年 | 6篇 |
2002年 | 2篇 |
2001年 | 3篇 |
2000年 | 3篇 |
1999年 | 1篇 |
1998年 | 3篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 4篇 |
1991年 | 2篇 |
1990年 | 1篇 |
排序方式: 共有82条查询结果,搜索用时 15 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
2.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
3.
研究了 S I E M E N S可编程控制器与具有通信功能的直流调速器之间的通信控制,通过对系统的硬件配置、控制方式、通信软件实现介绍,给出了应用 P L C进行直流调速器串行通信监控的方法。 相似文献
4.
黄展骥 《兵团教育学院学报》2001,11(3):30-33
20世纪50年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。2000年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。 相似文献
5.
6.
建立了一种增强性模糊推理方法,用来满足综合地震事件识别判据的需求。利用这种推理方法进行了地震事件模糊逻辑推理综合识别方法研究,给出了方法的框架。实例研究表明这种综合识别方法在核试验地震监测中有减少可疑事件数量的能力。 相似文献
7.
为了解决雷达系统面临的4大威胁,多站无源联合定位系统被广泛采用。航迹起始是多站无源联合定位系统对目标进行跟踪的首要问题。分析了多站无源联合定位系统的航迹起始问题的特点,在有源定位系统航迹起始的逻辑法基础上,利用辐射源参数构造多维相关波门进行关联判定,并采用基于最小二乘法的直线拟合方法对航迹作平滑处理,提出了一种针对多站无源联合定位系统的航迹起始方法。仿真实验结果表明了该算法的有效性。 相似文献
8.
针对火灾探测的特点和误报、漏报等问题,提出基于模糊逻辑论的数据融合算法,以提高火灾探测的准确性。运用单片机技术,设计了火灾探测系统的软硬件构成,并通过dsPIC与上位机的串行通信,实现了火情的距离监测。 相似文献
9.
10.
一种模糊自适应INS/GPS组合导航方法 总被引:6,自引:0,他引:6
提出了一种基于模糊逻辑的自适应卡尔曼滤波新算法,即基于滤波数据残差构造一种模糊算法,以自适应控制卡尔曼滤波器的增益系数。从而可以消除异常的测量数据带来的影响,使滤波器的残差始终保持零均值,且使估计误差的协方差阵收敛,最终实现最优估计。通过对INS/GPS组合导航系统的计算机仿真结果表明,该算法具有比常规卡尔曼滤波算法更高的导航精度。 相似文献