符号哲学视域下学科育人的逻辑起点与实践路径

人是学科育人活动的出发点与落脚点。符号哲学视域下人的本质是“符号的动物”,学科是人在“符号化”活动过程中创造的文化符号体系“,符号”将学科与人相联结,“符号人”是学科育人的逻辑起点,学科与育人之间存在着内在的一致性。与此同时,学科育人活动还具有多样化、统一性、结构化以及连续性的功能特点。基于学科育人的逻辑起点与功能特点,从学科育人目标、学科符号体系、学科符号化活动以及学科育人评价标准四个方面,探寻学科育人的实践路径。     

算法渐进时间复杂度的局限性研究

对算法渐进时间复杂度的局限与不足进行系统深入的研究,从而更加全面、深入地去认识、度量算法的时间性能。     

Linux内核的进程调度原理及改进算法研究

随着Linux在嵌入式操作系统领域的广泛应用,对Linux实时性能增强的研究也越来越多。通过对Linux进程调度依据和进程调度过程的分析,提出了一种改进的Linux进程调度算法。该算法改造了进程调度队列数据结构,去掉了进程调度选择时的遍历步骤,更改为直接得到待选最高优先级进程,同时,该算法改统一的时间片重新分配策略为分散的时间片重算策略。通过Linux进程调度算法与改进算法的时间复杂度对比分析,改进算法将Linux调度算法O(n)级的时间复杂度降低为O(1)级时间复杂度,因此能够更好地满足实时操作系统时间可测度以及低延迟等要求。     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

第3讲 FTN系统中的预编码及低复杂度接收技术

由于FTN(Faster Than Nyquist)系统所引起的码间串扰长度是无限长的,如何消除无限长的码间串扰,同时保证FTN系统的低复杂度检测将成为制约FTN技术继续发展的主要原因。文章以低复杂度接收为目标,重点介绍了FTN传输系统中的预编码及低复杂度均衡技术,包括:GTMH-预编码、M-BCJR算法、加窗Chase均衡和频域均衡算法,并对四种算法进行了分析对比,指出了各自的优缺点及应用场合。FTN系统中的预编码及低复杂度接收技术为其传输技术的实用化打下基础。     

面向任务的装备组合方案生成与评估方法

“决策中心战”谋求通过给对手施加不确定性创造决策困境,从而获取决策优势。面向决策中心战条件下获取决策优势的需求,提出了面向任务的装备组合方案生成与评估方法,基于决策复杂度选择更具不确定性的装备组合方案。该方法包括装备组合方案生成、基于帕累托最优的装备组合方案筛选、基于决策复杂度的装备组合方案评估等步骤,仿真推演的结果验证了该方法的有效性。     

战场电磁环境复杂度评估及其应用

简要阐述了战场复杂电磁环境的特点及其对电子设备的影响,针对雷达对抗电磁环境的自身特点,分析了极化对雷达对抗电磁环境的影响,提出了雷达对抗电磁环境复杂度评估的改进方法,并运用电磁环境复杂度评估结果建立电磁环境影响因子,对训练评估模型进行修正和完善,最后,以雷达分队作战能力评估为例,探讨了战场电磁环境复杂度评估在军事训练评...     

追寻“零公里”精神的印迹

在新疆,我们始终被一种叫"零公里"的精神震撼着、鼓舞着并感动着。"零公里"作为一种标志就是从零开始,作为一种精神就是自强不息,作为一种境界就是虚怀若谷。在我们眼里,新疆叶城"零公里"已不再是单一的地理标识,而是一种文化符号和精神追求。8月15日,解放军生活杂志社"送文化到边关"活动慰问团一行10人,从北京飞抵乌鲁木齐,早已等候在机场的武     

工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

提高快速加密算法FEAL安全性的研究

分析快速加密算法FEAL密文与明文之间的符号依赖性,提出了通过增强密文与明文间符号依赖性提高该算法安全性的两种方法.