解释程序

摘要： 国家治理现代化的核心要旨在于实现中国特色社会主义制度同国家治理过程相结合。作为规范体系的最高形式,宪法是国家治理和国家政治制度建构的根本遵循。新时代推进中国特色社会主义现代化国家建设,应强化宪法的确认和协调功能,通过完善宪法解释程序凝聚宪法共识,通过健全宪法审查制度确保公权力的规范运行,通过强化社会公平正义保障制度彰显人民当家作主的政治逻辑。

摘要： 一、制定的必要性立法解释工作是立法工作的重要一环,《中共中央关于全面推进依法治国若干重大问题的决定》明确提出,要坚持立改废释并举,增强法律法规的及时性、系统性、针对性、有效性。为保障本市法规规章得到正确有效实施,《上海市法治政府建设“十三”规划》提出了“建立市政府提请市人大常委会解释地方性法规和市政府解释规章的工作流程”的要求,并被列为市委依法治市委2020年工作要点。制定法规规章解释程序规定.

摘要： 一、2019年備審年報評述線索:全覆蓋-審查基準-銜接聯動-基礎設施2019年10月,黨的十九届四中全會重申:「加强憲法實施和监督,落實憲法解释程序機制,推進合憲性審查工作,加強備案審查制度和能力建設,依法撤銷和糾正違憲違法的規范性文件。」備案審查,不僅獲得了一以贯之的強調,而且,匯總連接憲法實施、憲法監督、憲法解釋、合憲性審查,被安置於各項工作的结構樞紐位置。

摘要： 行政执法中的解释程序是指行政主体在执法过程中,向行政相对人解释说明执法理由的程序.解释程序应该遵循正当性原则、合法性原则和合理性原则,重点针对法律规范中的模糊条款、执法时的裁量选择,以及晦涩的专业知识予以释法说理.作为一种典型的具体解释和事中解释,解释程序是落实普法责任制的重要抓手,有利于执法者自我约束和自我监督,促进依法行政,也有利于行政相对人理解和接受行政执法,避免行政争议.

摘要： 在中国台湾地区有个现象经常发生,就是声请人经常误以为大法官解释是三级三审之外的"第四审",误以为大法官解释可以救济个案,近十几年,声请大法官解释不受理的比例高达九成,①为何造成如此高的不受理案件,是因为声请人误以为大法官解释可以更正下级审法院的事实判断或证据取舍,声请人误以为大法官可以纠正不公正的判决.

摘要： 对于需要优化的程序有许多途径,可以是从算法角度提升运行效率,也可以通过改变程序构架来提高程序的维护效率,后者就是这篇文章的目的之一.尝试将通常的设备报警的处理方式,改变为通过解释可编辑的表达式字符串,对参数进行报警策略的设定.这种方式将使用到计算机编译原理中的一些知识,并做简单阐述.

摘要： 在中国台湾地区有个现象经常发生,就是声请人经常误以为大法官解释是三级三审之外的''第四审'',误以为大法官解释可以救济个案,近十几年,声请大法官解释不受理的比例高达九成,(1)为何造成如此高的不受理案件,是因为声请人误以为大法官解释可以更正下级审法院的事实判断或证据取舍,声请人误以为大法官可以纠正不公正的判决。

摘要： 当需要进一步明确铁路技术规章的具体含义或需要明确新情况的适用规章依据时,制定者应作出正确解释,才能保证铁路技术规章被正确理解和执行.目前铁路行业对技术规章解释方法、原则等方面的规定较少,为达到全面规范铁路技术规章解释的目的,应研究补充、完善铁路技术规章解释方面的规定.通过阐述铁路技术规章解释现状,针对铁路技术规章解释存在准确性和公平性有待提高、解释权威有待确立、解释程序有待增加、解释原则和解释方法有待完善等问题,提出明确解释主体、明确解释效力、规范解释程序、遵循解释方法等方面的对策.

摘要： 本文以IEEE488.2标准为依据,结合双通道100M数字存储示波器(DSO)YB541XXX实例,详细论述了程控命令树的设计,程控命令的格式确定,程控命令符号表的数据结构以及程控命令解释程序流程图的设计.

摘要： 编程语言被扩展成具有嵌入式解释类型(EIT)，这些EIT定义在翻译时要解析的对象和变量。具有这些EIT之一的类型的变量或数据元被称为嵌入式解释变量(EIV)。在翻译时解释(即，执行)包含EIV的控制结构。

摘要： 本发明涉及一种设备(10)，用于加速对用解释语言写的程序的解释，所述程序包括中间代码，它可以由虚拟机以连续进程的形式执行，所述设备包括路由选择装置(13)，该装置能够从存储器(11)中抽取一个当前中间代码以便把它加载到存储装置(16)中。当存在改变进程的请求时，路由选择装置(13)能够抑制当前中间代码的抽取和向存储装置(16)加载一个保留的用于实现对虚拟机环境的保存的中间代码。

