首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   99篇
  免费   22篇
  121篇
  2024年   4篇
  2023年   2篇
  2022年   1篇
  2021年   2篇
  2020年   5篇
  2019年   8篇
  2018年   3篇
  2017年   5篇
  2016年   5篇
  2015年   3篇
  2014年   5篇
  2013年   20篇
  2012年   11篇
  2011年   6篇
  2010年   4篇
  2009年   9篇
  2008年   6篇
  2007年   3篇
  2006年   2篇
  2005年   2篇
  2004年   4篇
  2003年   3篇
  2001年   1篇
  1999年   1篇
  1998年   3篇
  1996年   1篇
  1994年   1篇
  1992年   1篇
排序方式: 共有121条查询结果,搜索用时 0 毫秒
91.
    
ABSTRACT

Researchers have recently proposed a new approach to nuclear-arms-control verification, dubbed “deferred verification.” The concept forgoes inspections at sensitive nuclear sites and of nuclear weapons or components in classified form. To implement this concept, a state first divides its nuclear program into a closed segment and an open segment. The total fissile-material inventory in the closed segment, which includes the weapon complex, is known and declared with very high accuracy. Essentially no inspections take place in the closed segment. In contrast, inspectors have access to the open segment, which includes in particular the civilian nuclear sector. The fissile-material inventory in the open segment is known with less accuracy, but uncertainties can be reduced over time using nuclear-archaeology methods. Deferred verification relies primarily on established safeguards techniques and avoids many unresolved verification challenges, such as the need for information barriers for warhead confirmation measurements. At the same time, deferred verification faces some unique challenges. Here, we explore some of these challenges and offer possible solutions; to do so, we examine possible noncompliance strategies in which a state would seek to withhold a higher-than-declared inventory.  相似文献   
92.
    
ABSTRACT

For the first time in a generation, the US Navy finds itself in an era of great power competition. As US naval strategists and defense planners begin to organise materially and conceptually to confront the strategic and operational-level challenges posed by China and Russia, what should they keep in mind? What should frame their thinking? Absorbed with the day-to-day tasks associated with managing how the fleet is being built, operated, and rationalised, these busy officers and civilians seldom can step back and gain some perspective on fundamental aspects of the security environment and relate those to naval purpose. To that end, this article provides a primer on what to keep in mind and how to think in an era of maritime great power competition.  相似文献   
93.
以某泵压式液体火箭发动机为研究对象,用试车数据对发动机静特性数学模型进行了验证,在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围,又考虑了发动机参数实测量的误差范围,并且使用了随机仿真的方法。验证结果表明,发动机静特性的非线性数学模型是足够准确的,所用的计算方法是合理的。  相似文献   
94.
通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...  相似文献   
95.
序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.  相似文献   
96.
在填写"建立计量标准技术报告"时,要求报告中所涉及的内容要准确、可靠,对所测的数据及实验结果要实事求是。其重要目的是应根据分析结果直接判断计量标准是否符合国家检定系统表和国家计量检定规程的要求,做出计量标准是否可以开展所申请项目的检定校准工作的结论。就不确定度的评定做了详尽的分析,并给出了相应的算法。  相似文献   
97.
A UK House of Commons Defence Committee (HCDC) Report on the Gulf War recommended that the UK should be self‐sufficient in supporting its Armed Forces in times of crisis and not even rely on its Allies. This recommendation is at odds with UK Government policy which rejects any formal strategy of support for the defence industrial base preferring international open competition as its procurement philosophy. This paper examines the various factors ranging from the supply of raw materials, production capacity, stockpiling, international joint ventures, and competition through to the effects on the technological update of weapon systems resulting from this philosophy. It draws conclusions supporting the HCDC recommendation and calls for joint MOD‐Industry action to address the issues involved and thereby reduce the risks to the Defence of the Realm.  相似文献   
98.
多模板指纹的特征拼接   总被引:3,自引:0,他引:3       下载免费PDF全文
许多自动指纹识别系统在注册阶段对于每个用户存储同一手指的多个模板指纹,在认证阶段将输入的指纹和存储在模板库中的相应手指的多个模板指纹进行比对。提出了将多个模板指纹的特征进行拼接的方法,将多个模板指纹拼接成一个模板指纹。这样,在认证阶段可以减少和输入指纹进行比对的模板个数,加快了比对速度。同时,拼接而成的模板指纹比单个模板指纹的特征丰富,有利于提高识别的正确率。实验测试表明,方法能够提高系统的识别性能。  相似文献   
99.
指挥控制的形式化描述与性质验证   总被引:2,自引:0,他引:2       下载免费PDF全文
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。  相似文献   
100.
通过各类球赛对大学生球迷竞争意识的积极影响研究与分析,球赛对不同大学生球迷的影响具差异性。大学生球迷对竞争意识认识不足,争取优胜的信念还有待提高,对外界事物的判断、认识不够准确,参与社会活动内容贫乏,形式单一,选择性少。随着年龄和学龄的增长,在生活与实践中的竞争意识得到进一步强化。球赛本身激烈性和内容丰富性的特点,可以有效地激发和培养大学生球迷的竞争意识,同时也强化了大学生球迷的竞争意识。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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