钢丝和显微镜测量的应用

直径为φ0.1mm的钢丝充分绷紧后,其两端的连线可以认为是一条理想的直线,因而可以作为测量基准并配置带分划板的显微镜或其它工装及量具,用来测量导轨水平方向直线度等.     

Gdel逻辑系统中1/2-子代数上的广义重言式理论

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。     

炮兵训练系统中观察器材架设位置自动校准模型的建立

本文通过对训练系统中模拟测量原理进行分析,提出测量结果与器材架设位置无关的思路,同时建立了保证观察器材的转动与瞄准位置同步模型,使得利用三维或立体场景进行训练时实现测量并保证精度成为可能.     

一种高效的算法程序设计方法-PAR方法

利用在长期的算法研究中提出的分划递推法（简称PAR方法）开发了三个问题的算法程序,说明PAR方法不仅为算法设计提供了统一而有效的途径,也为开发循环不变式奠定了基础。     

枪用光学瞄具分划倾斜测试系统研究

针对枪用光学瞄具分划倾斜的测试要求,在结合分析了传统主观测试方法之后,提出一种利用CCD摄像技术、数字图像处理技术等实现对光学瞄具分划倾斜的高精度自动测量方法.该方法可消除传统主观测量方法的误差,使测量结果更具客现性.     

PW78B式82mm无坐力炮的射击操作(下)

本文上篇呈现了PW78B式82mm无坐力炮射击前需进行的各项检查工作;而在射击中,该炮通常以炮班的编配方式实施射击操作。本篇全景观展示该炮射击操作流程——炮班编成及人员职责PW78B式82mm无坐力炮在使用中通常编配8人为一个炮班,其中班长1名,炮手7名(含副班长)。其职责分工是:班长是全班的指挥员,平时训练炮手,战时指挥打仗,行动时携带标杆、小铁锹、望远镜及指北针;副班长     

视频分划的自动瞄准技术与应用研究

基于光学分划原理提出了视频分划技术,在此基础上提出了新的自动瞄准技术,并详述了视频分划技术中视频竖线、横线和十字线的生成技术,分析讨论了视频分划技术用于自动瞄准的实现原理及瞄准的精度,还将该技术应用于高速、高精度钢卷尺自动瞄准切零位系统中,取得了显著的成效.基于其具有的超越光学分划技术的优越性能,视频分划技术在自动瞄准、自动测量、自动识别及自动存储等多种实际工程应用中都有广阔的应用前景.     

泛逻辑的基本形式系统中的广义重言式理论

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。     

瞄准具固定位置对镜内分划及对射击精度的影响

某型高射机枪瞄准镜镜内分划不规律,应用分划刻制原理对其进行分析得出：镜内分划的分布受瞄准具固定位置影响,当瞄准镜光轴与枪膛轴线不在同一水平面时,镜内分划分布不规律。当瞄准镜光轴与枪膛轴线不在同一铅垂面内时,对武器射击精度有影响。对规正靶校枪武器,瞄准镜光轴偏离枪膛轴线方向,与射弹偏差方向相反;对距离为100m的校枪武器,瞄准镜光轴偏离枪膛轴线方向,与射弹偏差方向相同。因此,在武器设计时,应尽可能安排瞄准镜光轴与枪膛轴线一致,以使瞄准镜镜内分划趋于规律,减小错误装定分划的可能性,提高射击精度。     

一种实时动态数据库故障恢复策略

分布式实时内存数据库通常使用在时间关键型应用中,对这些应用而言,故障后能迅速而有效地恢复是至关重要的.首先通过分析分布式实时内存数据库故障恢复需求,给出了其恢复正确性准则.然后提出了一种基于日志的实时动态故障恢复模式RTDCRS(real-time dynamic crash recovery scheme),并证明了其正确性.RTDCRS采用了集成分区日志和短暂日志特性的实时日志模式,同时使用非易失性高速存储设备作为日志存储区,以尽可能地降低系统正常运行时日志代价.在站点故障后的恢复策略上,给出了基于分类恢复思想的动态恢复策略,以尽可能地减少故障站点停止服务的时间.性能测试结果显示,RTDCRS在事务错过截止期比率和站点停止服务时间两方面与传统的故障恢复模式相比具有明显的优越性.