诉讼程序运行中当事人与法院的作用分担论略——以协同进行主义为视角 被引量：7

1

作者 熊跃敏 周静 《江海学刊》 CSSCI 北大核心 2009年第3期138-142,共5页

在民事诉讼中,关于程序运行中当事人与法院的作用分担存在着"当事人进行主义"与"职权进行主义"的划分。针对传统分类的缺陷,加强法官与当事人之间的沟通与协作,已成为两大法系代表性国家调整法院与当事人作用分担... 在民事诉讼中,关于程序运行中当事人与法院的作用分担存在着"当事人进行主义"与"职权进行主义"的划分。针对传统分类的缺陷,加强法官与当事人之间的沟通与协作,已成为两大法系代表性国家调整法院与当事人作用分担的共同趋势。在我国,协同进行主义的引进有助于修正因过于弱化法院职权所引发的法院实体性诉讼指挥权的缺失,明确当事人在程序运行中的权能与责任。在制度建构层面,协同进行主义需通过强化法院的释明义务与当事人的诉讼促进义务,保障当事人的程序选择权得以实现。 展开更多

关键词 民事诉讼 程序运行 作用分担 协同进行主义

在线阅读 下载PDF 职称材料

一种程序运行失常自恢复控制的方法及其实现

2

作者 罗杰 《计算机应用研究》 CSCD 1997年第1期106-107,86,共3页

本文介绍一种程序运行失常自恢复控制的方法及其在ＭＣＳ－５１单片机中的实现。该方法对程序运行失党的识别及时准确，自恢复控制的实时性、针对性强，电路简单可靠，能有效地保证程序在正确的时、空范围内运行。

关键词 自恢复 单片机 微机 程序运行失常

在线阅读 下载PDF 职称材料

单片机应用系统程序运行失控对策

3

作者 蔡兵 《计算机应用与软件》 CSCD 北大核心 2001年第6期26-28,45,共4页

本文提出了单片机应用系统程序运行失控的一些自动重起动方法。此方法具有新颖、实用等特点。

关键词 单片机 应用系统 程序运行失控 抗干扰

在线阅读 下载PDF 职称材料

Java程序运行和编译技术综述 被引量：2

4

作者 朱鹏 鲍敢峰 尤晋元 《计算机工程》 CAS CSCD 北大核心 1999年第2期5-7,共3页

首先概要介绍了Java语言编译及运行的过程，然后对Java的4种运行和编译技术：解释执行、即时编译、动态编译和将Java程序编译为本地机器代码进行了详细的分析和比较。

关键词 JAVA语言 程序运行 编译器 解释器

在线阅读 下载PDF 职称材料

基于程序运行轨迹Petri网模型挖掘的死锁检测方法 被引量：2

5

作者 鲁法明 崔明浩 +2 位作者 包云霞 曾庆田 段华 《计算机集成制造系统》 EI CSCD 北大核心 2021年第9期2611-2624,共14页

程序死锁检测对于保证软件系统的稳定性具有重要作用。动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究。然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及... 程序死锁检测对于保证软件系统的稳定性具有重要作用。动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究。然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象。针对该问题,提出一种新型的基于程序运行轨迹Petri网模型挖掘的多线程程序动态死锁分析方法。首先,捕获程序运行轨迹中各类并发原语对应的操作,并据此构建程序的Petri网模型;然后,将程序的死锁检测问题转化为程序伴随Petri网模型的死标识检测问题;最后,在传统可达树基础上,计算并扩充了可用于死锁重演的程序调度方案。所提方法能排除更多的误报,并给出一种确定性的死锁重演方案,可有效提高死锁检测的准确性。 展开更多

关键词 程序运行轨迹 死锁检测 PETRI网 死锁重演 过程挖掘

在线阅读 下载PDF 职称材料

提高微机在控制应用中程序运行的可靠性

6

作者 朱 勇 《大连水产学院学报》 CSCD 北大核心 2002年第2期146-150,共5页

