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

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

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

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

巴西海军重装上阵

长期以来,由于经济条件限制,巴西军队的武器装备大量购自他国,依赖性较强。2014年3月12日,巴西国防部长突然宣称,该国目前正计划建造第一艘国产航母以替代现役的唯一一艘航母“圣保罗”号。语惊四座。     

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

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

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

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

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

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

基于符号树信息熵的机械振动瞬态信号特征提取

用简单的二进制划分简要说明了信号符号化问题,给出了二进制划分下符号树结构及其Shannon熵计算方法,叙述了符号序列编码方法和符号序列直方图的作用,提交了符号时间序列分析的计算机流程图,对内燃机机身振动信号和转轴振动信号用符号树信息熵进行了特征提取。     

JTIDS数据链在部分频带干扰下的性能分析

联合战术信息分发系统(Joint Tactical Information Distribution System,简称JTIDS)采用组合调制体制和多层编码体系保证报文传输的可靠性。分析了JTIDS数据链在莱斯衰落信道环境下的抗干扰性能,并通过仿真分析了该系统在部分频带干扰下的符号误码率和报文丢失率。仿真结果显示,由于JTIDS系统将RS编码、交织等多种编码技术和DS/FFH MSK调制技术相结合,使其在复杂信道环境下保持较低的符号误码率及报文丢失率,满足数据链报文传输可靠性的要求。     

受符号调制的m序列旁瓣特性研究

m序列因其优良的二值自相关特性而广泛应用于雷达和通信系统中。存在符号调制时 ,m序列匹配接收的旁瓣特性不再具有二值性。研究表明 :对于生成多项式相同的m序列 ,当移位寄存器的初始状态不同时 ,其符号调制下的旁瓣特性存在明显差异。选择合适的初始状态 ,可以得到较高的主旁瓣比。采用旁瓣抑制滤波器可以进一步显著提升主旁瓣比