期刊文献+
共找到64篇文章
< 1 2 4 >
每页显示 20 50 100
具有最大并行度的合流性主动规则执行模型 被引量:1
1
作者 左万利 刘淑芬 +3 位作者 王平 姜新雷 王洪媛 匡冶 《小型微型计算机系统》 CSCD 北大核心 2000年第11期1150-1153,共4页
合流性反映了主动规则集确定性行为特性 .目前保证合流性的主动规则执行算法基本是串行的 ,而已有的并行规则执行算法并不保证合流性结果 .本文扩展了已有的主动规则执行模型 ,给出了具有最大并行度的合流性主动规则处理算法 ,并证明了... 合流性反映了主动规则集确定性行为特性 .目前保证合流性的主动规则执行算法基本是串行的 ,而已有的并行规则执行算法并不保证合流性结果 .本文扩展了已有的主动规则执行模型 ,给出了具有最大并行度的合流性主动规则处理算法 ,并证明了该算法的正确性 . 展开更多
关键词 主动数据库 执行模型 合流性 并行度 主动规则
下载PDF
一个现代数据库事务模型
2
作者 胡国玲 刘云生 《计算机科学》 CSCD 北大核心 1997年第2期40-43,共4页
事务是数据库系统的基本工作单元,在传统数据库系统中,被建模为一个原子,平淡的操作序列。
关键词 数据库系统 事务模型 现代事物模型
下载PDF
中国地方政府多元主体协同应急执行力模型建构及实现 被引量:4
3
作者 魏淑艳 杨小虎 《西北师大学报(社会科学版)》 CSSCI 北大核心 2022年第4期134-144,共11页
从应急管理向应急治理的转变是国家应急管理能力现代化的重要革新。单部门应急管理不能应对多变的突发情况,必须实行多元主体协同治理。借助公共行政执行协同机制理论,以武汉市应对新冠疫情案例为现实基础,通过对两者的结合研究来构建... 从应急管理向应急治理的转变是国家应急管理能力现代化的重要革新。单部门应急管理不能应对多变的突发情况,必须实行多元主体协同治理。借助公共行政执行协同机制理论,以武汉市应对新冠疫情案例为现实基础,通过对两者的结合研究来构建包括理念引导、制度保障、行为输出等适用于地方政府的多元主体协同应急执行力模型,由此进一步提出包括优化制度环境、完善权力架构、加强技术支撑等实现地方政府协同应急执行力的路径。这一模型将展现一种有效的应急管理模式,同时也将对完善应急管理体系和能力现代化建设产生积极意义。 展开更多
关键词 地方政府 多元主体 协同机制 执行力模型
下载PDF
应用于PLC控制程序的Petri网执行模型 被引量:3
4
作者 孟庆春 刘云卿 《计算机科学》 CSCD 北大核心 2009年第10期150-152,159,共4页
在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立... 在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误。 展开更多
关键词 PETRI网 PLC 执行模型 抑止弧
下载PDF
片上多核处理器容软错误执行模型 被引量:3
5
作者 龚锐 戴葵 王志英 《计算机学报》 EI CSCD 北大核心 2008年第11期2047-2059,共13页
随着工艺的进步,微处理器将面临越来越严重的软错误威胁.文中提出了两种片上多核处理器容软错误执行模型:双核冗余执行模型DCR和三核冗余执行模型TCR.DCR在两个冗余的内核上以一定的时间间距运行两份相同的线程,store指令只有在进行了... 随着工艺的进步,微处理器将面临越来越严重的软错误威胁.文中提出了两种片上多核处理器容软错误执行模型:双核冗余执行模型DCR和三核冗余执行模型TCR.DCR在两个冗余的内核上以一定的时间间距运行两份相同的线程,store指令只有在进行了结果比较以后才能提交.每个内核增加了硬件实现的现场保存与恢复机制,以实现对软错误的恢复.文中选择的现场保存点有利于隐藏现场保存带来的时间开销,并且采用了特殊的机制保证恢复执行和原始执行过程中load数据的一致性.TCR执行模型通过在3个不同的内核上运行相同的线程实现对软错误的屏蔽.在检测到软错误以后,TCR可以进行动态重构,屏蔽被软错误破坏的内核.实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR和TCR对核间通信带宽的需求分别降低了57.5%和54.2%.在检测到软错误的情况下,DCR的恢复执行带来5.2%的性能开销,而TCR的重构带来的性能开销为1.3%.错误注入实验表明,DCR能够恢复99.69%的软错误,而TCR实现了对SEU(Single Event Upset)型故障的全面屏蔽. 展开更多
关键词 片上多核处理器 执行模型 软错误恢复 软错误屏蔽 双核冗余 三核冗余
下载PDF
行政强制的理论定位:冲突与选择 被引量:3
6
作者 吕建高 谢萍 《江苏警官学院学报》 2008年第4期47-52,共6页
行政强制权扩张的必然性和公民权益受损的可能性构成了行政强制理论前提的内在张力,行政强制权的实施以不侵害公民基本权益为底线。公正和效率是行政强制价值取向的两种表现形态,但两者之间存在着矛盾和冲突,公正是行政强制首要的价值... 行政强制权扩张的必然性和公民权益受损的可能性构成了行政强制理论前提的内在张力,行政强制权的实施以不侵害公民基本权益为底线。公正和效率是行政强制价值取向的两种表现形态,但两者之间存在着矛盾和冲突,公正是行政强制首要的价值选择。行政强制法律制度的目标是限制行政强制权力,保障公民基本权利,权利本位是行政强制的根本宗旨。司法机关执行模式和行政机关执行模式各有利弊,我国现有的行政强制执行模式存在悖谬,确立法院审查行为和行政机关执行行为严格分开的制度是行政强制法律制度的理性选择。 展开更多
关键词 行政强制 公正 效率 权利本位 执行模式
下载PDF
UML-RT到一个实时多任务执行模型的转换 被引量:1
7
作者 刘晓燕 字天文 +2 位作者 张云生 J-J.Schwarz 李俊昌 《计算机科学》 CSCD 北大核心 2007年第7期275-278,共4页
为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出... 为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。 展开更多
关键词 UML-RT 实时系统 状态图 行为建模 执行模型 转换方法.
下载PDF
科学考核测评机制对乡镇公务员执行力提升的作用研究 被引量:3
8
作者 王斌 万栗江 罗坚 《重庆社会科学》 CSSCI 2022年第2期23-38,共16页
作为基层行政管理主体力量和乡村建设主力军的乡镇公务员,如何衡量其执行力,进而有针对性地提升地方政府执行力,对地方政府治理和乡村振兴效果会产生直接影响。以文献分析法与行为事件访谈法为基础,结合政策执行相关理论,设计乡镇公务... 作为基层行政管理主体力量和乡村建设主力军的乡镇公务员,如何衡量其执行力,进而有针对性地提升地方政府执行力,对地方政府治理和乡村振兴效果会产生直接影响。以文献分析法与行为事件访谈法为基础,结合政策执行相关理论,设计乡镇公务员执行力量表,赴重庆市各乡镇收集235份有效问卷,运用探索性因子分析、验证性因子分析构建包含协作型、抗压型、发展型、服务型、关系型5个维度的重庆市乡镇公务员考核测评机制,并根据该机制对乡镇公务员执行力的提升提出相应建议:从乡镇公务员自身来说要着力提升其执行理念与创新能力,从外部保障机制来说要建立高效的执行机制,重塑公共行政意识,提高对乡镇公务员的重视程度,才能将执行力建设提升到新的高度。 展开更多
关键词 乡村振兴 乡镇公务员 测评机制 执行力模型 治理效能
下载PDF
信息系统分析设计与建模方法 被引量:1
9
作者 刘薇 饶贵翔 张燕生 《微计算机信息》 2011年第8期221-222,216,共3页
应用钱学森先生的"以人为主、人机结合,从定性到定量综合集成法",探讨信息系统及其求解过程的内在特性,纠正其中的错误认识,并提出现实业务、信息系统的分析设计是反复递归构造上游模型、下游职能模型、功能模型、执行模型、... 应用钱学森先生的"以人为主、人机结合,从定性到定量综合集成法",探讨信息系统及其求解过程的内在特性,纠正其中的错误认识,并提出现实业务、信息系统的分析设计是反复递归构造上游模型、下游职能模型、功能模型、执行模型、物理模型的过程。这5层模型依序为上下游推导关系,稳定性逐次减弱,反对忽略上游模型直接构造下游模型。通过5种上下游模型法,可有效提高信息系统质量与成效。 展开更多
关键词 信息系统 分析设计 上游模型 职能模型 功能模型 执行模型 物理模型
下载PDF
异构分布式环境下的约束管理问题
10
作者 杨晓春 王丹 +2 位作者 王斌 王国仁 于戈 《计算机科学》 CSCD 北大核心 2001年第2期15-19,共5页
1 引言 随着网络技术的发展,蕴藏巨大信息的网络可以被视为存储信息的数据库,但这种分布式环境要求具有更有效、复杂的信息处理能力.当数据存储在网络上松耦合、异构的系统中,彼此又存在联系时,就产生了数据的完整性约束问题.例如,虚拟... 1 引言 随着网络技术的发展,蕴藏巨大信息的网络可以被视为存储信息的数据库,但这种分布式环境要求具有更有效、复杂的信息处理能力.当数据存储在网络上松耦合、异构的系统中,彼此又存在联系时,就产生了数据的完整性约束问题.例如,虚拟企业[1]为物理上分布的结点提供高度的交互空间,以便于这些事先存在的企业可以随时决定是否加入到一个信息共享和交换的网络中.而这些企业是自治、异构且彼此独立的,可能使用不同的信息管理系统和控制策略.企业内部的数据源间以及企业之间都存在潜在的制约关系. 展开更多
关键词 数据库 约束管理 知识模型 异构分布式环境
下载PDF
Exploitation of Locality for Energy Efficiency for Breadth First Search in Fine-Grain Execution Models 被引量:1
11
作者 Chen Chen Souad Koliai Guang Gao 《Tsinghua Science and Technology》 SCIE EI CAS 2013年第6期636-646,共11页
In the upcoming exa-scale era, the exploitation of data locality in parallel programs is very important because it benefits both program performance and energy efficiency. However, this is a hard topic for graph algor... In the upcoming exa-scale era, the exploitation of data locality in parallel programs is very important because it benefits both program performance and energy efficiency. However, this is a hard topic for graph algorithms such as the Breadth First Search (BFS) due to the irregular data access patterns. This study analyzes the exploitation of data locality in the BFS and its impact on the energy efficiency with the Codelet fine-grain dataflow-inspired execution model. The Codelet Model more efficiently exploits data locality than the OpenMP-like execution models which traditionally focus on coarse-grain parallelism inside loops. A BFS algorithm is then given to exploit the locality between two loop iterations that belong to two different loops (inter-loop locality). This kind of locality can be exploited by the Codelet Model but not by traditional coarse-grain execution models like OpenMR Tests were performed on fsim which is a simulation platform developed by Intel for the Ubiquitous High Performance Computing (UHPC) project to design future exa-scale architectures. The results show that this BFS algorithm saves up to 7% of the dynamic energy for memory accesses compared to a BFS implementation based on OpenMP loop scheduling. 展开更多
关键词 breadth first search LOCALITY fine grain execution model
原文传递
实时多任务执行模型到VxWorks的代码映射 被引量:1
12
作者 刘晓燕 张云生 +2 位作者 于立新 沈嘉权 李俊昌 《计算机工程与应用》 CSCD 北大核心 2008年第3期122-123,127,共3页
基于对实时多任务软件的抽象执行体的研究分析以及对VxWorks平台的分析,提出了实时多任务执行模型到VxWorks平台下C语言程序框架的系统调用的映射规则及代码。给出了实时对象之间的通信原理及映射方法。给出了实时时间管理的映射代码。
关键词 实时多任务 执行模型 VXWORKS 映射规则 C代码
下载PDF
一种数据结构制导的线程划分方法与执行模型 被引量:2
13
作者 杜延宁 赵银亮 +1 位作者 韩博 李远成 《软件学报》 EI CSCD 北大核心 2013年第10期2432-2459,共28页
在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在... 在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在这种背景下,许多推测多线程方法被提了出来,这些方法通过允许可能冲突的代码段并行执行来把握更多的并行机会,同时,通过从冲突中恢复来保证结果的正确性.然而,传统推测多线程方法所使用的"沿控制流将串行程序划分为多个线程"的做法并不适合不同数据结构上的操作在控制流中相互交错的情况,因为如果沿控制流将程序线性地划分为多个线程,则同一个数据结构上的操作将被分到不同的线程中,从而非常容易发生冲突.为了有效地对这些程序进行并行化,提出了一种基于数据结构的线程划分方法与执行模型.在这种方法中,程序中的对象被划分成多个组,同一组中对象上的操作被分派到同一个线程中去执行,从而降低了在同一个数据结构上发生冲突的可能性. 展开更多
关键词 推测多线程 并行化 数据结构 划分方法 执行模型
下载PDF
实时多任务执行模型到Windows NT的映射
14
作者 刘晓燕 张云生 +1 位作者 字天文 李俊昌 《计算机工程与应用》 CSCD 北大核心 2008年第8期110-112,144,共4页
基于对实时多任务软件的抽象执行体的研究分析以及对Windows NT操作系统的分析,提出了实时多任务执行模型到Windows NT平台下的系统调用及C++语言程序框架的映射规则。给出了实时对象之间的通信原理及映射方法。
关键词 实时多任务 执行模型 WINDOWS NT 映射规则
下载PDF
基于交互信息的投机并行化方法 被引量:1
15
作者 李莹 孙煦雪 +1 位作者 袁新宇 徐印成 《计算机应用研究》 CSCD 北大核心 2010年第6期2123-2126,2139,共5页
针对投机并行化中如何权衡策略并确定合适的执行模型来获取理想性能的问题,提出了一种基于交互信息的投机并行化方法,利用交互信息来确定投机并行化的执行模型,建立相关评价模型,并着重从线程抽取创建角度提出了相应的策略及对应的性能... 针对投机并行化中如何权衡策略并确定合适的执行模型来获取理想性能的问题,提出了一种基于交互信息的投机并行化方法,利用交互信息来确定投机并行化的执行模型,建立相关评价模型,并着重从线程抽取创建角度提出了相应的策略及对应的性能评价。通过实验表明,基于交互信息进行"按需"并行化,可以达到所需的性能要求。 展开更多
关键词 投机多线程 线程抽取创建 执行模型 并行化
下载PDF
并行推理机RAP/LOP-WAM的方案设计和性能评价
16
作者 高耀清 胡守仁 《微电子学与计算机》 CSCD 北大核心 1991年第2期1-4,共4页
本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后... 本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后通过软件模拟系统对系统体系结构进行评价. 展开更多
关键词 程序设计 并行逻辑程序 并行推理机 RAP LOP-WAM 性能评价
全文增补中
强化两个依靠意识 提升法院执行品质
17
作者 徐建峰 《山西省政法管理干部学院学报》 2010年第2期13-15,共3页
"执行难"已成为困扰法院发展的"瓶颈",只有内外齐修建立长效机制,借助合力,在法院内部强化"两个依靠"意识,即强化依靠科学技术意识和依靠人民群众意识,才能破解执行难,从而提升法院执行品质。
关键词 科学技术意识 人民群众意识 执行模式
下载PDF
基于现场保存与恢复的双核冗余执行模型
18
作者 龚锐 戴葵 王志英 《计算机工程与科学》 CSCD 北大核心 2009年第8期82-85,98,共5页
本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存... 本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存点继续执行。实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR执行模型对核间通信带宽的需求降低了57.5%。在发生软错误的情况下,DCR能够恢复99.69%的软错误。 展开更多
关键词 多核 执行模型 软错误恢复 现场保存 现场恢复
下载PDF
主控制室操纵员任务负荷分析与预计
19
作者 韦关祥 杨明 《电子设计工程》 2021年第15期124-127,132,共5页
文中针对数字化核电厂软控制操作任务的特点展开分析,研究了由于人员误操作导致动作被纠正重复执行下的数字化主控制室任务执行模型。任务基本执行流程包括选择规程、选择屏幕、选择控件、执行操作,并在该模型下考虑操纵员由于任务执行... 文中针对数字化核电厂软控制操作任务的特点展开分析,研究了由于人员误操作导致动作被纠正重复执行下的数字化主控制室任务执行模型。任务基本执行流程包括选择规程、选择屏幕、选择控件、执行操作,并在该模型下考虑操纵员由于任务执行失败重新纠正的过程。针对该模型下的操纵员任务负荷进行仿真分析,得到了影响主控制室安全的重要动作。其中检查记录类操作变化最为敏感,在人因失误增大到基础失误概率的50倍时,其任务负荷期望也增大了一倍。重要度最大的是视觉定位类动作,但随着人因失误概率的增加,其重要度在下降,而视觉检查类及相关诊断类动作的重要度上升。因此,在核电厂设计早期阶段的安全性评估重点要随不同场景进行调整。数据分析测试结果表明,尽管人因失误对于任务负荷的水平影响较大,但对于任务负荷的波动性影响较小。 展开更多
关键词 数字化核电厂 软控制 执行模型 仿真分析 任务负荷
下载PDF
基于一个新的主动数据库模型的系统执行模型的研究
20
作者 王成 郝忠孝 《齐齐哈尔大学学报(自然科学版)》 2004年第3期40-43,共4页
已有的关系主动数据库系统不支持符合事件,因而不适应复杂的应用。本文中提出一个支持符合事件、允许多种规则耦合模式的主动关系数据库模型,并给出相应的系统执行模型的描述。
关键词 主动数据库 规则 执行模型
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部