导读:本文包含了解释执行论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:侵占罪,宜阳县,语言,司法解释,污染环境,执行人,判决书。
解释执行论文文献综述
王克伟,胡立东[1]（2018）在《Java虚拟机解释执行机制研究》一文中研究指出以广泛使用的Java虚拟机实现—Hot Spot JVM为研究对象,探讨了Java虚拟机解释执行的一般原理和内在机制。目的在于揭示Java程序在虚拟机上的执行过程,激发广大计算机研究人员和从业者对底层技术的研究兴趣,从而更好地掌握计算机技术和使用计算机工具。(本文来源于《电脑编程技巧与维护》期刊2018年09期）
申利超,王博文,苏晓光[2]（2018）在《“执行不能”不是不执行 具备条件可恢复执行》一文中研究指出本报讯 （记者 申利超 通讯员 王博文 苏晓光）“被执行人无财产可供执行就是‘执行不能’。”近日，市中级人民法院召开新闻发布会，向群众解释“执行不能”及处理方式，通报“执行不能”典型案例。查无财产造成“执行不能”覃某诉翟某、武某民间借(本文来源于《洛阳日报》期刊2018-05-10）
黄皎[3]（2015）在《一个基于ASP的临床实践指南解释执行系统》一文中研究指出临床实践指南(CPGs)是系统化制定的临床指导意见,帮助医生和患者在特定的临床场景下选择合适的医疗保健服务。由于CPGs的开发方法科学严谨,临床内容准确可靠,它已经成为指导医学研究和临床实践的重要依据。然而文本形式的CPGs不便于推广和应用。如何实现CPGs自动执行以辅助医生和患者提高医疗质量,已经成为近年来临床决策支持研究的重要内容。计算机可解释的指南表示语言是此类研究的关键。这种语言需要具备高容变、语义直观的特性以便于用户使用,且可以表示结构复杂、内容丰富的医疗知识。本文研究使用回答集程序(ASP)表示基于指南模型SDA*的CPGs,用于实现CPGs的解释、执行、医疗考评。本文主要工作包括：1)严格定义临床实践指南模型SDA*的语法和语义,为SDA*模型的表示提供形式化的基础；2)针对特定医疗交互场景下的执行过程,定义一种基于SDA*的交互语义,为实现基于SDA*模型的临床实践指南的执行提供基础：3)研究基于回答集程序(ASP)的SDA*模型的表示和执行方法,并将基于SDA*模型的临床实践指南交互执行转化为求解相应ASP程序的回答集；4)在上述研究基础上,研究基于SDA*模型的医疗考评方法,即考评实际治疗过程与SDA*模型中的理想治疗过程的不一致性,并给出相应的警告和合理的解释：5)设计并实现一个基于ASP的临床实践指南解释执行系统。本文取得的主要成果有：1)提出了一种基于图论的临床实践指南模型SDA*的形式化定义；2)提出了一种基于SDA*模型的交互语义：3)提出了一种基于ASP的SDA*模型的表示方法以及基于ASP的交互过程实现算法；4)提出了一种基于ASP的检测治疗过程不一致性的医疗考评算法。(本文来源于《东南大学》期刊2015-05-06）
赵晋山,葛洪涛[4]（2015）在《《民事诉讼法》司法解释执行程序若干问题解读》一文中研究指出《民事诉讼法》司法解释规定了执行依据的明确性要求,强调继续履行类法律文书应当明确继续履行的内容;修改了特定物灭失情况下的折价赔偿规则,确立了"除非当事人能够协商一致,否则终结执行程序、另诉解决赔偿问题"的原则;完善了执行到期债权制度,强化了制度效果及相关权利人的保护;限制了参与分配制度对于企业法人的适用,优化了执行程序与破产程序的衔接。(本文来源于《法律适用》期刊2015年04期）
孔江水,王毓[5]（2014）在《谈《刑法》第93条第2款的解释“执行难”》一文中研究指出村民小组为中国大陆地区在人民公社解体以后，农村基层自治组织——村划分的行政编组；同时期城市街道、镇的区划社区的编组称为“居民小组”。“村民小组”为大陆乡村的农业区最基层的行政编组，直接管辖的对象为农户。“村民小组的行政负责人称为“村民小组组长”，由当地村(本文来源于《新农村商报》期刊2014-04-09）
梁江涛[6]（2013）在《如何破解司法解释执行难？》一文中研究指出今年6月18日，最高法院、最高检察院联合召开新闻发布会，公布了《关于办理环境污染刑事案件适用法律若干问题的解释》，细化了污染环境罪的定罪量刑标准，为查处环境污染犯罪案件提供了准确的法律依据。 笔者认为，部分地区现有的环境执法体制与机制还不能(本文来源于《中国环境报》期刊2013-10-24）
[7]（2013）在《危害食品安全刑法司法解释执行》一文中研究指出从5月4日起,《最高人民法院、最高人民检察院关于办理危害食品安全刑事案件适用法律若干问题的解释》(以下简称《解释》)开始实行。《解释》共计22条,首次明确界定了生产、销售不符合安全标准的食品罪和生产销售有毒、有害食品罪的定罪量刑标准。《解释》还对使用"地沟油"等加工食品,对"瘦肉精"等非法销售,细化了定罪量刑。《解释》主要规定了11个方面的问题。(本文来源于《农业机械》期刊2013年14期）
卓保特,栾勇,刘伟,刘占清[8]（2012）在《PLC源程序编码方法与解释执行算法设计》一文中研究指出传统PLC源程序的编译方法,虽然执行速度快,占用资源少,但可移植性差不够灵活;传统PLC源程序的解释方法虽然灵活性好,但执行速度慢且占用存储空间大。为了兼顾存储空间、执行速度和可移植性,给出了一种PLC源程序的编码方法,减少了存储空间,简化了解释执行算法,并在表达式求值算法和传统PLC解释执行算法的基础之上,充分利用逻辑运算的性质,提出了改进的PLC解释执行算法,大大减少了逻辑运算的步数,提高了PLC系统运行的速度。(本文来源于《计算机工程与应用》期刊2012年14期）
陈微,王志英,陈顼颢,沈立,陆洪毅[9]（2012）在《基于DICache的混合线索解释执行技术》一文中研究指出由解释执行实现的指令集仿真是解决二进制兼容问题的有效手段。解释执行各步骤的组织方式对解释器性能有着重要影响。集中方式效率较低,而效率较高的线索方式由于译码过程过于复杂而无法用于CISC指令集的解释执行。本文提出了一种基于DICache的混合线索解释执行技术,DICache实现一种高效的硬件动态预译码,将源指令转换为一种中间表示,在解释例程中对DICache快速访问实现对CISC指令集的线索解释执行。本文在一个源为IA-32、目标为VLIW的解释器上,采用SPEC INT2000中的测试程序对基于DICache的混合线索解释执行技术进行评估。结果表明该方法可以显着提高解释器的性能。(本文来源于《计算机工程与科学》期刊2012年02期）
陈荣鑫,廖湖声[10]（2011）在《基于Prolog的函数语言解释执行》一文中研究指出通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。(本文来源于《莆田学院学报》期刊2011年02期）
解释执行论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本报讯 （记者 申利超 通讯员 王博文 苏晓光）“被执行人无财产可供执行就是‘执行不能’。”近日，市中级人民法院召开新闻发布会，向群众解释“执行不能”及处理方式，通报“执行不能”典型案例。查无财产造成“执行不能”覃某诉翟某、武某民间借
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
解释执行论文参考文献
[1].王克伟,胡立东.Java虚拟机解释执行机制研究[J].电脑编程技巧与维护.2018
[2].申利超,王博文,苏晓光.“执行不能”不是不执行具备条件可恢复执行[N].洛阳日报.2018
[3].黄皎.一个基于ASP的临床实践指南解释执行系统[D].东南大学.2015
[4].赵晋山,葛洪涛.《民事诉讼法》司法解释执行程序若干问题解读[J].法律适用.2015
[5].孔江水,王毓.谈《刑法》第93条第2款的解释“执行难”[N].新农村商报.2014
[6].梁江涛.如何破解司法解释执行难？[N].中国环境报.2013
[7]..危害食品安全刑法司法解释执行[J].农业机械.2013
[8].卓保特,栾勇,刘伟,刘占清.PLC源程序编码方法与解释执行算法设计[J].计算机工程与应用.2012
[9].陈微,王志英,陈顼颢,沈立,陆洪毅.基于DICache的混合线索解释执行技术[J].计算机工程与科学.2012
[10].陈荣鑫,廖湖声.基于Prolog的函数语言解释执行[J].莆田学院学报.2011
论文知识图
