排序方式: 共有20条查询结果,搜索用时 4 毫秒
11.
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.
Yimin Wang 《海军后勤学研究》2013,60(3):222-236
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
方建华 《兵团教育学院学报》2012,(1):50-54
在幼儿园角色游戏活动的指导中,教师主要表现出三种身份:一为教育者身份,二为教育者与游戏者揉合的身份,三为游戏者身份。教师在观念上认可并向往游戏者身份,在行为上却彰显教育者身份而忽视游戏者身份。为了使教师在角色游戏中更好实现游戏者身份的指导,需要确立游戏者身份规范。 相似文献
18.
19.
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。 相似文献
20.
提出了面向最大值指标的截尾正态分布精度换算方法,为最大值指标与常用精度指标间的精度换算以及真值测量系统精度指标的确定提供了参考依据。该方法假设系统输出序列中各观测点的合格概率服从对数截尾正态分布;根据给定最大值指标的置信水平及序列样本量,证明并推导了截尾正态分布之截尾上限、截尾下限、均值及标准偏差的计算公式,导出了最大值精度指标与1σ等常用精度指标间的换算关系;结合精密仪器有关理论给出了最大值指标下真值测量系统精度指标的确定方法。实例应用的实验结果表明,该方法是可行的。 相似文献