一种基于TE技术实现Clark-Wilson模型的方法

分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.

一种基于Clark-Wilson模型的职责分离算法及应用

目前许多行业采用数据集中处理和存储,使管理员的权限过于集中,这就带来了新的安全风险,许多单位为了防范这种风险仅仅从制度上进行了限定,而没有技术上的保障,致使制度行同虚设。本文提出和实现了一种基于Clark-Wilson模型的职责分离算法,该算法主要用于分散过于集中的权限。通过实际的应用表明,该算法达到了分散权限的目的,防范了上述风险,保证了数据的完整性。

通过RBAC和TE模型融合实现Clark-Wilson模型(英文)

提出通过融合RBAC和TE模型来实现Clark-Wilson模型的一种方法,即:通过不同用户赋予不同角色实现责任分立;利用特殊的域表示变换过程;使用不同的类型标识约束数据项和非约束数据项.分析了实施和认证规则的正确性.通过在SEBSD系统中实施了FTP的完整性安全策略的实例,说明该方法能够实现细粒度的访问控制和灵活配置.

安全ARP的Clark-Wilson模型化

ARP协议漏洞严重威胁着TCP/IP的安全,一些基于对称或非对称密钥机制的安全ARP协议被相继提出。本文介绍了ARP协议攻击的原理和几个最出名的基于对称或非对称密钥机制的安全ARP协议,引入Clark-Wilson商业模型对ARP的完整性状态进行了分析,把改进协议Clark-Wilson模型化,在模型化的过程中找到了它们不能通过Clark-Wilson商业模型验证规则的关键点,并根据Clark-Wilson商业模型提出的经典场景,给出了相应的攻击场景。

一种动态约束的Clark-Wilson模型

Clark-Wilson模型是一种广泛应用于商务领域的信息安全模型,能够较好满足企业信息系统所追求的完整性安全需求,它的完整性保证在早期是通过遵循一些静态的授权约束来实现的。这种方式随着现代商务领域业务多方位多层次发展,越来越显现出其局限性。该文提出一种支持动态约束的Clark-Wilson模型,并进一步对该模型的良构事务和职责分离规则进行了描述。

基于匹配的模型卸载边缘联邦学习方法

针对边缘计算环境下联邦学习中因资源异质性导致的“滞后者”效应等问题,提出基于匹配的模型卸载边缘联邦学习方法(Fed-MBMO)。该方法通过收集边缘设备的性能分析结果,将设备分别划分为强、弱客户端,考虑了模型训练的四个阶段时间占比,弱客户端通过冻结部分模型以节省在特征层上反向传播的时间,并将模型卸载至“强客户端”进行额外的训练,最后将强客户端模型的特征层与弱客户端的全连接层进行模型重构。为提高模型卸载效率,综合考虑模型特征层的相似度与任务完成时间构建了卸载成本矩阵,并将问题转换为迭代求解基于二部图的最优匹配问题,提出基于Kuhn-Munkres(KM)的模型卸载算法并进一步分析了Fed-MBMO算法的时间复杂度。实验结果表明,在资源与数据极端异质的情况下,该方法能够加速模型收敛,模型训练时间与FedAvg、FedUE和Aergia相比分别平均减少46.65%、12.66%、38.07%。实验结果证明了所提的Fed-MBMO算法能够有效解决“滞后者”效应问题并显著提高联邦学习效率。

融合知识图谱和大模型的高校科研管理问答系统设计

科研管理是高校管理中的重要组成部分,但现有的科研管理系统难以满足用户的个性化需求。以高校科研管理向智能化转型为需求导向,将知识图谱、传统模型和大语言模型相结合,共同构建新一代高校科研管理问答系统。采集科研知识用于构建科研知识图谱。利用同时进行意图分类和实体提取的多任务模型进行语义解析。借助解析结果来生成查询语句,并从知识图谱中检索信息来回复常规问题。将大语言模型与知识图谱相结合,以辅助处理开放性问题。在意图和实体具有关联的数据集上的实验结果表明,采用的多任务模型在意图分类和实体识别任务上的F1值分别为0.958和0.937,优于其他对比模型和单任务模型。Cypher生成测试表明了自定义Prompt在激发大语言模型涌现能力方面的成效,利用大语言模型实现文本生成Cypher的准确率达到85.8%,有效处理了基于知识图谱的开放性问题。采用知识图谱、传统模型和大语言模型搭建的问答系统的准确性为0.935,很好地满足了智能问答的需求。

