执行环境

摘要： 基于史密斯政策执行过程模型和米特-霍恩政策执行系统模型理论,结合问卷调查、专家访谈等研究方法构建了学校体育政策执行结构方程模型,并借助该模型对学校体育政策执行机制和执行效果进行分析.结果显示:学校体育政策执行结构方程模型对于学校体育政策整体执行效果研究具有导向作用,政策本身、执行主体、目标群体、政策所处资源环境以及执行过程是学校体育政策执行效果的5个重要影响因素.

摘要： 高质量发展开启了我国经济发展新时代。经济高速增长时期的相关政策,越来越不适用于高质量发展的要求,必须构建全新的政策体系。高质量发展是践行新发展理念的发展,其政策体系的构建要遵循创新、协调、绿色、开放、共享的本质要求。为确保政策实施,必须营造宽松的政策执行环境。

摘要： 国家治理现代化重在提升制度执行力.政府作为制度执行主要主体,是提升制度执行力的关键.改革开放以来特别是党的十八大以来,我国的制度体系日趋完善,制度执行力不断提升.但在制度执行中还不同程度地存在着执行主体执行意愿不强、执行时效迟缓、执行精准度不高和执行绩效打折等问题.究其原因,主要在于:制度设计不够科学合理,执行主体综合素质不够高,体制机制不健全,执行环境欠佳等.要提高制度执行力,需做到:提高制度设计的科学性;提高执行主体的能力素质;建立健全科学合理的执行机制;优化制度执行环境.

摘要： 2018年12月4日晚,深圳市政府正式印发《关于以更大力度支持民营经济发展的若干措施》(以下简称《若干措施》)。《若干措施》共提出降低企业生产经营成本、缓解融资难融资贵、建立长效平稳发展机制、支持企业做优做强、优化政策执行环境等五大举措。重点内容可概括为“四四三二”,即四个千亿、四个计划、三个机制、二个平台。

摘要： 赛普拉斯半导体公司推出PSoC 6 MCU中的一个新系列产品,旨在进一步帮助设计人员强化物联网应用的安全性。在PSoC 6超低功耗架构的基础上,全新PSoC 64 Secure MCU将强大、遵循安全标准的系统层安全软件与硬件层功能集成在一起,即:PSoC 64 Secure MCU拥有隔离的信任根(rootoftrust)能够提供可靠的验证和配置服务。此外,该系列MCU还拥有预先配置的安全执行环境,能够支持不同物联网平台的系统软件,提供TLS(传输层安全)身份验证、安全存储和安全固件管理等功能。该系列MCU还包括了用于应用开发的丰富执行环境,以及赛普拉斯ModusToolbox套件的嵌入式RTOS,以管理与安全执行环境之间的通信。

摘要： 目的研究执行环境对增加设计本身的传达效果的影响。方法主要使用分类法,将视觉展示的附加元素分为稳定附加和变动附加两种,提出视觉设计预设理念的有效性与执行环境之间的关系。结论个体都有将周围信息自动联结的本能,使得个体对于视觉传达设计的理念认知不可避免地受到执行环境的影响。设计师有效利用执行环境的原理,通过预设视觉设计的执行环境影响因素,将之作为设计传达的辅助,使视觉设计预设理念更完美的呈现,从而进一步加强视觉传达设计预设理念传播的有效性。

摘要： 党内法规执行力问题既聚焦了理论关注,也有丰富的实践探索.目前,党内法规在执行力上尚存不足之处,其主要原因在于党内法规转化能力不足、 运行机制不健全、 执行系统环境缺漏等.对此,应注重对执行环境的建构,完善党内法规体系,加强党内法规与国家法律的衔接,健全党内法规运行机制,以进一步增强党内法规执行力.

摘要： 执行力是政府工作的生命力,加强政府执行力建设是当前政府工作中迫切的政治任务.近年来,虽然我国政府加强了执行力建设,但仍存在诸多问题,需进一步提升.文章认为可以通过公务员、政府、社会环境3个层面来完善.

摘要： 今年以来，海口海事法院围绕“当事人满意度、法官执行环境、数据指标走向”三个视角，举全院之力，扎实推进基本解决执行难工作，取得阶段性成效。2016年至2018年5月，全院共办理首次执行案件858件，执结817件，执结率95．22％，执行到位金额7．28亿元，其中实际执结率66．32％，实际执行到位率30．74％，执行完毕率56．64％，信访化解率100％，分别高出全省中级法院均值15．13、14．67、19．72和40．92个百分点；终本率28．97％，低于全省中级法院均值2．63个百分点。