微型计算机在控制应用中,由于使用环境存在着各种各样的瞬间干扰,有时会引起控制程序的混乱而造成系统失控。为提高程序运行的可靠性,笔者提出一种操作码监督法用来监督程序的运行。一旦执行了错误指令,监视电路能及时发现,并根据控制... 微型计算机在控制应用中,由于使用环境存在着各种各样的瞬间干扰,有时会引起控制程序的混乱而造成系统失控。为提高程序运行的可靠性,笔者提出一种操作码监督法用来监督程序的运行。一旦执行了错误指令,监视电路能及时发现,并根据控制系统的特性,由相应的非屏蔽中断程序进行相应的处理,使控制程序自恢复、系统复位或停机报警。 展开更多

关键词 指令 NMI 中断 触发器 操作码监督法 微型计算机 控制应用 程序运行

在线阅读 下载PDF 职称材料

基于模拟系统的并行程序运行时间推算

7

作者 张冠松 李晓明 《计算机学报》 EI CSCD 北大核心 1995年第7期488-495,共8页

本文在并行系统模拟环境中，采集了一个迭代类并行程序实例的运行时间数据．据此，分析了影响并行程序运行时间的主要因素，建立了一个并行程序运行时间推算模型．从而可以在选代次数、输入数据规模，以及并行系统的配置等三个方向上对... 本文在并行系统模拟环境中，采集了一个迭代类并行程序实例的运行时间数据．据此，分析了影响并行程序运行时间的主要因素，建立了一个并行程序运行时间推算模型．从而可以在选代次数、输入数据规模，以及并行系统的配置等三个方向上对程序运行时间进行预测．实验数据表明，该模型是相当精确的，可以为我们节省大量的模拟时间． 展开更多

关键词 并行处理 并行程序 程序运行时间

在线阅读 下载PDF 职称材料

基于字节码例化的程序优化原理与分析 被引量：2

8

作者 毛宏燕 黄林鹏 孙永强 《高技术通讯》 CAS CSCD 北大核心 2005年第5期5-8,共4页

为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向Java字节码... 为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向Java字节码的部分计值器Jmix.实验表明,Jmix能有效缩短字节码长度,提高应用的运行效率. 展开更多

关键词 字节码 优化原理 程序运行效率 应用程序代码 部分计值 分布式计算 Java 网络计算 体系结构 面向领域 跨平台 HVA

在线阅读 下载PDF 职称材料

并行程序自动优化虚拟化框架

9

作者 谭郁松 吴庆波 《计算机科学与探索》 CSCD 2011年第6期513-521,共9页

支持程序自动并行化的本质是判定相互之间不存在相关的代码块,因此如何精确地获取包括控制流图和数据流图在内的程序运行时行为成为程序自动并行化的基础。将虚拟机技术运用于并行程序优化领域,设计了基于虚拟机的程序自动并行化框架Vap... 支持程序自动并行化的本质是判定相互之间不存在相关的代码块,因此如何精确地获取包括控制流图和数据流图在内的程序运行时行为成为程序自动并行化的基础。将虚拟机技术运用于并行程序优化领域,设计了基于虚拟机的程序自动并行化框架Vapor,提出了基于二进制翻译技术的超块指令置位替换策略(super block-based in-place replacement,SBIPR),以此获取并行程序的真实运行时行为,构建准确的程序运行时数据流图和控制流图,判定程序的可并行执行代码段粒度,从而提高程序的并行执行性能。实验结果表明Vapor具有良好的性能。 展开更多

关键词 Vapor 虚拟机 二进制翻译 自动并行化 程序运行时监控

在线阅读 下载PDF 职称材料

基于PLC运行模式的单片机应用系统设计 被引量：3

10

作者 丁向荣 林知秋 《机电工程》 CAS 2004年第12期32-33,共2页

讨论了按照PLC程序运行模式,开发单片机应用系统的设计方法与设计理念。

关键词 PLC 程序运行模式 单片机 设计

在线阅读 下载PDF 职称材料

程序设计中的可靠性技术 被引量：1

11

作者 蔡大俐 王小兵 《沈阳建筑大学学报（自然科学版）》 CAS 1995年第2期166-170,共5页

对输入的模拟量采用复合数字滤波，对数字信号则取反复检测多数表决抗扰，而对输出采取反复传送的输出方式来克服干扰．对于造成ＣＰＵ程序“飞出”和掉入“死循环”的颠覆性干扰可取设置软件陷并，建立ＷＡＴＣＨＤＯＧ系统以及对ＰＣ... 对输入的模拟量采用复合数字滤波，对数字信号则取反复检测多数表决抗扰，而对输出采取反复传送的输出方式来克服干扰．对于造成ＣＰＵ程序“飞出”和掉入“死循环”的颠覆性干扰可取设置软件陷并，建立ＷＡＴＣＨＤＯＧ系统以及对ＰＣ定时置位等技术恢复程序． 展开更多

