轨道交通列控系统共因失效分析

针对目前列控系统设计和开发过程中共因失效不易识别和评估问题,在分析列控系统失效特征基础上,通过建模和计算证明共因失效对于系统安全具有重要影响.采用系统安全理论,分析列控系统的共因失效影响因素,讨论共因失效的识别和筛选过程;基于列控系统3取2安全架构,计算包含共因失效的系统失效概率,指出由于缺乏历史统计数据造成共因失效定量计算的困难,最后提出控制列控系统共因失效的一般控制措施和方法.     

电弧超声激励共熔池双钨极氩弧焊接方法

提出了一种附加电弧超声激励共熔池的双钨极氩弧焊接新方法.使用附加超声电弧和主电弧完成焊接过程,附加超声电弧向焊接熔池注入超声波激励,主电弧作为主要的焊接热源,以实现改善焊缝金属性能及其焊接效率的功能.同时,以304钢为例,采用所提出的焊接方法进行试验.结果表明,所提出的焊接方法可以提高焊接过程的稳定性和焊接效率,有效细化焊缝金属组织并提高焊缝金属的拉伸性能.     

一种实现下行同步序列快速搜索的新方法

针对无线通信系统中下行同步序列(summarized the existing downlink synchronization sequence,SYNC_DL)的搜索方法和对其计算复杂度方面存在的问题进行了分析.结合系统帧结构的特点,设计了一种基于逻辑特征窗的低复杂度SYNC_DL搜索方法,该方法通过逻辑特征窗的设置,将大量的数值计算转化为逻辑运算,从而减少了计算量.数值仿真结果表明,与传统方法相比,该方法在高信噪比环境下能更有效地进行下行同步序列的搜索,但在低信噪比环境下,该方法的正确率会明显降低.     

最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

采用滑动窗时域有限差分法对不规则地形电波传播预测

为了解决大区域电波传播精确预测时计算量大的问题,采用滑动窗时域有限差分方法对不规则地形上短波频段的地波传播进行预测.将经典FDTD(finite-difference time-domain)与脉冲追踪相结合,采用UPML吸收边界处理有耗地形,使垂直于地面的二维FDTD计算区域随脉冲传播而滑动,在迭代过程中保存必要的场分量,处理后得到不规则地形上的路径损耗与传播路径的关系曲线,并与经典的几何绕射理论的计算结果进行了比较.结果表明,其优点在于保持FDTD全波时域分析准确性高的特点同时降低了计算量.讨论了计算区域在滑动过程中由于包含的后向波信息的局部性对计算结果的影响,以及顶部吸收边界对侧向波的反射带来的误差.数值仿真结果表明了此方法的有效性.     

自适应窗口滑动的物联网数据流典型相关分析

针对传统的数据流典型相关分析算法没有考虑数据流速率的动态变化特性,不适用于物联网实际情况的问题,提出一种基于自适应窗口滑动的数据流典型相关分析算法,依据数据流速率变化,设计自适应的窗口滑动策略,并动态调整滑动窗口。实验结果表明,可以保证物联网数据流典型相关分析的实时性、准确性和高效性。     

基于离散功率空间的定步长认知无线网络功率控制算法

针对现有认知无线网络功率控制算法在离散功率空间内无法收敛的问题,提出一种定步长功率控制算法.在离散功率空间内,将认知用户的目标信干扰比(signal to interference plus noise ratio,SINR)由具体的目标数值扩展为目标窗口.为了最大化系统容量,在满足系统约束条件的前提下,建立了滑动窗口机制.通过认知用户总干扰与干扰温度域上下限的比较,动态调整中值SINR,从而实现目标窗口的滑动.对于确定的目标窗口,采用定步长迭代算法进行发射功率的调整.仿真实验表明,算法达到了预期效果,并取得与最优算法相近的系统性能.     

解读克里普克的“必然观”

克里普克首先将必然性、先验性区分开。然后借助“可能世界”给出了对“必然”的重新界定,认为“必然”是“不可能不”。“可能世界”是无逻辑矛盾的世界。因而其必然是逻辑的、终极的必然。克里普克的其他思想,如历史因果命名理论、本质理论无不与这种必然观密切相关。克里普克追求终极的必然,但他并未十分清晰地区分不同层次的必然,因而产生了一些混淆。     

MW-PLS法对雷尼替丁粉末药品的定量分析

结合可移动窗口偏最小二乘法（MW PLS）, 利用近红外漫反射光谱建立雷尼替丁粉末药品质量分数无损快速检测方法. 对模型进行优化时选择一阶导数、 二阶导数、 卷积平滑和快速Fourier变换预处理方法, 并优化隐变量数等模型参数. 以逼近度Da作为建模参数的优化评价标准, 最终得到测定雷尼替丁粉末药品的最佳模
型. 用该模型进行预测, 其校正集和验证集的预测值和真实值间的相关系数（Rc）分别为0.984 5和0.977 5, 校正集的均方根误差（RMSEC）为0.003 1, 验证集均方根误差（RMSEP）为0.003 3. 与高效液相色谱(HPLC)测定结果比较, 其相对误差≤2.422%.     

度量空间中弱交换压缩型映象的公共不动点定理

在完备度量空间中,证明了弱交换压缩型映象的几个新的公共不动点定理,其结果改进和推广了Rhoades等人的已知结果.