基于时间自动机的数据流通控制建模及验证

1

作者 李恒 李凤华 +3 位作者 梁琬珩 郭云川 张玲翠 周紫妍 《通信学报》 北大核心 2025年第3期13-27,共15页

为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使... 为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使用者(含数据经纪人)和数据监管者等实体分别进行形式化建模;随后给出了数据交易过程中,安全需求性质和流通控制属性的计算树时序逻辑形式化规约描述;最后,对上述时间自动机模型进行仿真,并对其性质和属性进行形式化验证与分析。实例分析表明,所提方法可以有效验证数据流通控制机制的可行性、正确性和安全性。 展开更多

关键词 数据要素流通 访问控制 时间自动机 延伸控制 形式化方法验证

在线阅读 下载PDF 职称材料

公平竞争的伦理学界定 被引量：6

2

作者 赵昆 《齐鲁学刊》 CSSCI 北大核心 2009年第1期84-90,共7页

公平竞争是当前学术研究的热点问题,但对公平竞争概念本身却论说寥寥,缺少系统、深入的研究。很难想象,一种真正严密无可辩驳的理论能够不以严密的概念分析为基础。通过考察公平竞争的适用对象发现,公平竞争是合作社会体系中人们之间的... 公平竞争是当前学术研究的热点问题,但对公平竞争概念本身却论说寥寥,缺少系统、深入的研究。很难想象,一种真正严密无可辩驳的理论能够不以严密的概念分析为基础。通过考察公平竞争的适用对象发现,公平竞争是合作社会体系中人们之间的利益争胜行为,既有形式要件又有实质要件,即当且仅当有规则且规则为竞争各方认同并遵守,同时又符合善之精神的竞争才是公平的。 展开更多

关键词 竞争 公平 公平竞争 形式要件 实质要件

在线阅读 下载PDF 职称材料

论检验报告的证据能力 被引量：6

3

作者 奚玮 《浙江工商大学学报》 CSSCI 北大核心 2022年第5期72-85,共14页

检验报告是解决刑事案件专门性问题的科学证据。其与鉴定意见、专门性问题报告或专业人员推断结论等有着显著的区别。作为科学证据,检验报告具有证据能力的条件是具有刑事证据的形式要件和实质要件,且以检验报告的证据相关性为核心,判... 检验报告是解决刑事案件专门性问题的科学证据。其与鉴定意见、专门性问题报告或专业人员推断结论等有着显著的区别。作为科学证据,检验报告具有证据能力的条件是具有刑事证据的形式要件和实质要件,且以检验报告的证据相关性为核心,判断检验报告的证明价值。检验报告应用于刑事诉讼中特别类型的专门性问题,检验报告的制作主体应具有科学共同体的专业资格,检验程序符合科学即特定的规范操作流程。检验报告具有明确的适用范围和证明对象,检验报告的技术标准应以国家或国际官方颁布的标准为准。指导性案例重申了检验报告作为刑事证据种类的实践价值。在大数据时代,检验报告应成为刑事证明理论和刑事司法实践可供选择的科学的证明方法。 展开更多

关键词 科学证据 检验 证据能力 形式要件 实质要件

在线阅读 下载PDF 职称材料

云计算环境中结构化文档形式化建模 被引量：2

4

作者 熊金波 姚志强 金彪 《计算机应用》 CSCD 北大核心 2013年第5期1267-1270,共4页

结构化文档是云计算环境中实现信息交互与传播的载体,针对已有研究工作缺乏能够描述这种载体的结构化文档模型的问题,在深入分析云计算环境中结构化文档特征的基础上,对文档元素、原子文档元素、连接、文档片段、复杂文档元素等进行形... 结构化文档是云计算环境中实现信息交互与传播的载体,针对已有研究工作缺乏能够描述这种载体的结构化文档模型的问题,在深入分析云计算环境中结构化文档特征的基础上,对文档元素、原子文档元素、连接、文档片段、复杂文档元素等进行形式化定义,建立能够满足这种特征的结构化文档形式化模型。最后,指出云计算环境中结构化文档进一步的研究方向。 展开更多

