谈伙食分项核算的推广与应用

伙食分项核算属于给养核算范畴,是对伙食费进行科学核算和管理的新的核算办法。实践证明,伙食分项核算对于加强部队伙食费管理、科学组织伙食、提高伙食保障效益具有重要作用。但是在推广应用中还存在一些问题,必须通过提高核算质量,加强标准化、科学化进程,进一步挖掘和发挥其功能作用。     

20MHz-50MHz带通滤波器的设计

本文介绍一种２０ＭＨｚ－５０ＭＨｚ带通滤波器的设计方法,给出了具体电路以及调试结果,该滤波器上有成本低,性能好,相对频带宽的特点。该滤波器在图像通信中已作中频滤波器使用。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

河南省民兵参加第七届全国农运会比赛成绩突出

前不久,第七届全国农民运动会在河南省南阳市举行,河南省军区在前期层层选拔的基础上,组织5名运动健儿参加了"民兵军事三项"(400米障碍、投手榴弹、武装越野)的全部项目比赛。经过参赛队员的奋力拼搏,取得了5金、6银、2铜的好成绩,并囊括了团体综合,男、女个人综合三个大项的金牌,总成绩位居19个     

火箭发动机应储数量的研究

火箭发动机应储数量的确定是其维修保养工作中的一个重要问题。在满足一定精度的前提下,以可靠性评估为中心研究寿命服从逆威布尔分布的火箭发动机的应储数量问题。在具有二项移走的逐步增加I型区间截尾模型下(被随机移走的产品数目服从二项分布),采取不同方案给出决定火箭发动机寿命的关键性参数的可靠性估计,据此确定其应储数量。最后,通过随机模拟方法给出在一定精度指标下火箭发动机的应储数量。