基于PSR+云模型的室内地震应急避难场所的韧性评估

为评估室内地震应急避难场所的韧性等级,提出一种基于压力-状态-响应(PSR)模型+云模型的室内地震应急避难场所韧性评估方法。从PSR角度构建室内地震应急避难场所韧性评估指标体系,划分韧性评估等级标准,利用AHP-DEMATEL为指标赋权,并结合云模型构建室内地震应急避难场所的韧性评估模型。以该模型对绵阳市九洲体育馆进行实证分析,分别确定其压力韧性、状态韧性、响应韧性的隶属度等级,最终得到综合等级C 2的结论,与九洲体育馆在汶川地震中表现出的韧性状态吻合,验证了模型的有效性。

基于WebGL的STL模型可视化技术在铸造CAE系统中的应用

目的为了适应铸造CAE技术的网络化趋势,满足铸造CAE系统前置处理模块对STL模型高级渲染的功能性需求,开发一款足以媲美OpenGL渲染环境下复杂三维图形渲染效果的Web版的STL模型查看器程序——STLViewer。方法仿效Windows桌面程序的运行方式和界面风格,选择单页面设计方案。选用Visual Studio 2019开发平台,利用HTML5、CSS3和JavaScript技术设计程序界面。深入研究基于WebGL的STL模型可视化技术,按照依托场景环境活动模型渲染的技术路线,进行STLViewer各功能模块的开发。结果设计并实现了STLViewer,该程序功能完整性良好、内部逻辑结构合理高效。STLViewer融隐式交互和显式交互于一体,具有本地STL模型的随机性访问、活动模型的多样化交互、模型姿态的智能化跟踪、视图动画的多方式呈现、模型导出的便捷化操作等特点,实现了网络环境下STL模型的高级渲染功能。结论STLViewer作为一款性能卓越的STL模型查看器程序,既可辅助用户制订合理的网格剖分方案,又能带来优良的用户体验,在实际应用中得到了良好效果。

基于CNCSCOLOR的色相-色调感性模型构建

中国应用色彩体系(CNCSCOLOR)基于中国人眼视觉实验所开发,但在国外色彩体系的早期市场占有下没有得到广泛应用。本研究尝试开发一套易于学习推广的模型,以促进其普及和应用。首先通过对三维色彩体系的研究分析,借鉴日本PCCS色彩体系,构建了简化的二维色相-色调基本模型,其中色调融合了色彩属性明度和彩度。模型用直角坐标定位,水平轴为彩度,垂直轴为明度,5种无彩色将明度轴分为四段,12个20色色相环即12种有彩色色调,按照明度与彩度的大小有序分布于平面内。确定构成基本模型的240种有彩色和5种无彩色的选色规则,选出色彩,组合完善基本模型。其次,研究确定12种有彩色色调的感性,得到色相-色调感性模型。通过主观调查初步分析得到有彩色色调的感性,再实施客观眼动实验进一步验证调查结果,最终确定12个有彩色色调的感性分别是鲜明的、明快的、强烈的、浑厚的、清新的、淡雅的、浑浊的、厚重的、浅淡的、暗淡的、灰暗的、黑暗的。研究得到的色相-色调模型包含的色彩数量少,采用二维的平面布局,使初学者易懂易记,便于普及应用;且色调命名符合中国人的情感特征,将用于后续的感性配色模型构建,便于设计师和消费者快速进行精准的产品色彩搭配,对中国本土色彩体系的发展和色彩设计水平的提升具有实际的应用价值。

基于大模型智能体的粮食安全应急情报体系构建研究

