课程文献中心 更多>>

关键词： 黑盒测试   等价类划分法   划分规则  

摘要： 等价类划分法在黑盒测试中具有不可代替的作用,是边界值分析的基础。然而,当前的等价类划分法的划分规则存在不合理性,对测试用例设计过程造成了一定影响。文章分析了已有的等价类划分法的划分规则,指出了存在的问题,并对其进行了修正和优化,最终形成了新的划分规则。经验证,优化后的规则易于使用且逻辑清晰,能够帮助测试设计人员进一步提高工作效率。

关键词： 公路工程   较大设计变更   审查   问题   对策  

摘要： 公路工程属于线性工程,具有地理区域跨度大、涉及专业广、施工工艺复杂、安全风险高,且受地质及环境不确定因素影响大等特征。施工图预算批准后,常因不确定因素影响或方案优化导致已批准的施工图文件进行较大设计变更。因此,为合理确定较大设计变更施工图预算费用增(减),需要对公路工程较大设计变更施工图预算审查中遇到的问题进行总结,并提出相应的质量提升策略,从而减少设计变更给工程造价带来的影响。

关键词： 铁路运输   动车组   非线性规划模型   动车组周转计划   客座率   运行图调整  

摘要： 针对现有城际铁路动车组周转计划编制方法未考虑运行线客座率分布,导致抽线调整时难以单独停运低客座率车次而不影响高客座率车次的问题,本文提出一种适用于运行图抽线调整的动车组周转计划优化编制方法。以最小化动车组使用数量及交路中运行线客座率差异为目标,考虑满足一级修等约束条件,构建非线性整数规划模型;通过线性化处理并结合Hierholzer's算法筛选合格解的方式,高效求解模型。案例分析表明:相较于只考虑动车组使用数量的传统方法,该模型在不增加动车组使用数量的情况下,可以显著降低各交路中运行线客座率的差异。优化后的交路中运行线客座率极差提高了68.67%,交路中运行线客座率方差之和降低至对比方案的66.27%。抽线调整时,采用优化方案能够更精确地优先取消低客座率运行线,有效保留高客座率运行线。在抽线条数分别设定为1,2,3的情况下,优化方案停开的运行线中,客座率低于60%的运行线的占比均保持在77%以上,而对比方案中该比例均未超过45%;优化方案中被取消车次的平均客座率比对比方案分别降低了4.48%、5.88%和6.01%。

关键词： 电路划分   近似逻辑   层次导引  

摘要： 随着信息技术的飞速发展,电子系统日益复杂,对集成电路设计的要求也越来越高。传统的逻辑综合方法在面对大规模、高复杂度的电路设计时,往往面临计算量大、设计周期长、资源消耗多等问题。因此,研究基于层次导引电路划分的近似逻辑综合工具链具有重要的现实意义和应用价值。本研究旨在深入探索基于层次导引电路划分的近似逻辑综合工具的研究与应用。研究任务包括对该工具链的定义、特点、发展历程进行全面梳理,分析层次导引电路划分的基本原理、关键技术及应用场景,并设计与实现一个高效、稳定的近似逻辑综合工具链。通过实验验证与性能分析,评估工具链的实际效果,并探讨其在实际应用中的案例、应用前景与挑战。

关键词： 《早春图》   《溪山行旅图》   郭熙   台北故宫博物院   范宽   李唐   春之梦   山水画  

摘要： 郭熙《早春图》的主山堂堂是运用卷云皴,采用龙脉一样蜿蜒而上的构图方式,使画面仿佛处于晃动中,山不再是岿然不动的物体……郭熙的《早春图》是中国台北故宫博物院书画类中三件被大家公认画得最好的巨型山水画之一,另外两件分别是范宽的《溪山行旅图》和李唐的《万壑松风图》。

关键词： 2-距离和可区别全染色   Halin图   组合零点定理  

摘要： 记[k]={1,2,…,k}为颜色集.设f:V(G)∪E(G)→[k]为图G的一个k-全染色.令S(u)=f(u)+∑/_(v)∈N_(G)(u)f(uv),其中,N_(G)(u)表示u的邻点集.若对G中距离不超过2的任意两点u、v,有S(u)≠S(v),则称f为图G的一个2-距离和可区别k-全染色.图G的2-距离和可区别k-全染色中最小k值称为图G的2-距离和可区别全色数,记为χ″_(2-Σ)(G).该文运用组合零点定理证明了最大度至少为4的Halin图G满足χ″_(2-Σ)(G)≤max{Δ(G)+2,9},其中,Δ(G)表示图G的最大度.

关键词： 流量预测   多时间粒度   图注意力网络   空间聚合   一维卷积网络  

摘要： 蜂窝网络流量预测对于运营商提高网络服务质量、降低能耗、优化资源配置具有重要意义。针对当前蜂窝网络流量预测方法无法同时提取多时间粒度序列特征和空间特征的问题,提出一种基于多时间粒度时空图神经网络的蜂窝网络流量预测方法。该方法首先将基站历史数据建模为多个时间粒度的时序数据,并使用一维卷积网络提取每个序列的特征,然后使用图注意力网络对多时间粒度的特征进行聚合得到单一基站的数据特征,最后将多个基站的特征进行空间聚合,并使用全连接层将每个基站聚合后的特征映射为预测结果。实验选择公开数据集Telecom Italia验证该方法的有效性,使用RMSE和R 2作为预测结果的评价指标,与当前已有方法相比该方法可取得最好的预测结果。论文最后分析了不同时间粒度序列对最终预测结果的影响,结果表明时间粒度位于40分钟至1.5小时之间的序列对提高模型预测效果的贡献最大。

关键词： 深度学习   高中数学   大单元   教学设计  

摘要： 文章以人教A版《函数的概念与性质》单元教学为例,探讨了深度学习背景下的高中数学大单元教学设计策略,指出教师可从目标设计、资源整合、活动规划及作业设计四个层面优化设计.

关键词： 手术工勤人员   算法   室内定位   卡尔曼滤波   图基平滑   RFID  

摘要： 以医院手术工勤人员的全流程智慧追溯为建设场景,以改善射频识别(Radio Frequency Identification,RFID)物联网手术工勤人员定位精度低、鲁棒性差问题为研究目标,提出一种基于卡尔曼滤波和图基平滑的室内定位优化方法,增强定位准确性。该研究首先以图的数据结构对场景进行建模,接着基于卡尔曼滤波(Kalman Filtering)和图基平滑(Tukey Smoothing)算法建立RFID室内定位优化方法,最后通过定位优化模块改善手术工勤人员定位追溯的成效。实证分析结果表明:该方法能有效改善定位精度,方法应用的3个月内手术工勤人员追溯准确率为99.75%。

关键词： 航天器   故障诊断   动态不确定因果图   知识表达   概率推理  

摘要： 针对航天器智能化故障诊断的问题,基于动态不确定因果图(Dynamic Uncertain Causality Graph,DUCG)构建诊断模型,克服了基于规则的方法、数据驱动方法存在的诊断正确率低、数据依赖程度高、可解释性差等问题。DUCG基于领域专家的经验知识、以图形化的方式表达航天器遥测参数与可能的故障之间的不确定性知识,不依赖于已有的故障数据,具有诊断正确率高、可解释性强等特征。使用DUCG构建包含42个故障、129个遥测参数的诊断模型,试验结果表明模型的准确率为100%。