关键词 数字滤波 抗干扰 可靠性 WATCHDOG(程序运行监视系统)

在线阅读 下载PDF 职称材料

一个求累计法平均发展速度的简单应用程序

12

作者 郭俊峰 《统计与决策》 1986年第1期57-57,共1页

用累计法求平均发展速度,要求从最初水平出发,每期按照固定的平均速度发展,各期计算水平的总和,应等于各期实际水平的总和。这种关系用公式表示为:

关键词 应用程序 平均发展速度 累计法 程序运行 平均速度 实际水平 关系 发展水平 时期数 总和

在线阅读 下载PDF 职称材料

《学位法》时代学术复核制度的法治逻辑 被引量：5

13

作者 姚荣 王倩 《高校教育管理》 CSSCI 北大核心 2024年第6期56-69,共14页

学术复核制度作为维护学位申请人合法权益、规范学位授予权行使、实质性化解学位争议的一大制度创新,旨在发挥其促进学术公正、尊重学术自治的价值功能。为了考察实践中高校学术复核制度的运行逻辑,本研究对96所“双一流”建设高校的准... 学术复核制度作为维护学位申请人合法权益、规范学位授予权行使、实质性化解学位争议的一大制度创新,旨在发挥其促进学术公正、尊重学术自治的价值功能。为了考察实践中高校学术复核制度的运行逻辑,本研究对96所“双一流”建设高校的准学术复核制度文本进行分析发现,当前学术复核制度在实践中面临受理范围类别有限且条件苛刻、受理机构独立性欠缺和专业性不足、专家回避原则执行不力和人员构成不尽合理、复核处理期限不明和申请人参与程度低等多重法治困境。为将学术复核制度建设纳入法治轨道,我国应从规范制定、制度实施、强化监督三个维度着手,建立健全《学位法》框架下的学术复核办法,完善学术复核内部治理体系,建立和完善学术复核制度的国家监督体系,以促进学位争议案件中学术评价纠纷的实质和公正解决。 展开更多

关键词 《学位法》 学术复核制度 “双一流”建设高校 学术自治 受理范围 受理机构 专家遴选 程序运行

在线阅读 下载PDF 职称材料

一种面向嵌入式设备的动态插桩方法

14

作者 司健鹏 洪征 +2 位作者 周振吉 陈乾 李涛 《计算机科学》 CSCD 北大核心 2024年第11期347-355,共9页

