双口RAM在MPEG—2运动补偿的FPGA实现中的应用

在MPEG 2MP @HL(mainprofileathighlevel)的运动补偿的硬件实现中 ,需要运算的图像数据量非常大。文章采用双口RAM作为运动补偿的缓存器 ,很好地解决了数据吞吐量大的问题。文章介绍了运动补偿电路的FPGA实现方案 ,并给出了相关结果     

精密透镜的自动细磨技术

在非常重视生产成本的制造领域，任何一个能省时省钱的工艺都会受到欢迎。对精密光学元件制造业来说，这一点尤为重要。如果光学元件的生产成本进一步下降，它们的用途就会更加广泛。里弗莫尔的获奖项目OptiPro-AED(声射探测器)能使省时省钱的研磨工艺成为现实。     

用于同步辐射光源的成像板粉末衍射系统

报道了我们研制的一套成像板粉末衍射装置,对其误差来源进行了详细的分析讨论,并与衍射仪进行了比较.该装置的半径为143.3mm,最大测量角度范围不160°，最大角度(2q )偏差小于0.03°,这些性能指标已被实验所证实,完全可应用于粉末衍射全谱的测量.     

带相变的铸坯热弹塑性应力分析基本方程

本文讨论了温度、相变、应力间的耦合关系，给出了铸坯在考虑相变时的热弹塑性蠕变的本构关系，以及计算铸坯内应力的有限元迭代公式。     

凸规划的极大熵函数序列及其收敛性

为了消除凸规划问题中极大熵方法所导致的数值病态，该文应用Lagrange乘子法及赋范原理，给出一类凸规划问题的极大熵函数序列，并证明该序列一致收敛于凸规划的最优解。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

催化动力学测定痕量砷(Ⅲ)

在醋酸介质中,发现痕量砷(Ⅲ)能灵敏地催化高碘酸钾氧化靛红la褪色的指示反应,研究了该催化反应的最佳条件与动力学参数,建立了一种新的测定痕量砷(Ⅲ)的方法。该法的线性范围0.0-40μg/LAs(Ⅲ),检测限为1.92×10-6g/L,用于环境水样中砷(Ⅲ)的测定,获得了满意的结果。     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

用多个开关控制一盏灯

同学们从课本上学习了用2个开关控制一盏灯的电路，这种电路具有一定的实用性，如在楼上楼下、室内室外都可以实现对某一盏灯的开关控制。