全文获取类型
收费全文 | 175篇 |
免费 | 25篇 |
国内免费 | 11篇 |
出版年
2024年 | 4篇 |
2023年 | 14篇 |
2022年 | 3篇 |
2021年 | 3篇 |
2020年 | 4篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 4篇 |
2014年 | 14篇 |
2013年 | 8篇 |
2012年 | 10篇 |
2011年 | 10篇 |
2010年 | 8篇 |
2009年 | 12篇 |
2008年 | 12篇 |
2007年 | 14篇 |
2006年 | 9篇 |
2005年 | 9篇 |
2004年 | 6篇 |
2003年 | 8篇 |
2002年 | 7篇 |
2001年 | 6篇 |
2000年 | 6篇 |
1999年 | 6篇 |
1998年 | 8篇 |
1997年 | 4篇 |
1996年 | 3篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1989年 | 3篇 |
1988年 | 1篇 |
排序方式: 共有211条查询结果,搜索用时 46 毫秒
11.
王燕群 《军队政工理论研究》2014,(2)
一个政党只有按照政党发展规律加强建设,才能实现自身奋斗目标。中国共产党顺应时代要求,坚持执政为民,在政治生活中按照执政党建设的规律逻辑推进党的各项工作,实现党的建设科学化,增强党在新的历史条件下的创造力凝聚力战斗力。 相似文献
12.
许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。 相似文献
13.
14.
为了解决雷达系统面临的4大威胁,多站无源联合定位系统被广泛采用。航迹起始是多站无源联合定位系统对目标进行跟踪的首要问题。分析了多站无源联合定位系统的航迹起始问题的特点,在有源定位系统航迹起始的逻辑法基础上,利用辐射源参数构造多维相关波门进行关联判定,并采用基于最小二乘法的直线拟合方法对航迹作平滑处理,提出了一种针对多站无源联合定位系统的航迹起始方法。仿真实验结果表明了该算法的有效性。 相似文献
15.
一种基于当前统计模型的模糊交互多模型算法 总被引:4,自引:0,他引:4
研究了模糊交互多模型算法(FIMM)和基于当前统计模型(CS)的自适应滤波算法,提出了一种基于当前统计模型的模糊交互多模型算法(CSFIMM)。该算法克服了模糊交互多模型算法精度较低和当前统计模型自适应滤波器方差调整有限的缺点。通过仿真,对所提出的算法和交互多模型(IMM)算法以及FIMM算法在估计精度和计算量两个方面进行了比较。 相似文献
16.
一种运用遗传算法确定船舶航向控制模糊规则的方法 总被引:6,自引:1,他引:5
为了克服船舶航向控制模糊规则确定过程中的盲目性,引入一种与之相适应的遗传算法,以使结果成为某种意义下的最优解,从而从根本上解决这一重要问题.文中运用Matlab的C语言MEX-文件技术,将遗传算法源代码与Matlab直接结合起来,利用后者的强大建模能力,建立起完整的仿真模型.仿真结果表明,船舶的航向控制能力得到明显改善. 相似文献
17.
18.
19.
谢广英 《中国人民武装警察部队学院学报》2008,24(7):38-40
仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境?出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。 相似文献
20.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性. 相似文献