关键词 云计算 结构化文档模型 形式化方法 文档元素

在线阅读 下载PDF 职称材料

基于形式概念分析的中医辩证可视化方法 被引量：20

5

作者 刘旭龙 洪文学 +2 位作者 张涛 樊凤杰 宋佳霖 《燕山大学学报》 CAS 2010年第2期162-164,168,共4页

计算机辅助中医辩证研究是一个热点,但是目前尚缺乏一种标准的数学语言用于描述辩证的体系架构。本文提出了一种基于形式概念分析的可视化方法,这种方法将证和证素定义为对象与属性并将它们的概念和层次关系数学化,最后利用概念格将其... 计算机辅助中医辩证研究是一个热点,但是目前尚缺乏一种标准的数学语言用于描述辩证的体系架构。本文提出了一种基于形式概念分析的可视化方法,这种方法将证和证素定义为对象与属性并将它们的概念和层次关系数学化,最后利用概念格将其可视化。最后通过一个实例初步说明了将形式概念分析应用于计算机辅助中医辨证体系研究是可行的。 展开更多

关键词 形式概念分析 证 证素 可视化

在线阅读 下载PDF 职称材料

一种基于描述逻辑和要素投影的事件本体形式化方法 被引量：2

6

作者 刘炜 丁宁 +2 位作者 张雨嘉 谭悦 刘宗田 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第4期796-809,共14页

文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题.提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影... 文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题.提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影理论实现对事件本体的形式化.该方法利用SROIQ丰富的表达能力,将动态的事件转换为静态的复杂概念,既统一了事件与事件状态的表示方法,也建立起了事件之间、事件要素之间的语义关系.基于SROIQ的事件要素投影方法能够有效表示各领域的事件类、事件实例与事件要素,提取事件、事件关系在事件要素上的普遍规律,有助于领域事件本体的构建和形式化,以及针对事件要素的推理. 展开更多

关键词 事件本体 事件要素投影 形式化 扩展描述逻辑

在线阅读 下载PDF 职称材料

蜀绣技艺融入服饰设计的思考 被引量：11

7

作者 乔洪 乔熠 张序贵 《丝绸》 CAS CSCD 北大核心 2015年第2期45-50,共6页

通过分析蜀绣技艺的风格特性及刺绣在现代服饰中的应用状况,阐述了作为四大名绣之一的蜀绣在服饰设计中运用的意义:一是活化保护蜀绣传统技艺;二是提升现代服饰的深层价值;三是为建立中国时尚文化流行系统奠定基础。同时,就蜀绣技艺运... 通过分析蜀绣技艺的风格特性及刺绣在现代服饰中的应用状况,阐述了作为四大名绣之一的蜀绣在服饰设计中运用的意义:一是活化保护蜀绣传统技艺;二是提升现代服饰的深层价值;三是为建立中国时尚文化流行系统奠定基础。同时,就蜀绣技艺运用于高级丝绸礼服设计的方法进行分析,以蝴蝶纹样为例进行设计实践,明确礼服中蜀绣纹样造型及色彩的设计方法,采用平面与立体相结合的刺绣针法。并对蜀绣与服装结合的工艺难点进行探讨,针对绣绷改良及固色处理两大问题寻求新的解决途径。以此研究蜀绣技艺在现代服饰设计中运用的可行性,为蜀绣技艺的保护与传承提出新的发展方向。 展开更多

关键词 蜀绣技艺 视觉元素 丝绸礼服 服饰设计 保护传承

在线阅读 下载PDF 职称材料

形式背景与协调决策形式背景属性约简与概念格生成 被引量：37

8

作者 李进金 张燕兰 +1 位作者 吴伟志 陈锦坤 《计算机学报》 EI CSCD 北大核心 2014年第8期1768-1774,共7页

通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最后,针对协调决策形式背景,通过实例... 通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最后,针对协调决策形式背景,通过实例给出了新的属性约简方法. 展开更多

