可执行性

摘要： 当事人原本可以同时提出给付请求却坚持仅提出确权请求的,法院理应以确权请求缺乏诉的利益为由裁定不予受理或驳回起诉,而仲裁机构则应当继续审理确权案件。以请求权或形成权为确认对象的确权判决与确权裁决不存在讨论其可执行性问题之必要,但以财产所有权等支配权为确认对象的确权判决与确权裁决则在实践中可能被直接充当执行名义。当事人经法院释明或仲裁机构提示追加给付请求但仍坚持仅提出确权请求,或者当事人虽提出给付请求但法院或仲裁机构仅支持其确权请求的,以财产权属关系为确认对象的确权判决与确权裁决同样不存在讨论其可执行性问题之必要。在实践中,有的法院坚持确权判决与确权裁决不具有可执行性并释明当事人另案获得执行名义,有的法院以当事人真实诉讼意图、现实生活中确有必要等为由强行将确权判决、确权裁决解释为给付判决、给付裁决,甚至还有的法院创造出“具有给付内容的确认判决”等奇葩概念。实际上,确权判决与确权裁决仅意味着一方当事人在实体法上享有物上请求权,而没有涉及该法律关系是否存在变更、消灭或者权利受到妨害等情形,故不宜直接充当执行名义。在立法论上,宜参照实现担保物权的特别程序,允许当事人以确权判决或确权裁决为依据申请法院对被申请人不提出实质异议的给付请求径行作出许可执行裁定,被申请人提出并非显而易见不足以成立的抗辩事由的,则应当通过争讼程序或仲裁程序对抗辩事由进行实体审理。

摘要： 近年来,全球一体化进程加快,贸易摩擦层出不穷,企业的市场竞争环境日益严峻。政府加大供给侧改革,加快经济转型,促使企业自我改革以面对纷繁变化的环境。内部不定因素对于企业发展产生阻力,也为其决策带来难度。此时,企业需要全面审视自我,以制定适合自身发展的方法,总结实践经验,促使战略目标的完成。全面预算管理是现代化企业的重要管理方式,其将有限资源整合实现合理配置,进而实现最优状态。战略目标是全面预算管理的指引,以战略为导向企业全面预算管理在许多企业内受到了认可,指引企业科学开展经营,促进战略落地。供给侧改革背景下,市场竞争环境加剧,更多的企业参与竞争中,想要稳步发展,企业要运用好全面预算管理,对全面预算管理各阶段加以探讨。本文对战略导向下企业全面预算管理优化研究,了解战略导向下全面预算管理体系设计原则与目标及实施意义,总结全面预算管理与战略间的关联,提出战略导向下全面预算管理存在的问题,针对性的提出完善建议,以对企业全面预算管理优化设计,使其可以良好运转,进而提升战略的可执行性。

摘要： 党的十八大以来,高等学校根据党中央统一部署,全面加强和完善高校党建工作,大力推动学生党员档案建设并取得了显著成果。但由于高校学生党员人数众多、实际情况复杂,出现了许多困扰基层党委的档案“顽疾”,这些“顽疾”存在于党员发展的全过程之中,对各级党建工作均造成了不利影响。本文通过梳理学生党员档案管理在不同阶段存在的问题,有针对性地提出一些具有可执行性的解决方案。

摘要： 我国缺乏环境行政命令立法,实践中存在环境行政命令和行政处罚的混淆、部分环境行政命令内容模糊以及缺乏可适用程序等困境.为纾解困境,有必要出台《环境行政命令办法》,将具有补救性的责任形式纳入行政命令,使针对环境违法行为的行政命令与行政处罚相互配合.该办法应当根据环境行政命令的补救性功能规定其类型,以区别于行政处罚,并按照环境行政命令的类型规定不同的行政程序.所有环境行政命令都应遵循调查、告知、听取意见等基本程序,责令停止违法行为的命令无需经过听证,但责令改正的行政命令需要通过听证以便形成改正的方式、手段和期限等具体内容,从而保证其可执行性.

