基于 GSTE的验证在 UART模块中的应用研究

实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义。     

基于单片机的激光远场光斑直接测量系统

激光远场光斑测量对描述激光束的远场性能,评价激光器以及系统的实际工作性能具有重要意义,通过比较激光光斑远场直接测量与间接测量的优缺点,提出使用单片机控制的探测器阵列进行远场光斑直接测量．描述了系统结构,分析了关键技术,给出了主要程序的框图．该系统能够测量激光光斑大小、形状、总能量、能量分布、重心、束散角等参数,可适用于多种重复频率的激光器,测量面积大、精度高,实时性好,为激光束绝对空间能量分布的测量提供了有效手段。     

一种抗噪的红外图像对比度增强方法

提出一种基于离散平稳小波变换和非线性增益的红外图像对比度增强方法。对红外图像进行离散平稳小波变换后,利用所提出的去噪方法对分辨率较好的各高频子带直接去噪;并利用所提出的非线性增益法结合文中的去噪法对分辨率较差的各高频子带进行增强。实验结果表明,提出的方法在有效地增强红外图像对比度的同时,又能很好地抑制相关噪声。算法在视觉质量上优于传统的反锐化掩膜法、直方图均衡法。     

级联布喇格声光互作用的频移与光束偏转分析

声光器件在设计和制作中,由于器件结构和功能上的需要,常采用级联形式的声光互作用。根据声光互作用的一般理论,对不同的声光互作用条件下,级联布喇格声光互作用的频移和光束偏转进行了分析。当组合两次不同的声光互作用,可以得到不同的频移和光束偏转。并指出,通过调节两声波的频率,可以使输出光波的传播方向不随声波频率的改变而变化。     

页岩气水平井生产套管变形机理及工程应对方案——以昭通国家级页岩气示范区黄金坝区块为例

针对四川盆地周缘昭通国家级页岩气示范区黄金坝区块2口页岩气水平井套管严重变形的情况,基于24臂井径套管变形测量、裸眼井径、电阻率电测、钻时及气测录井、固井CBL/VDL及CBL成像等资料,分析引起套管变形位置附近地层的地质与工程特征,利用三维成像分析软件分析24臂井径测量数据并进行三维成像,得到了变形套管的形态特征。研究结果表明:(1)极严重套管变形井段发生在构造裂缝发育区;(2)套管变形形态为上下方向为主的"S"形弯曲;(3)极严重套管变形呈现明显的遭受岩石高角度滑移挤压而横向剪切变形特征。据此提出建议:(1)该区应重点防范由岩石沿裂缝面滑移引起的剪切套管变形,利用产层段构造等值线图,设计井眼轨迹避开地下局部高陡构造的"脊部"或"谷底"位置;(2)利用产层段蚂蚁体分布图预测的裂缝带分布信息,使井眼轨迹沿裂缝带走向钻进;(3)推荐采用免钻磨大通径桥塞或全通径无限级完井工艺技术,避开压裂后常规桥塞钻磨工序,以确保压裂后的各级压裂层都能投产。     

基于多项式滤波的常减压装置稳态工况判别

常减压装置稳态工况判别对于后续工艺的实时优化具有重要意义。目前化工领域多采用固定窗口、分段统计等方法,影响因素多,容易造成误判。文中提出1种基于多项式滤波的稳态判别方法,该方法采用滑动窗口对当前窗口内的数据进行多项式滤波,根据滤波后多项式1次项系数的大小判断装置的稳态与否,滑动窗口的长度可以根据历史稳态数据自适应确定,通过实例分析验证了该方法的有效性。     

基于Petro-SIM的常减压流程模拟和参数优化

利用流程模拟软件对常减压装置进行工艺流程模拟和操作参数优化对于指导生产具有重要意义。以金陵石化公司所加工的原油为基础,通过原油数据校正选择合适的原油数据,结合现场工艺数据,基于Petro-SIM进行初馏塔和常压塔的模拟计算。同时,通过对部分操作参数进行优化,在保证侧线产品质量的前提下,有效地改善了常二线和常三线的分离精度,提高了常二线轻柴油的收率和常压塔的整体收率。     

Sol－Gel法制备的CoMnNiMgO热敏元件老化特性的研究

假设老化是从亚稳态到稳态的变化，利用反应动力学理论对Ｓｏｌ－Ｇｅｌ法制备的ＣｏＭｎＮｉＭｇＯ热敏元件的老化特性进行了研究，推导出老化公式△Ｒ／Ｒｏ＝Σｒｉ［１－ｅｘｐ（－ｔ／τｉ）］其中：τｉ＝τｏｉｅｘｐ（Ｅｉ／ｋＴ））。结果表明理论与实验能很好地一致，对于本文所研究的热敏元件，符合公式ＡＲ／Ｒｏ＝ｒ１［１－ｅｘｐ（－ｔ／τ１）］＋ｒ２［１－ｅｘｐ（－ｔ／τ２）］，该式中：，ｒ１＝１１．７６７×１０－３；ｒ２＝２０．６７３５×１０－３；τ１＝６．４５７８×１０－３ｅｘｐ（６１９０．８９／Ｔ）；τ２＝１．０４６１×１０－６ｅｘｐ（８ｌｌ６．２４／Ｔ）。     

非重复跳频序列族的理论限制

本文讨论跳频多址组网用的非重复序列族的理论限制,得到了限定汉明相关条件下非重复序列族中序列数目和序列长度的理论限,列举了几种达到了理论限的非重复跳频序列族。     

RESEARCH ON REAL-TIME CORRECTOR OF SPECTRAL INTERFERENCES

Further advancement of ICP-AES analytical technique is hindered by complex spec-tral interferences.The correction algorithms recently proposed need too much computation andtime to run in real time on general microcomputers.In this paper,a new kind of spectral interfer-ence fast correcting system(SIFCS)was developed,in which the hardware is a TMS32020 digitalsignal processing board in IBM-PC I/O channel and the software is composed of a correctingprogram based on a new effective algorithm and a master program on IBM-PC.Experimentsshow that the processing speed on SIFCS is 50-100 times faster than that on IBM-PC/AT.Thismakes real-time correction of spectral interferences feasible.