mKdv方程解的可视化

利用Jacobi椭圆函数展开法求解mKdv方程的冲击波解,在科学计算与模拟平台上作出了其图像,并且还作出了mKdv方程在分离变量法下的呼吸子解图像,通过图像展示了它的一些性质。     

线性时变信道模型下的OFDM性能及误差分析

当归一化多普勒烦移小于0.1时,信道的时变性是近似线性变化的.文中研究了线性时变信道下OFDM系统的ICI干扰,并分析了线性时变信道模型的系统误差.分析表明,采用线性模型对信道建模时,系统存在建模误差和近似计算误差,同时信道平均建模误差比计算误差大了约7 dB.     

一类谱任意符号模式矩阵

给出了一类新的含有2n个非零元的极小谱任意符号模式矩阵,运用幂零-中心化子方法证明了其为极小谱任意.     

通过费米子隧穿在量子级研究带电黑洞的熵修正

受Majhi等人的半经典近似外的隧穿思想启迪，研究了狄拉克粒子穿过带有整体单极子的Reissner－Nordstrōm黑洞的熵修正．为了正确地得到修正熵，作用量的量子修正项与半经典项的比例常数为普朗克长度平方的倒数，而不是普朗克质量平方的倒数．结果表明Bekenstein—Hawking熵的修正，即Bekenstein—Hawking熵的对数项和逆面积项，在考虑量子效应后可以通过费米子隧穿获得．     

基于线阵CCD视觉导航系统设计

提出了一种基于线阵CCD机器人视觉导航系统.实现了将线阵CCD控制、路径图像二值化预处理、嵌入式NIOSII处理器、步进电机驱动整合在一片FPGA中.与传统模式下的电路板级模块化设计相比,具有集成度高、实时性好、可靠性高的优点.结合QuartusII仿真软件进行功能验证更为便捷,可在不改动硬件的前提下实现系统修正,缩短开发周期提高了效率.     

分布式一体化及数据交换平台的设计与实现

基于SOA、Web服务和简单对象传输协议,对山东省学位与研究生教育管理信息系统的数据传输交换方式加以改进,解决了以往系统只能由高校端主动向中心端上报数据的弊端,使得中心端可以更加全面方便地对各高校端进行集中控制,形成一体化。在此基础上,提出一个面向分布式异构环境的数据传输交换平台的系统架构和实现方案,改进了传统数据传输交换平台的扩展性、通用性及数据安全性。     

高效实现针对光子丢失问题的容错量子计算

基于两个基本操作——控制路径操作和纠缠子,首先给出非破坏性多光子奇偶校验的实现.随后,将这些操作用于光学量子计算中光子丢失问题的处理.可以实现奇偶量子态的制备,以及单体操作与两体控制非操作,由此可以实现普适容错量子计算.不管是态制备还是门操作都是确定性的,同时方案的实现复杂度也要远低于此前的方案,对于辅助单光子资源的需求也降到很低的程度.并且实现过程中除奇偶校验外,不需要进行任何单光子探测,因此不会造成任何单光子的损失,最大限度地利用了光子资源.比之此前的线性光学方案,我们方案的确定性、高效性、简单性以及资源的高利用率等特点,使得方案更具可行性和更加适用于大规模量子计算.     

基于虚拟仪器技术的分布式地磁场异常监测系统设计

本文设计了一种基于Labview的分布式地磁场异常监测系统,介绍了该系统的硬件结构、软件设计流程及异常报警、邮件发送、数据保存等模块的设计方法.通过模拟地磁场异常过程的实验,验证了所设计监测系统的准确性和有效性.     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

地球之子

“看，这是什么？”走在左翼的小王突然喊了一声。