摘要： 为了解决法院判决在境外执行的困难,国际商事法院判决转化为仲裁裁决的做法创设了一种前所未有的执行途径。在法院判决转化为仲裁裁决的过程中,其可行性存在两个方面的障碍,即判决支付争议的可仲裁性和判决转化为的裁决的可执行性。建议我国以解决国际商事法院判决执行难为目标,以当事人意思自治为原则,通过明确金钱支付争议的可仲裁性,尝试在一定条件下将法庭判决转化为仲裁裁决,从而依据《纽约公约》在缔约国内得以承认与执行。

摘要： 质疑作为政府采购供应商救济的首要途径,对于维护供应商合法权益、保障采购公平公正具有重要作用。因此采购人、采购代理机构受理质疑后如何答复质疑便尤为重要。然而现行法律法规在质疑答复实务操作层面规定相对模糊,可执行性不强,为质疑答复带来了一定的困难。本文以案例分析的方式简要介绍了质疑答复工作的基本原则、流程及相关注意事项,希望对完善质疑答复工作起到帮助。

摘要： 为了解决法院判决在境外执行的困难,国际商事法院判决转化为仲裁裁决的做法创设了一种前所未有的执行途径.在法院判决转化为仲裁裁决的过程中,其可行性存在两个方面的障碍,即判决支付争议的可仲裁性和判决转化为的裁决的可执行性.建议我国以解决国际商事法院判决执行难为目标,以当事人意思自治为原则,通过明确金钱支付争议的可仲裁性,尝试在一定条件下将法庭判决转化为仲裁裁决,从而依据《纽约公约》在缔约国内得以承认与执行.

摘要： 在当前景区行业前景看好和景区行业普遍性亏损下,景区投资不仅要进行市场定位,更要强调定位的可执行性而不仅仅是与众不同;景区市场定位的可执行性不仅要重视长期中如何坚持,也要强调因势利导灵活变化.景区定位不仅是总体性的,也是由具体项目组成的一系列感受得到的,需要强调游客得出的结论而不是景区自己的感受,这样的定位才接地气,才能减少投资的风险.为促进景区发展的市场定位不仅仅是景区的意愿,需要大量的社会资源,包括政府资源和商业合作伙伴的认可景区的市场定位,愿意为景区的前景共同努力.

摘要： 《办法》是在对此前相关法规文件进行梳理总结、查漏补缺基础上的完善提升,既完整细致,又具可执行性,应该说非常及时。国家互联网信息办公室、公安部、市场监管总局等7部门日前联合发布《网络直播营销管理办法(试行)》(以下简称《办法》)。

摘要： 实证分析表明,自公证法施行以来,公证债权文书执行制度有效运行,在快速实现债权、减少民事争议等方面发挥了重要作用。但实践中也出现了一些问题,主要表现为赋强公证范围过度扩张,偏离制度目的;相当数量的公证债权文书质量不高,可执行性差;网络赋强公证兴起,亟待规范;公证与审判执行的程序衔接还不够顺畅;等等。解决这些问题,需要加大司法审查和执行实施力度,也需要相关部门切实履行监管职责,加强公证行业自律,深入推进公证领域改革,完善法律制度。建议适时修订公证法,专章规定公证债权文书问题,明确可以赋予强制执行效力的债权文书的范围和条件,明确公证债权文书的形式要件及公证机构的实质审核职责,明确公证债权文书错误导致的赔偿责任并建立相关赔偿基金,确立公证债权文书执行前保全制度,规范公证债权文书执行程序,为充分发挥赋强公证在纠纷预防及国家治理中的正向作用提供制度支撑。

摘要： 在私募股权基金投资日益发展成熟的今天,对赌协议也已成为私募股权投资合同的重要组成部分.对赌协议作为一个创新型金融工具已在国外的应用中发展成熟,签订对赌协议也逐渐成为我国企业融资的一种方式,但对赌协议的有效性似乎并未得到国内法律的明确认可.本文通过介绍对赌协议的概念和法律性质,并对国内第一例经司法程序判定对赌协议无效的案例进行分析,试图论证对赌协议的在中国境内的合法性和可执行性,在此基础上针对对赌协议在签订和执行过程中的风险控制提出看法.

摘要： 本文首先介绍了我国城市水污染状况，再分析了我国城市水污染治理政策及相关法律规定，阐述了以"节流优先，治污为本，多渠道开源"为战略方针的理由。因为法律规定的可执行性有助于法律规定的具体实施，所以最后笔者对如何制定可执行性的城市水污染防治法律规定提出了一些建议。

