磁分离酶联免疫测试分析仪的研制

给出了磁分离酶联免疫测试分析仪测试中成色物的吸光度与人体被测抗原的浓度之间的函数关系，通过试剂测试反应产物酚酞的吸光度与光的波长之间的函数关系，给出了磁分离酶联免疫测试分析仪的测试原理，讨论了根据非线性拟合所得到的参数，由测量得到的实际标本吸光度反算实际标本浓度的方法，给出了磁分离酶联免疫测试分析仪硬件电路的工作原理，提出硬件电路和软件系统的设计方案并且研制了样机。     

关于UCard安全性的研究

首先介绍了一种实现多COS功能的新型智能卡概念UCard及其体系结构与基本特征．接着在分析了发卡商对UCcard安全性的要求后，给出了UCard安全性的三个目标：COS安全地分配到独立的存储空间中；运行的COS不能访问到其他COS数据；运行结束的COS的信息不能被以后的COS获取到．然后围绕这三个目标详细论述了UCcard在发卡时、COS运行时及运行结束后的安全性问题、原理及可能的实现．     

UCard中动态地址总线的安全稳定性

对UCard动态地址总线的安全性、稳定性进行了分析，给出了动态地址总线的安全稳定性的数学模型，讨论了实现动态地址总线安全稳定性的设计方法，包括定时查询、自锁电路以及地址总线信号观测等方法，重点讨论了实现稳定性的方法——自锁电路和地址总线信号观测方法．自锁电路的方法实现简单且有效，地址总线信号观测方法实现复杂但可靠性高，较好地解决了UCard动态地址总线的安全稳定性问题．     

基于会议模型的射频优卡多COS安全模型

基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.     

基于烟农卡的嵌入式数据库研究与设计

给出了基于AT88SC1604加密存储卡构成的烟农卡的8种关系模式描述。讨论了如何在存储容量有限且按照位（bit)地址编址的分段连续存储空间中描述多关系模式。根据烟农卡的物理存储和节地址到位地址的转换，给出了数据区中每个关系模式对应元组所占存储空间的总和必须满足的约束条件和每个元组在进行存储地址分配时必须满足的约束条件。讨论了卡内物理嵌入式数据库的实现算法，给出了总和控制器的使用算法，基于事务的存储分配算法，以及基于关系模式的块存储分配算法。