摘要：为实现自由立体显示,提出了一种新型指向性背光结构,配合人眼跟踪系统,分时显示具有视差的立体图像对,基于视差原理实现了高清分辨率的多用户自由立体显示。着重阐述了多光程结构、菲涅尔透镜以及掠入射的光路系统,以及从这三方面产生的效果。实验表明,三者的结合能产生良好的背光效果,最终实现了具有较强立体感的无分辨率损失的自由立体显示。

摘要：In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.

摘要：设计了一种具有使用正确钥匙管理指纹和密码功能的电子机械锁。该锁分为两个部分,基于ATmega162的带有指纹识别模块的电子锁和基于PIC16F72的机械锁。电子锁和机械锁相对独立,两部分的通信由超外差发送和接收模块完成。经验证,整个系统稳定可靠,安全性高,且功耗较低。

摘要：为满足当前水情数据测报的要求,设计实现了一种多功能水情自动测报系统。该系统基于PIC16F887单片机、GSM模块,可接收多种形式的传感器信号,并存储在大容量的FLASH存储器中,同时通过GSM模块发送水情数据和报警信息。另外,该系统借助LCD液晶显示屏可显示多级中文菜单,方便控制和查询。该系统的功耗低,体积小,功能扩展性强,经过多次测试,操作方便,工作可靠,在水情自动测报领域具有很大的推广价值。

摘要：传统的微处理器由于内部有限的逻辑资源和外部固定的引脚封装,大大限制了应用范围。为此,在阐述微控制器的内部结构、存储器管理结构和指令集结构后,利用现场可编程门阵列丰富的逻辑资源,虚拟出传统微控制器的处理器核心,添加Wishbone总线,将处理器核心与通用外设连接构成一个虚拟的微控制器平台,并使用硬件描述语言Verilog和VHDL,自底向上设计AVR处理器核心,与通用外设互连组成系统,使用XILINX VirtexⅡPro芯片进行板级验证。结果表明,实现了既定目标,与标准的微控制器兼容,系统运行稳定。该方法延续了传统微控制器的生命力,能使其得到更大发展。

摘要：为了实现对电阻的精确测量,设计了一种高精度电阻测量仪系统。该系统使用单片机作为控制核心,高精度恒压源通过标准电阻产生高精度标准恒流源作用在待测电阻上,采用四端法测量待测电阻两端电压,使用低速高精度A/D读取电压值,实现电阻的低成本、高精度测量。该测试仪可自动变换测量档位和显示有效位数,量程范围为3mΩ～3 MΩ。实测结果表明,测试速度在15次/s时,测量精度达到0.5%,读数跳动在3字以下。

摘要：提出了一种基于单片机的MP3播放器的设计方法。采用PHILIPS公司的低电压、低功耗的LPC932A1高速单片机作为控制核心,采用SD卡作为歌曲存储介质,使用芬兰VLSL公司的VS1003B芯片(具有高速DSP芯)进行音频解码和回放,使之具有高性能、便携式、低成本的优点,实现了MP3播放器的播放部分与存储部分的分离,达到了大容量存储MP3播放器的目的。

摘要：满足移动医疗设备的区域性定位、运行轨迹跟踪及现场可视化管理需求,实现重点区域的越界和入侵告警管理。基于CSS技术和边缘计算技术,设计医疗设备定位管理系统,定义系统层次功能,优化定位滤波算法,构建实验测试系统并完成系统性能测试。经过Kalman滤波后,系统定位精度可提高到1 m左右,传输速率为1 Mbit/s信号。在1μW功率下,传输距离可达5 m,在6.3 mW功率下,传输距离可达26 m。所设计方案可实现覆盖大范围区域的移动医疗设备的智能追踪,及时、准确地将各个区域设备的动态情况反映到中心监控平台,使管理人员能够随时掌握布控区域设备的分布状况和每个受控对象的运动轨迹,进而实现更加合理的管理。

摘要：传统ISA处理器由于其内部有限的逻辑资源和外部固定的引脚封装,大大地限制了它的应用范围。使用硬件描述语言,自底向上设计处理核心MIPS,并且与几类通用外设互连组成系统,使用Virtex-ⅡPro系列FPGA进行板级验证。板级验证结果表明实现了既定目标,与标准MCU兼容,系统运行稳定。这样可以依据自己的需求,定制系统以达到传统MCU所无法完成的要求。

摘要：目的是解决激光器出光稳定性问题,3D激光雷达系统通过计算激光的飞行时间(Time Of Flight,TOF)得到目标的距离信息,经过处理所获得的数据信息恢复出探测目标的三维图像。激光雷达系统常用的调Q激光器存在着出光抖动的问题,而激光器的出光选通抖动直接影响了成像效果,所以解决激光器出光稳定性问题成为了提高TOF激光雷达性能的主要目标之一。方法是通过设计一种新型外置出光选通控制器,由高精度电机控制编码器高速旋转产生光通断信号,光电对管(光遮断器)将激光器发出的光脉冲信号转换为TTL触发电频信号来启动接收端数据采集器工作。结果获得更加稳定的选通时间。结论是这种控制方式减弱了3D激光雷达光选通时间的抖动,增强了3D激光雷达系统实时监测和可控性,使得激光雷达系统发射端能够长期稳定有效的工作。