关键词 形式背景 概念格 交式可约元 属性约简 概念格的生成算法

在线阅读 下载PDF 职称材料

经济制度的形式化定义及其基本特征:系统经济学观点 被引量：3

9

作者 昝廷全 《河南社会科学》 2002年第1期6-9,共4页

本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有机整体,其可以形式化地表示如下:经济制度=(狖制度要素狚,狖不同制度要素之间的关系狚)。在此基础上,讨论... 本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有机整体,其可以形式化地表示如下:经济制度=(狖制度要素狚,狖不同制度要素之间的关系狚)。在此基础上,讨论了制度的层次性和全息性,以及不同层次制度之间的相互关系。最后论述了制度要素的类型,以及它们之间的局整关系和因果关系。从本文研究中可以得出一个重要启示:各层次的经济制度是一个密不可分的大系统,任何一个层次制度的改革和创新,都与其他所有层次的制度密切相关。这就从客观上要求我国目前所进行的体制改革必须采取系统推进模式。 展开更多

关键词 经济体制 制度要素 形式化定义 层次结构 全息性

在线阅读 下载PDF 职称材料

从要件识别到变量评估：刑事司法如何破解“定性难题” 被引量：19

10

作者 桑本谦 《交大法学》 CSSCI 2020年第1期29-46,共18页

“法律先于法学”的事实意味着负责罪责评价的人类道德直觉是刑法最初的立法依据,而刑法学理论回避解码道德直觉,选择了“填充犯罪分类表”的捷径,虽有刑法教义作补充,但终究没能揭示刑法的底层逻辑。罪责评价的绝对尺度是犯罪的预期损... “法律先于法学”的事实意味着负责罪责评价的人类道德直觉是刑法最初的立法依据,而刑法学理论回避解码道德直觉,选择了“填充犯罪分类表”的捷径,虽有刑法教义作补充,但终究没能揭示刑法的底层逻辑。罪责评价的绝对尺度是犯罪的预期损失,因此定罪量刑需要考虑破案率、作案成功率等决定刑罚威慑水平和犯罪预期损失的各种变量。以变量评估取代要件识别,可以有效应对刑事司法实践中的定性难题。 展开更多

关键词 犯罪构成理论 犯罪构成要件 抢劫 诈骗 边际威慑

在线阅读 下载PDF 职称材料

基于原背景的补背景概念获取 被引量：4

11

作者 何苗 魏玲 《计算机科学》 CSCD 北大核心 2012年第11期197-200,共4页

形式概念分析是知识获取的一种有效工具,已被广泛应用到各个领域。从原背景概念的外延(内涵)出发,首先利用定义的"+"算子得到其补背景的部分概念,可证明这些概念包含了补背景的所有交不可约元(并不可约元);其次给出从这些概... 形式概念分析是知识获取的一种有效工具,已被广泛应用到各个领域。从原背景概念的外延(内涵)出发,首先利用定义的"+"算子得到其补背景的部分概念,可证明这些概念包含了补背景的所有交不可约元(并不可约元);其次给出从这些概念得到补背景的所有交不可约元(并不可约元)的判断方法,进而得到补背景的所有交不可约元(并不可约元);最后利用交不可约元(并不可约元)的性质进一步得到补背景的全部概念。 展开更多

关键词 形式背景 补背景 概念格 不可约元

在线阅读 下载PDF 职称材料

三维巷道网络数据模型的形式化描述 被引量：1

12

作者 张志华 侯恩科 +2 位作者 罗晓霞 赵洲 邓念东 《计算机工程》 CAS CSCD 2012年第19期285-289,共5页

以半巷道体元为研究对象,分析半巷道体元模型的构建元素。运用拓扑学的相关理论,对该体元模型的所有构模元素进行定义,给出简单巷道体、复杂巷道体、复合巷道体模型的形式化描述。分析结果表明,该形式化方法使半巷道体元模型的程序设计... 以半巷道体元为研究对象,分析半巷道体元模型的构建元素。运用拓扑学的相关理论,对该体元模型的所有构模元素进行定义,给出简单巷道体、复杂巷道体、复合巷道体模型的形式化描述。分析结果表明,该形式化方法使半巷道体元模型的程序设计更容易,并且简化了三维巷道网络模型的构建,便于对其进行空间分析和查询。 展开更多