摘要： 本文首先介绍了我国城市水污染状况,再分析了我国城市水污染治理政策及相关法律规定,阐述了以"节流优先,治污为本,多渠道开源"为战略方针的理由.因为法律规定的可执行性有助于法律规定的具体实施,所以最后笔者对如何制定可执行性的城市水污染防治法律规定提出了一些建议.

摘要： 根据美国和欧盟等发达国家和我国及北京水污染排放标准限值的比较,论证了水污染排放限值和环境保护的关系,提出污染排放限值的标准应符合技术可行性、经济可行性和可执行性,超出实际需要的污染排放限值标准,既不可能实施,也增加企业负担,还浪费宝贵的资源和能源,造成污染,而且不利于环境保护.提出水污染排放标准限值应根据实际测量的地表水的实际污染情况来确定.

摘要： 在现代法学中概念的意义越来越重要，而环境法律中概念的不成系统问题尤为突出。尤其在水法领域，对于水相关概念的使用十分混乱。在《水法》和《水污染防治法》中分别侧重使用“水资源”与“水环境”，从字面上强调了同一事物的二个功用。水法规范上概念的不统一，导致了在实践中对同一事物的分割管理。通过比较法律条文中水相关概念，指出在法律规定中对自然界中统一客体的这种人为区分，不仅违背了自然规律，不符合环境保护中综合统一管理的理念，而且也与法律基础理论不一致，甚至于导致水法实施不力，水体保护面临严重困境。通过对欧盟及德国水的概念考察，结合法律规范客观的可执行性需要，建议用“水体”为核心的水法概念体系来统一水体保护法律规范。

摘要： 在对某磷铁矿地质及周边实地情况调研的基础上,考虑目前企业采矿生产的时效性,以方案可靠、可执行性强为前提,综合考虑最大限度取得效益、最大限度利用资源两因素,确定了采场主要开采方案,同时对矿区的下一步整体规划提出了建议。

摘要： 在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法.新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率.

摘要： 在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法.新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率.

摘要： 在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法.新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率.

摘要： 在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法.新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率.

摘要： 公开了用于平台不可知的可执行内容传递的系统和方法。还公开了在设备上处理以下请求的系统和方法：对远程服务器的请求，该请求针对具有唯一标识符的表单流流程文件，该表单流流程文件被配置为提供对可执行表单的访问；对服务器的请求，其包括设备的渲染语言的信息，当该信息与存储在服务器上的可执行表单不同时，该信息被转换为设备的渲染语言。还公开了设备的系统和方法，包括在设备上接收表单流流程文件，并且在设备上访问来自服务器的表单流流程文件的第一表单，该第一表单以设备的语言进行渲染。通过这种方式，可以根据表单流的需要提供最新的可执行内容。

摘要： 本发明涉及一种转换系统和将可执行程序转换为定制可执行程序的方法。该转换系统将与预定ISA相对应的标准可执行程序转换为能够由通用处理器执行的定制可执行程序。所述处理器包括能够被编程以执行UDI的PEU。转换系统包括PEU编程工具，PEU编程工具将处理器的PEU所要执行的处理操作的功能描述转换为用于对PEU进行编程以响应于UDI来执行处理操作的编程信息。转换器将标准可执行程序转换为定制可执行程序，并且包括优化例程，优化例程用于：利用指定的UDI替代标准可执行程序中的一部分，将UDI插入到定制可执行程序中，以及还插入用于指定UDI以及编程信息在定制可执行程序中的位置的UDI加载指令。

摘要： 本发明提供一种可执行文件查杀加速方法，该方法包括：收集可执行文件列表；根据所述列表采样可执行文件的信息，并利用所述信息建立白名单文件；根据所述列表和信息验证所述白名单文件是否组建成功；客户端查找引擎利用所述组建成功的白名单文件直接获取一正在执行文件的查杀结果。本发明通过使用白名单，提高了杀毒软件的查杀可执行文件的速度，达到文件监控对系统在执行文件的时候，对操作系统干扰最小化。

