首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   10篇
  国内免费   2篇
  20篇
  2017年   1篇
  2015年   2篇
  2013年   2篇
  2012年   3篇
  2010年   1篇
  2009年   1篇
  2005年   2篇
  2003年   1篇
  1999年   1篇
  1998年   2篇
  1995年   1篇
  1994年   2篇
  1990年   1篇
排序方式: 共有20条查询结果,搜索用时 4 毫秒
11.
瞄准线稳定精度是直升机载稳瞄系统的关键技术指标之一,它影响着系统的其他关键性指标如照射精度、跟踪精度、作用距离等。因此提高瞄准线稳定精度是设计和研制机载稳瞄系统至关重要的一项任务。论文分析和研究了影响瞄准线稳定精度的因素,并采用Simulink建立数学模型,对瞄准线稳定精度的影响因素进行仿真分析,得到各因素对稳定精度的影响趋势,为机载稳瞄系统的设计工作提供了理论基础。  相似文献   
12.
本文从信号处理设备对输入信号进行时域和频域数字信号处理的角度,论述了采用抗混滤波器进行抗混滤波的必要性.经论证提出了抗混滤波器的设计指标,进行了切比雪夫抗混滤波器的设计计算.最后对实现的抗混滤波器进行了性能测试,取得了满意结果.  相似文献   
13.
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。  相似文献   
14.
针对正交各向异性材料的二维非线性热传导反问题,采用顺序函数法进行表面热流辨识问题的研究。在求解反问题时,采用有限体积法、牛顿-拉夫逊法并引入未来时间步的概念。在每个时间步内,将待辨识热流视为非线性方程组的未知量,通过一个迭代过程进行求解。算例的研究表明,热流辨识结果与真实热流相近,从而证明了本方法在辨识二维非线性热传导反问题时是准确、稳定、有效的。  相似文献   
15.
按照CORBA标准,阐述了接口池在StarBus系统中的作用,介绍了StarBus系统中接口池的设计,说明了接口池的内容与结构,实现了StarBus系统中的接口池服务,为在StarBus系统中实现动态激活提供了保证。  相似文献   
16.
Specifying quality requirement is integral to any sourcing relationship, but vague and ambiguous specifications can often be observed in practice, especially when a buyer is in the initial stage of sourcing a new product. In this research, we study a supplier's production incentives under vague or exact quality specifications. We prove that a vague specification may in fact motivate the supplier to increase its quantity provision, resulting in a higher delivery quality. Vague quality specification can therefore be advantageous for a buyer to screen potential suppliers with an initial test order, and then rely on the received quality level to set more concrete quality guidelines. There is a degree, though, to which vague quality specification can be effective, as too much vagueness may decrease the supplier's quantity provision and hence the expected delivery quality. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013  相似文献   
17.
幼儿角色游戏中教师指导身份研究   总被引:3,自引:1,他引:3  
在幼儿园角色游戏活动的指导中,教师主要表现出三种身份:一为教育者身份,二为教育者与游戏者揉合的身份,三为游戏者身份。教师在观念上认可并向往游戏者身份,在行为上却彰显教育者身份而忽视游戏者身份。为了使教师在角色游戏中更好实现游戏者身份的指导,需要确立游戏者身份规范。  相似文献   
18.
不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。  相似文献   
19.
指挥控制的形式化描述与性质验证   总被引:2,自引:0,他引:2       下载免费PDF全文
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。  相似文献   
20.
提出了面向最大值指标的截尾正态分布精度换算方法,为最大值指标与常用精度指标间的精度换算以及真值测量系统精度指标的确定提供了参考依据。该方法假设系统输出序列中各观测点的合格概率服从对数截尾正态分布;根据给定最大值指标的置信水平及序列样本量,证明并推导了截尾正态分布之截尾上限、截尾下限、均值及标准偏差的计算公式,导出了最大值精度指标与1σ等常用精度指标间的换算关系;结合精密仪器有关理论给出了最大值指标下真值测量系统精度指标的确定方法。实例应用的实验结果表明,该方法是可行的。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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