国产计算机的环境适应能力优化与可靠性提升研究

以国产计算机(龙芯3A3000+7A1000)为研究对象,分析其基于车载环境计算资源受限情况下的环境适应能力,通过压力测试和可靠性摸底实验进行验证与改进,采用冒烟测试获取计算机平台的环境适应阈值,并提出计算环境适应能力优化与可靠性提升的解决方案.     

基于多参数稳定分布的GBAS垂直保护级计算

针对全球导航卫星系统(global navigation satellite system, GNSS)的地基增强系统(ground based augmentation system, GBAS)的完好性评估过程中, 使用误差包络理论计算保护级(protection level, PL)时, 误差模型存在的“厚尾”“不对称”“非零均值”等问题, 提出了基于稳定分布的误差包络理论。首先给出了高斯包络理论计算PL的模型; 其次推导了两参数与四参数稳定分布误差包络算法; 最后使用仿真数据和通过实验测得的数据, 对多参数稳定包络模型的算法进行评估。结果表明多参数稳定包络法在相似的计算复杂度下, 解决了高斯包络法建模时过于保守的问题, 显著提高了保护级计算的精确性。     

MOOC背景下经管类专业高等数学多元化考核评价模式的探索

传统的高等数学考试成绩大多数采取了平时成绩与期末卷面成绩按比例相结合的方式,对于经管类专业的学生,传统考核方式存在明显缺陷.结合实践教学经验,探索高等数学在经管类专业的考核方式的变革.     

具有标准发生率的随机SIRS传染病模型的趋势分析

考虑了随机环境下具有标准发病率的SIRS传染病模型,研究了其长时间的动力学行为.证明了随机模型正解的存在性和唯一性,给出了随机模型中感染者数量趋于灭绝或持续的条件.在持久性情况下,利用Hasminskii理论证明了该随机模型具有平稳分布并且是遍历的.     

一个野代数的二维的不可分解表示

在表示型的研究中,野代数Γ=k〈x,y〉扮演重要角色,但通常描述其表示是非常困难的。本文主要利用Belitskii算法得到代数Γ所有二维表示的同构类,等价地,得到二阶矩阵对的Belitskii标准形,并得到该线性矩阵问题的Belitskii标准形的参数数。     

外交动态

习近平同俄罗斯总统普京通电话2020年12月28日晚,国家主席习近平同俄罗斯总统普京通电话。习近平指出,2020年对于中俄两国和全世界都是极不平凡的一年。新冠肺炎疫情大流行对人类生命安全形成空前挑战,对世界经济造成严重冲击,世界进入动荡变革期。真金不怕火炼。危难时刻,中俄关系的独特优势和宝贵价值愈加凸显。双方守望相助,共克时艰,在涉及彼此核心利益问题上继续坚定相互支持,体现了两国高水平互信和友谊。     

测试可控流程的研究与应用

当前,质量管理工作的开展很大程度上依赖检测设备,而检测设备的测试覆盖率是很多质量管理工作追求的内容。人们要提高测试设备的测试覆盖率,实现测试可控。本文主要研究测试可控流程,并将研究结果转化为实际测试可控内容,以发挥它的真正价值,同时提供参考案例,帮助了解该流程。     

青藏高原东北部一次暴雨过程分析

本文利用NCAR/NCEP资料,对发生在青海东部农业区的一次区域性大到暴雨过程进行了诊断分析。结果表明,本次暴雨天气过程主要受西伸到青藏高原东部的副热带高压及500 hPa风场上冷空气入侵青藏高原北部的影响。热低压中的上升气流与冷锋后的下沉气流构成纬向闭合环流,青藏高原热低压中的上升气流与副热带高压中的下沉气流形成径向闭合环流,垂直闭合环流的形成提供了源源不断的暖湿气流和稳定的上升气流,持续的降水造成了暴雨天气。副热带高压外围强盛的西南气流的稳定维持使得充足的水汽输送到青藏高原东部暴雨地区。     

基于语言偏好信息的满意公平稳定双边匹配方法

针对语言偏好信息下的双边匹配问题,提出一种考虑匹配满意性、公平性和稳定性的双边匹配方法.首先,通过构造匹配满意度计算规则,将双边主体的语言偏好信息转化为匹配满意度;然后,给出满意匹配、公平匹配和稳定匹配的定义,在此基础上,考虑稳定匹配约束条件,建立双边匹配多目标优化模型,采用理想点法将多目标优化模型转化为单目标规划模型进行求解;最后,通过一个算例验证了提出方法的可行性和有效性.