基于逻辑换算的一致背景的研究

针对在实际应用中形式背景缺少函数依赖或被分析的关系是多维且冗余概念多等特点,提出了一种利用逻辑换算获取一致背景的新方法。通过利用逻辑换算产生的一致背景可减少与分析无关的原始冗余数据的输入,降低冗余概念的产生,提高概念格的可读性,同时发现形式背景下潜在的一致性知识。通过使用Toscana J工具实际验证方法正确。

一种基于情境的形式概念方法

本文描述了把N维关系的列定义成情境的方法。随后我们创建了一个名为"一致背景"的形式背景来表现不同情境间的相似性。我们通过合并不同类型的情境以及用概念标尺介绍一致的区间这两种方法来进一步解释这种思想。

基于经纪人的多云访问控制模型研究

多云(Multicloud)无需改变提供商的技术方案及运营方式,以独立于提供商的方式自由组合云资源,是一种认可度较高、具有重要推广价值的互联云模型。云经纪人支持向云提供商和云用户提供透明服务,按需组合多个云提供商的资源,降低了跨云协作难度、提供商锁定风险和用户成本开销。然而,云提供商间的访问控制策略的异构性和信任机制的缺乏,极易造成隐私泄露和数据丢失等安全隐患,严重影响了多云的推广应用。文中综合考虑信任、上下文和服务等级协议(SLA)等因素,提出了基于经纪人的多云访问控制模型(MC-ABAC)。首先,构建了多云访问控制模型结构,该结构由虚拟资源管理器(VRM)、访问控制管理器(ACM)和云访问控制经纪人(CACB)等模块组成;其次,设计了多云访问控制模型,该模型定义了主体、资源、环境和操作等,形式化描述了信任、上下文、SLA和授权策略等,实现了云提供商信任度量和跨云的授权;再次,设计了多云访问控制的工作流程,包括从本地提供商访问多云的工作流程和从CACB访问多云的工作流程;最后,利用CloudSim 4.0和OpenAZ搭建多云访问控制环境,验证该模型的请求成功率和响应时间等可用性指标。实验结果表明,当正常使用且请求数量较大时,该模型的请求成功率比ABAC模型提升了18%左右,且响应时间性能优于ABAC模型。

语境与英语附加疑问句中的不一致现象

在实际使用附加疑问句时,除了遵循一般规律的结构之外,还有不少形式多样的不一致现象,常规的附加疑问句构成规则不能概括之。分析表明,附加疑问句中的不一致现象在一定的语境中发生,语境在若干方面对附加疑问句中的不一致现象的形成有制约作用,这些作为对常规附加疑问句调整的不一致现象可以在一定的语境中被理解。多姿多彩的附加疑问句中的不一致现象为满足不同交际需要而呈现。