Existence of macroscopic spatial superpositions in collapse theories

It is shown that the collapse dynamics in the CSL model will entangle two independent systems under certain conditions, and their state after collapse may be an entangled superposition of spatially separated states. However, since the conditions can hardly be satisfied in reality, the occurrence of such superpositions is very improbable, and thus collapse theories still provide a promising solution to the measurement problem.     

可重构视频阵列处理器测试平台设计与实现

针对可重构视频阵列处理器的设计要求及传统测试方法测试视频编解码系统时速度慢、精度低和可观测性不强的问题。开发了基于Qt的用户界面,设计实现了以现场可编程门阵列(Field programmable gate-array,FPGA)为核心的软硬件协同测试平台。在PC端实现以软件仿真为基础的数据传输与图像重现,在FPGA端实现以可重构视频阵列处理器为基础的视频编解码算法并行映射。实验结果表明,在工作频率为100 MHz时,FPGA与PC之间可正确传输数据并满足算法测试时不同测试用例的更换需求,具有较好的可观测性。     

基于概率图的作战任务智能规划方法

针对人工调配作战资源及规划方案效率低下的问题,本文提出一种基于概率图的作战任务智能规划方法,通过统计分析判定任务间因果关系,采用GNN抽取任务中的关键事件构建概率图并计算任务规划方案成功的概率,进而基于时间序列方法预测战场态势变化,实现辅助指挥员智能决策。最后,本文在某联合登岛案例中开展了方法验证,结果表明,所提出的方法可成功实现任务规划并具有可解释性,可实现对战场态势变化的预测和快速响应,在战场上为军队提供强有力的支持。     

基于活动的瓶颈模型:公交枢纽晚高峰居民通勤研究

如何快速消除公交枢纽瓶颈的制约,是居民通勤的老大难问题.本文结合瓶颈模型与基于活动的方法来研究公交枢纽晚高峰居民通勤行为,以解决通勤者在其活动和出行之间的时间分配问题.以瓶颈模型为基础,考虑公交内部拥挤,将出行行为与活动相关联.通过引入公交内部拥挤成本,根据不同的效用函数选择出发时间,建立了动态出行均衡模型.并由此得出均衡条件下的相关性质,来解释晚高峰通勤者在瓶颈入口前排队的交通现象.研究发现,与传统瓶颈模型相比,基于活动瓶颈模型乘客动态更加丰富,出发时间选择更为复杂.算例结果表明,通勤者对公交车内部拥挤的敏感度越高,越会尽量地避开高峰出行.为了使净效用更大,通勤者会选择在工作地滞留较长时间,晚高峰时段推迟.     

烟草内生活性放线菌的筛选

为了发掘抗菌菌株,以分离的烟草内生放线菌为研究对象,用其活体和发酵液分别进行了抑制金黄色葡萄球菌、大肠杆菌以及对根结线虫2龄幼虫的押杀实验,结果表明：烟草内生放线菌及其发酵液对供试菌株的抑制效果均较明显,菌株Y12、菌株A7只能分别对金黄色葡萄球菌和大肠杆菌有抑制作用,发酵液抑菌圈直径分别为15mm和21mm,而Y7菌株则对金黄色葡萄球菌和大肠杆菌都有一定的抑制作用。内生菌及其发酵液抑杀根结线虫的效果并不明显,说明这些菌株的杀根结线虫活性与抑制病原菌活性之间没有相关性。     

三值光学计算机

三值光学计算机是2017年3月问世的通用型光电混合计算机系统。它用无光态和偏振方向正交的两个偏振光态表示信息,用旋光器和偏振片来改变这三个光态,进而完成三值逻辑运算和MSD(modified signed-digit representations)冗余表达数值的二进制并行加法运算。这种新型计算机具有处理器位数众多、处理器位可以分组独立使用、处理器位的计算功能可重构等优势;还以非易失随机存储器件为基础,构建了与处理器频繁交换大量数据的双空间存储器系统;为便于编制发挥这些特色的应用程序,采用SZG文件为程序员遮蔽三值光学处理器与传统电子处理器的差别,构成了保持传统编程技术的新编程平台。目前,针对快速傅里叶变换、元胞自动机等典型算法,验证了这种新型计算机的加速能力。     

基于ADCensus的改进半全局匹配方法

考虑到AD相似性测度对灰度信息及纹理丰富的区域的优势和Census变换对图像辐射差异具有鲁棒性的优势,将AD和Census算法融合替代单一匹配代价来改进半全局密集匹配算法,可有效提高算法的匹配精度和抗干扰性。同时用金字塔分层匹配策略来约束视差的搜索范围,实验结果表明,该方法在保证匹配精度的同时,减少内存消耗和运行时间,适用于无人机影像的密集匹配。     

Analysis for MIMO correlated frequency-selective channel in the presence of interference

The space time spreading, superimposed training sequences, and space-time coding are used to present a multiple input and multiple output （MIMO） systems model, and a closed-form of average error probability upper bound expression for MIMO correlated frequency-selective channel in the presence of interference （co-channel interference and jamming signals） is derived. Moreover, the correlation at both ends of the wireless link that can be incorporated equivalently into correlation at the transmit end is also derived, which is significant to analyze space-time link algorithm of MIMO systems.     

基于构件建造信息系统的自适应体系结构

本文基于Ｈ．Ａ．Ｓｉｍｏｎ的决策认知过程分析,提出了一种用构件组装方式产生适应不同需求的信息系统。为了提高研制效率,给出了信息系统及其构件的形式化描述。在软件集成块 Ｓｏｆｔｗａｒｅ－ＩＣ的思路影响下提出了一种系统构成的自组织方法。