现有动态插桩方法大多基于x86/x64指令集,对嵌入式设备常用的RISC兼容性较差,且在应用嵌入式设备时存在插桩效率低、资源消耗大等问题。文中提出了一种面向嵌入式设备的动态插桩方法DIEB(Dynamic Instrumentation Method for Embedded P... 现有动态插桩方法大多基于x86/x64指令集,对嵌入式设备常用的RISC兼容性较差,且在应用嵌入式设备时存在插桩效率低、资源消耗大等问题。文中提出了一种面向嵌入式设备的动态插桩方法DIEB(Dynamic Instrumentation Method for Embedded Physical Devices)。DIEB在嵌入式设备中使用以控制转移指令为探针的探测模式对目标进程进行动态二进制插桩。DIEB提出了一种轻量化的解释执行指令方法,根据指令的运行环境设置指令解释执行区域,并在解释执行区域中解释执行指令获取执行结果。在目标进程动态运行过程中,DIEB通过解释执行用作探针的控制转移指令,获取控制转移指令的目的地址,从而跟踪目标进程的执行流,在软硬件资源紧张的嵌入式设备上高效地进行动态插桩。ARM指令集是一种典型的RISC指令集,测试实验以ARM指令集为验证对象,在NetGear R7000等设备上进行。实验结果表明,经过DIEB插桩的进程可以正常运行,插桩导致的时延远小于基于ptrace的插桩方式,解决了PIN,Dynamorio等现有动态插桩框架难以在嵌入式设备上运行的问题。此外,DIEB具有在多线程环境下稳定运行的能力,可以准确记录并发线程的执行流轨迹。 展开更多

关键词 动态二进制插桩 指令解释执行 嵌入式设备 灰盒测试 程序运行状态反馈

在线阅读 下载PDF 职称材料

网络资源虚拟化技术专题前言 被引量：8

15

作者 齐勇 罗英伟 孙毓忠 《软件学报》 EI CSCD 北大核心 2014年第10期2187-2188,共2页

虚拟化概念出现以来（20世纪50年代末），首先运用于操作系统中以解决单机系统资源环境下的多任务/多用户程序运行与资源管理问题；随着网络技术的快速发展与广泛应用（20世纪90年代），为了解决网络环境下计算资源的有效管理与使用问... 虚拟化概念出现以来（20世纪50年代末），首先运用于操作系统中以解决单机系统资源环境下的多任务/多用户程序运行与资源管理问题；随着网络技术的快速发展与广泛应用（20世纪90年代），为了解决网络环境下计算资源的有效管理与使用问题，网络虚拟化技术得到了新的发展，出现了包括 Java 虚拟机、Xen、Vmware 和KVM 等技术产品；通过虚拟化技术提高了计算资源的利用率及其管理的灵活性，简化了系统管理与维护工作。随着计算资源与应用场景的日益庞杂，虚拟化系统的复杂度也越来越高。虚拟化系统自身的安全性、可靠性以及性能等问题也日益突出。另一方面，虚拟化技术在一些新应用场景中存在的问题也是人们关注的热点，比如软件定义网络与实时虚拟化等。如何实现用户对包括计算资源和网络等资源“尽力而为”的使用到“按需分配”的使用也已成为人们关注的一个问题。 展开更多

关键词 虚拟化技术 网络资源 单机系统 计算资源 专题 管理问题 VMWARE 程序运行

在线阅读 下载PDF 职称材料

近红外光谱预测稻谷水分含量特征谱区选择及其效率分析 被引量：8

16

作者 黄华 吴习宇 祝诗平 《光谱学与光谱分析》 SCIE EI CAS CSCD 北大核心 2018年第4期1070-1075,共6页

对364份水分含量在2.24%~32.66%之间的"冈优916"稻谷样品,经均值中心化、一阶微分、标准归一化和多元散射校正等预处理后,采用分段间隔法、组合分段法、滑动窗口法和反向分段法等进行特征谱区选择,分别使用偏最小二乘法(PLS)... 对364份水分含量在2.24%~32.66%之间的"冈优916"稻谷样品,经均值中心化、一阶微分、标准归一化和多元散射校正等预处理后,采用分段间隔法、组合分段法、滑动窗口法和反向分段法等进行特征谱区选择,分别使用偏最小二乘法(PLS)和主成分回归(PCR)两种定量分析方法,获得稻谷含水量近红外光谱预测模型最佳的特征谱区。首次给出了分段间隔法、组合分段法、滑动窗口法和反向分段法等传统的特征谱区选择方法的计算复杂度的计算公式,并对比分析了这几种特征谱区选择方法的程序运行效率。结果表明:采用PLS建模对稻谷含水量光谱的预测性能优于PCR建模,但PLS建模的效率低于PCR建模;在PLS建模中,采用反向分段法对稻谷光谱含水量的预测性能最好,其预测集的相关系数R_P为0.995 6,预测均方根偏差RMSEP为0.78%;其次是滑动窗口法,其R_P为0.994 3,RMSEP为0.89%;但这两种特征谱区选择方法的程序运行效率较低,反向分段法的平均运行时间为4.87h,滑动窗口法的平均运行时间为29.82h。该研究结果为今后在并行计算或分布式计算上开发近红外光谱预测模型的快速算法提供参考。 展开更多

关键词 近红外光谱 特征谱区 程序运行效率 稻谷水分含量

在线阅读 下载PDF 职称材料

BASIC语言复习指导 被引量：1

17

作者 徐孝凯 《现代远程教育研究》 1997年第2期53-59,共7页

《BASIC 语言》课程是电大理工类各专业一门公共必修课。该课程采用闭卷考查方式,现按照主教材各章顺序,给出每一章的复习要求。第一章关于计算机的一般知识1 了解电子计算机的特点和用途。2 清楚电子计算机硬件系统的基本构成。电子计... 《BASIC 语言》课程是电大理工类各专业一门公共必修课。该课程采用闭卷考查方式,现按照主教材各章顺序,给出每一章的复习要求。第一章关于计算机的一般知识1 了解电子计算机的特点和用途。2 清楚电子计算机硬件系统的基本构成。电子计算机硬件系统由运算器、控制器、内存储器、输入设备、输出设备和外存储设备所组成。运算器和控制器合称为中央处理器(CPU)。 展开更多

关键词 电子计算机 中央处理器 语句 复习指导 控制器 硬件系统 内存储器 运算器 程序运行 外存储设备

在线阅读 下载PDF 职称材料

软件故障定位报告质量评估方法

18

作者 文勇 蔡铭 +1 位作者 戴建华 陈刚 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第6期984-990,共7页

通过对基于静态程序依赖图的软件故障定位报告质量评估方法的分析,指出由于其评分缺乏对程序运行时动态特征的描述,而影响评分质量,提出一种新的改进方法.该方法利用描述程序运行的特征谓词信息和基于失败运行测试用例的程序运行轨迹,... 通过对基于静态程序依赖图的软件故障定位报告质量评估方法的分析,指出由于其评分缺乏对程序运行时动态特征的描述,而影响评分质量,提出一种新的改进方法.该方法利用描述程序运行的特征谓词信息和基于失败运行测试用例的程序运行轨迹,将动态特征融入到静态程序依赖图中,构造动态程序依赖图,在此基础上运用基于广度优先搜索算法,得到能够更加真实反映在查错过程中需要排查的程序语句集合.结合软件故障定位模型的实证分析表明,该方法能够有效提高评估质量,促进定位模型的改进. 展开更多

关键词 软件故障定位 软件质量评估 程序依赖图 程序运行动态特征

在线阅读 下载PDF 职称材料

网络蠕虫的工作原理及预警技术研究

19

作者 文伟平 蒋建春 《信息网络安全》 2007年第9期22-26,共5页

网络蠕虫的定义功能结构及工作机制网络蠕虫的定义早期恶意代码的主要形式是计算机病毒。1988年“Morris”蠕虫爆发后,Spafford为了区分蠕虫和病毒,对病毒重新进行了定义,他认为,“计算机病毒是一段代码,能把自身加到其它程序包括操作... 网络蠕虫的定义功能结构及工作机制网络蠕虫的定义早期恶意代码的主要形式是计算机病毒。1988年“Morris”蠕虫爆发后,Spafford为了区分蠕虫和病毒,对病毒重新进行了定义,他认为,“计算机病毒是一段代码,能把自身加到其它程序包括操作系统上;它不能独立运行,需要由它的宿主程序运行来激活它”。而网络蠕虫强调自身的主动性和独立性。Kienzle和Elder从破坏性、网络传播、 展开更多

关键词 网络蠕虫 预警技术 工作原理 计算机病毒 恶意代码 程序运行 工作机制 功能结构

在线阅读 下载PDF 职称材料

中医发展将对生命学研究产生深远意义

20

作者 王君 杨峰 《中医药学刊》 2003年第3期381-381,383,共2页

有关中医的研究,目前基本上停留在传统观念上的论述,与生命科学无法接轨,针对该问题,中医研究小组进行了大量研究,对生命学研究思路也进行了反思,希望生命科学的发展可以在中医几千年宝贵经验中获得启迪!作为生命科学重要组成部分,中医... 有关中医的研究,目前基本上停留在传统观念上的论述,与生命科学无法接轨,针对该问题,中医研究小组进行了大量研究,对生命学研究思路也进行了反思,希望生命科学的发展可以在中医几千年宝贵经验中获得启迪!作为生命科学重要组成部分,中医在现代化研究进程中,充分吸收、借鉴生命科学领域的新思维、新理论、新技术,在经络、腧穴本质探讨方面取得了一系列进展,针灸与神经、内分泌、免疫系统的相关研究成果也被医学界所认同。但是关于针灸机理研究和其他与中医学发展密切相关的问题,只有将其融入生命科学的大环境中,才能进一步发展。在21世纪,生命科学必将获得空前的发展,基因科学将渗透到医学的各个领域,在这里我们研究小组,将给大家一个假设的实验结果。 展开更多

关键词 中医发展 生命学 研究 程序运行需要变量因子 中医理论 生命程序运行

在线阅读 下载PDF 职称材料