主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

人工智能法律系统的一种证据推理模型  CNKI文献

证据推理模拟作为人工智能法律系统研究的一大难题,主要难在如何构建一种基于社会知识库的证据分析与归纳推理模型。这一难题的解决途径,本质上并不在于克服法律语言和人工智能语言之间存在的沟通障碍,而在于如何从认...

张保生 杨菁 《证据科学》 2021年05期 期刊

关键词: 人工智能法律系统 / 事实认定 / 归纳难题 / 图示法

下载(72)| 被引(0)

形式化自动测试在计算机联锁系统中的应用研究  CNKI文献

通过研究形式化自动测试方法在计算机联锁系统中的应用,采用基于Prover iLock形式化工具、面向对象的PiSPEC高级语言编制测试脚本,将对联锁功能场景的测试延伸到对联锁逻辑变量的跟踪。形式化

张铭瑶 王燕芩... 《铁道通信信号》 2021年10期 期刊

关键词: 计算机联锁系统 / 形式化方法 / 自动测试 / 对象模型

下载(13)| 被引(0)

基于模型检查的民用飞机飞控系统安全性评估  CNKI文献

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分...

范基坪 洪骥宇 《民用飞机设计与研究》 2021年03期 期刊

关键词: 基于模型的安全性评估 / 模型检查 / SMV / NuSMV

下载(14)| 被引(0)

工业控制系统可编程逻辑控制器形式化建模  CNKI文献

近年来,工业控制系统面临的安全威胁引起了人们的广泛重视。不同于以往针对通信协议的攻击,攻击者逐渐将目标转移到控制器本身上来。为了应对这种新的威胁,人们开始研究如何对控制器建立有效的模型去刻画、分析这种攻...

马海迎 袁晓舒... 《东方电气评论》 2021年03期 期刊

关键词: 工业控制系统安全 / PLC / 形式化方法

下载(49)| 被引(0)

超轻量级的交换再交叉运算认证协议  CNKI文献

在分析张兴等~([18])协议存在隐私泄露基础之上,设计一种认证协议。协议在确保隐私信息安全前提下,采用交换再交叉运算对发送信息加密;交换再交叉运算基于按位运算实现,在确保隐私信息安全的同时,可满足降低计算量的要...

段艳萍 《计算机应用与软件》 2021年09期 期刊

关键词: 射频识别 / GNY逻辑 / 交换再交叉运算 / 超轻量级

下载(27)| 被引(0)

基于运行时验证的边缘服务器DoS攻击检测方法  CNKI文献

针对边缘计算系统中边缘服务器面临的拒绝服务(DoS)攻击问题,提出了一种基于并行运行时验证的DoS攻击检测方法。首先,使用命题投影时序逻辑(PPTL)公式形式化描述边缘服务器预期行为和DoS攻击特征;进而,针...

于斌 张南... 《通信学报》 2021年09期 期刊

关键词: 边缘计算 / 边缘服务器 / 命题投影时序逻辑 / 拒绝服务攻击

下载(152)| 被引(0)

认罪认罚“形式化”的逻辑、甄别与防范  CNKI文献

实践中,认罪认罚"形式化"异化现象明显,相当一部分被告人并非基于悔罪,仅仅为了获得从宽的刑罚优惠而认罪认罚。如此一来,认罪认罚恐流于形式,虚假认罪认罚将会泛滥,从而影响认罪认罚从宽制度的运行效...

张驰 夏素峰 《广西警察学院学报》 2021年04期 期刊

关键词: 认罪认罚 / 形式化 / 悔罪 / 虚假

下载(79)| 被引(0)

论类比推理形式化  CNKI文献

类比推理形式化尽管显示出丰富多样的形式,但并未形成一种较为明确的定义。本文在考察这些类比推理形式化之后,指出类比推理形式化始终无法与经验相关的心理内容扯断联系。这是因为类比推理的经验依...

那顺乌力吉 《呼伦贝尔学院学报》 2021年04期 期刊

关键词: 类比推理形式化 / 非隐喻进路 / 弱化 / 形式化概念

下载(34)| 被引(0)

基于形式化模型的NC代码异常检测  CNKI文献

数控机床的控制通常是使用Numerical Control (NC)代码实现.如果NC代码在传输过程中被人为修改,则会对加工的零件甚至机床造成严重安全威胁.本文提出了一种NC代码自动化异常检测方法,可以较好的保护机床.使用C语言对N...

潘鋆 韩京辰... 《微电子学与计算机》 2021年11期 期刊

关键词: NC代码 / 形式化 / 线性时序逻辑 / 模型检测

下载(38)| 被引(0)

电力安全控制过程可信任客户端身份认证仿真  CNKI文献

传统的身份认证方法的服务器端口操作快捷且稳定,但易被非法用户侵入。为确保电力系统安全、有序地运行,以可信任客户端为基础,探究其在电力安全控制过程中的身份认证方法。通过分析客户端在电力安全控制系统中的效用...

甘宇翔 陈新岗 《计算机仿真》 2021年08期 期刊

关键词: 电力安全控制 / 可信任客户端 / 身份认证 / 密钥

下载(18)| 被引(0)