摘要： 本文分析了我国出现"上有政策、下有对策"现象的深层次原因,对中国特殊的政策执行环境研究不充分,是其中一个重要根源.针对这种情况,本文提出了建立具有中国特色的政策执行模拟系统,即政策实验室.然后,进一步分析了建立政策实验室的若干问题,并从系统学角度对政策实验室的本质进行了阐释.

摘要： 任何网络都有可能出现故障,能否及时发现故障,是提高网络可靠性的关键.集中式的网络故障管理模式是一种被动的模式,任何故障的检测都依赖网络管理站;相反,主动网络故障检测充分利用被管节点的本地处理能力,利用反应式移动代理主动探测本地网络中的故障信息,实现网络故障的现场检测.执行环境是主动网络故障检测系统的重要组成部分,为反应式移动代理的编制、管理、运行和迁移提供支持,使整个故障检测系统具有更强的自治性和灵活性.

摘要： 本文运用移动代理（Mobile Agent）构建分布式数据库管理系统（Distributed Heterogeneous Database Management System），利用移动代理跨平台、自治性、可移动的特点，支持分布式异构数据库管理系统在不确定网络上对松耦合（Loosely Couple）的分布式数据库做信息查询。

摘要： 本文运用移动代理（Mobile Agent）构建分布式数据库管理系统（Distributed Heterogeneous Database Management System），利用移动代理跨平台、自治性、可移动的特点，支持分布式异构数据库管理系统在不确定网络上对松耦合（Loosely Couple）的分布式数据库做信息查询。

摘要： 本文运用移动代理（Mobile Agent）构建分布式数据库管理系统（Distributed Heterogeneous Database Management System），利用移动代理跨平台、自治性、可移动的特点，支持分布式异构数据库管理系统在不确定网络上对松耦合（Loosely Couple）的分布式数据库做信息查询。

摘要： 本文运用移动代理（Mobile Agent）构建分布式数据库管理系统（Distributed Heterogeneous Database Management System），利用移动代理跨平台、自治性、可移动的特点，支持分布式异构数据库管理系统在不确定网络上对松耦合（Loosely Couple）的分布式数据库做信息查询。

摘要： 本文运用移动代理（Mobile Agent）构建分布式数据库管理系统（Distributed Heterogeneous Database Management System），利用移动代理跨平台、自治性、可移动的特点，支持分布式异构数据库管理系统在不确定网络上对松耦合（Loosely Couple）的分布式数据库做信息查询。

摘要： 在一个实施例中，一种装置包括：计算逻辑，其用于：接收多个等待证书，并基于该多个等待证书来生成局部均值，每个等待证书与分布式账本系统的经验证的交易区块相关联；计时器生成逻辑，其用于：至少部分地基于局部均值来生成用于与分布式账本系统的第一交易区块相关联的等待证明的等待时间；计时器逻辑，其用于：标识等待时段何时已期满；以及证书生成逻辑，其用于：响应于等待时段的期满，为第一交易区块生成等待证书，该等待证书用于验证该第一交易区块。描述了其他实施例并要求它们的权利。

摘要： 本发明公开一种执行环境的虚拟化方法，所述方法应用于移动终端，所述移动终端具有硬件提供的普通执行环境；在所述普通执行环境中为用户建立普通虚拟机和可信虚拟机，所述普通虚拟机用于执行所述用户的普通应用，所述可信虚拟机用于执行所述用户的安全应用；为所述普通虚拟机和所述可信虚拟机进行内存分配，并建立所述普通虚拟机的普通内存与物理内存的映射关系得到第一内存映射表；建立所述可信虚拟机的虚拟物理内存与物理内存的映射关系得到第二内存映射表。本发明利用两台虚拟机为用户模拟普通执行环境和可信执行环境，使得普通应用和安全应用运行于独立的执行环境中，达到安全应用和普通应用的执行环境隔离，保证用户数据安全。

摘要： 本申请提供一种基于可信执行环境的业务流程执行方法及电子设备，通过将实现业务流程的功能需求的多个算法集成至一个TA，使得TA可以连续运行多个算法处理业务数据，既可以减少REE侧与TEE侧的交互次数，又能减少建立/释放内存映射关系的次数，达到提升REE侧与TEE侧的交互效率的效果。该方法包括：CA向TA仅发送一次业务请求；其中，业务请求携带有业务流程标识，业务流程标识用于指示TA所需执行的业务流程，业务流程包括N个算法；响应于业务请求，TA至少将业务数据的句柄分别输入N个算法来处理业务数据，得到N个运行结果；TA向CA反馈业务流程的执行结果；其中，N个算法包括最后被执行的第N算法，所述执行结果包括第N算法的运行结果。