关键词 半巷道体 三维空间 形式化描述 数据模型 体元 拓扑

在线阅读 下载PDF 职称材料

基于不可约元的概念格属性特征识别方法 被引量：4

13

作者 李鸿儒 魏平 《计算机科学》 CSCD 北大核心 2006年第6期175-178,共4页

形式概念分析是数据挖掘与知识获取的一种有效的数学工具。概念格作为形式概念分析的一个核心内容,刻画了对象和属性之间的内在联系。基于概念格中外延、内涵闭系统中不可约元的性质,本文研究了概念格理论中的属性分类问题,给出了一种... 形式概念分析是数据挖掘与知识获取的一种有效的数学工具。概念格作为形式概念分析的一个核心内容,刻画了对象和属性之间的内在联系。基于概念格中外延、内涵闭系统中不可约元的性质,本文研究了概念格理论中的属性分类问题,给出了一种属性特征的识别方法。这种方法不仅揭示了交不可约元与属性特征的关系,同时为知识约简提供了一种新的途径。 展开更多

关键词 形式背景 概念格 闭系统 不可约元 知识约简

在线阅读 下载PDF 职称材料

工程结构有限元模型化知识系统 被引量：6

14

作者 程耿东 曾勇 《计算结构力学及其应用》 CSCD 1993年第1期59-65,共7页

有限元模型比知识的获取和形式化是有限元模型化专家系统建立的核心。本文以信息论为工具,在总结大量工程经验和理论研究成果的基础上,建立了工程结构模型化知识系统,它分为两个层次,一是复杂结构模型化,二是简单结构模型化。后者是前... 有限元模型比知识的获取和形式化是有限元模型化专家系统建立的核心。本文以信息论为工具,在总结大量工程经验和理论研究成果的基础上,建立了工程结构模型化知识系统,它分为两个层次,一是复杂结构模型化,二是简单结构模型化。后者是前者的基础,包括力学模型化、有限元模型化和网络生成三部分。这些知识均已溶人了作者开发的专家系统之中。 展开更多

关键词 有限元 模型化 专家系统 工程结构

在线阅读 下载PDF 职称材料

基于不可约元下集格的概念获取

15

作者 石慧 何苗 魏玲 《智能系统学报》 CSCD 北大核心 2014年第2期244-250,共7页

形式概念分析是知识获取的一种有效工具,已被广泛应用于许多领域.文章从形式背景出发,首先利用箭头关系找到相应概念格的并不可约元(交不可约元),对并不可约元(交不可约元)的外延集(内涵集)求其下集格;进而对下集格中的元素定义相应的运... 形式概念分析是知识获取的一种有效工具,已被广泛应用于许多领域.文章从形式背景出发,首先利用箭头关系找到相应概念格的并不可约元(交不可约元),对并不可约元(交不可约元)的外延集(内涵集)求其下集格;进而对下集格中的元素定义相应的运算,可证明其结果是概念格的内涵集(外延集);最后将该内涵集(外延集)扩充成为概念,并将此方法应用于不完备形式背景的完备化.该完备化将格论与形式概念分析结合,体现出不可约元的重要性且方法直观明了,简化了概念格的构造. 展开更多

关键词 形式背景 下集格 概念格 不可约元 形式概念分析 概念获取

在线阅读 下载PDF 职称材料

基于菱形思维模型的创意设计方法与表征研究 被引量：6

16

作者 刘玲玲 薛澄岐 《包装工程》 CAS CSCD 北大核心 2013年第10期7-9,14,共4页

