期刊文献+
共找到290篇文章
< 1 2 15 >
每页显示 20 50 100
程序复杂度度量系统pgrmetrics的设计与实现 被引量:4
1
作者 丁炎炎 赵洋 +1 位作者 蔡志旻 潘金贵 《计算机应用研究》 CSCD 北大核心 2004年第1期167-169,共3页
介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的 信息抽取变为对抽象对象模型的信息抽取,故而无论从设计和实现系统的角度看都显得较为简洁易行。
关键词 软件复杂度 度量模型 可扩展程序对象模型 McCabe方法
在线阅读 下载PDF
Application of the Credit Metrics in the Credit Risk Management of Commercial Banks 被引量:2
2
作者 Yu Jiuhong Lu Yue Wang Zhibo 《学术界》 CSSCI 北大核心 2015年第5期297-301,共5页
Credit risk is one of the main risks the commercial banks faces all over the world,especially in the risk structure of the banks of China.In order to control credit risk more scientifically,we shall connect the qualit... Credit risk is one of the main risks the commercial banks faces all over the world,especially in the risk structure of the banks of China.In order to control credit risk more scientifically,we shall connect the qualitative analysis and the quantitative analysis.Put forward by J.P.Morgan Credit Metrics model is the application of the VaR in the field of credit risk,showing great advantage in quantitative bonds and credit risk of loan.This paper studies the Credit Metrics model and analyzes the hypothesis and framework of this model,attempting to explore the application of the model in China in order to promote the realization of the risk quantification of the commercial banks of China. 展开更多
关键词 信用风险管理 商业银行 应用 中国银行 度量模型 信贷风险 定量分析 量化模型
在线阅读 下载PDF
Java语言的度量及工具实现 被引量:2
3
作者 邢大红 李家伟 +2 位作者 张顺国 郝海涛 刘宗田 《计算机工程》 CAS CSCD 北大核心 2001年第9期51-52,共2页
简述了面向对象软件度量的最新进展,并设计和实现了基于目前流行的C&K度量方法的Java语言度量工具。
关键词 java语言 面向对象 软件开发 软件度量 计算机
在线阅读 下载PDF
一种Java程序度量工具的设计实现 被引量:2
4
作者 李诺 金茂忠 刘超 《电子学报》 EI CAS CSCD 北大核心 2004年第F12期175-179,共5页
IEEE软件工程术语标准中定义度量 (metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量 .为辅助这种定量的测量 ,设计了一种针对Java程序的度量工具 .首先给出一套度量Java程序的度量算法的详细定义 ,然后重点阐述如何... IEEE软件工程术语标准中定义度量 (metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量 .为辅助这种定量的测量 ,设计了一种针对Java程序的度量工具 .首先给出一套度量Java程序的度量算法的详细定义 ,然后重点阐述如何通过分层的体系结构实现这些度量算法 .该设计实现的度量工具具有良好的可扩展性 ,在实际应用中能确实帮助改进程序质量 . 展开更多
关键词 面向对象度量 度量算法 java度量工具设计
在线阅读 下载PDF
Java程序度量工具的实现及案例分析 被引量:1
5
作者 李诺 金茂忠 刘超 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第2期128-133,共6页
介绍了面向对象度量技术 ,给出针对Java语言的McCabe ,Halstead和WMC复杂度的定义 ,提出了一种新的面向Java语言的度量工具的实现方法 ,并且通过实例分析说明利用该工具度量Java程序 ,某些度量值高的模块逻辑复杂、工作量大、易错且难维... 介绍了面向对象度量技术 ,给出针对Java语言的McCabe ,Halstead和WMC复杂度的定义 ,提出了一种新的面向Java语言的度量工具的实现方法 ,并且通过实例分析说明利用该工具度量Java程序 ,某些度量值高的模块逻辑复杂、工作量大、易错且难维护 ,从而引导测试人员重点测试这些模块 ,同时也使开发人员关注它们 ,仔细检查程序逻辑 ,进行合理优化 ,使整个程序的复杂度降低 .确凿实验数据表明 ,软件度量对改进软件质量具有很大实用价值 .本工具采用以下度量标准度量Java程序 :针对继承复杂性的DIT(DepthofInheritanceTree)和NOC(NumberOfChildren)复杂度 ;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(WeightedMethodsperClass)复杂度 ;针对类间耦合性、聚集性的RFC(ResponseforaClass)度量法 .每种复杂度从不同方面、不同层次度量Java程序 ,从而有效全面的评价软件质量 ,揭示可能隐藏的错误 . 展开更多
关键词 软件度量 度量工具 java语言
在线阅读 下载PDF
层次型Java软件质量度量模型研究
6
作者 黄璜 周欣 孙家骕 《计算机科学》 CSCD 北大核心 2003年第5期85-89,共5页
Metrics model is in fact a cluster of criterions to assess software, which may show the characteristics ofdifferent software systems or modules and then serve different demands from users. The research on software met... Metrics model is in fact a cluster of criterions to assess software, which may show the characteristics ofdifferent software systems or modules and then serve different demands from users. The research on software metricstries to give characteristic evaluations to software components in component extraction, and then supports users to se-lect reusable components in high quality.Java has been one of the main languages today. With consideration of characteristics of Java and research on somegeneral metrics model, our model: Quality Metrics Model for Java is born.Following the principle of "Factor-Criterion-Metrics", more detailed descriptions of factors, criterions and met-rics of our model are given. In fact, the metrics model shows us some way for consideration. Through this model, wehope to normalize the point of the views of users.In JavaSQMM, four activities organize software quality evaluating: understanding, function implementing,maintaining and reusing, and then four corresponding factors of quality come to birth, which are mixed by criteria andmetrics.When designing our Java metrics model, the original development of Object Oriented Metrics Model Tool for Ja-va(OOMTJava)provides the support to process of metrics semi-automatically. 展开更多
关键词 java语言 软件质量度量模型 层次度量模型 软件开发 计算机 INTERNET
在线阅读 下载PDF
面向Java语言的类复杂性度量方法的研究
7
作者 肖汉 《计算机科学》 CSCD 北大核心 2006年第3期252-254,共3页
软件产品复杂度在软件度量领域是一个非常重要的方面。软件开发的成本、进度和潜伏的错误数量都与复杂度有密切的关联。由于 OOA 和 OOD 被广泛运用,面向对象的软件度量已成为面向对象软件工程一个不可分割的部分。本文通过分析 C&K... 软件产品复杂度在软件度量领域是一个非常重要的方面。软件开发的成本、进度和潜伏的错误数量都与复杂度有密切的关联。由于 OOA 和 OOD 被广泛运用,面向对象的软件度量已成为面向对象软件工程一个不可分割的部分。本文通过分析 C&K 和 Lorenz&Kidd 度量方法,提出了适用于 JAVA 语言特征的面向对象的类复杂性度量方法。 展开更多
关键词 软件度量 类复杂性 C&K度量 java
在线阅读 下载PDF
面间煤柱掘支机器人集群数字孪生系统高效虚实同步方法 被引量:1
8
作者 毛清华 司马俊雷 +5 位作者 马宏伟 王川伟 陈彦璋 郭文瑾 崔闻达 成佳帅 《煤田地质与勘探》 北大核心 2025年第5期228-238,共11页
【目的】针对面间煤柱掘支机器人集群虚拟模型数据量大、数据传输异常等导致虚实同步效果不佳问题,提出了一种基于三维模型轻量化与轨迹预测-修正模型的数字孪生掘支机器人集群高效虚实同步方法。【方法】定义了配合依赖顶点的概念,通... 【目的】针对面间煤柱掘支机器人集群虚拟模型数据量大、数据传输异常等导致虚实同步效果不佳问题,提出了一种基于三维模型轻量化与轨迹预测-修正模型的数字孪生掘支机器人集群高效虚实同步方法。【方法】定义了配合依赖顶点的概念,通过引入配合依赖顶点坍缩影响因子来改进二次误差度量算法,约束装配体三维模型轻量化过程使其保持各构件之间的配合关系,减小三维模型数据规模;建立了掘支机器人集群轨迹预测-修正模型,基于Self-Attention-LSTM轨迹预测算法预测孪生机器人集群的运动轨迹,结合二次插值法实时修正预测轨迹,保证虚拟模型与物理装备虚实同步的时空一致性。并构建了数字孪生掘支机器人集群高效虚实同步模拟验证平台。【结果和结论】引入配合依赖顶点坍缩影响因子约束轻量化过程,可有效抑制三维模型几何误差的增长,保持装配体配合面基本不变,可达到90%数据压缩率;1.5 s运动轨迹预测任务中,Self-Attention-LSTM轨迹预测算法误差最小,轨迹预测-修正方法可使驱动轨迹的MAD缩小74.28%,有效保障虚实同步一致性与平稳性;虚实同步延迟最大为55.28 ms,最大虚实同步位置绝对误差为1.93 mm、相对误差为1.07%,实现了掘支机器人集群高精度、低延迟虚实同步。提出的高效虚实同步方法为提升煤矿装备数字孪生系统运行效率提供了新思路。 展开更多
关键词 面间煤柱 数字孪生 掘支机器人集群 模型轻量化 二次误差度量 轨迹预测-修正
在线阅读 下载PDF
基于DEMATEL-ISM的医院科技创新关键影响因素识别与分析
9
作者 钟华 单连慧 安新颖 《中国医院管理》 北大核心 2025年第6期56-60,共5页
目的 识别影响医院科技创新的关键因素及其关联关系,为提升医院科技创新水平提供参考借鉴。方法 基于中国医院科技量值指标体系,应用决策实验室分析法测算影响因素的中心度、原因度、影响度以及被影响度,然后运用解释结构模型(ISM)构建... 目的 识别影响医院科技创新的关键因素及其关联关系,为提升医院科技创新水平提供参考借鉴。方法 基于中国医院科技量值指标体系,应用决策实验室分析法测算影响因素的中心度、原因度、影响度以及被影响度,然后运用解释结构模型(ISM)构建医院科技创新影响因素的层次递阶结构,进而揭示影响因素之间的关联及其互相作用机制。结果提出标准和指南、国际权威指南论文引用、发明专利转化等9个因素是医院科技创新关键影响因素,并通过ISM将影响因素分为表层因素、中层因素和深层因素3个层级。结论 医院科技创新受多种因素影响,应从高质量科技产出、高效能成果转化、高临床价值导向等方面提升医院科技创新能力。 展开更多
关键词 决策实验室分析法 解释结构模型 医院 科技创新 科技量值
在线阅读 下载PDF
基于多侧面信息表征联合的实体相似性度量及对齐方法
10
作者 朱红 王阔然 朱彤 《计算机工程》 北大核心 2025年第3期64-75,共12页
实体对齐旨在发现不同知识图谱中相同对象的不同实例,但图谱之间的异构性导致等价实例结构及表征不一致,从而影响实体对齐准确性。提出一种实体主信息与多侧面信息表征相联合的异构图谱实体相似性度量方法,并用于实体对齐任务。实体主... 实体对齐旨在发现不同知识图谱中相同对象的不同实例,但图谱之间的异构性导致等价实例结构及表征不一致,从而影响实体对齐准确性。提出一种实体主信息与多侧面信息表征相联合的异构图谱实体相似性度量方法,并用于实体对齐任务。实体主信息包括实体名称及描述,侧面信息包括实体属性、关系及关联实体描述等信息。针对图谱间等价实体结构异构带来的对齐干扰,提出了一种结合实体多侧面信息语义表征的相似性度量方法UnMuSIR-SM&EA用于实体对齐。为提升信息同义词的表示一致性,引入表示学习模型以获取实体各信息的语义表征,为解决表示学习模型嵌入空间各向异性带来的同义词度量尺度不一致问题,设计了一种基于实体主信息对比学习的微调方法,优化实体信息的语义表征。实验结果表明,该方法在结构差异较大的数据集DIS_(ZH-EN)上的Hits@1达到了95.2%,比基于侧面信息的模型BERT-INT高出了16.8百分点;在DBP15K的DBP15K_(ZH-EN)、DBP15K_(JA-EN)和DBP15K_(FR-EN)数据子集上的Hits@1分别达到了95.7%、96.0%和98.9%;在DBP-WD数据集上的Hits@1达到了99.4%。所提模型在实体对齐任务上具有优异的效果。 展开更多
关键词 实体对齐 知识图谱 相似性度量 对比学习 预训练模型
在线阅读 下载PDF
融合静态分析警告的软件缺陷预测模型及其应用研究
11
作者 吴海涛 马景悦 高建华 《计算机科学与探索》 北大核心 2025年第3期818-834,共17页
静态分析警告作为一种重要的软件质量指标,被广泛用于识别源代码中潜在的违规问题。近期的研究表明,静态分析警告在代码异味检测和即时缺陷预测中有所应用,但有关项目早期缺少提交修改记录的情况没有涉及。针对上述问题,利用三种流行的... 静态分析警告作为一种重要的软件质量指标,被广泛用于识别源代码中潜在的违规问题。近期的研究表明,静态分析警告在代码异味检测和即时缺陷预测中有所应用,但有关项目早期缺少提交修改记录的情况没有涉及。针对上述问题,利用三种流行的静态分析工具的警告信息,在原有的缺陷预测模型中融合静态分析警告这个新的度量,构建一个涵盖软件开发和代码可维护性的缺陷预测模型,并探究静态分析警告与缺陷的潜在关系,融合警告对软件缺陷预测模型性能的影响以及在跨项目场景中的影响。实验结果表明,警告数量往往与缺陷分布密切相关,呈现正相关的关系,即警告这一度量在软件缺陷预测模型中有相当大的潜力,并且在有缺陷数据中报告的警告信息往往与编码规范相关;融合警告之后,缺陷预测模型在各项目上的平均精度提高1.4%~14.7%,平均召回率提高0.2%~2.4%,平均F1提高0.3%~3.0%,平均AUC提高0.2%~1.4%。在跨项目场景中,CODE+SAW_VIF度量提供了最佳性能的缺陷预测模型,融合静态分析警告能够提升模型识别缺陷的性能。 展开更多
关键词 软件缺陷 静态分析工具 静态分析警告 代码度量 跨项目场景预测
在线阅读 下载PDF
基于间隙度量和模糊控制的漂浮式风电机组变权重多模型预测控制研究
12
作者 刘颖明 马振洪 +2 位作者 王晓东 焦一飞 李长川 《太阳能学报》 北大核心 2025年第9期189-197,共9页
该文以NREL5MW半潜漂浮式风电机组为研究对象,通过机理和动力学分析构建非线性模型,采用在线参数辨识的方法建立不同工况下的线性变参数(LPV)模型,采用间隙度量理论简化线性模型数量,并与FAST模型进行对比,验证其准确性。提出一种基于... 该文以NREL5MW半潜漂浮式风电机组为研究对象,通过机理和动力学分析构建非线性模型,采用在线参数辨识的方法建立不同工况下的线性变参数(LPV)模型,采用间隙度量理论简化线性模型数量,并与FAST模型进行对比,验证其准确性。提出一种基于模糊变权重的多模型预测(Fuzzy-MPC)变桨控制器,引入卡尔曼滤波状态观测器实现状态量的估计,以减少功率波动和塔筒位移为目标函数,为提高控制器对不同工况的跟踪能力,采用模糊控制在线优化MPC目标函数权重系数,以实现其自适应控制。通过与FAST和定权重MPC控制器对比验证所设计控制器在平缓功率、减少塔筒位移和稳定机组姿态上的有效性。 展开更多
关键词 海上风电机组 模型预测控制 模糊控制 间隙度量 线性变参数模型
在线阅读 下载PDF
基于模型定义的三维模型信息完备性检查技术研究 被引量:1
13
作者 刘泉泉 方喜峰 +3 位作者 程德俊 张胜文 罗兰珍 孔俊龙 《中国机械工程》 北大核心 2025年第5期1035-1043,共9页
针对三维模型信息标注不规范、结构差异难诊断、尺寸冗余缺失以及人工检测效率低等问题,提出了整体的完备性检查方法。通过调用三维计算机辅助设计(CAD)软件应用程序接口(API)函数,对三维CAD软件的检查功能模块进行二次开发,完成对基于... 针对三维模型信息标注不规范、结构差异难诊断、尺寸冗余缺失以及人工检测效率低等问题,提出了整体的完备性检查方法。通过调用三维计算机辅助设计(CAD)软件应用程序接口(API)函数,对三维CAD软件的检查功能模块进行二次开发,完成对基于模型定义(MBD)技术中三维模型信息的检查与纠正;通过二次开发CAD软件实现对MBD模型基本方向视图的自动捕获,再通过Python调用OpenCV库,将新捕获的视图与数据库中已有模型视图利用图像结构相似性(SSIM)指标进行对比,得到最相似模型视图图像,将两者通过图像减法运算对结构差异区域进行提取并高亮显示;最后对三维模型尺寸按照分类规则分类,通过深度优先搜索(DFS)算法结合尺寸冗余缺失检查规则,完成尺寸的完备性检查。以某厢舱汽车产品为对象验证了所提方法的可行性。 展开更多
关键词 基于模型定义 完备性检查 二次开发 结构相似性指标 深度优先搜索算法
在线阅读 下载PDF
融合特征选择与多模型软投票集成学习的代码异味检测方法 被引量:1
14
作者 黄晨峻 高建华 《小型微型计算机系统》 北大核心 2025年第2期504-512,共9页
代码异味会导致软件质量逐渐衰退,降低软件可理解性和可维护性.为检测软件结构中的代码异味,提出了一种基于CK度量的、经过两步特征选择的软投票集成学习的代码异味检测方法,该方法首先进行特征选择,使用Pearson相关系数剔除冗余特征,... 代码异味会导致软件质量逐渐衰退,降低软件可理解性和可维护性.为检测软件结构中的代码异味,提出了一种基于CK度量的、经过两步特征选择的软投票集成学习的代码异味检测方法,该方法首先进行特征选择,使用Pearson相关系数剔除冗余特征,并在剩余度量中使用XGBoost特征重要性筛选相关度大的度量.然后,针对仅使用单一机器学习模型泛化性能不佳的问题,提出一种基于5种较成熟机器学习模型的软投票集成学习模型,完成代码异味分类检测任务.实验基于CK度量,利用含7个开源项目、4种代码异味的数据集,实验结果表明,此种方法能够减少特征维度,且在性能指标上优于其它分类模型,其中F1值最高提升3.24%,AUC最高提升2.32%. 展开更多
关键词 代码异味 特征选择 CK度量 投票模型 集成学习
在线阅读 下载PDF
基于特征优化的随机森林模型探究河岸带景观对入湖河流总氮浓度的影响
15
作者 李江 王杰 +2 位作者 崔玉环 张耀波 晏实江 《湖泊科学》 北大核心 2025年第4期1290-1301,I0030,I0031,共14页
河岸带在拦截地表污染物进入河流方面起着重要作用,探究河岸带景观特征对河流总氮(TN)浓度的影响机制对河流水质调控尤为重要。以受面源污染控制的巢湖入湖河流为研究对象,根据实测水质数据与同期Sentinel-2 MSI影像构建机器学习模型反... 河岸带在拦截地表污染物进入河流方面起着重要作用,探究河岸带景观特征对河流总氮(TN)浓度的影响机制对河流水质调控尤为重要。以受面源污染控制的巢湖入湖河流为研究对象,根据实测水质数据与同期Sentinel-2 MSI影像构建机器学习模型反演河流TN浓度,引入递归特征消除算法优化景观特征指标,利用随机森林回归模型探究不同宽度河岸带景观对河流TN浓度的影响,确定影响河流TN浓度的最有效河岸带宽度与关键景观指标。研究表明:(1)适用于巢湖入湖河流的TN浓度反演模型为梯度提升回归树,其反演精度R^(2)、均方误差和平均绝对百分误差分别达到0.93、0.35 mg/L和28.86%;(2)与传统的冗余分析等方法相比,本文将递归特征消除算法与随机森林回归模型相结合能更为有效捕捉河岸带景观与河流水质间的复杂非线性关系,其拟合优度R^(2)超过了0.87;(3)在干、湿季影响巢湖入湖河流TN浓度的最有效河岸带宽度分别为1500、1000 m,关键景观指标为农田破碎度、城镇面积比例、景观破碎度以及植被覆盖度。建议在上述有效河岸带宽度范围减少农田破碎度、城镇面积比例、景观破碎度并提高植被覆盖度,以降低入湖河流及湖体TN浓度。本研究可为探究地表景观对河流水质的影响机制与受面源污染控制的河流水污染防治提供有效方法与科学依据。 展开更多
关键词 河岸带 随机森林模型 特征优化 景观指标 总氮 巢湖
在线阅读 下载PDF
基于多重拓扑耦合加权网络的高速列车系统部件重要性量化研究
16
作者 夏伟富 王艳辉 +3 位作者 孙晚华 郝羽成 何志超 赵帆 《铁道学报》 北大核心 2025年第8期45-55,共11页
高速列车系统是由各类部件通过多种连接方式组合而成的复杂系统,如何辨识关键部件已成为保证系统安全可靠运营的重要前提和基础。但是,现有相关研究由于难以兼顾系统拓扑特性与功能属性,因而缺少对部件重要性的有效量化。据此,将高速列... 高速列车系统是由各类部件通过多种连接方式组合而成的复杂系统,如何辨识关键部件已成为保证系统安全可靠运营的重要前提和基础。但是,现有相关研究由于难以兼顾系统拓扑特性与功能属性,因而缺少对部件重要性的有效量化。据此,将高速列车系统部件及其连接关系抽象为具有多层结构的拓扑网络,并依据各类连接方式的功能特性分别计算各层边权,从而构建反映系统拓扑特性和功能属性的多重拓扑耦合加权网络。运用改进多指标拓扑势模型并结合结构熵算法量化各层节点综合重要性及节点所对应的部件综合重要性。以CRHX型高速列车系统为例对所提方法的适用性和有效性进行验证。结果表明,所提方法可以更为有效地实现对网络中各节点重要度的量化分析,为制定保证高速列车系统安全可靠运营的针对性维护策略提供重要参考。 展开更多
关键词 高速列车系统 关键节点 多重拓扑耦合加权网络 改进多指标拓扑势模型 结构熵
在线阅读 下载PDF
基于节点特征增强的信息溯源模型
17
作者 霍宣蓉 肖玉芝 +2 位作者 韩佳新 黄涛 胡泽宇 《复杂系统与复杂性科学》 北大核心 2025年第3期1-10,共10页
针对网络谣言溯源难度大,以信息载体模型和用户特征深度挖掘为切入点,提出了一种节点特征增强的溯源模型,旨在利用深度学习方法获取信息节点的高阶多尺度特征(高阶邻居、邻居状态、不同状态连接结构),并结合SEIR传播机制将节点状态学习... 针对网络谣言溯源难度大,以信息载体模型和用户特征深度挖掘为切入点,提出了一种节点特征增强的溯源模型,旨在利用深度学习方法获取信息节点的高阶多尺度特征(高阶邻居、邻居状态、不同状态连接结构),并结合SEIR传播机制将节点状态学习为信息源(I态)与非信息源(S、E、R态)。首先,利用多种节点中心性指标扩充并丰富节点特征;其次,使用抗噪增强模块对扩充后的节点特征进行重构,并动态学习节点自身及其一阶邻居的特征;再次,使用度量学习方法调整节点特征空间,使得相同状态节点之间的距离缩小,以便区分节点的类别和特性;最后,将节点多维度特征融合并分类,最终确定信息源。实验结果表明,模型在模拟生成网络和实际网络上的信息溯源均取得相对较好的效果。 展开更多
关键词 节点特征增强 信息溯源 SEIR模型 感染子图 度量学习
在线阅读 下载PDF
沥青路面内部病害注浆修复效果评价综述
18
作者 董坤 丛波日 +3 位作者 赵书凝 傅锐 李鹏 王俊杰 《科学技术与工程》 北大核心 2025年第6期2207-2217,共11页
沥青路面注浆修复效果的评价方法多种多样,但大多依赖单一指标的现场检测,多指标综合评价方面则鲜见相关报道。为全面了解沥青路面注浆修复效果检测方法,促进单指标评价向多指标评价方法的发展和应用,分别综述了钻孔取芯法、注浆塞尺法... 沥青路面注浆修复效果的评价方法多种多样,但大多依赖单一指标的现场检测,多指标综合评价方面则鲜见相关报道。为全面了解沥青路面注浆修复效果检测方法,促进单指标评价向多指标评价方法的发展和应用,分别综述了钻孔取芯法、注浆塞尺法、弯沉检测法、模量反算法、探地雷达法和瞬态瑞雷面波法在注浆填充质量、路面强度、路面模量、压实度、空隙率以及注浆修复程度等指标检测中的研究与应用;进而借鉴隧道注浆、采空区注浆等领域研究现状,分析了模糊层次分析法、灰色关联度法、主客观赋权云模型在沥青路面内部病害注浆修复效果评价中的应用前景,展望了沥青路面注浆修复效果评价精确化、客观化和信息化的发展趋势。为沥青路面内部病害注浆修复效果评价提供多元的方法指导。 展开更多
关键词 沥青路面 注浆修复效果 指标检测 评价模型 多指标综合评判
在线阅读 下载PDF
插值点法FGM梯度源建模及其可视化分析
19
作者 韩晓伟 韩硕 +1 位作者 马硕 段国林 《机械设计与制造》 北大核心 2025年第4期274-277,282,共5页
功能梯度材料由于兼顾控材、控性等多种优良性能,近些年被广泛应用于3D打印领域。功能梯度材料建模则是3D打印技术关键问题之一,而功能梯度材料建模的关键,则是将几何空间与材料空间相结合的过程。设计功能梯度材料时往往会不断改变、... 功能梯度材料由于兼顾控材、控性等多种优良性能,近些年被广泛应用于3D打印领域。功能梯度材料建模则是3D打印技术关键问题之一,而功能梯度材料建模的关键,则是将几何空间与材料空间相结合的过程。设计功能梯度材料时往往会不断改变、调试材料分布函数以达到所需要的梯度变化规律。对简化材料分布函数进行研究,找到其系数之间关系,以方便修改系数达到所需要的梯度规律。提出一种基于插值点的功能梯度材料梯度源建模方法,该方法将模型材料信息附着到插值点上,得到一条带有材质信息的特殊线段(直线段或曲线段),而后将此特殊线段经过一系列空间变换而得到功能梯度材料实体模型,实现材料信息与几何模型整体表达。利用VS2019和OpenGL编程语言对该方法所建立的功能梯度材料模型进行可视化分析,最后给出可视化分析实例。 展开更多
关键词 功能梯度材料建模 材料分布函数 插值点 几何空间 材料空间 可视化分析
在线阅读 下载PDF
面向信息物理融合系统的混成攻击图分析方法
20
作者 葛要港 陈鑫恺 +1 位作者 徐丙凤 何高峰 《计算机工程与设计》 北大核心 2025年第6期1616-1624,共9页
针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,... 针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,将混成攻击图转化为时间自动机模型,采用度量区间时序逻辑,描述系统对离散与连续信息的安全属性,使用模型检测器进行可满足性验证。通过智能家居系统的案例说明了所提方法的有效性。 展开更多
关键词 信息物理融合系统 模型检测 混成攻击图 形式化方法 时间自动机 度量区间时序逻辑 安全属性
在线阅读 下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部