以分划方法为基础的实体造型系统

介绍了一个以航空飞行器初步设计为应用背景的实体造型系统 CAX-Solid.采用了分划方法实现实体集合操作,具有一定的处理非流形实体的能力。实体的干涉检查,剖面图的生成也可以用多面体分划算法实现。为了设计的实际需要,系统还实现了必要的几何分析及图形生成功能.该系统已在工程设计中得到实际应用.     

Gdel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} )中引入了一种降级算法并讨论了其性质     

CCD用于高精度线纹分划检测系统的研究

本文介绍一种用线阵ＣＣＤ作为图象传感器实现对条码型水准尺线纹发划精度的检测系统,叙述了以ＣＣＤ、图象数字信号采集与处理接口电路、双频激光干涉仪为核心的高精度动态位移测量的原理与实现的方法。     

投影立式光学计的故障分析与调修

<正>一、指标线与标尺分度刻线不平行第一种情况:指标线倾斜。调修方法:调整指标线镜筒位置。打开侧盖,松开指标线镜筒与固定套圈凹槽处的固紧小螺钉,转动指标线镜筒并在投影屏上观测,直至指标线位置与标尺分度刻线平行,标尺分度刻线上边缘与指标线第三条虚线上边缘对齐且指标线在运动的全程内横向位移量不大于标尺分度刻线短刻线长度的1/10。     

YMA 95-1-600式5.8mm枪族白光瞄准镜

95-1式5.8mm枪族配用的YMA95-1-600式白光瞄准镜也可以装配于95式枪族。该瞄准镜主要用于执行战场情况观察,以及对生动目标进行精确瞄准等任务。YMA 95-1-600式白光瞄准镜继承了95式白光瞄准镜优良的光学性能及零位稳定性等优点,在改进时以方便操作、外形小巧等为出发点,着重提高操作性、勤务性,使其优于95式白光瞄准镜。结构组成YMA 95-1-600式白光瞄准镜由物镜组、目镜组、镜体组、照明机构、枪镜连接机构、校枪机构、遮光罩、眼罩组成。物镜组用于将远处目标成像于分划板上。目镜组则将瞄准分划及目标的像成像于人眼便于瞄准的位置,使人看到     

YMA09式12.7mm狙击步枪测瞄合一白光瞄准镜

YMA09式12.7mm狙击步枪测瞄合一白光瞄准镜是一种微型昼用火控系统,配装在QBU10式12.7mm狙击步枪上,用于精确打击1000m内的重要有生目标,毁伤1 500m内的轻型装甲车辆、飞机、油库、通信设备等高价值目标.     

火眼金睛:Y/IJL93-200型手持式激光测距机

激光测距机通过向目标发射激光束并接收目标反射的激光束,以此计算出观测者到目标的距离。手持式激光测距机则便于携行使用,因而在军事领域得到广泛应用。我国于1993年研制成功Y/IJL93-200型手持式激光测距机并装备部队,其除具有激光测距功能外,还可整合测角仪,对目标进行测角。让我们近观——     

Gainse-Rescher系统基于子代数的广义重言式

将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。     

中国“第一”:85式微光观察仪

<正>为便于夜间作战时进行观测,世界各国研制出形形色色的夜视仪。85式微光观察仪是我国研制成功的第一种军用微光观察仪,本文展示其结构性能与使用操作——美国率先研制出第一代微光夜视仪1940年代世界上出现的主动式红外夜视仪是夜视器材的鼻祖,其具有成像清晰、对比度好等特点,但由于需要红外光源照射,存在能耗大、易暴露、系统笨重等缺点。经过几十年的努力,人们探索出新的技术,克服上述缺陷,从而诞生了新一代夜视器材。     

基于视频分划技术的轴承同轴度检测应用研究

本文基于视频分化技术给出直接对石墨轴承同轴度进行检验的装置和新方法,并提供了详细视频分划生成硬件电路原理图,该电路可实现单片机对SRAM写图形信号,在地址刷新电路作用下把SRAM中的图形数据并行输出,经过并串转换与CCD的视频信号叠加在显示器上显示,实现视频分划生成技术,通过单片机软件编程实现自动检测功能.