刑事裁判思维形式化倾向的类型与风险防范  CNKI文献

近年来,一些典型个案的裁判结果反映出了刑事裁判思维形式化的倾向。如何形成全新裁判方法,防范化解刑事审判风险,值得深入研究。在法哲学领域,拉德布鲁赫提出了"法的安定性优先,当与正义之间的矛盾不能容...

唐守东 《四川警察学院学报》 2021年04期 期刊

关键词: 刑事裁判思维 / 类型化分析 / 风险防控 / 价值判断

下载(20)| 被引(0)

生命活性:中国酒文化的逻辑本质  CNKI文献

中国酒文化的逻辑本质,是在历史语境中生成并得到持续性拓展的一种思想认知和系统观念。由于酒文化融聚物质和精神文化因素,具有逻辑复合性,从而其自身从物质性存在,到成为社会化、精神化构成的逻辑

赵建军 《东方论坛》 2021年04期 期刊

关键词: 中国酒文化 / 生命活性 / 逻辑本质 / 形式化

下载(244)| 被引(0)

论似真推理的形式化谜题  CNKI文献

似真推理是一种认知推理,它是由似真前提或似真推论导出似真结论,尽管无法得到确定性的真结论,但也暂时没有理由支持结论为假,这就使得结论似然为真。似真推理需要接受检验,当出现反驳的理由时,结论的似真性将会减弱或...

魏斌 《科学技术哲学研究》 2021年04期 期刊

关键词: 似真推理 / 概率演算 / 似真度演算 / 似真论证

下载(57)| 被引(0)

“形策”课程建设矛盾逻辑辩证与破解路径  CNKI文献

形势与政策课程建设进路存在规范与多样的二元对立,对课程建设的认识也存在二元分歧。课程建设规范要求与多样需要之间逻辑关系的认识错位与实践错位是造成当前形势与政策课程建设矛盾的实质与根源。辩清二者~#...

许伟 《重庆第二师范学院学报》 2021年04期 期刊

关键词: “形策”课程建设 / 逻辑辩证 / 破解路径

下载(64)| 被引(0)

如何看待西方发达资本主义社会中的二律背反——卢卡奇的分...  CNKI文献

卢卡奇按照康德对于二律背反的分析说明,当人们用形式化的方法来把握资本主义社会的具体内容的时候,会出现思想上的二律背反。按照卢卡奇的这个思路,贝尔所说的资本主义文化矛盾实际上就是一种二律背反,他所说的...

王晓升 《现代哲学》 2021年04期 期刊

关键词: 资本主义社会 / 二律背反 / 卢卡奇 / 文化矛盾

下载(167)| 被引(0)

风险理论视角下智能投顾投资者的保护路径  CNKI文献

智能投顾的出现对传统的投资者保护制度提出了新的挑战,包括如何应对金融创新的风险、锁定义务及责任主体、解决投资者适当性制度的形式化问题,以及如何细化智能投顾中运营者与投资者的权利义务分配框架等。从风...

侯东德 周莉欣 《华东政法大学学报》 2021年04期 期刊

关键词: 智能投顾 / 投资者保护 / 风险控制

下载(564)| 被引(0)

龙树“四句偈”的逻辑语义探析  CNKI文献

作为龙树中观思想重要的方法论,四句的应用非常广泛。它描述的是对任一命题X,都存在四种(是、否、双是、双否)可能性,从表面看四句违背了矛盾律与排中律,无法进行逻辑语义化解释。现代逻辑的介入,为四句形...

彭媚娟 《学术研究》 2021年07期 期刊

关键词: 四句 / 逻辑规则 / 语义解释 / 经典逻辑

下载(45)| 被引(0)

构建乡村治理共同体:村级治理的优化路径  CNKI文献

如何构建共建共治共享乡村治理格局,是乡村振兴中的重要实践问题。治理转型背景下,村级治理陷入主体性弱化和治理成本外部化等风险,本文基于湖北省A村的调查,发现构建乡村治理共同体是组织动员村民参与、实现村级治理...

毛一敬 《华中科技大学学报(社会科学版)》 2021年04期 期刊

关键词: 乡村治理共同体 / 村民参与 / 组织化 / 基层治理现代化

下载(999)| 被引(2)

基于模型检测的嵌入式接口驱动形式化分析与验证  CNKI文献

嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上需要连接大量外设,导致嵌入式系统软件需要包含庞大的驱动代码,这些驱动代码不经过安全...

李泽寰 导师:肖美华 华东交通大学 2021-06-30 硕士论文

关键词: 时间自动机 / 字符型驱动 / 模型检测 / 计算树逻辑

下载(0)| 被引(0)

基于随机运算符的轻量级匿名射频识别系统双向认证协议  CNKI文献

针对无线射频识别(RFID)系统容易遭受无线信道中的恶意攻击以及标签所有者隐私时常收到侵犯的问题,提出了一种支持匿名的轻量级RFID认证协议。首先,使用了随机数发生器生成不可预测的序列以指定参与协议的轻量级运算符...

吴恺凡 殷新春 《计算机应用》 2021年06期 期刊

关键词: 无线射频识别 / 轻量级 / k-匿名 / 双向认证

下载(101)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状