排序方式: 共有607条查询结果,搜索用时 31 毫秒
591.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
592.
指出了研究新型功率放大器的意义,提出了单片机控制的PWM功率放大器的设计思想,在对PWM功率放大器进行建模的基础上,设计了电流调节器,给出了数字控制算法,实现了单片机控制。PWM功率放大器的研究将为伺服系统的数字化提供新思路,为提高伺服系统的技术性能提供新方法。 相似文献
593.
594.
595.
从火控雷达抗反辐射导弹的迫切需求出发,将间歇辐射理论应用于火控雷达,提出了间歇式目标跟踪方法.首先对间歇式跟踪原理进行了分析;其次,基于单脉冲技术分析了采样间隔的自适应变化原则,同时提出了跟踪性能的评价指标,并进一步对跟踪效果进行了仿真.结果证明间歇式目标跟踪方法可以同时实现对反辐射导弹载机的准确跟踪和对反辐射导弹的有效对抗. 相似文献
596.
597.
598.
599.
采用腐蚀电化学的点蚀极化曲线并结合腐蚀形貌的扫描电镜分析的方法,研究了回归再时效(RRA)工艺处理7A60铝合金在0.5mol/L NaCl溶液中的点蚀行为,对其耐点蚀性能进行了评价,并探讨了RRA工艺改善该合金点蚀性能的机理。结果表明:采用120RRA工艺(120℃×24h预时效+195℃×0.5h回归+120℃×24h再时效)处理后,7A60铝合金在0.5mol/L NaCl溶液中的阳极极化曲线闭合环面积减小,再钝化电流密度Ipp降低,蚀孔较浅,RRA工艺在一定程度上改善了该铝合金在0.5mol/L NaCl溶液中的耐点蚀性能。 相似文献
600.
针对坦克变速箱振动信号在状态监测中测点的选择问题,提出了根据不同测点的频响特性优化振动测点的方法。通过分析变速箱箱体的有限元动力学模型,得到箱体的各阶固有频率和振型,选择模态分析中总位移较大的位置作为最优的测点安装传感器,为试验测点布置以及状态监测和评估提供理论支持。研究结果表明:位于风扇联动装置齿轮箱附近的传感器对变速箱振动信号的强弱变化比较敏感。 相似文献