n值Gdel命题逻辑系统中的F度累积理论

在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。     

简讯

欢迎订阅2013年《计测技术》《计测技术》创刊于1958年,是中航工业北京长城计量测试技术研究所(国防科技工业第一计量测试研究中心)主办的计量测试技术类期刊,双月刊,逢双月28日出版,国内外公开发行。     

度鲁特韦关键中间体的合成及分子蒸馏提纯工艺

4-甲氧基乙酰乙酸甲酯是合成抗HIV新药度鲁特韦的关键中间体。本文以4-氯乙酰乙酸甲酯与甲醇为起始原料，氢化钠和甲醇钾作为混合碱，合成4 甲氧基乙酰乙酸甲酯，通过分子蒸馏法对其进行提纯获得纯品，总收率88%，纯度99.7%，其结构经¹H NMR和¹³C NMR确证。并对分子蒸馏工艺条件进行了优化。     

敏感极小性和平均等度连续性

证明敏感极小系统是拓扑传递的;同时证明对任意自然数n≥2,存在敏感极小系统,满足其n次迭代不是敏感极小的.最后得到平均等度连续性的迭代不变性和乘积不变性.     

不同光场二阶相干度的实验研究

基于Hanbury Brown-Twiss(HBT)实验,我们借助于两个单光子计数模块,一个50/50分束器和一个快速计数卡(FastCom-P7888)研究了不同光场的二阶相干度。我们首先制备了脉冲相干光,连续相干光以及单原子发出的单光子源,并测量这几种不同光场的二阶相干度g(2)(τ)。我们通过测量俘获在磁光阱(MOT)和远失谐偶极阱(FORT)中的单原子在近共振连续激光激发下所辐射的荧光的二阶相干度,分别得到了g(2)(τ=0)=0.08和g(2)(τ=0)=0.09,借助于实验中产生的脉冲光与单原子,接下来我们将进行触发式单光子源的实验研究。     

驱动两能级原子和真空场相互作用系统中纠缠突然死亡的操控

利用并发度和线性熵作为纠缠度量研究了两个驱动两能级原子和真空场相互作用系统中的纠缠动力学特性,分析了经典驱动场频率、原子和经典场的耦合系数以及参数α对并发度和线性熵的影响。结果发现通过调控经典驱动场能够提高两原子之间和两原子与场之间的纠缠,实现两原子之间纠缠突然死亡现象的操控,理论上提供了一种调控纠缠的方式。     

惯导辅助单历元解算模糊度测姿方法

GNSS与INS在测姿方面的组合理论上可以提升精度，但实际中有时会由于GNSS模糊度固定率低、固定出错、易受干扰等原因导致其精度相对INS过低，以至于组合精度不佳。针对以上问题，提出一种用惯导辅助解算模糊度的方法（IAACM），利用惯导信息辅助解算模糊度浮点解，在固定模糊度后得出更精准稳定的GNSS载体姿态，该姿态可与INS姿态再次组合有效提升测姿精度。该方法在解算模糊度层面引入了惯导信息，具有不受卫星数量限制，单历元固定模糊度，误差稳定等优势。利用高精度GNSS接收机与光纤惯导组合搭建试验平台，在城市道路环境中进行跑车测试，验证模糊度固定情况及测姿精度。试验表明，该方法可提供更精准的模糊度浮点解，并可单历元固定模糊度，有效提升模糊度固定率，使测姿精度大幅提高。     

预点火湍流对正戊烷云雾爆炸参数的影响

以正戊烷云雾为研究对象，进行预点火湍流对云雾爆炸参数影响规律的实验研究。首先通过不同气动压力进行喷雾，获得平均特征直径（SMD）分别为 21.21、14.51 和 8.64 μm 的正戊烷云雾，并得到不同气动压力预点火的湍流均方根速度；随后在 20 L 云雾爆炸参数测量系统中实验获得预点火湍流对正戊烷云雾蒸发速率、爆炸超压峰值、压力上升速率和火焰传播延迟时间的影响。结果表明:(1) 对于圆柱形罐体对称式双喷头分散系统，流场环境可近似认定为零平均速率湍流场；在0.4、0.6和0.8 MPa的气动压力喷雾50 ms的分散作用下，在100～250 ms内，湍流均方根速度在1.0～6.2 m/s范围内，平均湍流积分尺度在40～72 mm范围内，湍流最大湍流尺度的雷诺数在8 000～15 000范围内，柯尔莫哥洛夫微尺度在0.03～0.1 mm范围内；(2) 对于较小的液滴群，随湍流强度的增加，液滴群的蒸发速率有更为明显的提升；(3) 对比云雾三种SMD，粒径8.64 μm的超压峰值与最大压力上升速率随湍流强度增长趋势更显著，并发生爆炸强度显著提升现象，即存在“转变区域”（transition range）现象；(4) 对于SMD在8～22 μm范围内，湍流均方根速度处于1.0～4.0 m/s时为火焰传播延迟时间的低增长阶段，湍流均方根速度处于4.0～6.2 m/s时为火焰传播延迟时间的高增长阶段，湍流强度与火焰传播延迟时间在相应的两个湍流强度阶段范围内呈线性增长。     

1-平面图的线性荫度

图G的边分解是指将G分解成子图G₁,G₂,…,G_m,使得E(G)=E(G₁)∪…∪E(G_m),且对任意i≠j有E(G_i)∩E(G_j)=?.若一个森林的每个连通分支都是路,则称该森林为线性森林.图G的线性荫度la(G)是指使得G可以边分解为m个线性森林的最小整数m.本文利用权转移方法证明了Δ(G)≥25的1-平面图G的线性荫度为[Δ(G)/2],这里Δ(G)是图G的最大度.