期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
131
篇文章
<
1
2
…
7
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于故障逻辑的民机液压状态监控与故障诊断
被引量：
1
1
作者
冯蕴雯
潘维煌
+1 位作者
路成
刘佳奇
《系统工程与电子技术》
北大核心
2025年第3期842-854,共13页
当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移...
当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移学习模型,用于故障诊断与定位,以提升状态监控能力与故障诊断效率。首先,分析液压系统原理,依据机组操作手册(flight crew operating manual,FCOM)额定参数与监测数据建立运行监控指标,采用决策树模型监控液压系统的运行状态;随后通过故障形成条件梳理成逻辑图,结合逻辑图的输入信号参数采集快速存取记录器(quick access recorder,QAR)数据,开发迁移学习模型实现故障诊断与定位。最后以某型国产民机液压低压故障为例,验证了所提方法的应用效果。结果表明,该运行状态监控方法能有效量化液压系统状态,故障诊断方法则能高效识别故障原因。
展开更多
关键词
状态监控
故障诊断与定位
逻辑图
监测参数
迁移学习
在线阅读
下载PDF
职称材料
扭力梁车轮面加工自动分配余量设备的研制
2
作者
杨书根
崔海斌
+2 位作者
刘娜
丁玲
任冠豪
《组合机床与自动化加工技术》
北大核心
2025年第1期175-179,共5页
在汽车组成中,后桥是它的重要部件,在非独立后悬架系列中,目前不少轿车的后悬架采用扭力梁的结构。它不仅成本低,而且能通过前束控制,使整车获得良好平顺性的同时,操纵性能也有所改善。但后桥车轮安装面的强度对悬架系统有较大的影响,...
在汽车组成中,后桥是它的重要部件,在非独立后悬架系列中,目前不少轿车的后悬架采用扭力梁的结构。它不仅成本低,而且能通过前束控制,使整车获得良好平顺性的同时,操纵性能也有所改善。但后桥车轮安装面的强度对悬架系统有较大的影响,对车轮面的强度运用机械加工方法,通过公差的调整、定位销结构的设计、检测装置的研发、余量分配逻辑关系图的构想,探讨后桥车轮面加工时如何保证车轮面设计厚度的机床研制,为国内汽车扭力梁制造提供了一套完整的解决方案,实现了扭力梁机加工艺设备的产业化。
展开更多
关键词
扭力梁
车轮面
检测装置
逻辑关系图
在线阅读
下载PDF
职称材料
面向复杂刑事案件的涉案金额识别方法
3
作者
田如君
林川
+3 位作者
黄瑞章
陈艳平
杨志
秦永彬
《计算机工程与设计》
北大核心
2025年第6期1556-1563,共8页
针对现有涉案金额识别方法在复杂案件(一案多人)上面临金额的所属关系易混淆及意图多样性问题,提出一种面向复杂刑事案件的涉案金额识别推理方法。通过分析裁判文书的逻辑结构,抽取文书中的金额相关要素并结合文书的特征构建金额共现图...
针对现有涉案金额识别方法在复杂案件(一案多人)上面临金额的所属关系易混淆及意图多样性问题,提出一种面向复杂刑事案件的涉案金额识别推理方法。通过分析裁判文书的逻辑结构,抽取文书中的金额相关要素并结合文书的特征构建金额共现图,用图的形式对金额的归属关系进行表示,使用图神经网络(graph neural network, GNN)在金额共现图中学习要素节点之间的语义依赖信息和结构信息,获取其深层的节点特征,实现对涉案金额的识别和推理。在公共比赛数据集LAIC2021(Legal AI Challenge 2021)上的准确率(Accuracy, Acc)值达到94.75%,比当前最优模型提升了3.7%,在某省人民法院裁判文书复杂案件数据集上的Acc值达到74.16%。
展开更多
关键词
刑事案件
涉案金额识别
裁判文书逻辑结构
金额共现图
图神经网络
司法智能
特征融合
在线阅读
下载PDF
职称材料
基于FPGA技术的浮点运算器的设计与实现
被引量：
11
4
作者
周宁宁
陈燕例
李爱群
《计算机工程与设计》
CSCD
北大核心
2005年第6期1578-1581,共4页
日趋进步和完善的FPGA(现场可编程门阵列)技术推动了当前数字电路的设计。浮点运算器是计算机的一个组成部件,结构比较复杂,利用FPGA技术设计浮点运算器可以缩短产品的开发周期。介绍了基于FPGA技术的浮点运算器的设计与实现。描述了采...
日趋进步和完善的FPGA(现场可编程门阵列)技术推动了当前数字电路的设计。浮点运算器是计算机的一个组成部件,结构比较复杂,利用FPGA技术设计浮点运算器可以缩短产品的开发周期。介绍了基于FPGA技术的浮点运算器的设计与实现。描述了采用VHDL(VHSIC硬件描述语言)和原理图方式设计完成浮点运算器的方法和步骤。利用FPGA技术,能方便灵活地设计出浮点运算器。
展开更多
关键词
FPGA
浮点运算器
VHDL
原理图
在线阅读
下载PDF
职称材料
炼化装置故障链式效应定量安全预警方法
被引量：
7
5
作者
胡瑾秋
张来斌
王安琪
《化工学报》
EI
CAS
CSCD
北大核心
2016年第7期3091-3100,共10页
炼化装置故障及其故障链式效应对油气生产和人民生命安全所造成的危害严重。从故障链角度进行事故风险研究,提出炼化装置故障链式效应定量安全预警方法。首先分析炼化装置故障链式关系结构,基于目标树成功树-动态主逻辑图(GTST-DMLD)建...
炼化装置故障及其故障链式效应对油气生产和人民生命安全所造成的危害严重。从故障链角度进行事故风险研究,提出炼化装置故障链式效应定量安全预警方法。首先分析炼化装置故障链式关系结构,基于目标树成功树-动态主逻辑图(GTST-DMLD)建立其故障链式效应关系模型,揭示炼化装置故障链式效应行为规律和关联本质,从而评价装置异常工况下的安全状态。进一步以马尔可夫过程为理论基础,建立故障链式效应预测模型,预测故障传播的后果和方向,并计算各后果的发生概率,为现场操作人员进行主动维修或应急处置提供依据。案例分析中通过对某化工厂常压塔装置、减压炉装置为研究对象进行应用与验证,结果表明该方法可以准确地对系统故障发生后的状态进行评价和预测,方法有效、可行,便于操作人员在处置已有故障的同时,注意预防其他异常工况的发生,降低油气生产加工过程中的整体风险。
展开更多
关键词
过程系统
目标树成功树-动态主逻辑图
故障链式效应
安全
预测
在线阅读
下载PDF
职称材料
加速器驱动次临界系统始发事件的选取研究
被引量：
4
6
作者
王强龙
杨志义
+3 位作者
胡丽琴
王家群
李亚洲
FDS团队
《核科学与工程》
CSCD
北大核心
2013年第3期274-279,共6页
概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,...
概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,其始发事件的确定具有一定的难度。本文基于目前设计方案,分析该ADS系统具有的安全特性及特殊问题,采用主逻辑图(MLD)推导其始发事件,并参考其他先进研究堆相关经验,最终得到一组始发事件清单,为下一步安全评价工作的展开提供了依据。
展开更多
关键词
ADS
概率安全评价
始发事件
主逻辑图
在线阅读
下载PDF
职称材料
基于主逻辑图的安全风险建模研究
被引量：
7
7
作者
曾士勇
龚时雨
《中国安全科学学报》
CAS
CSCD
2003年第10期66-68,共3页
概率风险评估已成为研究复杂系统安全风险较为成熟的方法 ,其风险模型的建立是基于故障树/事件树的 ,风险分析具有众多的静态特性。然而 ,大的复杂系统往往存在诸多动态因素 ,在风险研究需要考虑这些动态因素的情况下 ,基于传统故障树 ...
概率风险评估已成为研究复杂系统安全风险较为成熟的方法 ,其风险模型的建立是基于故障树/事件树的 ,风险分析具有众多的静态特性。然而 ,大的复杂系统往往存在诸多动态因素 ,在风险研究需要考虑这些动态因素的情况下 ,基于传统故障树 /事件树的模型则难以提供支持。笔者对此进行了分析 ,提出了基于主逻辑图的安全风险建模 ;主要介绍了主逻辑图的概念及其建模方法 ,并对模型进行了分析 ;在此基础上 ,基于主逻辑图分析事故场景 ,对场景风险的量化评估进行了简要介绍 ,并结合某核反应堆例子进行了分析。
展开更多
关键词
主逻辑图
安全风险
事故场景
建模
在线阅读
下载PDF
职称材料
软PLC梯形图到语句表转换新策略的研究
被引量：
20
8
作者
石锐
周雷
杨正益
《计算机工程与应用》
CSCD
北大核心
2010年第18期244-248,共5页
提出了一种用于实现软PLC梯形图到语句表转换的新策略。首先将梯形图映射为AOV图,然后对每级的AOV图进行扫描以确定各顶点之间的不同层次的串并联关系,扫描的同时自底向上建立一棵逻辑树以保存扫描结果,最后通过遍历这棵树生成语句表。...
提出了一种用于实现软PLC梯形图到语句表转换的新策略。首先将梯形图映射为AOV图,然后对每级的AOV图进行扫描以确定各顶点之间的不同层次的串并联关系,扫描的同时自底向上建立一棵逻辑树以保存扫描结果,最后通过遍历这棵树生成语句表。通过实例说明此策略能清晰地表达出梯形图各元件的逻辑关系,语句表转换过程准确快速。执行过程中还能对梯形图进行逻辑查错和规范检查。
展开更多
关键词
软可编程逻辑控制器(PLC)
梯形图
语句表
扫描算法
逻辑树
在线阅读
下载PDF
职称材料
工程系统一体化安全风险模型研究
被引量：
6
9
作者
龚时雨
谭跃进
《中国安全科学学报》
CAS
CSCD
2007年第2期149-154,共6页
借鉴功能模拟原理,利用目标树-成功树-主逻辑图(GTST-MLD)框架,提出了一个一体化安全风险模型。该模型对关联于工程系统安全特性的目标、功能、结构、行为等因素予以综合,提供了从多层次研究解决安全问题的模型基础,克服了基于事件树/...
借鉴功能模拟原理,利用目标树-成功树-主逻辑图(GTST-MLD)框架,提出了一个一体化安全风险模型。该模型对关联于工程系统安全特性的目标、功能、结构、行为等因素予以综合,提供了从多层次研究解决安全问题的模型基础,克服了基于事件树/故障树模型的概率风险评估等传统方法而分别对系统结构、行为、事件进行研究的问题,支持实现在更高的系统功能层面上对系统安全性的分析研究。通过研究该模型在安全风险评估、事故因果关联分析、潜在交互作用鉴别中的应用,表明研究成果为解决复杂工程系统安全问题提供了新的分析手段。
展开更多
关键词
安全管理工程
安全风险模型
目标树-成功树
主逻辑图
风险分析
功能模拟
在线阅读
下载PDF
职称材料
顺序任务梯形图的一种设计方法
被引量：
2
10
作者
李志武
马伯渊
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999年第4期401-405,共5页
基于Ｐｅｔｒｉ网理论和方法，研究了可编程序控制器程序设计语言的一种自动设计方法．首先把控制任务自动综合为Ｐｅｔｒｉ网，其次研究了由该Ｐｅｔｒｉ网到梯形图的转换算法．这种方法尤其适合于小型可编程序控制器，其改进后还可以...
基于Ｐｅｔｒｉ网理论和方法，研究了可编程序控制器程序设计语言的一种自动设计方法．首先把控制任务自动综合为Ｐｅｔｒｉ网，其次研究了由该Ｐｅｔｒｉ网到梯形图的转换算法．这种方法尤其适合于小型可编程序控制器，其改进后还可以处理更复杂的多路径顺序任务问题．
展开更多
关键词
梯形国科
可编程序控制器
PETRI网
LLD语言
在线阅读
下载PDF
职称材料
基于串并联归并的PLC梯形图向指令表转换算法
被引量：
13
11
作者
傅亮
胡飞虎
+1 位作者
刘乐
张冠群
《计算机工程与应用》
CSCD
北大核心
2009年第27期72-74,118,共4页
PLC梯形图转换为指令表通常分为三个阶段,即梯形图映射为AOV图、AOV图转换为二叉树、二叉树转换为指令表。其中AOV图转换为二叉树最为关键也最复杂,提出了一种利用串并联归并的思想将AOV图转换为二叉树的方法,直观易懂并容易实现。给出...
PLC梯形图转换为指令表通常分为三个阶段,即梯形图映射为AOV图、AOV图转换为二叉树、二叉树转换为指令表。其中AOV图转换为二叉树最为关键也最复杂,提出了一种利用串并联归并的思想将AOV图转换为二叉树的方法,直观易懂并容易实现。给出了一个转换实例,并介绍了算法思想及其实现步骤。
展开更多
关键词
可编程控制器(PLC)
梯形图
指令表
在线阅读
下载PDF
职称材料
应用PLC实现大型装置自动起竖
被引量：
3
12
作者
高钦和
黄先祥
《中国机械工程》
CAS
CSCD
北大核心
1995年第6期42-44,共3页
讨论大型装置实现自动起竖需要解决的问题，介绍某大型装置应用可编程序控制器（ＰＬＣ）实现自动起竖的途径和方法，包括系统的技术方案、ＰＬＣ对现场信号的检测与处理方法及梯形图控制软件的设计。
关键词
起竖装置
电液控制
程序控制器
在线阅读
下载PDF
职称材料
PLC梯形图的广义表转换
被引量：
15
13
作者
林懋恺
王晓芳
林亨
《计算机工程》
CAS
CSCD
北大核心
2007年第13期75-77,95,共4页
提出了利用串并联归并算法以实现PLC梯形图到指令表的转换方法。该算法将梯形图转化为有向无环图,对图中的串并联关系进行分类归并,将串并联结构按层次存储在广义表中,根据广义表生成指令表。该算法克服了传统拓扑排序算法在梯形图结构...
提出了利用串并联归并算法以实现PLC梯形图到指令表的转换方法。该算法将梯形图转化为有向无环图,对图中的串并联关系进行分类归并,将串并联结构按层次存储在广义表中,根据广义表生成指令表。该算法克服了传统拓扑排序算法在梯形图结构复杂时产生误判的缺陷,增加了检查逻辑错误的功能。在最佳情况下,该算法的时间复杂度为O(n),最差情况下为O(n2),与拓扑排序算法基本一致,有时略优于拓扑排序算法。
展开更多
关键词
可编程控制器
梯形图
指令表
在线阅读
下载PDF
职称材料
输水管道系统的可靠性研究
被引量：
2
14
作者
张子贤
刘家春
《重庆建筑大学学报》
EI
CSCD
北大核心
2006年第2期94-98,共5页
采用网络分解法,研究了设置连通管的输水管道系统的可靠性计算模型;计算表明,随连通管条数的增加,输水管道系统的可靠性可能降低也可能提高;在输水管道系统中,输水干管的管段和三通的可靠性变化是影响系统可靠性的敏感性因素。研究成果...
采用网络分解法,研究了设置连通管的输水管道系统的可靠性计算模型;计算表明,随连通管条数的增加,输水管道系统的可靠性可能降低也可能提高;在输水管道系统中,输水干管的管段和三通的可靠性变化是影响系统可靠性的敏感性因素。研究成果对输水管道系统的设计、组件的选择、施工安装与维护管理以及寻求系统最大可靠性途径,具有重要的指导意义。
展开更多
关键词
输水管道系统
可靠性
组件
逻辑图
网络分解法
模型
敏感性分析
在线阅读
下载PDF
职称材料
面向仓储物流的建模及控制系统设计方法
被引量：
5
15
作者
许晓伟
梁英宏
吴耀华
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第12期2335-2342,2390,共9页
为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法。该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发、冲突...
为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法。该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发、冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法。该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计。最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程。
展开更多
关键词
物流
自动化仓储系统
PETRI网
可编程逻辑控制器
梯形图
建模
在线阅读
下载PDF
职称材料
三值触发器设计及其变换
被引量：
6
16
作者
方振贤
《电子学报》
EI
CAS
CSCD
北大核心
1993年第11期95-98,共4页
本文研究基于状态图设计三值触发器的通用方法,对称和非对称三值逻辑均适用,用一个状态图统一地导出主从结构和维持阻塞结构触发器,以及其它等效触发器。本文设计出双极性cp触发器,改进了mR和JK触发器。
关键词
三值逻辑
状态图
触发器
设计
在线阅读
下载PDF
职称材料
基于本体的UML类图语义推理
被引量：
5
17
作者
刘嘉
童格明
+1 位作者
李明
臧凤奎
《计算机应用与软件》
CSCD
2011年第4期212-214,共3页
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体...
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
展开更多
关键词
本体
UML类图
形式化
描述逻辑
在线阅读
下载PDF
职称材料
液压传动程序电气控制经验设计法优化分析
被引量：
7
18
作者
廖传林
李维杨
《机床与液压》
北大核心
2013年第8期121-123,共3页
阐述采用经验法设计液压传动程序电气控制系统时遇到的具体问题和可采用的解决方法,为液动程序电控系统优化提供了一定的依据。
关键词
液压传动
程序控制
电气控制系统
时序逻辑图
在线阅读
下载PDF
职称材料
一个结构良好的规格说明工具：抽象逻辑结构图
被引量：
8
19
作者
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格说明工具
数据结构
在线阅读
下载PDF
职称材料
从概念程序表示到C++过程蓝图的映射
被引量：
1
20
作者
刘建宾
郝克刚
《计算机工程与应用》
CSCD
北大核心
2001年第17期39-41,共3页
文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。
关键词
抽象逻辑结构图
C++
过程蓝图
软件开发
概念程序
在线阅读
下载PDF
职称材料
题名
基于故障逻辑的民机液压状态监控与故障诊断
被引量：
1
1
作者
冯蕴雯
潘维煌
路成
刘佳奇
机构
西北工业大学航空学院
出处
《系统工程与电子技术》
北大核心
2025年第3期842-854,共13页
基金
国家自然科学基金(51875465)
上海民用飞机健康监控工程技术研究中心(GCZX-2022-01)资助课题。
文摘
当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移学习模型,用于故障诊断与定位,以提升状态监控能力与故障诊断效率。首先,分析液压系统原理,依据机组操作手册(flight crew operating manual,FCOM)额定参数与监测数据建立运行监控指标,采用决策树模型监控液压系统的运行状态;随后通过故障形成条件梳理成逻辑图,结合逻辑图的输入信号参数采集快速存取记录器(quick access recorder,QAR)数据,开发迁移学习模型实现故障诊断与定位。最后以某型国产民机液压低压故障为例,验证了所提方法的应用效果。结果表明,该运行状态监控方法能有效量化液压系统状态,故障诊断方法则能高效识别故障原因。
关键词
状态监控
故障诊断与定位
逻辑图
监测参数
迁移学习
Keywords
state monitoring
fault diagnosis and localization
logic diagram
monitoring parameters
transfer learning
分类号
V267 [航空宇航科学与技术—航空宇航制造工程]
在线阅读
下载PDF
职称材料
题名
扭力梁车轮面加工自动分配余量设备的研制
2
作者
杨书根
崔海斌
刘娜
丁玲
任冠豪
机构
盐城工业职业技术学院汽车与交通学院
江苏高精机电装备有限公司
出处
《组合机床与自动化加工技术》
北大核心
2025年第1期175-179,共5页
基金
科技部2022年度国家外国专家项目(G2022014146L)
2023年江苏省产学研合作项目(BY20231103)。
文摘
在汽车组成中,后桥是它的重要部件,在非独立后悬架系列中,目前不少轿车的后悬架采用扭力梁的结构。它不仅成本低,而且能通过前束控制,使整车获得良好平顺性的同时,操纵性能也有所改善。但后桥车轮安装面的强度对悬架系统有较大的影响,对车轮面的强度运用机械加工方法,通过公差的调整、定位销结构的设计、检测装置的研发、余量分配逻辑关系图的构想,探讨后桥车轮面加工时如何保证车轮面设计厚度的机床研制,为国内汽车扭力梁制造提供了一套完整的解决方案,实现了扭力梁机加工艺设备的产业化。
关键词
扭力梁
车轮面
检测装置
逻辑关系图
Keywords
torsion beam
wheel surface
detection device
logic
al relationship
diagram
分类号
TH16 [机械工程—机械制造及自动化]
TG506 [金属学及工艺—金属切削加工及机床]
在线阅读
下载PDF
职称材料
题名
面向复杂刑事案件的涉案金额识别方法
3
作者
田如君
林川
黄瑞章
陈艳平
杨志
秦永彬
机构
贵州大学文本计算与认知智能教育部工程研究中心
贵州大学公共大数据国家重点实验室
贵州大学计算机科学与技术学院
出处
《计算机工程与设计》
北大核心
2025年第6期1556-1563,共8页
基金
国家自然科学基金项目(62066008)
贵州省科技支撑计划基金项目([2022]277)。
文摘
针对现有涉案金额识别方法在复杂案件(一案多人)上面临金额的所属关系易混淆及意图多样性问题,提出一种面向复杂刑事案件的涉案金额识别推理方法。通过分析裁判文书的逻辑结构,抽取文书中的金额相关要素并结合文书的特征构建金额共现图,用图的形式对金额的归属关系进行表示,使用图神经网络(graph neural network, GNN)在金额共现图中学习要素节点之间的语义依赖信息和结构信息,获取其深层的节点特征,实现对涉案金额的识别和推理。在公共比赛数据集LAIC2021(Legal AI Challenge 2021)上的准确率(Accuracy, Acc)值达到94.75%,比当前最优模型提升了3.7%,在某省人民法院裁判文书复杂案件数据集上的Acc值达到74.16%。
关键词
刑事案件
涉案金额识别
裁判文书逻辑结构
金额共现图
图神经网络
司法智能
特征融合
Keywords
criminal case
identification of amount involved
logic
al structure of adjudication documents
amount co-occurrence
diagram
graph neural network
judicial intelligence
feature fusion
分类号
TP391.1 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于FPGA技术的浮点运算器的设计与实现
被引量：
11
4
作者
周宁宁
陈燕例
李爱群
机构
南京邮电学院计算机科学与技术系
出处
《计算机工程与设计》
CSCD
北大核心
2005年第6期1578-1581,共4页
文摘
日趋进步和完善的FPGA(现场可编程门阵列)技术推动了当前数字电路的设计。浮点运算器是计算机的一个组成部件,结构比较复杂,利用FPGA技术设计浮点运算器可以缩短产品的开发周期。介绍了基于FPGA技术的浮点运算器的设计与实现。描述了采用VHDL(VHSIC硬件描述语言)和原理图方式设计完成浮点运算器的方法和步骤。利用FPGA技术,能方便灵活地设计出浮点运算器。
关键词
FPGA
浮点运算器
VHDL
原理图
Keywords
FPGA
floating point calculator
VHDL
logic diagram
分类号
TP33 [自动化与计算机技术—计算机系统结构]
TN79 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
炼化装置故障链式效应定量安全预警方法
被引量：
7
5
作者
胡瑾秋
张来斌
王安琪
机构
中国石油大学(北京)机械与储运工程学院
出处
《化工学报》
EI
CAS
CSCD
北大核心
2016年第7期3091-3100,共10页
基金
国家自然科学基金项目(51574263)
教育部新世纪优秀人才支持计划项目(NCET-12-0972)
中国石油大学(北京)科研基金项目(2462015YQ0403)
文摘
炼化装置故障及其故障链式效应对油气生产和人民生命安全所造成的危害严重。从故障链角度进行事故风险研究,提出炼化装置故障链式效应定量安全预警方法。首先分析炼化装置故障链式关系结构,基于目标树成功树-动态主逻辑图(GTST-DMLD)建立其故障链式效应关系模型,揭示炼化装置故障链式效应行为规律和关联本质,从而评价装置异常工况下的安全状态。进一步以马尔可夫过程为理论基础,建立故障链式效应预测模型,预测故障传播的后果和方向,并计算各后果的发生概率,为现场操作人员进行主动维修或应急处置提供依据。案例分析中通过对某化工厂常压塔装置、减压炉装置为研究对象进行应用与验证,结果表明该方法可以准确地对系统故障发生后的状态进行评价和预测,方法有效、可行,便于操作人员在处置已有故障的同时,注意预防其他异常工况的发生,降低油气生产加工过程中的整体风险。
关键词
过程系统
目标树成功树-动态主逻辑图
故障链式效应
安全
预测
Keywords
process systems
goal tree success tree-dynamic master
logic diagram
fault propagation
safety
prediction
分类号
X937 [环境科学与工程—安全科学]
在线阅读
下载PDF
职称材料
题名
加速器驱动次临界系统始发事件的选取研究
被引量：
4
6
作者
王强龙
杨志义
胡丽琴
王家群
李亚洲
FDS团队
机构
中国科学技术大学安徽合肥
中国科学院核能安全技术研究所安徽合肥
环境保护部核与辐射安全中心北京
出处
《核科学与工程》
CSCD
北大核心
2013年第3期274-279,共6页
基金
国家自然科学基金-加速器驱动次临界堆瞬态安全过程与影响机理研究(91026004)
文摘
概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,其始发事件的确定具有一定的难度。本文基于目前设计方案,分析该ADS系统具有的安全特性及特殊问题,采用主逻辑图(MLD)推导其始发事件,并参考其他先进研究堆相关经验,最终得到一组始发事件清单,为下一步安全评价工作的展开提供了依据。
关键词
ADS
概率安全评价
始发事件
主逻辑图
Keywords
accelerator driven subcritical system
probabilistic safety assessment
initialevents
master
logic diagram
分类号
TL411.1 [核科学技术—核技术及应用]
在线阅读
下载PDF
职称材料
题名
基于主逻辑图的安全风险建模研究
被引量：
7
7
作者
曾士勇
龚时雨
机构
国防科技大学系统工程研究所
出处
《中国安全科学学报》
CAS
CSCD
2003年第10期66-68,共3页
文摘
概率风险评估已成为研究复杂系统安全风险较为成熟的方法 ,其风险模型的建立是基于故障树/事件树的 ,风险分析具有众多的静态特性。然而 ,大的复杂系统往往存在诸多动态因素 ,在风险研究需要考虑这些动态因素的情况下 ,基于传统故障树 /事件树的模型则难以提供支持。笔者对此进行了分析 ,提出了基于主逻辑图的安全风险建模 ;主要介绍了主逻辑图的概念及其建模方法 ,并对模型进行了分析 ;在此基础上 ,基于主逻辑图分析事故场景 ,对场景风险的量化评估进行了简要介绍 ,并结合某核反应堆例子进行了分析。
关键词
主逻辑图
安全风险
事故场景
建模
Keywords
Master
logic diagram
Accident location Risk
分类号
X913 [环境科学与工程—安全科学]
在线阅读
下载PDF
职称材料
题名
软PLC梯形图到语句表转换新策略的研究
被引量：
20
8
作者
石锐
周雷
杨正益
机构
重庆大学计算机学院
重庆大学软件学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第18期244-248,共5页
基金
国家"十一五"科技支撑计划重大项目资助No.2006BAK03B04~~
文摘
提出了一种用于实现软PLC梯形图到语句表转换的新策略。首先将梯形图映射为AOV图,然后对每级的AOV图进行扫描以确定各顶点之间的不同层次的串并联关系,扫描的同时自底向上建立一棵逻辑树以保存扫描结果,最后通过遍历这棵树生成语句表。通过实例说明此策略能清晰地表达出梯形图各元件的逻辑关系,语句表转换过程准确快速。执行过程中还能对梯形图进行逻辑查错和规范检查。
关键词
软可编程逻辑控制器(PLC)
梯形图
语句表
扫描算法
逻辑树
Keywords
soft Programmable
logic
Controlle（rPLC）
ladder
diagram
sentence list
scanning algorithm
logic
tree
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
工程系统一体化安全风险模型研究
被引量：
6
9
作者
龚时雨
谭跃进
机构
国防科技大学信息系统与管理学院
出处
《中国安全科学学报》
CAS
CSCD
2007年第2期149-154,共6页
文摘
借鉴功能模拟原理,利用目标树-成功树-主逻辑图(GTST-MLD)框架,提出了一个一体化安全风险模型。该模型对关联于工程系统安全特性的目标、功能、结构、行为等因素予以综合,提供了从多层次研究解决安全问题的模型基础,克服了基于事件树/故障树模型的概率风险评估等传统方法而分别对系统结构、行为、事件进行研究的问题,支持实现在更高的系统功能层面上对系统安全性的分析研究。通过研究该模型在安全风险评估、事故因果关联分析、潜在交互作用鉴别中的应用,表明研究成果为解决复杂工程系统安全问题提供了新的分析手段。
关键词
安全管理工程
安全风险模型
目标树-成功树
主逻辑图
风险分析
功能模拟
Keywords
safety management engineering
safety risk model
GTST （ goal tree-success tree）
MLD （ master
logic diagram
）
risk analysis
functional modeling
分类号
X913 [环境科学与工程—安全科学]
在线阅读
下载PDF
职称材料
题名
顺序任务梯形图的一种设计方法
被引量：
2
10
作者
李志武
马伯渊
机构
西安电子科技大学电子机械学院
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999年第4期401-405,共5页
基金
国家自然科学基金
文摘
基于Ｐｅｔｒｉ网理论和方法，研究了可编程序控制器程序设计语言的一种自动设计方法．首先把控制任务自动综合为Ｐｅｔｒｉ网，其次研究了由该Ｐｅｔｒｉ网到梯形图的转换算法．这种方法尤其适合于小型可编程序控制器，其改进后还可以处理更复杂的多路径顺序任务问题．
关键词
梯形国科
可编程序控制器
PETRI网
LLD语言
Keywords
ladder
logic diagram
programmable
logic
controller
Petri net
分类号
TP332.3 [自动化与计算机技术—计算机系统结构]
TP312LL [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于串并联归并的PLC梯形图向指令表转换算法
被引量：
13
11
作者
傅亮
胡飞虎
刘乐
张冠群
机构
西安交通大学电气工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2009年第27期72-74,118,共4页
文摘
PLC梯形图转换为指令表通常分为三个阶段,即梯形图映射为AOV图、AOV图转换为二叉树、二叉树转换为指令表。其中AOV图转换为二叉树最为关键也最复杂,提出了一种利用串并联归并的思想将AOV图转换为二叉树的方法,直观易懂并容易实现。给出了一个转换实例,并介绍了算法思想及其实现步骤。
关键词
可编程控制器(PLC)
梯形图
指令表
Keywords
Programmable
logic
Controlle（rPLC）
ladder
diagram
instruction list
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
应用PLC实现大型装置自动起竖
被引量：
3
12
作者
高钦和
黄先祥
机构
第二炮兵工程学院
出处
《中国机械工程》
CAS
CSCD
北大核心
1995年第6期42-44,共3页
基金
中国人民解放军重点科研项目
文摘
讨论大型装置实现自动起竖需要解决的问题，介绍某大型装置应用可编程序控制器（ＰＬＣ）实现自动起竖的途径和方法，包括系统的技术方案、ＰＬＣ对现场信号的检测与处理方法及梯形图控制软件的设计。
关键词
起竖装置
电液控制
程序控制器
Keywords
erecting device electrohydraulic control programmable controller ladder
logic diagram
分类号
TH211.03 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
PLC梯形图的广义表转换
被引量：
15
13
作者
林懋恺
王晓芳
林亨
机构
清华大学工业工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第13期75-77,95,共4页
文摘
提出了利用串并联归并算法以实现PLC梯形图到指令表的转换方法。该算法将梯形图转化为有向无环图,对图中的串并联关系进行分类归并,将串并联结构按层次存储在广义表中,根据广义表生成指令表。该算法克服了传统拓扑排序算法在梯形图结构复杂时产生误判的缺陷,增加了检查逻辑错误的功能。在最佳情况下,该算法的时间复杂度为O(n),最差情况下为O(n2),与拓扑排序算法基本一致,有时略优于拓扑排序算法。
关键词
可编程控制器
梯形图
指令表
Keywords
programmable
logic
controller（PLC）
ladder
diagram
instruction lists
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
输水管道系统的可靠性研究
被引量：
2
14
作者
张子贤
刘家春
机构
徐州建筑职业技术学院
出处
《重庆建筑大学学报》
EI
CSCD
北大核心
2006年第2期94-98,共5页
文摘
采用网络分解法,研究了设置连通管的输水管道系统的可靠性计算模型;计算表明,随连通管条数的增加,输水管道系统的可靠性可能降低也可能提高;在输水管道系统中,输水干管的管段和三通的可靠性变化是影响系统可靠性的敏感性因素。研究成果对输水管道系统的设计、组件的选择、施工安装与维护管理以及寻求系统最大可靠性途径,具有重要的指导意义。
关键词
输水管道系统
可靠性
组件
逻辑图
网络分解法
模型
敏感性分析
Keywords
water delivery pipeline system
reliability
subassembly
logic diagram
net decomposition method
model
sensitivity analysis
分类号
TU991 [建筑科学—市政工程]
在线阅读
下载PDF
职称材料
题名
面向仓储物流的建模及控制系统设计方法
被引量：
5
15
作者
许晓伟
梁英宏
吴耀华
机构
中山大学信息科学与技术学院
中山大学数字家庭教育部重点实验室
广东商学院广东省电子商务市场应用技术重点实验室
山东大学现代物流中心
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第12期2335-2342,2390,共9页
基金
国家自然科学基金资助项目(50175064)
NSFC-广东联合基金资助项目(U0735001
+1 种基金
U0835004)
国家863计划资助项目(2006CB303106)~~
文摘
为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法。该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发、冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法。该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计。最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程。
关键词
物流
自动化仓储系统
PETRI网
可编程逻辑控制器
梯形图
建模
Keywords
logistics
automated storage and retrieval system（AS/RS）
petri nets
programmable
logic
controller
ladder
diagram
modeling
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
三值触发器设计及其变换
被引量：
6
16
作者
方振贤
机构
黑龙江大学物理系
出处
《电子学报》
EI
CAS
CSCD
北大核心
1993年第11期95-98,共4页
文摘
本文研究基于状态图设计三值触发器的通用方法,对称和非对称三值逻辑均适用,用一个状态图统一地导出主从结构和维持阻塞结构触发器,以及其它等效触发器。本文设计出双极性cp触发器,改进了mR和JK触发器。
关键词
三值逻辑
状态图
触发器
设计
Keywords
Ternary
logic
s ,State
diagram
,Flip-Flop
分类号
TN783.02 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
基于本体的UML类图语义推理
被引量：
5
17
作者
刘嘉
童格明
李明
臧凤奎
机构
兰州理工大学计算机与通信学院
出处
《计算机应用与软件》
CSCD
2011年第4期212-214,共3页
文摘
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
关键词
本体
UML类图
形式化
描述逻辑
Keywords
Ontology UML class
diagram
Formalisation Description
logic
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
液压传动程序电气控制经验设计法优化分析
被引量：
7
18
作者
廖传林
李维杨
机构
武汉软件工程职业学院
武汉长印集团
出处
《机床与液压》
北大核心
2013年第8期121-123,共3页
文摘
阐述采用经验法设计液压传动程序电气控制系统时遇到的具体问题和可采用的解决方法,为液动程序电控系统优化提供了一定的依据。
关键词
液压传动
程序控制
电气控制系统
时序逻辑图
Keywords
Hydraulic transmission
Program control
Electrical control system
Sequential
logic diagram
分类号
TH137 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
一个结构良好的规格说明工具：抽象逻辑结构图
被引量：
8
19
作者
刘建宾
机构
汕头大学计算机系
出处
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
文摘
提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格说明工具
数据结构
Keywords
Abstract
logic
structure
diagram
s(ALSD) SPecification techniquesSoftware representation tools
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
从概念程序表示到C++过程蓝图的映射
被引量：
1
20
作者
刘建宾
郝克刚
机构
汕头大学工学院计算机系
西北大学计算机系
出处
《计算机工程与应用》
CSCD
北大核心
2001年第17期39-41,共3页
基金
国家自然科学基金项目(编号:60073050)
国家863项目(编号:863-306-2702-04-01)
汕头大学"211"工程项目
文摘
文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。
关键词
抽象逻辑结构图
C++
过程蓝图
软件开发
概念程序
Keywords
Abstract
logic
Structure
diagram
，C＋＋ Process Blueprint，Validity
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于故障逻辑的民机液压状态监控与故障诊断
冯蕴雯
潘维煌
路成
刘佳奇
《系统工程与电子技术》
北大核心
2025
1
在线阅读
下载PDF
职称材料
2
扭力梁车轮面加工自动分配余量设备的研制
杨书根
崔海斌
刘娜
丁玲
任冠豪
《组合机床与自动化加工技术》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
面向复杂刑事案件的涉案金额识别方法
田如君
林川
黄瑞章
陈艳平
杨志
秦永彬
《计算机工程与设计》
北大核心
2025
0
在线阅读
下载PDF
职称材料
4
基于FPGA技术的浮点运算器的设计与实现
周宁宁
陈燕例
李爱群
《计算机工程与设计》
CSCD
北大核心
2005
11
在线阅读
下载PDF
职称材料
5
炼化装置故障链式效应定量安全预警方法
胡瑾秋
张来斌
王安琪
《化工学报》
EI
CAS
CSCD
北大核心
2016
7
在线阅读
下载PDF
职称材料
6
加速器驱动次临界系统始发事件的选取研究
王强龙
杨志义
胡丽琴
王家群
李亚洲
FDS团队
《核科学与工程》
CSCD
北大核心
2013
4
在线阅读
下载PDF
职称材料
7
基于主逻辑图的安全风险建模研究
曾士勇
龚时雨
《中国安全科学学报》
CAS
CSCD
2003
7
在线阅读
下载PDF
职称材料
8
软PLC梯形图到语句表转换新策略的研究
石锐
周雷
杨正益
《计算机工程与应用》
CSCD
北大核心
2010
20
在线阅读
下载PDF
职称材料
9
工程系统一体化安全风险模型研究
龚时雨
谭跃进
《中国安全科学学报》
CAS
CSCD
2007
6
在线阅读
下载PDF
职称材料
10
顺序任务梯形图的一种设计方法
李志武
马伯渊
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999
2
在线阅读
下载PDF
职称材料
11
基于串并联归并的PLC梯形图向指令表转换算法
傅亮
胡飞虎
刘乐
张冠群
《计算机工程与应用》
CSCD
北大核心
2009
13
在线阅读
下载PDF
职称材料
12
应用PLC实现大型装置自动起竖
高钦和
黄先祥
《中国机械工程》
CAS
CSCD
北大核心
1995
3
在线阅读
下载PDF
职称材料
13
PLC梯形图的广义表转换
林懋恺
王晓芳
林亨
《计算机工程》
CAS
CSCD
北大核心
2007
15
在线阅读
下载PDF
职称材料
14
输水管道系统的可靠性研究
张子贤
刘家春
《重庆建筑大学学报》
EI
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
15
面向仓储物流的建模及控制系统设计方法
许晓伟
梁英宏
吴耀华
《计算机集成制造系统》
EI
CSCD
北大核心
2009
5
在线阅读
下载PDF
职称材料
16
三值触发器设计及其变换
方振贤
《电子学报》
EI
CAS
CSCD
北大核心
1993
6
在线阅读
下载PDF
职称材料
17
基于本体的UML类图语义推理
刘嘉
童格明
李明
臧凤奎
《计算机应用与软件》
CSCD
2011
5
在线阅读
下载PDF
职称材料
18
液压传动程序电气控制经验设计法优化分析
廖传林
李维杨
《机床与液压》
北大核心
2013
7
在线阅读
下载PDF
职称材料
19
一个结构良好的规格说明工具：抽象逻辑结构图
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996
8
在线阅读
下载PDF
职称材料
20
从概念程序表示到C++过程蓝图的映射
刘建宾
郝克刚
《计算机工程与应用》
CSCD
北大核心
2001
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
7
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
