基于条件执行切片谱的多错误定位

基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.

附条件执行名义审查程序体系论

附条件执行名义的定位、审查及救济已成为困扰法院执行的重要课题。无论学理研究抑或立法实践，附条件执行名义均存在定位不明、规制缺位的窘境。在考察大陆法系执行要件审查模式的基础上，附条件执行名义应纳入执行要件实体事项审查的范畴。在具体模式选择上应摒弃内嵌式的审查模式，转而趋向分离式的审查模式，并以扩充法律文书生效证明制度的机能为切入点，建立以可上诉裁定与债务人异议之诉为主的救济方式。

一种支持DSP条件执行指令的编译框架

为克服条件跳转指令的缺陷,新一代超长指令字(VLIW)体系结构的数字信号处理器(DSP)提供了对条件执行指令的支持。为使得此类指令的优势得以充分发挥,该文设计并实现了一种基于hyperblock区域结构的编译框架。实验结果表明,该框架很好地提高了指令级并行度(ILP),减少了指令执行时间。

导师制的执行条件和驱动措施

文章阐述了导师制的内涵及实践育人机理,指出导师制是一种通过学生主体性实践体验,来共享和传递隐性知识的育人方式。同时,分析了导师制实践育人的执行条件,提出了导师制实践育人的驱动措施。

基于可执行条件的非循环结构并行性识别

探讨了顺序程序中非循环结构并行性的识别问题,提出并实现了一种新的可执行条件的导出方法,在层次任务图(HTG)上,通过一次对全国所有路径的搜索,利用任务节点间的相关性(包括数据相关和控制相关),就可以生成所有任务节点的可执行条件。该算法简单高效,所生成的可执行条件简捷,没有冗余项,并且利于系统的控制执行。

我国仲裁裁决执行条件的理性分析与立法重构

我国立法上对不同种类的仲裁裁决规定了不同的执行条件,对外国仲裁裁决、涉外仲裁裁决原则上只进行程序性审查而不进行实体性审查,对国内仲裁裁决则进行程序性和实体性双重审查。这种内外有别的立法体例存在一系列弊端,有必要统一仲裁裁决执行条件,完善以"公共政策"为重心的纠偏机制,理顺仲裁裁决的撤销与不予执行的关系,并建立撤销或不予执行国内仲裁裁决的预先报告制度。

基于条件分类可执行切片谱的软件缺陷定位

基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的影响比较大。因此,提出了一种基于条件分类可执行切片的软件缺陷定位方法(Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization,CCESS-SFL),该技术对CESS-MFL技术中的谓词条件进行了改进并分类。根据谓词条件与缺陷相关执行切片确定条件特征集,根据条件特征集进行分类得到条件分类执行切片谱,计算元素的可疑度,最后生成可疑度报告。CCESS-SFL技术在西门子7个套件中得到了有效的验证,它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术,可以进一步降低与缺陷无关语句的影响。

修正执行条件下O-U过程期权定价的保险精算方法

为了利用保险精算方法对不完全市场的期权进行定价,在权衡期权买卖双方权益的基础上分析了保险精算期权定价的执行条件并对其进行修正,在修正的执行条件下,根据股票价格过程的实际概率测度得到了中间无红利支付时O-U过程模型的欧式买权和卖权的精确定价公式及其平价关系,并通过实证验证了修正后的期权定价更加准确.

中国民事诉讼法中承认与执行外国法院判决条件的立法建议

承认和执行外国法院判决的条件作为外国法院判决的承认与执行的基本内容,一直受到学者关注。本文特就2007年10月刚颁行的民事诉讼法中承认与执行外国法院判决方面规定的条件加以评析,并提出相应的立法建议。

股权的执行及应注意的问题

在执行工作中,时有涉及股权的执行问题,因此,要想执行合法、稳妥,必须掌握其内在要求和运作规律,明确股权的概念、内容,执行条件和程序及应注意的问题,严格依法执行,才能够公正地处理股权,从实体上保障各方合法权益的实现。

假释适用执行刑期条件的准确把握和检察监督

