期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
Logical Effort理论在电路设计中的应用 被引量:1
1
作者 金钊 《现代电子技术》 2007年第2期189-191,共3页
介绍了一种对于包含较长互连线的CMOS电路的优化方法,该方法是在Logical Effort理论基础上加入互联电阻模型得到的。这是一种简单的延迟模型,非常适合于快速而又有效的手工计算。有助于快速的预测电路的最小延迟,并以此优化电路的结构... 介绍了一种对于包含较长互连线的CMOS电路的优化方法,该方法是在Logical Effort理论基础上加入互联电阻模型得到的。这是一种简单的延迟模型,非常适合于快速而又有效的手工计算。有助于快速的预测电路的最小延迟,并以此优化电路的结构和逻辑门的尺寸。通过仿真证明了,当逻辑结构不是简单的反相器时,一样可以通过带互联电阻模型的Logical Effort模型得到简单的优化方案。 展开更多
关键词 logical EFFORT 深亚微米 延迟 逻辑门
在线阅读 下载PDF
Synthesis and fluorescence sensing of a highly sensitive and multi-response cadmium coordination polymer
2
作者 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
物联网感知行为统一表达模型研究 被引量:3
3
作者 田钧 龙冬阳 《计算机工程与应用》 CSCD 2014年第1期53-57,67,共6页
针对物联网感知终端多样性、任务复杂性等特点,采用混合逻辑动态(MLD)建模方法,推出物联网感知层测控过程行为统一表达式。把物联网感知层测控过程行为用包含状态变量、输入变量和辅助变量来描述;将物联网感知层测控过程行为中操作约束... 针对物联网感知终端多样性、任务复杂性等特点,采用混合逻辑动态(MLD)建模方法,推出物联网感知层测控过程行为统一表达式。把物联网感知层测控过程行为用包含状态变量、输入变量和辅助变量来描述;将物联网感知层测控过程行为中操作约束、逻辑规则和连续动态特性集成为带有混合整数不等式约束的状态方程形式。通过此模型可在宏观上把握系统过程行为,考虑系统操作约束、定性知识等因素,为测控系统协调优化奠定重要基础。结合建立机动车运行安全监测系统模型的应用例,结果表明该建模方法的可行性、合理性、有效性。 展开更多
关键词 物联网 感知层 混合逻辑动态(MLD) 机动车运行安全监测 Internet of Things(IOT) MIXED logical Dynamic(MLD)
在线阅读 下载PDF
基于Petri网的服务组合故障诊断与处理 被引量:41
4
作者 范贵生 虞慧群 +1 位作者 陈丽琼 刘冬梅 《软件学报》 EI CSCD 北大核心 2010年第2期231-247,共17页
通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性. 展开更多
关键词 PETRI网 服务组合 故障处理 CTL(computational TREE logic) 可靠性
在线阅读 下载PDF
基于数学形态学的红外点目标实时检测算法及其CPLD实现 被引量:5
5
作者 刘士建 郭立 +1 位作者 段勃 朱俊株 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第3期366-370,共5页
基于数学形态学提出了一种红外图像序列中点目标的检测算法及其硬件系统的实现 .首先介绍了基于数学形态学的点目标检测算法的基本原理 ,然后根据算法的特点提出了它在CPLD上的并行流水线实现方法 ,最后给出并分析了算法软件和硬件系统... 基于数学形态学提出了一种红外图像序列中点目标的检测算法及其硬件系统的实现 .首先介绍了基于数学形态学的点目标检测算法的基本原理 ,然后根据算法的特点提出了它在CPLD上的并行流水线实现方法 ,最后给出并分析了算法软件和硬件系统的仿真结果 .结果表明该方法可以快速、可靠地检测出低信杂比红外图像序列中的点目标 ,且系统结构简单 ,无需存储器 。 展开更多
关键词 红外图像 点目标检测 形态学 complex PROGRAMMABLE logic device(CPLD)
在线阅读 下载PDF
逻辑的相继性和共同性:布克·T·华盛顿和杜波依斯观点之比较研究(英文) 被引量:1
6
作者 崔波 《思想战线》 CSSCI 北大核心 2013年第S2期17-18,共2页
Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the sp... Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the specific determinants of the historical period where they respectively live.People are often more aware of and interested in the differences and even conflicts of their propositions.In essence,thinking of the latter is a logic continuity of that of the former.Their ideas share a logic commonality,which is that they are conservative in the base,and reformist in the implementing steps. 展开更多
关键词 Booker T.Washington W.E.B Du Bois ideological differences LOGIC CONTINUITY LOGIC COMMONALITY
在线阅读 下载PDF
面向参数化LTL的预测监控器构造技术 被引量:6
7
作者 赵常智 董威 +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
8
作者 刘冬宁 汤庸 《软件学报》 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
9
作者 姚慧杰 高秀华 张小江 《机械设计与制造》 北大核心 2008年第7期9-10,共2页
首先介绍了助力转向系统的助力特性和助力特性曲线的概念及转向助力特曲线形状的类型,分析了直线型和折线型这两种助力特性曲线的优缺点,然后简单介绍大型软件MATLAB中的FUZZY LOGIC模块的功能和应用,最后以三菱Minica为例,利用这一模... 首先介绍了助力转向系统的助力特性和助力特性曲线的概念及转向助力特曲线形状的类型,分析了直线型和折线型这两种助力特性曲线的优缺点,然后简单介绍大型软件MATLAB中的FUZZY LOGIC模块的功能和应用,最后以三菱Minica为例,利用这一模块对汽车的电动助力转向系统的助力特性进行仿真分析,得到了对比图形,并对其进行分析。 展开更多
关键词 助力特性 助力特性曲线 FUZZY LOGIC
在线阅读 下载PDF
面向智能控制的软PLC逻辑控制单元模块化设计与实现 被引量:2
10
作者 陈文博 杨观赐 +2 位作者 李少波 郭林 王阳 《贵州师范大学学报(自然科学版)》 CAS 2013年第5期96-100,共5页
为了采用软件实现硬件的功能,改变依靠硬件模块的产品序列化方式。在介绍软PLC系统主要功能与模块的基础上,针对软PLC的逻辑控制单元的可视化设计与实现,给出了控制单元的图形显示、逻辑功能实现、以及数据关联的设计,最后介绍了逻辑控... 为了采用软件实现硬件的功能,改变依靠硬件模块的产品序列化方式。在介绍软PLC系统主要功能与模块的基础上,针对软PLC的逻辑控制单元的可视化设计与实现,给出了控制单元的图形显示、逻辑功能实现、以及数据关联的设计,最后介绍了逻辑控制单元可视化实现效果。 展开更多
关键词 可视化 逻辑控制单元 梯形图 软PLC(Programmable LOGIC Controller)
在线阅读 下载PDF
建立基于J2EE的气象预警系统 被引量:1
11
作者 陈礼生 宋远清 朱小萍 《计算机应用》 CSCD 北大核心 2003年第10期106-108,共3页
根据气象服务的需求,建立基于J2EE的气象预警系统体系结构,较好地满足可靠性、扩展性、可用性业务需要。文中讨论了J2EE在组件开发、数据库访问、负载平衡与多线程等多项关键技术在建立分布、动态、实际问题的应用。
关键词 气象预警系统 J2EE WEB LOGIC BEA TUXEDO
在线阅读 下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量:1
12
作者 赵晓非 田东平 +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
13
作者 牛霞 王坤 马雯婧 《征信》 北大核心 2014年第7期21-26,共6页
信用认知是影响农户拖欠借款的重要因素,并且认知程度越深,拖欠贷款的可能性越低。家庭外出务工人数、家庭公共费用缴纳情况、区位年平均家庭收入显著地影响农户拖欠借款的行为,而户主年龄及其受教育水平、纯收入及借贷利率对农户拖欠... 信用认知是影响农户拖欠借款的重要因素,并且认知程度越深,拖欠贷款的可能性越低。家庭外出务工人数、家庭公共费用缴纳情况、区位年平均家庭收入显著地影响农户拖欠借款的行为,而户主年龄及其受教育水平、纯收入及借贷利率对农户拖欠借款行为没有产生显著的影响。 展开更多
关键词 信用认知 农户借贷渠道 BINARY Logic回归模型
在线阅读 下载PDF
Ad hoc distributed mutual exclusion algorithm based on token-asking 被引量:2
14
作者 Wang Zheng Liu Xin'song Li Mei'an 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2007年第2期398-406,共9页
The solution of distributed mutual exclusion is difficult in Ad hoc networks owing to dynamic topologies and mobility. Based on the analysis of the properties of Ad hoc networks and the disadvantages of the traditiona... The solution of distributed mutual exclusion is difficult in Ad hoc networks owing to dynamic topologies and mobility. Based on the analysis of the properties of Ad hoc networks and the disadvantages of the traditional algorithms, an improved Ad hoc system model was given and a novel algorithm was presented as AHDME (Ad Hoc Distributed Mutual Exclusion); it was based on the token-asking algorithms. It utilized broadcast to search for the token and to decrease the message complexity of multi-hop Ad hoc networks. Lamport's timestamp was improved to ensure the time sequence and to prevent nodes from starvation. When compared to traditional algorithms, AHDME does not require the fixed size of request queues and the global system information, which adapts itself to the frequent arrival/departures and the limited computing capability of nodes in Ad hoc networks. Performance analysis and simulation results show that the AHDME algorithm has low message complexity, small space complexity, and short response delay. 展开更多
关键词 Ad hoc Distributed mutual exclusion Token-asking logical timestamp.
在线阅读 下载PDF
基于PLC的污水处理进水控制系统设计 被引量:9
15
作者 向丹 《湖北农业科学》 2015年第13期3254-3257,共4页
针对污水处理进水系统中出现的应急能力差、格栅易堵塞和潜水泵易出现故障等问题,设计了一种基于PLC(Programmable Logic Controller)的多环节进水自动控制系统。系统通过液位差来控制粗格栅和清污机的协调运行,保证格栅畅通;通过低位... 针对污水处理进水系统中出现的应急能力差、格栅易堵塞和潜水泵易出现故障等问题,设计了一种基于PLC(Programmable Logic Controller)的多环节进水自动控制系统。系统通过液位差来控制粗格栅和清污机的协调运行,保证格栅畅通;通过低位锁定、高位预警调控潜水泵的运行,保证供应与输出相平衡,提高了应急能力,防止故障发生。试验结果表明,所设计的进水控制系统处理后的水质化学需氧量(COD)、污水五日生化需氧量(BOD5)和固体悬浮物浓度(SS)3项指标检测达标率均为100%。 展开更多
关键词 污水处理 进水系统 PLC(Programmable LOGIC Controller) 自动控制 检测试验
在线阅读 下载PDF
Overview of multi-objective optimization methods 被引量:2
16
作者 LeiXiujuan ShiZhongke 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第2期142-146,共5页
To assist readers to have a comprehensive understanding, the classical and intelligent methods roundly based on precursory research achievements are summarized in this paper. First, basic conception and description ab... To assist readers to have a comprehensive understanding, the classical and intelligent methods roundly based on precursory research achievements are summarized in this paper. First, basic conception and description about multi-objective (MO) optimization are introduced. Then some definitions and related terminologies are given. Furthermore several MO optimization methods including classical and current intelligent methods are discussed one by one succinctly. Finally evaluations on advantages and disadvantages about these methods are made at the end of the paper. 展开更多
关键词 multi-objective optimization objective function Pareto optimality genetic algorithms simulated annealing fuzzy logical.
在线阅读 下载PDF
A consistency improving method in the analytic hierarchy process based on directed circuit analysis 被引量:2
17
作者 WU Shihui LIU Xiaodong +1 位作者 LI Zhengxin ZHOU Yu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2019年第6期1160-1181,共22页
Test of consistency is critical for the analytic hierarchy process(AHP) methodology. When a pairwise comparison matrix(PCM) fails the consistency test, the decision maker(DM) needs to make revisions. The state of the ... Test of consistency is critical for the analytic hierarchy process(AHP) methodology. When a pairwise comparison matrix(PCM) fails the consistency test, the decision maker(DM) needs to make revisions. The state of the art focuses on changing a single entry or creating a new matrix based on the original inconsistent matrix so that the modified matrix can satisfy the consistency requirement. However, we have noticed that the reason that causes inconsistency is not only numerical inconsistency, but also logical inconsistency, which may play a more important role in the whole inconsistency. Therefore, to realize satisfactory consistency, first of all, we should change some entries that form a directed circuit to make the matrix logically consistent, and then adjust other entries within acceptable deviations to make the matrix numerically consistent while preserving most of the original comparison information. In this paper, we firstly present some definitions and theories, based on which two effective methods are provided to identify directed circuits. Four optimization models are proposed to adjust the original inconsistent matrix. Finally, illustrative examples and comparison studies show the effectiveness and feasibility of our method. 展开更多
关键词 analytic hierarchy process(AHP) pairwise compari son matrix(PCM) logical inconsistency numerical inconsistency directed circuit.
在线阅读 下载PDF
汽车发动机热试实时监控系统设计 被引量:1
18
作者 李扬 李志明 《科学技术与工程》 北大核心 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
19
作者 黄家贤 《东南大学学报(自然科学版)》 EI CAS CSCD 1995年第A04期139-143,共5页
真空浸渍设备微机控制系统黄家贤(东南大学机械工程系.南京210018)电力电容真空浸渍设备是利用真空干燥的原理,除掉电容器薄膜间的湿汽或气体,并充填绝缘油或其它介质,以达到改善电容器的介电性能,提高电容器的容量和耐压... 真空浸渍设备微机控制系统黄家贤(东南大学机械工程系.南京210018)电力电容真空浸渍设备是利用真空干燥的原理,除掉电容器薄膜间的湿汽或气体,并充填绝缘油或其它介质,以达到改善电容器的介电性能,提高电容器的容量和耐压性,目前这类设备沿用传统的电气控制... 展开更多
关键词 MICROCOMPUTER PROGRAMMABLE LOGIC controller vacuum-impregnated equipment
在线阅读 下载PDF
Intuitionistic Fuzzy Rough Sets Based on Two Intuitionistic Fuzzy Implicators 被引量:2
20
作者 WU Wei-Zhi 《浙江海洋学院学报(自然科学版)》 CAS 2010年第5期515-525,共11页
This paper presents a general framework for the study of relation-based intuitionistic fuzzy rough sets determined by two intuitionistic fuzzy implicators.By employing two intuitionistic fuzzy implicators I and J,I -l... This paper presents a general framework for the study of relation-based intuitionistic fuzzy rough sets determined by two intuitionistic fuzzy implicators.By employing two intuitionistic fuzzy implicators I and J,I -lower and J-upper approximations of intuitionistic fuzzy sets with respect to an intuitionistic fuzzy approximation space are first defined.Properties of(I,J) -intuitionistic fuzzy rough approximation operators are then examined.The connections between special types of intuitionistic fuzzy relations and properties of (I,J)-intuitionistic fuzzy approximation operators are also established. 展开更多
关键词 Approximation operators Intuitionistic fuzzy logical connectives Intuitionistic fuzzy rough sets Intuitionistic fuzzy sets Rough sets
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部