期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
Synthesis and fluorescence sensing of a highly sensitive and multi-response cadmium coordination polymer
1
作者 REN Jing YAN Ruikui +3 位作者 CHEN Xiaoli CUI Huali YANG Hua WANG Jijiang 《无机化学学报》 北大核心 2025年第3期574-586,共13页
A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_... A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625. 展开更多
关键词 coordination polymer 4⁃(2 4⁃dicarboxylic phenoxyl)phthalic acid fluorescence sensing logic gate
在线阅读 下载PDF
基于Petri网的服务组合故障诊断与处理 被引量:41
2
作者 范贵生 虞慧群 +1 位作者 陈丽琼 刘冬梅 《软件学报》 EI CSCD 北大核心 2010年第2期231-247,共17页
通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性. 展开更多
关键词 PETRI网 服务组合 故障处理 CTL(computational TREE logic) 可靠性
在线阅读 下载PDF
基于数学形态学的红外点目标实时检测算法及其CPLD实现 被引量:5
3
作者 刘士建 郭立 +1 位作者 段勃 朱俊株 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第3期366-370,共5页
基于数学形态学提出了一种红外图像序列中点目标的检测算法及其硬件系统的实现 .首先介绍了基于数学形态学的点目标检测算法的基本原理 ,然后根据算法的特点提出了它在CPLD上的并行流水线实现方法 ,最后给出并分析了算法软件和硬件系统... 基于数学形态学提出了一种红外图像序列中点目标的检测算法及其硬件系统的实现 .首先介绍了基于数学形态学的点目标检测算法的基本原理 ,然后根据算法的特点提出了它在CPLD上的并行流水线实现方法 ,最后给出并分析了算法软件和硬件系统的仿真结果 .结果表明该方法可以快速、可靠地检测出低信杂比红外图像序列中的点目标 ,且系统结构简单 ,无需存储器 。 展开更多
关键词 红外图像 点目标检测 形态学 complex PROGRAMMABLE logic device(CPLD)
在线阅读 下载PDF
面向参数化LTL的预测监控器构造技术 被引量:6
4
作者 赵常智 董威 +1 位作者 隋平 齐治昌 《软件学报》 EI CSCD 北大核心 2010年第2期318-333,共16页
介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称PALTL)公式运行时预测监控器构造方法.一方面研究PALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的... 介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称PALTL)公式运行时预测监控器构造方法.一方面研究PALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀. 展开更多
关键词 运行时验证 软件监控 预测监控器 参数化LTL(linear TEMPORAL logic) 参数化Büchi自动机
在线阅读 下载PDF
时态数据库时间轴的动态逻辑模型 被引量:8
5
作者 刘冬宁 汤庸 《软件学报》 EI CSCD 北大核心 2010年第4期694-701,共8页
尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画.只有这样才能准... 尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画.只有这样才能准确地在数据库中反映时间和时间属性的本质特点,并应用于与时间轴模型直接相关的时态查询语言.因此,从分析时间轴的性质出发,对时间轴的序关系和谓词逻辑性质进行了研究和阐述.随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模,这样刻画的目的是为了"细精度"地体现时间轴的特点,并借助逻辑的方法对其分析.在TDB(temporal database)时间轴的动态逻辑建模部分,相对于原时态逻辑系统较为静态,着重处理了时间的动态性,并参照了TenseLogic中的Lin.Z系统,将其转化为动态Lin.Z系统,在其中添加了参数化处理.该参数化的处理是基于动作执行的,主要工作在动作指数的数值化和函数化两个方面,其结果体现了时态数据库中规则生存周期和"Now"节点的一些特点以及知识表达和解决方法,研究结果将对后续时态知识表达和时态数据库查询语言的研究起到积极的作用. 展开更多
关键词 时态数据库 时间轴 TENSE LOGIC 动态逻辑 动作参数
在线阅读 下载PDF
基于FUZZY控制策略的汽车EPS助力特性分析 被引量:4
6
作者 姚慧杰 高秀华 张小江 《机械设计与制造》 北大核心 2008年第7期9-10,共2页
首先介绍了助力转向系统的助力特性和助力特性曲线的概念及转向助力特曲线形状的类型,分析了直线型和折线型这两种助力特性曲线的优缺点,然后简单介绍大型软件MATLAB中的FUZZY LOGIC模块的功能和应用,最后以三菱Minica为例,利用这一模... 首先介绍了助力转向系统的助力特性和助力特性曲线的概念及转向助力特曲线形状的类型,分析了直线型和折线型这两种助力特性曲线的优缺点,然后简单介绍大型软件MATLAB中的FUZZY LOGIC模块的功能和应用,最后以三菱Minica为例,利用这一模块对汽车的电动助力转向系统的助力特性进行仿真分析,得到了对比图形,并对其进行分析。 展开更多
关键词 助力特性 助力特性曲线 FUZZY LOGIC
在线阅读 下载PDF
面向智能控制的软PLC逻辑控制单元模块化设计与实现 被引量:2
7
作者 陈文博 杨观赐 +2 位作者 李少波 郭林 王阳 《贵州师范大学学报(自然科学版)》 CAS 2013年第5期96-100,共5页
为了采用软件实现硬件的功能,改变依靠硬件模块的产品序列化方式。在介绍软PLC系统主要功能与模块的基础上,针对软PLC的逻辑控制单元的可视化设计与实现,给出了控制单元的图形显示、逻辑功能实现、以及数据关联的设计,最后介绍了逻辑控... 为了采用软件实现硬件的功能,改变依靠硬件模块的产品序列化方式。在介绍软PLC系统主要功能与模块的基础上,针对软PLC的逻辑控制单元的可视化设计与实现,给出了控制单元的图形显示、逻辑功能实现、以及数据关联的设计,最后介绍了逻辑控制单元可视化实现效果。 展开更多
关键词 可视化 逻辑控制单元 梯形图 软PLC(Programmable LOGIC Controller)
在线阅读 下载PDF
物联网感知行为统一表达模型研究 被引量:3
8
作者 田钧 龙冬阳 《计算机工程与应用》 CSCD 2014年第1期53-57,67,共6页
针对物联网感知终端多样性、任务复杂性等特点,采用混合逻辑动态(MLD)建模方法,推出物联网感知层测控过程行为统一表达式。把物联网感知层测控过程行为用包含状态变量、输入变量和辅助变量来描述;将物联网感知层测控过程行为中操作约束... 针对物联网感知终端多样性、任务复杂性等特点,采用混合逻辑动态(MLD)建模方法,推出物联网感知层测控过程行为统一表达式。把物联网感知层测控过程行为用包含状态变量、输入变量和辅助变量来描述;将物联网感知层测控过程行为中操作约束、逻辑规则和连续动态特性集成为带有混合整数不等式约束的状态方程形式。通过此模型可在宏观上把握系统过程行为,考虑系统操作约束、定性知识等因素,为测控系统协调优化奠定重要基础。结合建立机动车运行安全监测系统模型的应用例,结果表明该建模方法的可行性、合理性、有效性。 展开更多
关键词 物联网 感知层 混合逻辑动态(MLD) 机动车运行安全监测 Internet of Things(IOT) MIXED Logical Dynamic(MLD)
在线阅读 下载PDF
建立基于J2EE的气象预警系统 被引量:1
9
作者 陈礼生 宋远清 朱小萍 《计算机应用》 CSCD 北大核心 2003年第10期106-108,共3页
根据气象服务的需求,建立基于J2EE的气象预警系统体系结构,较好地满足可靠性、扩展性、可用性业务需要。文中讨论了J2EE在组件开发、数据库访问、负载平衡与多线程等多项关键技术在建立分布、动态、实际问题的应用。
关键词 气象预警系统 J2EE WEB LOGIC BEA TUXEDO
在线阅读 下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量:1
10
作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多
关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L)
在线阅读 下载PDF
信用认知对农户借贷还款行为的影响研究——基于河南省的实证分析 被引量:1
11
作者 牛霞 王坤 马雯婧 《征信》 北大核心 2014年第7期21-26,共6页
信用认知是影响农户拖欠借款的重要因素,并且认知程度越深,拖欠贷款的可能性越低。家庭外出务工人数、家庭公共费用缴纳情况、区位年平均家庭收入显著地影响农户拖欠借款的行为,而户主年龄及其受教育水平、纯收入及借贷利率对农户拖欠... 信用认知是影响农户拖欠借款的重要因素,并且认知程度越深,拖欠贷款的可能性越低。家庭外出务工人数、家庭公共费用缴纳情况、区位年平均家庭收入显著地影响农户拖欠借款的行为,而户主年龄及其受教育水平、纯收入及借贷利率对农户拖欠借款行为没有产生显著的影响。 展开更多
关键词 信用认知 农户借贷渠道 BINARY Logic回归模型
在线阅读 下载PDF
基于PLC的污水处理进水控制系统设计 被引量:9
12
作者 向丹 《湖北农业科学》 2015年第13期3254-3257,共4页
针对污水处理进水系统中出现的应急能力差、格栅易堵塞和潜水泵易出现故障等问题,设计了一种基于PLC(Programmable Logic Controller)的多环节进水自动控制系统。系统通过液位差来控制粗格栅和清污机的协调运行,保证格栅畅通;通过低位... 针对污水处理进水系统中出现的应急能力差、格栅易堵塞和潜水泵易出现故障等问题,设计了一种基于PLC(Programmable Logic Controller)的多环节进水自动控制系统。系统通过液位差来控制粗格栅和清污机的协调运行,保证格栅畅通;通过低位锁定、高位预警调控潜水泵的运行,保证供应与输出相平衡,提高了应急能力,防止故障发生。试验结果表明,所设计的进水控制系统处理后的水质化学需氧量(COD)、污水五日生化需氧量(BOD5)和固体悬浮物浓度(SS)3项指标检测达标率均为100%。 展开更多
关键词 污水处理 进水系统 PLC(Programmable LOGIC Controller) 自动控制 检测试验
在线阅读 下载PDF
汽车发动机热试实时监控系统设计 被引量:1
13
作者 李扬 李志明 《科学技术与工程》 北大核心 2014年第25期298-303,313,共7页
为实现汽车发动机热试验的自动化实时监控管理,设计了汽车发动机热试监控系统。热试台架PLC实现对单台热试系统的监控,人机界面实现交互式的热试参数显示和设定,车间主控制PLC集中监控8个热试系统。二维码手持识别器获取待测试发动机的I... 为实现汽车发动机热试验的自动化实时监控管理,设计了汽车发动机热试监控系统。热试台架PLC实现对单台热试系统的监控,人机界面实现交互式的热试参数显示和设定,车间主控制PLC集中监控8个热试系统。二维码手持识别器获取待测试发动机的ID(identify)和型号。采用欧姆龙的开发软件CX-Programmer开发PLC的控制程序,CX-Designer开发触摸屏的界面程序。发动机脉冲编码调制(pulse code modnlation,PCM)与PLC通信采用CAN与RS232双向转换模块实现。测试证明,系统运行稳定、响应实时。系统实时显示汽车发动机的温度、压力、转速、流量、报警信息等热试参数,实时响应操作输入,满足了企业对汽车发动机热试测试的需求。 展开更多
关键词 汽车发动机 热试 监控 可编程逻辑控制器(programmable LOGIC controller PLC)
在线阅读 下载PDF
真空浸渍设备微机控制系统 被引量:1
14
作者 黄家贤 《东南大学学报(自然科学版)》 EI CAS CSCD 1995年第A04期139-143,共5页
真空浸渍设备微机控制系统黄家贤(东南大学机械工程系.南京210018)电力电容真空浸渍设备是利用真空干燥的原理,除掉电容器薄膜间的湿汽或气体,并充填绝缘油或其它介质,以达到改善电容器的介电性能,提高电容器的容量和耐压... 真空浸渍设备微机控制系统黄家贤(东南大学机械工程系.南京210018)电力电容真空浸渍设备是利用真空干燥的原理,除掉电容器薄膜间的湿汽或气体,并充填绝缘油或其它介质,以达到改善电容器的介电性能,提高电容器的容量和耐压性,目前这类设备沿用传统的电气控制... 展开更多
关键词 MICROCOMPUTER PROGRAMMABLE LOGIC controller vacuum-impregnated equipment
在线阅读 下载PDF
医院大型电梯电力系统的可编程逻辑控制器控制方法优化 被引量:4
15
作者 黎韧 《科学技术与工程》 北大核心 2016年第19期259-263,共5页
医院大型电梯电力系统在实际运行的过程中具有很高的非线性和时变性,使大型电梯电力系统可编程逻辑控制器(PLC)控制效果不佳,当前方法采用线性学习法,无法适应运行环境的不确定性,造成电力系统控制的不稳定性。提出一种基于BP神经网络PI... 医院大型电梯电力系统在实际运行的过程中具有很高的非线性和时变性,使大型电梯电力系统可编程逻辑控制器(PLC)控制效果不佳,当前方法采用线性学习法,无法适应运行环境的不确定性,造成电力系统控制的不稳定性。提出一种基于BP神经网络PID控制算法的医院大型电梯电力系统的PLC控制优化方法,将PID算法作为PLC的软件设计部分,通过比例、积分与微分这三种控制作用的合理调配,形成相互关系。鉴于PID控制算法调节时间长、超调量大等弊端,采用BP神经网络对其进行优化。利用BP神经网络的自学习和加权系数的调整,使BP神经网络输出最优大型电梯电力系统控制规律下的PID控制算法的参数,实现医院大型电梯电力系统的稳定控制。实验结果表明,所提方法具有很高的控制稳定性和鲁邦性,综合性能较强。 展开更多
关键词 医院 大型电梯 电力系统 可编程逻辑控制器(programmable LOGIC control PLC)控制
在线阅读 下载PDF
基于PLC的实验室智能防盗报警系统 被引量:2
16
作者 狄敬国 李秀美 张洪国 《农业装备技术》 2005年第5期24-25,共2页
利用实验室现有的设备,将PLC(programmable logic controller)的控制技术、事故信号采集的传感器技术及输出报警相结合,设计了一个结构简单、实用的智能防盗报警系统。该系统采用PLC进行控制,可靠性高,抗干扰能力强,编程简单易学,使用... 利用实验室现有的设备,将PLC(programmable logic controller)的控制技术、事故信号采集的传感器技术及输出报警相结合,设计了一个结构简单、实用的智能防盗报警系统。该系统采用PLC进行控制,可靠性高,抗干扰能力强,编程简单易学,使用维护方便,功耗低,并保留有一定量的输入输出接口,有利于功能扩展和系统的二次开发,并且还可以作为学生实验实习设计观摩的教具。 展开更多
关键词 PLC 传感器 智能防盗 防盗报警系统 PLC实验室 智能 输入输出接口 控制技术 LOGIC 传感器技术
在线阅读 下载PDF
Logical Effort理论在电路设计中的应用 被引量:1
17
作者 金钊 《现代电子技术》 2007年第2期189-191,共3页
介绍了一种对于包含较长互连线的CMOS电路的优化方法,该方法是在Logical Effort理论基础上加入互联电阻模型得到的。这是一种简单的延迟模型,非常适合于快速而又有效的手工计算。有助于快速的预测电路的最小延迟,并以此优化电路的结构... 介绍了一种对于包含较长互连线的CMOS电路的优化方法,该方法是在Logical Effort理论基础上加入互联电阻模型得到的。这是一种简单的延迟模型,非常适合于快速而又有效的手工计算。有助于快速的预测电路的最小延迟,并以此优化电路的结构和逻辑门的尺寸。通过仿真证明了,当逻辑结构不是简单的反相器时,一样可以通过带互联电阻模型的Logical Effort模型得到简单的优化方案。 展开更多
关键词 Logical EFFORT 深亚微米 延迟 逻辑门
在线阅读 下载PDF
配电教学训练仿真系统研究与开发
18
作者 姜成鹏 徐正康 +1 位作者 白海峰 郑源 《火力与指挥控制》 CSCD 北大核心 2008年第S1期77-78,81,共3页
介绍了通过硬件仿真和软件编程实现配电器功能的原理和方法,并通过系统设计方案论证及硬件设计实现了对配电教学训练仿真系统的开发,提出了通过串行通信与PC机通信及在原有系统的基础上进行功能扩展来实现系统升级扩展的方法;软件设计... 介绍了通过硬件仿真和软件编程实现配电器功能的原理和方法,并通过系统设计方案论证及硬件设计实现了对配电教学训练仿真系统的开发,提出了通过串行通信与PC机通信及在原有系统的基础上进行功能扩展来实现系统升级扩展的方法;软件设计采用去除冗余设计和软件仿真两次简化的模型,由控制软件对系统状态进行控制,节点状态由程序中的状态变量所体现,人机交互软件接收指令数据,并输出至主控计算机。 展开更多
关键词 COMPLEX Programm able LOGIC DEVICE 单片机 C51
在线阅读 下载PDF
一种多通道脉冲计数器的EDA方法设计 被引量:2
19
作者 姚海军 《科学技术与工程》 2009年第14期4006-4011,共6页
介绍了用CPLD+HDL的EDA技术作为开发手段,实现对多通道的脉冲信号计数的脉冲计数器的设计,并利用单片机将计数结果传给上位机,论述了基于VHDL语言和芯片的数字系统的设计思想和过程,通过对设计结果的系统仿真波形分析,验证了计数器设计... 介绍了用CPLD+HDL的EDA技术作为开发手段,实现对多通道的脉冲信号计数的脉冲计数器的设计,并利用单片机将计数结果传给上位机,论述了基于VHDL语言和芯片的数字系统的设计思想和过程,通过对设计结果的系统仿真波形分析,验证了计数器设计的正确性。 展开更多
关键词 多通道 脉冲计数器 复杂可编程逻辑器件(Conplex PROGRAMMABLE Logic Device CPLD) 甚高速数字电路硬 件描述语言(Very-Higl—Speed Integrated Circint Hardware Description Language VHDL) 波形仿真 单片机
在线阅读 下载PDF
Motion Lite步进电机控制系统的应用研究
20
作者 范志高 于佐东 《煤炭工程》 北大核心 2006年第9期114-115,共2页
文章介绍了Motion Logic设计的步进电机控制器,该系统能很好地兼顾步进电机的高低速性能,使电机具有高速运行时输出力矩大、低速运行时细分定位精度和平稳性高,驱动器发热量小、噪音低、振动小等特点,电机能在整个频率段平稳运行。
关键词 MOTION LOGIC 步进电机 细分定位 平稳运行
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部