摘要： 本发明公开了一种面向联盟链的基于可信执行环境的智能合约并发执行方法，基于可信硬件SGX创建一个可信环境来保证合约执行结果的正确性和不可篡改，并将节点按逻辑角色分至主节点、执行节点和同步节点，主节点在路由层按合约进行打包，使得不同合约的区块可以被不同的执行节点并行处理，并且同步节点仅仅通过简单的状态复制便可进行状态同步，无需重新执行。通过获取最简读写集，减少了Enclave的传输开销。通过利用读集的Merkle证明以及大部分节点共识通过的Merkle根验证读集的正确性，保证了系统的安全性。本发明可应用于联盟链，在保证系统安全性的前提下，通过将智能合约的并发执行与可信硬件相结合下提高了系统吞吐率。

摘要： 本发明公开一种执行环境的虚拟化方法，所述方法应用于移动终端，所述移动终端具有硬件提供的普通执行环境；在所述普通执行环境中为用户建立普通虚拟机和可信虚拟机，所述普通虚拟机用于执行所述用户的普通应用，所述可信虚拟机用于执行所述用户的安全应用；为所述普通虚拟机和所述可信虚拟机进行内存分配，并建立所述普通虚拟机的普通内存与物理内存的映射关系得到第一内存映射表；建立所述可信虚拟机的虚拟物理内存与物理内存的映射关系得到第二内存映射表。本发明利用两台虚拟机为用户模拟普通执行环境和可信执行环境，使得普通应用和安全应用运行于独立的执行环境中，达到安全应用和普通应用的执行环境隔离，保证用户数据安全。

摘要： 本公开的示例实施例涉及针对在可信执行环境(TEE)中执行的可验证性。根据一种方法，由第一装置向第二装置传输对任务的执行的请求，任务包括要被执行的多个功能。基于第二装置的至少一个可信执行环境中的预期执行计划，从多个功能的标识信息生成第一验证密钥。从第二装置接收针对任务的执行结果和第二验证密钥。通过比较第一验证密钥和第二验证密钥，确定执行结果的正确性。通过该方案，可以提供由远程设备返回的执行结果的正确性的可验证性，并且在安全、信任和隐私方面实现高性能。

摘要： 本发明涉及一种用于执行可编程逻辑控制器的面向事件的控制程序的执行环境，其中控制程序包括多个要依次执行的功能模块，执行环境被设计为，在发生分别与各个功能模块相关联的激活事件时事件控制地执行功能模块。在此，要依次执行的功能模块的各个激活事件形成事件链。执行环境包括用于监控事件链的功能模块的执行持续时间的监控模块，其中，监控模块被设计为，检查执行持续时间是否超过预先给定的持续时间。

摘要： 本说明书的实施例提供基于AMD SEV的可信执行环境架构以及可信执行系统。该可信执行环境架构包括：指令仿真器，将非法操作码陷阱处理程序挂钩在Enclave虚拟机和应用程序虚拟机两者的内核中来模拟执行SGX指令；Enclave管理器，部署在Enclave虚拟机中，用于创建并管理Enclave应用程序；内存管理器，对Enclave虚拟机的内部内存进行管理，以允许Enclave应用程序访问所述Enclave虚拟机的内部内存以及所述Enclave虚拟机的外部内存，同时禁止所述Enclave虚拟机的外部组件访问所述Enclave虚拟机的内部内存；以及跨虚拟机通信器，实现所述Enclave虚拟机与所述应用程序虚拟机之间的跨虚拟机通信。

摘要： 提供了用于有效地为按需代码执行系统配置执行环境以处置单个用户的单个请求(或会话)的系统和方法。一旦会话或请求完成，就重置所述执行环境，诸如通过使所述硬件处理器状态、存储器和存储装置重置。特别地，在代码的执行之前，检索所述主机计算装置的所述执行环境的状态，诸如硬件处理器、存储器和/或存储装置状态。此外，在所述代码指令的执行期间，可收集中间状态。在代码的执行之后，基于与所述硬件处理器、存储器和/或存储装置有关的所保存的状态而重置所述执行环境。随后的代码执行在所述执行环境中安全地发生，并且再次重置所述执行环境，等等。

摘要： 本发明公开了一种支持可信执行环境的智能合约执行方法，区块链共识节点监听与采集交易请求，并获取部署于区块链的智能合约，智能合约包括普通执行代码与可信执行代码，智能合约中的普通执行代码由智能合约虚拟机完成执行，可信执行代码加载于可信执行环境中完成执行，可信执行环境部署一个可信的桩程序以及与其配合的签名私钥，桩程序由远程认证机制保证其安全性，桩程序加载智能合约中的可信执行代码并完成其完整性检验，对执行结果及代码完整性签名。本发明可以实现在区块链环境中执行安全的智能合约代码，合约代码可以包含普通代码以及可信执行代码，普通执行代码能够高效执行，可信执行代码则可以被安全执行，执行过程安全可验证。