借助可拓学基元理论作为标志设计领域创意生成的知识表征方法,建立物元可拓模型完成基于事例推理的标志设计创新过程。结合具体案例阐释可拓方法在艺术设计领域的具体运用,形式化、模型化地总结设计过程中"发散到收敛"的概念... 借助可拓学基元理论作为标志设计领域创意生成的知识表征方法,建立物元可拓模型完成基于事例推理的标志设计创新过程。结合具体案例阐释可拓方法在艺术设计领域的具体运用,形式化、模型化地总结设计过程中"发散到收敛"的概念构思过程,让计算机模拟新产品的构思成为可能。 展开更多

关键词 设计策略 基元模型 标志设计 发散到收敛 形式化表征

在线阅读 下载PDF 职称材料

基于基元模型的产品创意设计方法与表征研究 被引量：12

17

作者 刘玲玲 薛澄岐 +1 位作者 李晶 林丽 《图学学报》 CSCD 北大核心 2013年第3期90-94,共5页

为打破传统"设计直觉、灵感"生成过程"黑箱",运用可拓学基元理论,构建创意设计阶段基元模型,结合工业设计学科属性,提出"异特征"、"异量值"、"异规则"、"关系同构"四个构... 为打破传统"设计直觉、灵感"生成过程"黑箱",运用可拓学基元理论,构建创意设计阶段基元模型,结合工业设计学科属性,提出"异特征"、"异量值"、"异规则"、"关系同构"四个构思层面,明确分物元获取参照方法,以保证物元变换品质,得到基于基元模型的产品创意设计方法及表征,有效提升产品创新品质。最后,以家用加湿器设计实例验证了本方法的有效性、实用性和创新性。 展开更多

关键词 基元模型 创意设计 产品造型 设计方法 表征

在线阅读 下载PDF 职称材料

基于形式概念分析理论的完全格存储模型 被引量：1

18

作者 智慧来 《计算机工程与应用》 CSCD 2013年第24期1-3,共3页

完全格的存储是一个有实际应用价值的关键问题。在利用矩阵存储完全格时,识别完全格中的不可约元;分别对上确界不可约元和下确界不可约元用对象标签和属性标签进行标注,使得对象标签和属性标签分别对应矩阵的行和列;根据不可约元之间的... 完全格的存储是一个有实际应用价值的关键问题。在利用矩阵存储完全格时,识别完全格中的不可约元;分别对上确界不可约元和下确界不可约元用对象标签和属性标签进行标注,使得对象标签和属性标签分别对应矩阵的行和列;根据不可约元之间的关系确定矩阵中元素的值。与采用邻接矩阵存储完全格相比,该方法只存储不可约元的相关信息,能够提高存储的效率。 展开更多

关键词 形式概念分析 完全格 不可约元 存储模型 概念格

在线阅读 下载PDF 职称材料

基于可拓学的自适应软件形式化方法 被引量：3

19

作者 范锐 彭银桥 +2 位作者 陈月峰 雷桂斌 刘小辉 《智能系统学报》 CSCD 北大核心 2015年第6期901-911,共11页

可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价... 可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。 展开更多

关键词 可拓学 可拓基元 拓展分析 可拓变换 优度评价 形式化方法 自适应软件

在线阅读 下载PDF 职称材料

法治反腐的构成要件探析

20

作者 孙楠 《重庆社会科学》 CSSCI 2017年第8期47-54,共8页

运用法学的构成要件理论,从法治的实体价值和形式价值两方面探讨法治反腐的构成要件问题。法治反腐的实体构成要件主要包括三个方面:权力制衡的法治国家;公民合法权利的保障;司法地位的公正独立。法治反腐同时具有以下形式构成要件:法... 运用法学的构成要件理论,从法治的实体价值和形式价值两方面探讨法治反腐的构成要件问题。法治反腐的实体构成要件主要包括三个方面:权力制衡的法治国家;公民合法权利的保障;司法地位的公正独立。法治反腐同时具有以下形式构成要件:法律至上原则;普遍性原则;程序正义原则。通过对法治反腐的实体要件和形式要件进行理论分析,阐释法治反腐的应然状态。 展开更多

关键词 法治反腐 实体要件 形式要件

在线阅读 下载PDF 职称材料