期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于Bell-La Padula模型的三层B模型
1
作者 管瑞峰 潘雪增 平玲娣 《计算机科学》 CSCD 北大核心 2002年第8期131-133,共3页
1.引言 自1967年美国国防科学委员会提出计算机安全保护问题后,1970年美国国防部(DOD)在国家安全局(NSA)建立了一个计算机安全评估中心(NCSC),开始从事计算机安全评估的研究.1985年底,美国国防部发表了<可信计算机系统评估准则(Trust... 1.引言 自1967年美国国防科学委员会提出计算机安全保护问题后,1970年美国国防部(DOD)在国家安全局(NSA)建立了一个计算机安全评估中心(NCSC),开始从事计算机安全评估的研究.1985年底,美国国防部发表了<可信计算机系统评估准则(Trusted Computer System Evaluation Criteria,缩写为TCSEC)>. 展开更多
关键词 计算机安全 Bell-LaPadula模型 三层B模型 安全评估原则 信息保密
下载PDF
一道竞赛训练题的巧证及延伸
2
作者 管瑞峰 陈波 《中学数学(江苏)》 1995年第9期40-41,共2页
在书[1]中有一道竞赛训练题: 题 设△ABC的重心为G,AG、BG、CG的延长线分别交三边BC,CA,AB于D,E,F,交△ABC的外接圆于A’,B’,C’。 求证:A’D/DA+B’E/EB+C’F/FC≥1 原题所给证法的后半部思路不太自然,且变形、计算能力要求颇高。以... 在书[1]中有一道竞赛训练题: 题 设△ABC的重心为G,AG、BG、CG的延长线分别交三边BC,CA,AB于D,E,F,交△ABC的外接圆于A’,B’,C’。 求证:A’D/DA+B’E/EB+C’F/FC≥1 原题所给证法的后半部思路不太自然,且变形、计算能力要求颇高。以下证明引入构造法,使证明简捷、自然。 展开更多
关键词 训练题 几何不等式 竞赛 中等数学 构造法 计算能力 等号成立 数学奥林匹克 圆半径 相交弦定理
下载PDF
林业工程中营造林质量的影响因素及对策
3
作者 管瑞峰 《农业开发与装备》 2019年第10期61-61,66,共2页
随着我国经济水平不断提升,生态环境保护开始成为人民群众关注的重要内容。林业资源是建设良好生态环境的重要手段之一,也是我国重点保护的资源类型,能有效维护生态平衡、保证水土状态、调节气候情况。近些年来,我国的林业建设已取得初... 随着我国经济水平不断提升,生态环境保护开始成为人民群众关注的重要内容。林业资源是建设良好生态环境的重要手段之一,也是我国重点保护的资源类型,能有效维护生态平衡、保证水土状态、调节气候情况。近些年来,我国的林业建设已取得初步成效,但仍旧存在较多问题有待解决。通过了解影响林业工程营林质量的因素,结合实际情况着重研究提高林业工程营林质量的具体对策,以供参考。 展开更多
关键词 林业工程 营造林质量 影响因素 具体对策
下载PDF
Modeling and Analysis of Production Logistics Spatio-Temporal Graph Network Driven by Digital Twin 被引量:2
4
作者 郑龙辉 孙奕程 +5 位作者 张辉辉 鲍劲松 陈晓川 赵振洪 陈钟浩 管瑞峰 《Journal of Donghua University(English Edition)》 CAS 2022年第5期461-474,共14页
In the process of logistics distribution of manufacturing enterprises, the automatic scheduling method based on the algorithm model has the advantages of accurate calculation and stable operation, but it excessively r... In the process of logistics distribution of manufacturing enterprises, the automatic scheduling method based on the algorithm model has the advantages of accurate calculation and stable operation, but it excessively relies on the results of data calculation, ignores historical information and empirical data in the solving process, and has the bottleneck of low processing dimension and small processing scale. Therefore, in the digital twin(DT) system based on virtual and real fusion, a modeling and analysis method of production logistics spatio-temporal graph network model is proposed, considering the characteristics of road network topology and time-varying data. In the DT system, the temporal graph network model of the production logistics task is established and combined with the network topology, and the historical scheduling information about logistics elements is stored in the nodes. When the dynamic task arrives, a multi-stage links probability prediction method is adopted to predict the possibility of loading, driving, and other link relationships between task-related entity nodes at each stage. Several experiments are carried out, and the prediction accuracy of the digital twin-based temporal graph network(DTGN) model trained by historical scheduling information reaches 99.2% when the appropriate batch size is selected. Through logistics simulation experiments, the feasibility and the effectiveness of production logistics spatio-temporal graph network analysis methods based on historical scheduling information are verified. 展开更多
关键词 digital twin(DT) production logistics job scheduling spatio-temporal analysis
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部