[目的/意义]粮食安全是国家安全的基础和重要内容,应急情报体系是应急管理的重要支撑,构建粮食安全应急情报体系能够为应对粮食安全突发事件提供科学的解决方案和高效的运作保障。[方法/过程]首先,阐释相关概念,概述现有研究;其次,在粮食安全应急情报需求分析基础上,提炼体系关键要素,并结合云边端架构,对情报服务化、LBA平台架构及组织架构进行详细论述;最后,阐述基于LBA的粮食安全应急情报体系的模式运作流程。[结果/结论]依托于LBA的粮食安全应急情报体系智能聚合情报服务、智慧适应多主体需求、智能辅助应急决策,既为粮食安全应急管理提供全生命周期情报支持,又奠定LBA在应急情报领域的研究基础,进而为促进应急管理现代化、维护国家粮食安全做出贡献。

大模型媒介:ChatGPT引发的智能传播革命及其社会影响

ChatGPT作为一种基于海量数据和大规模预训练而形成的具有海量参数的大模型媒介正在全球引发一场新技术的创新扩散,大模型媒介以其强大的对人类自然语言习惯常识性、结构性、对话性文本的理解和生成能力,正在引发一场智能传播革命,从而大大拓展人类信息传播的广度和深度,而且还将深刻地影响人类社会的形态和结构,使其变成一种不可或缺的“社会行动者”和决定性的“社会权力”。

基于优化MaxEnt模型的怒江州滑坡易发性评价

目的 怒江州是典型的高山峡谷地区,地质灾害(滑坡)频发,严重制约着当地的发展。为解决这一问题,方法 综合考虑怒江州实际情况,从气象水文、地形地貌、地层岩性、植被生态和人类活动5个方面选取坡向,高程等14个影响因子,判断滑坡与各影响因子间相关性,构建评价指标体系,对最大熵(maximum entropy, MaxEnt)模型的特征类(feature combination,FC)和正则化乘数(regularization multiplier, RM)参数进行优化,对比优化前后小样本赤池信息量准则(akaikeinformationcriterion,AIC)、遗漏率(omissionrate,OR)和AUC(areaunder curve),并基于优化的MaxEnt模型预测滑坡灾害的发生,实现怒江州滑坡易发性评价。结果结果表明:优化后的MaxEnt模型在研究区滑坡易发性预测中适用性优秀(AUC=0.913);运用刀切法(Jackknife)计算各影响因子对易发性的影响程度,高程(S3, 23.2%)、坡度(S9, 22.4%)、居民点密度(S5, 14.2%)、距河流距离(S13, 13.7%)、距道路距离(S4, 9.6%)和岩性(S7, 8.7%)是前六位影响因子,累计贡献度达91.8%;极高、高、中、低滑坡易发性等级的空间占比分别为4.88%,8.96%,18.40%,67.76%,县域中极高和高易发区占比最大的是泸水市,整体上看,极高、高易发区主要沿河流和道路分布于峡谷中,低易发区主要分布于人类活动少、河谷不发育的区域。结论 优化后的MaxEnt模型更适合怒江州滑坡易发性预测,研究结果可为怒江州防灾减灾与土地利用规划提供参考。

基于Transformer模型的时序数据预测方法综述

时序数据预测(TSF)是指通过分析历史数据的趋势性、季节性等潜在信息,预测未来时间点或时间段的数值和趋势。时序数据由传感器生成,在金融、医疗、能源、交通、气象等众多领域都发挥着重要作用。随着物联网传感器的发展,海量的时序数据难以使用传统的机器学习解决,而Transformer在自然语言处理和计算机视觉等领域的诸多任务表现优秀,学者们利用Transformer模型有效捕获长期依赖关系,使得时序数据预测任务取得了飞速发展。综述了基于Transformer模型的时序数据预测方法,按时间梳理了时序数据预测的发展进程,系统介绍了时序数据预处理过程和方法,介绍了常用的时序预测评价指标和数据集。以算法框架为研究内容系统阐述了基于Transformer的各类模型在TSF任务中的应用方法和工作原理。通过实验对比了各个模型的性能、优点和局限性,并对实验结果展开了分析与讨论。结合Transformer模型在时序数据预测任务中现有工作存在的挑战提出了该方向未来发展趋势。

中更新世黄土的湿陷特性及其湿陷预测模型

