期刊文献+
共找到182篇文章
< 1 2 10 >
每页显示 20 50 100
ECA规则的模型和行为特定理论 被引量:35
1
作者 姜跃平 汪卫 +1 位作者 施伯乐 董继润 《软件学报》 EI CSCD 北大核心 1997年第3期190-196,共7页
本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征(可终止性和行为一致性).
关键词 数据库 规则模型 行为
下载PDF
青藏高原泛三江并流区活动性滑坡InSAR初步识别与发育规律分析 被引量:22
2
作者 姚鑫 邓建辉 +5 位作者 刘星洪 周振凯 姚佳明 戴福初 任开瑀 李凌婧 《工程科学与技术》 EI CAS CSCD 北大核心 2020年第5期16-37,共22页
青藏高原的怒江、澜沧江和金沙江泛三江并流区是青藏高原地质环境研究和自然资源开发的关键带,因此,全覆盖地调查该区活动性滑坡,研究其发育分布规律具有重要意义。以泛三江并流区17.9×10^4 km^2研究区为例,示范了InSAR大数据处理... 青藏高原的怒江、澜沧江和金沙江泛三江并流区是青藏高原地质环境研究和自然资源开发的关键带,因此,全覆盖地调查该区活动性滑坡,研究其发育分布规律具有重要意义。以泛三江并流区17.9×10^4 km^2研究区为例,示范了InSAR大数据处理→滑坡解译→发育规律分析→重点区段剖析的滑坡InSAR调查工作流程和关键技术,获得了研究区海拔4000 m以下的的活动性滑坡数据。结果表明:1)现有的SAR数据源、InSAR技术和解译方法可以满足开展大区域中小比例尺活动性滑坡识别的需求,开展全国滑坡InSAR调查时机已经成熟;2)设计的“相位共振增强PRE-InSAR”技术,针对大冗余SAR观测的快速计算,可以消除大部分不利的干涉条件,突出滑坡的位置、范围和活动强度,有效地完成适合大区域滑坡识别的InSAR数据处理,技术上具有推广潜力;3)辅助地貌和光学遥感图像解译,考虑地层岩性、制灾机理、诱发因素,总结出三江并流区活动性滑坡的10类发育地貌位置;4)共解译海拔4000 m以下活动性滑坡904处,主要分布在金沙江的汪布堆—波罗、松雄、中心绒,怒江的八宿,澜沧江的察雅、囊谦、德钦、黄登水库8个区段;5)活动性滑坡主要是古(老)滑坡堆积体的复活,对其影响大的环境要素依次是河流侵蚀、地形坡度、地层岩性、降水气温,活动构造和地震对活动性滑坡的影响在空间分布上并不直接显著,地灾与人类活动互馈是本区域滑坡发育的一大特点;6)InSAR识别结果较全面、客观地反映了活动性滑坡的自然发育规律,加深了对泛三江地区滑坡灾害的认识,但也应该看到,InSAR观测和活动性滑坡的解译具有多解性,制定标准化的InSAR识别工作流程,进行多源数据的融合观测是下一步努力的方向。 展开更多
关键词 青藏高原 泛三江并流区 INSAR 活动滑坡 滑坡识别 发育规律
下载PDF
司法意识形态:能动与克制的反思 被引量:20
3
作者 陈金钊 《现代法学》 CSSCI 北大核心 2010年第5期14-24,共11页
能动司法在中国有多种意义,但其基本的含义是超于法律和职权进行司法活动。能动司法因与法治的基本要求不吻合因而不宜作为司法理念,只能作为法律方法层面灵活处理案件的姿态。能动司法不可避免,但对其不能放任,而应该约束。最近提出的... 能动司法在中国有多种意义,但其基本的含义是超于法律和职权进行司法活动。能动司法因与法治的基本要求不吻合因而不宜作为司法理念,只能作为法律方法层面灵活处理案件的姿态。能动司法不可避免,但对其不能放任,而应该约束。最近提出的能动司法得到了很多赞赏,接受程度很高,这是有历史原因的,当然也是值得警惕的。在依法治国建设社会主义法治国的进程中,能动司法会不会冲击这一方略是我们必须研究的。我国的法治建设刚刚起步,经不起能动司法的折腾。 展开更多
关键词 能动司法 克制司法 法律方法 法律思维 法治
下载PDF
主动面向对象数据库系统中主动规则的研究 被引量:11
4
作者 周志逵 吴鹤龄 +1 位作者 林国璋 高峰 《北京理工大学学报》 EI CAS CSCD 1998年第6期706-711,共6页
目的研究AOODBMS中事件模型、主动规则、规则关联的实现技术.方法在已有面向对象的原型系统O2DB基础上结合AI技术设计和实现主动规则机制.结果实现了对不同类型事件的监测和规则推理.结论面向对象技术与AI技术相结合... 目的研究AOODBMS中事件模型、主动规则、规则关联的实现技术.方法在已有面向对象的原型系统O2DB基础上结合AI技术设计和实现主动规则机制.结果实现了对不同类型事件的监测和规则推理.结论面向对象技术与AI技术相结合增强了规则的知识表达能力,是研究主动数据库的一种行之有效的途径. 展开更多
关键词 主动对象 主动规则 数据库系统 面向对象
下载PDF
一种改进的主动规则的系统执行模型 被引量:8
5
作者 李庆忠 王海洋 +2 位作者 姜跃平 马绍汉 董继润 《软件学报》 EI CSCD 北大核心 2002年第1期111-117,共7页
主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义,根据语义的要求,用规则处... 主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义,根据语义的要求,用规则处理树层次化和结构化地描述规则处理过程对系统状态的影响.新的系统执行模型和扩展后的事务使我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法相比,该算法实现了新语义,并利用了递归技术,能更好地吻合规则处理过程. 展开更多
关键词 主动数据库 ECA-规则 主动规则 系统执行模型
下载PDF
支持复合事件的主动规则的可终止性分析 被引量:6
6
作者 孙明 姜跃平 董继润 《计算机研究与发展》 EI CSCD 北大核心 1998年第5期460-463,共4页
ECA规则系统已经成为主动数据库提供主动服务的通用机制.规则集合的可终止性是规则行为分析的一个重要问题.文中给出了ECA规则系统的形式化描述,并着重讨论了复合事件机制对可终止性问题的影响.文中结合规则实例给出了分析规... ECA规则系统已经成为主动数据库提供主动服务的通用机制.规则集合的可终止性是规则行为分析的一个重要问题.文中给出了ECA规则系统的形式化描述,并着重讨论了复合事件机制对可终止性问题的影响.文中结合规则实例给出了分析规则终止性的静态判定算法,这一算法可作为主动规则分析工具的理论基础. 展开更多
关键词 主动数据库 ECA规则 复合事件 可终止性
下载PDF
“新时代人民法院能动司法”笔谈 被引量:10
7
作者 张骐 孙宪忠 侯猛 《中国应用法学》 2023年第4期9-23,共15页
能动司法是审判机关在习近平法治思想指引下,紧密围绕全面依法治国这场深刻革命进行的具体实践,是人民法院为适应新时代新形势新任务新要求、促进审判工作高质量发展的需要和充分发挥审判职能的客观要求进行的积极探索。只有深刻把握新... 能动司法是审判机关在习近平法治思想指引下,紧密围绕全面依法治国这场深刻革命进行的具体实践,是人民法院为适应新时代新形势新任务新要求、促进审判工作高质量发展的需要和充分发挥审判职能的客观要求进行的积极探索。只有深刻把握新时代能动司法的重要意义和深刻内涵,不断深化能动司法实践,加强理论实践互动,构建体现中国特色的新时代司法理论体系,才能实现为大局服务、为人民司法的审判理念。本刊组织了三位学者,以“新时代人民法院能动司法”为笔谈主题,通过对能动司法的理论逻辑、实践逻辑等方面进行剖析,勾画新时代人民法院能动司法的理论蓝图和实现路径。 展开更多
关键词 能动司法 依法治国 人民法院 司法公正
下载PDF
复合时序事件及其基于Petri网的检测 被引量:11
8
作者 左万利 《系统工程学报》 CSCD 2003年第3期262-267,共6页
主动数据库中的规则是由事件驱动的,事件与时间密切相关,然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子,将传统的事件表达式扩展到时序空间,并给出了时序事件表达式的时间语义.为实现对于复合时序事件的增量式检... 主动数据库中的规则是由事件驱动的,事件与时间密切相关,然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子,将传统的事件表达式扩展到时序空间,并给出了时序事件表达式的时间语义.为实现对于复合时序事件的增量式检测,定义了标志取代Petri网(TRPetrinet),它可表示最近发生事件消耗语义,并在网上计算和传递事件发生时间.文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解,应用TRPetri网对复合时序事件建模和检测具有描述简洁和速度快的优点. 展开更多
关键词 主动数据库 复合时序事件 PETRI网 增量式事件检测 主动规则 数据完整性
下载PDF
中药药对及其有效成分抗脑缺血损伤的研究进展 被引量:12
9
作者 毛冬雪 祝美珍 +2 位作者 齐景馨 曾宪晶 俞睿 《中草药》 CAS CSCD 北大核心 2018年第13期3162-3165,共4页
药对的配伍规律及其作用机制的深入研究对临床遣药组方及提高疗效具有重要的科学内涵。近年来,许多脑缺血损伤的防治研究发现,通过中药药对的合理运用,实现中药复方的优化组合,可多靶点、多层面作用于缺血脑组织的神经血管单元,多途径... 药对的配伍规律及其作用机制的深入研究对临床遣药组方及提高疗效具有重要的科学内涵。近年来,许多脑缺血损伤的防治研究发现,通过中药药对的合理运用,实现中药复方的优化组合,可多靶点、多层面作用于缺血脑组织的神经血管单元,多途径调控相关信号通道,明显减轻缺血半暗带脑组织的损伤及脑缺血损伤引起的炎症级联反应和再灌注损伤,及时恢复脑部血流并有效保护神经元,取得"复流"与"脑保护"相似的作用,进一步促进了神经功能的修复。 展开更多
关键词 中药药对 有效成分 脑缺血损伤 神经功能 配伍规律
原文传递
基于分析规则的主动数据仓库 被引量:5
10
作者 王子红 邵伟民 汤艳艳 《计算机工程》 CAS CSCD 北大核心 2003年第17期107-109,共3页
常规的数据仓库应用中,分析和决策较多地依赖于用户参与。为了在自动决策以及实时性等方面对常规的数据仓库进行改进,文章设计了一种主动数据仓库(Active Data Warehouse)体系结构。它在常规的数据仓库的基础上引进了分析规则。通... 常规的数据仓库应用中,分析和决策较多地依赖于用户参与。为了在自动决策以及实时性等方面对常规的数据仓库进行改进,文章设计了一种主动数据仓库(Active Data Warehouse)体系结构。它在常规的数据仓库的基础上引进了分析规则。通过对主动规则的改进而设计的分析规则能满足主动数据仓库的特性。相应地还对数据仓库的元数据进行了扩展。 展开更多
关键词 主动数据仓库 主动规则 分析规则 元数据
下载PDF
芙蓉膏外敷联合中药内服治疗活动期类风湿关节炎的临床疗效观察及关联规则分析 被引量:10
11
作者 刘佳佳 郭锦晨 +1 位作者 汪元 艾晓飞 《风湿病与关节炎》 2017年第3期15-21,共7页
目的:观察芙蓉膏外敷联合中药内服治疗活动期类风湿关节炎的临床疗效及关联规则。方法:将60例中医辨证属湿热痹阻证的活动期类风湿关节炎患者随机分为治疗组40例和对照组20例。2组均以来氟米特10 mg,每日1次口服为基础治疗。治疗组加用... 目的:观察芙蓉膏外敷联合中药内服治疗活动期类风湿关节炎的临床疗效及关联规则。方法:将60例中医辨证属湿热痹阻证的活动期类风湿关节炎患者随机分为治疗组40例和对照组20例。2组均以来氟米特10 mg,每日1次口服为基础治疗。治疗组加用芙蓉膏外敷,每日1次,每次6 h;并配合中药口服,每日1剂,分早、晚2次服用。2组均以2周为1个疗程。采用SPSS 17.0和SPSS Clementine 14.1软件Aprior模块分析芙蓉膏外敷联合中药内服与实验室免疫炎症指标间的关系。结果:治疗后,治疗组总有效率高于对照组,差异有统计学意义(P<0.05);2组治疗后血小板计数(PLT)、超敏C-反应蛋白(hs-CRP)、抗CCP抗体、红细胞沉降率(ESR)、α1酸性糖蛋白(α1-AGP)、DAS28-3、关节肿胀数、关节压痛数均较治疗前降低,清蛋白(ALB)较治疗前升高,差异均有统计学意义(P<0.05)。治疗后,治疗组类风湿因子(RF)、hs-CRP、ESR、α1-AGP、DAS28-3、关节肿胀数、关节压痛数较对照组降低明显,ALB升高明显,差异有统计学意义(P<0.05或P<0.01)。2组中医症状积分(关节疼痛、大便稀溏、气短疲倦、食欲减退)均有所下降,且治疗组较对照组降低明显(P<0.05或P<0.01)。湿热痹阻型活动期类风湿关节炎患者内服中药频率高于75%的中药为茯苓、陈皮、丹参、甘草、薏苡仁、红花、桃仁、山药。结论:芙蓉膏外敷联合中药内服能有效治疗活动期类风湿关节炎,减轻患者症状,降低实验室免疫炎症指标,且临床疗效好,无不良反应。芙蓉膏外敷配合中药内服可能通过抑制免疫炎症的介导调控细胞免疫反应,并可抗炎、抗氧化等。 展开更多
关键词 关节炎 类风湿 活动期 芙蓉膏 中药 临床疗效 关联规则 免疫炎症
下载PDF
主动数据库技术在控制系统规则库方面的应用研究 被引量:8
12
作者 史伊龙 施小成 赵淑琴 《微计算机信息》 2004年第8期27-28,18,共3页
讨论并分析了建立水下无人潜器(AUV)自主运动控制规则库的必要性和重要性及可行性。指出主动机制是主动数据库的一个重要功能,采用事件—条件—动作的规则来实现其主动功能。就控制系统的事件,动作特点提出控制规则数据库设计方案,解决... 讨论并分析了建立水下无人潜器(AUV)自主运动控制规则库的必要性和重要性及可行性。指出主动机制是主动数据库的一个重要功能,采用事件—条件—动作的规则来实现其主动功能。就控制系统的事件,动作特点提出控制规则数据库设计方案,解决了自主控制系统中控制规则单一的瓶颈问题。最后,对主动控制规则库的实现技术进行了讨论并提出了相应的解决方案。 展开更多
关键词 自主水下潜器 自主控制 ECA规则 规则库 主动数据库
下载PDF
主动规则可终止性分析的规则缩减算法 被引量:2
13
作者 周志逵 罗红 《北京理工大学学报》 EI CAS CSCD 北大核心 2001年第4期485-489,共5页
研究主动数据库系统中规则终止特性的静态分析技术 .通过对基本触发图分析方法的研究 ,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法 ,并将其运用于主动面向对象数据库系统 AO2 DB的规则终止分析中 .
关键词 主动规则 规则终止 触发图 激活图 规则缩减算法 主动数据库 可终止性
下载PDF
基于数据挖掘、网络药理学和分子对接的中药治疗牙周疾病的用药规律与作用机制 被引量:6
14
作者 李新尚 牛巧丽 赵今 《口腔疾病防治》 2022年第7期464-474,共11页
目的 通过数据挖掘、网络药理学和分子对接探讨中药复方治疗牙周疾病的用药规律及其作用机制。方法 首先,数据挖掘搜索治疗牙周疾病的单味药材,并筛选活性成分及其作用靶点。然后,利用疾病靶点数据库下载牙周疾病发病机制相关的靶点,与... 目的 通过数据挖掘、网络药理学和分子对接探讨中药复方治疗牙周疾病的用药规律及其作用机制。方法 首先,数据挖掘搜索治疗牙周疾病的单味药材,并筛选活性成分及其作用靶点。然后,利用疾病靶点数据库下载牙周疾病发病机制相关的靶点,与中药复方的作用靶点去映射,获取被认为中药复方治疗牙周疾病的潜在靶点,并对潜在靶点进行基因本体功能和信号通路分析。潜在靶点再通过筛选获取治疗牙周疾病的关键靶点。最后,将活性成分与关键靶点进行分子对接。结果 治疗牙周疾病的中药复方中熟地黄、牡丹皮、当归、茯苓、金银花、山药、知母等药材的出现频率最高,筛选得到43个活性成分及其118个作用靶点,并与856个疾病靶点进行交集得到52个潜在靶点。潜在靶点可能参与的分子功能和生物学过程主要集中在维生素D生物合成过程和对RNA聚合酶Ⅱ调控,并涉及96条信号通路。52个潜在靶点通过网络拓扑参数分析,得到11个关键靶点。分子对接结果表明,活性成分与α-丝氨酸/苏氨酸蛋白激酶(RAC-alpha serine/threonine-protein kinase,AKT1)、细胞肿瘤抗原p53(cellular tumor antigen p53,TP53)和丝裂原活化蛋白激酶-1(mitogen-activated protein kinase-1,MAPK-1)等关键靶点具有较好的结合活性。结论 中药复方可能通过抑制牙槽骨吸收、抗菌、抗炎和促进组织修复功能,从而发挥治疗牙周疾病的作用,为中药复方的有效治疗牙周疾病提供更加科学性的参考。 展开更多
关键词 中药复方 熟地黄 牡丹皮 当归 茯苓 牙周疾病 牙周炎 分子对接 细胞肿瘤抗原p53 丝裂原活化蛋白激酶-1 网络药理学 数据挖掘 活性成分 潜在靶点 维生素D合成 “Lipinski”规则
下载PDF
Active suspension control of a one-wheel car model using single input rule modules fuzzy reasoning and a disturbance observer 被引量:7
15
作者 YOSHIMURA Toshio TERAMURA Itaru 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2005年第4期251-256,共6页
This paper presents the construction of an active suspension control of a one-wheel car model using fuzzy reasoning and a disturbance observer. The one-wheel car model to be treated here can be approximately described... This paper presents the construction of an active suspension control of a one-wheel car model using fuzzy reasoning and a disturbance observer. The one-wheel car model to be treated here can be approximately described as a nonlinear two degrees of freedom system subject to excitation from a road profile. The active control is designed as the fuzzy control inferred by using single input rule modules fuzzy reasoning, and the active control force is released by actuating a pneumatic actuator. The excitation from the road profile is estimated by using a disturbance observer, and the estimate is denoted as one of the variables in the precondition part of the fuzzy control rules. A compensator is inserted to counter the performance degradation due to the delay of the pneumatic actuator. The experimental result indicates that the proposed active suspension system improves much the vibration suppression of the car model. Key words One-wheel car model - Active suspension system - Single input rule modules fuzzy reasoning - Pneumatic actuator - Disturbance observer Document code A CLC number TH16 展开更多
关键词 One-wheel car model active suspension system Single input rule modules fuzzy reasoning Pneumatic actuator Disturbance observer
下载PDF
面向对象主动数据库SDOODB的技术与实现 被引量:3
16
作者 陈宁 董继润 陈安 《计算机工程》 EI CAS CSCD 北大核心 1998年第2期6-7,38,共3页
SDOODB系统是一个自行设计的具有自主版权的面向对象主动数据库系统,文章介绍了SDOODB系统的一些设计策略和实现技术。
关键词 主动数据库 面向对象 数据库 SDOODB
下载PDF
主动规则可终止性的动态分析方法 被引量:2
17
作者 杨波 王海洋 董继润 《计算机研究与发展》 EI CSCD 北大核心 2000年第8期1018-1024,共7页
判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终... 判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法 .该模型易于实现 ,能有效描述规则集合的动态特性 ,可以作为分析主动规则集合行为的理论基础 。 展开更多
关键词 主动数据库 可终止性 动态分析 主动规则
下载PDF
主动数据库管理系统的设计 被引量:1
18
作者 金树东 王元珍 《华中理工大学学报》 CSCD 北大核心 1994年第6期61-65,共5页
提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想.构造了表达主动规则的基于SQL的扩展语言,给出一种统一存储和管理规则的方法。
关键词 主动规则 关系型数据库 管理系统
下载PDF
基于主动数据库的工作流管理系统 被引量:3
19
作者 刘培江 傅秀芬 陈长瑶 《计算机工程》 CAS CSCD 北大核心 2008年第6期57-59,共3页
高端工作流管理系统在应用中与数据库的频繁连接和数据交换成为其性能的瓶颈。该文提出一种新的基于主动数据库技术和ECA规则理论实现工作流管理系统的方法,探讨了基于主动数据库实现工作流管理系统的参考模型,与传统工作流参考模型的... 高端工作流管理系统在应用中与数据库的频繁连接和数据交换成为其性能的瓶颈。该文提出一种新的基于主动数据库技术和ECA规则理论实现工作流管理系统的方法,探讨了基于主动数据库实现工作流管理系统的参考模型,与传统工作流参考模型的比较证明了该参考模型的合理性与可行性。 展开更多
关键词 主动数据库 ECA规则 工作流参考模型
下载PDF
卡塔尔卢赛尔体育场次索结构传力规律研究
20
作者 王海明 《建筑结构》 北大核心 2024年第7期100-106,共7页
卢赛尔体育场屋面索结构采用了轮辐式索桁架、内环索和单层双向索网组合索系,其中轮辐式索桁架和内环索属于主索结构,单层双向索网属于次索结构,主索和次索之间由撑杆连接。研究次索结构中某个索段长度调节时对自身及其他索段的影响,是... 卢赛尔体育场屋面索结构采用了轮辐式索桁架、内环索和单层双向索网组合索系,其中轮辐式索桁架和内环索属于主索结构,单层双向索网属于次索结构,主索和次索之间由撑杆连接。研究次索结构中某个索段长度调节时对自身及其他索段的影响,是索力控制和索网成型的重难点。采用降温升温法模拟索长的调节,分析了索长变化时相关索段索力的互相影响关系。当对某个索段进行长度调节时,其径向同轴线的其他索段索力变化不大。变化的索力主要传递到与调节索段首尾相连的其他索段,形成一条传力线,首尾相连的索段索力与主动调节的索力变化趋势一致,索力变化的幅度随着距离的增加而减小。在体育场的不同环向部位,或是在传力线上不同索段进行调节时,上述传力规律均适用。施工过程中的索力调节和索力监测数据验证了次索结构传力规律的正确性和实用性。 展开更多
关键词 卢赛尔体育场 组合索系 次索结构 主动调节 索力控制 索网成型 施工模拟 传力规律
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部