基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.     

高氏一号干粉培养基的性能测试

将配制的高氏一号干粉培养基与新鲜的高氏一号培养基进行理化特性、灵敏度、保存性能测试和对放线菌接种后培养观察其生长情况。结果表明,高氏一号干粉培养基虽然灵敏度上有所不足,与新鲜高氏一号培养基相差5～10倍,但对于放线菌接种培养完全能满足实验用放线菌的培养分离。高氏一号干粉培养基对放线菌生物制品的生产及检验具有方便、稳定的特点,也具有推广应用的可行性。     

一种简便的异步串行口扩展方案

提出了一种简便的异步串行口扩展方案。该方案采用纯软件的办法利用单片机等一类微控制器的一个外部中断源和一个（或两个）I／O引脚，成功地扩展了一个异步串行口，满足了很多实际应用对串行通信口扩展的需求。     

Oracle 8i数据库性能优化技术

探讨和分析了Oracle 8i数据库系统的原理和特点，阐述了优化Oracle应用系统性能的一些原则和方法，从Oracle数据库服务器、应用和网络等方面分析了性能优化技术，从而使数据库应用系统运行得更有效，资源更充分，以达到最佳性能。     

I2C总线从器件接口的FPGA实现

很多设计中都是为FPGA设置一个基于I2C总线的主控制器接口,而将FPGA作为I2C总线上的从器件则很少,但事实上,低速主控单片机和受控高速FPGA从处理器组成的系统应用场景很广.因此本文分析了I2C总线的操作过程,得到了状态机,在此基础上用VHDL语言实现了遵从I2C总线协议的从器件接口.实践表明,所设计的从器件接口工作良好,具有一定的实用价值.     

多级断续时效对Mg-Zn-Mn合金显微组织和力学性能的影响

为探索镁合金的多级时效工艺,利用Ｘ射线衍射、光学金相、扫描电镜以及能谱分析、透射电镜、显微硬度、力学性能测试等实验手段,研究了多级断续时效（T6I6）对ZM61新型镁合金显微组织和力学性能的影响。结果表明,与T6态相比,T6I6工艺更能显著提高合金强度,显微硬度为90HV,屈服强度为340Mpa,抗拉强度达到356Mpa,强度增幅分别为13%和8%;T6I6处理使合金晶间干净,第一级和第二级过程中只有Mn以α-Mn的形式继续析出,形成更多的Mn单质颗粒,终级时效的硬化幅度增加,且峰时效时析出了弥散分布的β'相,使强化效应得到充分发挥。     

SPM的数学基础及其在脑功能成像研究中的应用

探讨SPM的数学基础,给出了SPM中利用一般线性模型(General LinearModel,GLM)构建统计参数图的方法;为了适应处理功能磁共振成像(functionalMagnetic Resonance Imaging,fMR I)数据的需要,对一般线性模型做了扩展,推导出扩展的GLM的检验统计量和自由度.最后将扩展的一般线性模型应用于一个具体的fMR I实验,说明了方法的有效性.     

关于诱导的I(L)型Fuzzy拓扑群

利用Ｉ（Ｌ）型诱导空间讨论Ｌ－Ｆｕｚｚｙ拓扑群，得到了如下结论：（１）（ＬＸ，δ）是Ｌ－Ｆｕｚｙ拓扑群当且仅当（Ｉ（Ｌ）Ｘ，ω（δ））是Ｌ－Ｆｕｚｙ拓扑群；（２）诱导的Ｉ（Ｌ）型Ｆｕｚｙ拓扑群保持乘积与商运算。     

一种基于压缩域的镜头检测算法

针对传统的非压缩域镜头检测算法数据量大、运算量大和效率低的缺点,提出一种基于压缩域的镜头检测算法.该算法首先根据MPEG压缩标准,从视频流中提取DCT系数,然后经预处理得到每一帧的DC系数,最后依DC系数建立镜头检测信息系统模型,依分割模型产生视频镜头.实验结果表明,此算法相对传统非压缩域算法运算量和数据量大大减少,提高了算法效率.     

PM40电脑温度控制仪软件

本文解剖分析了用于窑炉控温的意大利RM40型电脑温度控制仪(以下简称RM40)的软件.RM40采用Z80CPU,为微机控制方式.程序存贮量为4k,由23个子程序组成.它具有响应快、精度高、掉电记忆、自动报警、稳定性好、调整方便等优点,还可与外设主机联络,是国内外目前控制窑炉温度的理想设备.掌握工作原理及设计思想,有利于维修及逐步实现国产化.