检察机关应当准确把握假释适用的执行刑期条件,对判处有期徒刑的罪犯“执行原判刑期二分之一以上”的期限,包括罪犯在监狱中服刑刑期和判决执行前先行羁押的时间。注重通过个案办理,加强类案监督,推动司法行政机关及时调整不符合法律规定和立法原意的相关规定,保障法律统一正确实施。

自治与强制:民事调解书执行的路径选择——以《法院调解规定》第15条为中心

民事调解书的内容与效力,均始于自治而通向强制,但二者在特定情形下会呈现出张力,在给付内容实现的过程中相互抵牾,典型的情形就是调解书中民事责任条款的强制执行。以最高法院公报案例为代表的原路径将调解书视为附条件执行依据,将审查重点置于调解书生效后当事人的违约事实是否存在,认为应由当事人另行起诉取得有既判力的判定。原路径以调解书的既判力为本位,错将债务人的抗辩作为条件,忽视了争议本身并不必然构成就民事责任内容申请执行的障碍,因此偏离了核心问题。新路径自始就以调解书的强制执行效力与目标为本位,认可约定民事责任的实体给付义务性质,将民事责任部分的执行力作为《法院调解规定》第15条两款间的意义关联。无论是否肯定调解书的既判力,都应认可其中的当事人自治因素,民事责任的不确定性实质是为执行承诺保留实体抗辩。

Matrix编译器If转换算法的实现

指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对matrix体系结构特点,对GCC中现有if转换算法进行了移植与改进,实现了matrix编译器的if转换算法。实验证明,改进后的if转换算法能够更有效地移除分支,减少基本块的数量,扩大单个基本块的范围,有助于编译器生成更加优化的代码。

面向ARM平台的二进制翻译系统标志位优化

二进制翻译系统是不同平台之间代码移植的桥梁,而系统性能是制约其应用的主要因素。在二进制翻译中,翻译经过标志位分析处理后的非冗余标志位需要较多的指令,极大影响了系统的性能。针对该问题,提出一种标志位的模式优化方法,在标志位分析处理基础上,将定值标志位和使用标志位的ARM指令组成固定模式,根据不同的模式用MIPS指令组合翻译达到相同的语义。实验结果表明,利用标志位的模式优化方法可使翻译产生的MIPS代码量减少14%,系统性能平均提高13.7%。

中国企业战略共享程度的实证分析

本文旨在通过对中国企业战略共享及程度方面的研究来剖析中国企业的战略成熟度。战略共享分析的两个纬度分别是战略共享的清晰度和战略共享的组织条件。其中,从战略认知、战略参与程度、战略一致性等方面分析战略共享的清晰度;从战略协调、业务关联(含资源共享)、战略分解等方面分析战略共享的组织执行条件。研究结论提示:为了提高战略共享程度,进而促进战略的有效性,我国企业需要将战略作为一种激励机制;有必要强化有关战略制定和实施方法的培训,加强战略全过程的有效沟通;需要从战略上确立创新意识,采取创新导向类型的战略。

民用飞机试飞任务需求管理技术研究与实现

针对民用飞机进行试飞时对于各种复杂前置条件的管理需求,提出了一种基于设计需求的试飞需求定义和管理方法。该方法充分考虑了飞机的设计特点和试飞执行过程中需关注的各种因素,采用需求管理的概念,开发一种与民机研制相匹配的试飞需求管理工具,以保证试飞过程管理的科学性和高效性。

外交部发言人1998年4月2日答记者问

问:你对以色列宣布从黎巴嫩南部撤军有何评论?答:我们注意到以色列方面宣布接受联合国安理会425号决议从黎巴嫩南部撤军。中国一贯主张,黎巴嫩的主权和领土完整应该得到尊重,联合国有关中东问题的各项决议应予全面、无条件执行。近来,中东和平进程再度受到国际社会关注,我们对联合国和其他国家为推动和平进程向前发展所作的努力表示赞赏和支持。中东和谈只要遵循联合国有关决议,并以"

受到党政纪处分后如何申诉?

受到党政纪处分后如何申诉？编辑同志：当受到党纪政纪处分以后，个人意见如何申诉？请予答复。临汾黄明黄明同志：首先，被检举、指控的党员、党组织、行政监察对象，经调查确有错误，受到党政纪处分或其他组织处理时，必须执行组织处理决定，不得违反。根据个人服从组织...