摘要： 本发明提供机器人用户程序的解释方法及解释装置。所述解释方法包括：接收用户程序；所述用户程序包括相互独立的用户主程序及用户后台程序；创建相互独立的第一状态机及第二状态机；所述第一状态机将所述用户主程序翻译成计算机可执行代码；所述第二状态机将所述用户后台程序翻译成计算机可执行代码。本发明克服了现有解释器不支持机器人并行编程的缺陷，同时兼具了实时性好、语法库丰富等诸多优势。

摘要： 编程语言被扩展成具有嵌入式解释类型(EIT)，这些EIT定义在翻译时要解析的对象和变量。具有这些EIT之一的类型的变量或数据元被称为嵌入式解释变量(EIV)。在翻译时解释(即，执行)包含EIV的控制结构。

摘要： 本发明涉及一种设备(10)，用于加速对用解释语言写的程序的解释，所述程序包括中间代码，它可以由虚拟机以连续进程的形式执行，所述设备包括路由选择装置(13)，该装置能够从存储器(11)中抽取一个当前中间代码以便把它加载到存储装置(16)中。当存在改变进程的请求时，路由选择装置(13)能够抑制当前中间代码的抽取和向存储装置(16)加载一个保留的用于实现对虚拟机环境的保存的中间代码。

摘要： 一种数据解释装置，具备用于自动执行对象的类型转换的平台。平台设置在数据解释装置的控制部中，并且具有获取部和解释部。获取部获取输入数据作为所述平台的对象，解释部针对对象创建初始图，并且通过一边适当地执行与图的各个节点相关联的对象的向外延侧或内涵侧的类型转换，一边从初始图自动生长出图从而进行解释。

摘要： 本发明提供一种深度学习可解释方法及设备、存储介质和程序产品，其中深度学习可解释方法，先针对获取的待解释图像确定待解释图像中的待解释类别，然后再基于预设深度学习可解释模型，确定所述待解释类别的解释结果。由于所述预设深度学习可解释模型包括先获取所述待解释图像中每一个像素点加噪后的平均收益、再根据所述平均收益确定针对所述待解释类别的目标像素点、后基于所述目标像素点的深度学习程度确定所述待解释类别的解释结果，以此实现通过开发和探索每个像素点的重要性达到确定用于解释图像中类别的目标像素点目的，不仅时间成本低，而且也提高了图像中类别的解释精度和解释准确性。

摘要： 一解释程序的扩充方法，具有记忆机构，将源程序的指令解释执行的第一解释执行机构，将第一解释机构所不能解释的多数个扩充语句解释的Ｎ个第２解释执行机构，将表示上述第一解释机构与第１号的第２解释执行机构的连接关系的信息存储而设于上述第一解释机构的第１结合信息存储部以及将表示上述第ｉ号与ｉ＋１号的第２解释机构连接关系的信息存储而设于上述第ｉ号的第２解释执行机构的第２结合信息存储部并以Ｎ个第２解释执行机构中之一来解释源程序中的抗充语句，从而达到扩充解释程序的目的。

摘要： 本发明公开一种面向批量未解释程序的联合验证方法，步骤包括：S01.进行程序抽象得到程序自动机，使用保存的抽象模型对程序自动机进行精化；S02.判断精化后的程序自动机是否为空，如果为空则判定程序正确，转入步骤S05，否则转入步骤S03；S03.从精化后的程序自动机中抽取一条路径，若路径可行则判定程序错误，转入步骤S05；若不可行则转入步骤S04；S04.进行路径泛化得到反例自动机，对精化后的程序自动机进行精化，并保存为抽象模型，返回步骤S02；步骤S05.判断是否完成所有程序验证，如果是则退出验证，否则取新的程序返回步骤S01。本发明能够高效、准确的实现批量未解释程序的验证。

摘要： 本实用新型属于放射性测井技术领域，特别涉及一种自然伽马能谱测井仪。一种集成解释程序的自然伽玛能谱测井仪，其技术方案是：它包括：仪器壳体、仪器电路架，以及安装于仪器电路架内的探测器单元；仪器电路架由三段组成，上段安装31芯插座，中段安装探测器单元，下段安装电路板，解释程序集成在通讯电路上的处理芯片中；探测器单元由NaI晶体和光电倍增管、减震装置组成。本实用新型能够在175°C、140MPa的环境下使用，承压高，测量精度高，测井重复性好，能满足深井较长时间测量的要求，另外仪器的解释程序嵌入在硬件中，可通过硬件加密进一步增加程序的保密性能。