摘要： 可执行程序创建部(11)使用编译程序，执行根据源代码生成中间表示的词法分析及语法分析的处理。可执行程序创建部(11)执行提取中间表示中包含的FUNCTION调用处理的处理。可执行程序创建部(11)针对提取的FUNCTION调用处理，执行评估根据由可执行程序控制的设备的特性而设定的FUNCTION置换条件的处理。在满足FUNCTION置换条件的情况下，可执行程序创建部(11)执行根据FUNCTION置换规则置换FUNCTION调用处理的处理。可执行程序创建部(11)执行使用置换后的FUNCTION调用处理中间生成可重定位对象的处理。

摘要： 公开了用于平台不可知的可执行内容传递的系统和方法。还公开了在设备上处理以下请求的系统和方法：对远程服务器的请求，该请求针对具有唯一标识符的表单流流程文件，该表单流流程文件被配置为提供对可执行表单的访问；对服务器的请求，其包括设备的渲染语言的信息，当该信息与存储在服务器上的可执行表单不同时，该信息被转换为设备的渲染语言。还公开了设备的系统和方法，包括在设备上接收表单流流程文件，并且在设备上访问来自服务器的表单流流程文件的第一表单，该第一表单以设备的语言进行渲染。通过这种方式，可以根据表单流的需要提供最新的可执行内容。

摘要： 公开了方法和系统，该方法和系统允许用户访问表示可执行表单项的标记，点击并将它们拖动到显示屏幕上的空间中，并构建可执行表单项的表单。所公开的方法和系统允许可执行表单项在用户构建表单时被布置和重新布置。在显示器上构建的表单是可执行的，因为当将标记拖动到表单视图屏幕上时，执行代码附加在表单项上。用户将不需要考虑如何定义表单项发挥作用的方式。也就是说，在单个步骤中，用户将选择一个特定类型的表单项来构建表单，并且这个表单将立即可执行。然后该表单可以成为表单流的一部分。

摘要： 本发明涉及一种转换系统和将可执行程序转换为定制可执行程序的方法。该转换系统将与预定ISA相对应的标准可执行程序转换为能够由通用处理器执行的定制可执行程序。所述处理器包括能够被编程以执行UDI的PEU。转换系统包括PEU编程工具，PEU编程工具将处理器的PEU所要执行的处理操作的功能描述转换为用于对PEU进行编程以响应于UDI来执行处理操作的编程信息。转换器将标准可执行程序转换为定制可执行程序，并且包括优化例程，优化例程用于：利用指定的UDI替代标准可执行程序中的一部分，将UDI插入到定制可执行程序中，以及还插入用于指定UDI以及编程信息在定制可执行程序中的位置的UDI加载指令。

摘要： 本发明公开了通用的分布式云计算系统及通用的分布式云计算方法，使用户通过一个统一的界面在连网的任意一台机器上都可以发布任务和监控任务的执行，而不必对着运行任务的机器操作，通过自动调度，在有任务时，使集群中每台机器都能工作，充分利用硬件资源，任务处理采用多台机器分布式并行计算，可通过扩展计算服务器的数量大大提高处理的速度，另外，由于采用每个任务单独分配给单独的计算服务器进行执行，某台计算服务器出现问题时，其他计算机也可以进行替代执行该任务，该任务的出错不会影响到工程中其他任务的执行，当出现不可恢复的错误时，只需要对计算服务器进行调整，从而将该任务插入至列表从而得到执行。

摘要： 本发明提供一种可执行文件查杀加速方法，该方法包括：收集可执行文件列表；根据所述列表采样可执行文件的信息，并利用所述信息建立白名单文件；根据所述列表和信息验证所述白名单文件是否组建成功；客户端查找引擎利用所述组建成功的白名单文件直接获取一正在执行文件的查杀结果。本发明通过使用白名单，提高了杀毒软件的查杀可执行文件的速度，达到文件监控对系统在执行文件的时候，对操作系统干扰最小化。

摘要： 描述了一种用于操作可执行非易失性存储器中的至少部分可执行程序的方法。方法包括通过用户输入来确定至少部分可执行程序以用于锁定在可执行非易失性存储器中。部分可执行程序被锁定到可执行非易失性存储器中。部分可执行程序然后从可执行非易失性存储器被执行。