基于串空间的认证协议分析

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.由于安全要求的多样化以及攻击方式的层出不穷,使得对网络安全协议的形式化分析效率和准确性提出了更高的要求.串空间理论(strand space theory)和模型是当前避免状态爆炸、提高协议形式化分析效率的有效方法.本文通过一个具体的认证协议例子来说明它的特点.     

O3和ClO2杀藻作用特征与机理分析

O₃和ClO₂杀藻效能好, 而且应用中不会生成对人体有害的卤代烃物质, 是氯的良好替代品. 为探讨O₃和ClO₂的杀藻机理, 研究中借助电子扫描显微镜等手段对氧化处理前后藻细胞的数目及形态、结构变化特征进行了分析, 并提出了O₃和ClO₂杀藻作用模式. 研究表明: O₃和ClO₂具有不尽相同的杀藻作用机理, 作用过程与效能受多种因素的制约.     

OFDM无线LAN系统限幅峰平比降低技术

为了减小OFDM(Orthogonal Frequency Division Multiplexing)无线LAN(Local Area Net)系统信号的峰平比,利用信号限幅滤波技术,提出了一种适用于无线LAN系统的峰平比降低调制器实现方案,给出了其实现算法及限幅因子的调节策略;并利用计算机仿真对该系统的峰平比、功率谱和误码率性能进行了分析,仿真结果表明,限幅滤波技术可以有效地改善无线LAN系统OFDM信号的高峰平比特性.     

地表热红外辐射与钻孔应变的关系探索

热红外辐射与构造变形之间的关系属于热红外遥感在地震研究中深入应用的一个重要环节,目前研究还不够充分,针对这一问题,文中根据新疆10余年钻孔应变和热红外遥感资料,结合理论分析,对地表热红外辐射与钻孔应变之间的关系进行了初步探索,获得了3方面认识：（1）根据实测资料,从变化趋势看,应变变化时,热红外辐射也随之变化．应变变化幅度大,热红外辐射变化也强．（2）张量分解可作分析三维情况下应变与温度（热辐射）间变化关系的一条新思路．一般情况,应变分为体积变化和形状变化．两种情况下,热红外辐射与应变的关系各有不同．实测资料显示：以体积变形为主时,NS和EW两方向的应变与热辐射的变化趋势均呈现出明显的一致性;以形状改变为主时,应变与热红外辐射在一方向上的变化趋势一致,另一方向则相反．（3）找到了体应变与温度变化之间的理论关系．弹性变形情况下,体应变变化（△θ）与温度变化（△T）之间存在明确的线性关系：△T=αT△θ,其中口为常数,T为初始温度．换言之,热红外辐射的变化与体应变的变化成正比,这与实际结果相符．总之,分析表明热红外辐射与地应变间存在密切关系,结果可为利用卫星热红外遥感信息探测现今构造活动提供一定的理论及野外基础。     

城市能源系统碳达峰路径最优化

为了响应2030年碳达峰和2060年碳中和的目标,我国各行业及区域均需要根据自身资源禀赋和未来发展预期对能源系统发展进行低碳规划。科学的规划可以在一定程度上降低碳减排的成本。该文建立了基于超结构建模方法的能源系统发展规划模型,可用于以碳达峰为目标的发展路径规划。该模型以区域能源系统结构及主要基础设施为规划起始点,综合考虑规划期内不同时间段上多种能源供应、转化、传输、储存、消费技术可能性及相互替代性,从而得到能源系统总成本最优的低碳发展技术路径。该文以某规模以上城市为例,对其2021—2035年间的能源系统发展路径进行了规划设计,将该市的碳排放峰值控制为1.79亿t, 15年内累计减少二氧化碳排放共计1.5亿t。     

3-李代数T的齐性Rota-Baxter算子

主要研究实数域F上典型Nambu 3-李代数T=∑_l∈z≥1Fy sin(lx)∑_r∈z≥0 Fz cos(rx)的权为1和权为0的齐性Rota-Baxter算子θ的结构, 其中θ满足存在两个整数集到F的可加映射α和β, 使得θ(y sin(lx))=α(l)y sin(lx), θ(z cos(rx))=β(r)z cos(rx)。证明了T上存在10种权为1的齐性Rota-Baxter算子, 存在4种权为0的齐性Rota-Baxter算子,并给出了每种算子的具体表达式。