间歇性的地表灌溉或工程运营引起的长期地表渗漏,会导致深层中更新世(Q_(2))黄土的增湿变形,进而影响构建筑物安全。为了预测Q_(2)黄土的湿陷变形特性,对陕西泾阳原状Q_(2)黄土进行了多个含水率下的高压固结试验,得到不同含水率及压力下的湿陷系数,并基于试验结果,在δ_(s)-lgp半对数坐标系中,利用线性及Lorentz型函数构建Q_(2)黄土湿陷系数的压力相关模型,然后基于模型参数与含水率相关性,建立湿陷系数与压力和含水率的二元函数三维模型。试验结果表明:随着荷载的增大,黄土的湿陷系数在δ_(s)-lgp半对数坐标系中均呈现出线性缓增-骤增-峰值-减小的变化趋势,且各含水率下缓增-骤增阶段的分界压力不随含水率的变化而改变,均为饱和状态压缩曲线的结构屈服压力;各含水率下峰值湿陷系数和对应的压力均随含水率的增大逐渐减小。建立的湿陷系数模型能较好地描述Q_(2)黄土高压力范围内各含水率下湿陷系数随压力的变化,可用来预测Q_(2)黄土在不同含水率和荷载下的湿陷系数,对深厚层Q_(2)黄土的浸水、增湿湿陷评价具有实际意义。

基于Biba和Clark-Wilson策略的混合强制完整性模型

商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整性保护,但其复杂性影响了该模型的完整实现.提出的模型以Biba严格完整性策略为基础,同时根据可信主体在其生命周期所属的状态实施Biba低水标策略.对可信主体在其生命周期发生的状态转换及相应的低水标参数调整,采用Clark-Wilson模型来进行监控.在有效解决了Biba策略的可用性问题和Clark-Wilson模型监控量过大给系统带来的配置和运行负担问题的同时,继承它们的优点.证明了该策略融合方案是可行的、安全的.

基于纸张本构模型的瓦楞纸板边压强度仿真分析

目的采用LS-DYNA软件中的MAT274纸张本构模型,研究瓦楞纸板边压强度有限元仿真计算问题,并结合理论和试验结果验证模型的可靠性。方法参照瓦楞纸板边压强度测试试验标准,使用ANSYS和LS-PREPOST软件建立与此标准相吻合的瓦楞纸板边压强度计算的有限元模型;采用边压强度试验及Li的简化公式和Garbowski的改进经验公式,分别得到瓦楞纸板的边压强度;对相关结果进行对比分析,以验证瓦楞纸板边压强度仿真计算模型的可靠性。结果针对B型、C型2种瓦楞纸板,采用以上方法得到其压缩过程及压缩曲线或边压强度的试验、理论和有限元计算结果。结论试验和仿真得到压缩过程中样品的变形模式和压缩曲线,以及边压强度理论、试验和仿真值结果的吻合性,证明了有限元模型的可靠性。这为瓦楞纸板设计应用提供了重要的参考和指导。

基于AGIL模型的职教本科发展策略

文章首先分析了基于AGIL模型的职教本科存在的问题,然后论述了基于AGIL模型的职教本科发展策略,包括提高职教本科的认可度、提升职教本科的教学成效、提高职教本科的人才培养质量、增强职教本科与企业技术文化的联系。

农机数字化大数据管理平台的设计——基于电子商务平台重复客户预测模型

随着信息技术和农机现代化的加速推进,数字化农机管理已成为当今农业发展的重要趋势。为此,基于电子商务平台重复客户预测模型,提出了一种基于Hadoop和物联网的农机数字化大数据管理平台,旨在将传统农业生产与信息技术有机结合,实现农机作业数据的实时监测、质量分析、预测与预警、决策支持等功能,为农机作业的自动化和精准化提供有力保障。

初中生合作学习素养测评模型的构建与应用研究

合作学习素养是二十一世纪人才必备的核心素养之一。本研究在厘清初中生合作学习素养内涵的基础上,提出包括共识构筑、行动参与、协商共进三个维度的初中生合作学习素养测评框架,建构合作学习素养测评工具,并对工具的科学性进行验证。研究结果表明,测评工具具有良好的信效度。进一步分析发现,我国初中生合作学习素养总体水平较高,三个维度得分由高到低依次为行动参与、协商共进、共识构筑;在不同年级、城乡和学业成绩区间层面初中生合作学习素养得分存在显著差异,但在性别层面差异并不显著。