程序规范

摘要： 在计算机时代刚开始的时候,文字处理便成为计算机技术的底层核心。我国拥有悠久的文化传承历史和深厚的文化底蕴,汉字数量十分庞大,这一度成为我国文字迈入信息时代的难题。在解决了汉字编码难题,将简化汉字纳入计算机后,随着考古的不断突破,又出土了大量古代历史文献,满足独特的古文字字形的数字化需求也被提上议程。现有的古文字字库虽然数量足够多,但使用起来不够灵活。基于古文字字体文件的制作实践,深入分析古文字数字化中的疑难问题,进一步探索出可广泛应用、程序规范的字体文件制作模式,旨在让古文字资料库灵活地显示在更大范围的数字荧屏上。

摘要： 近年来,省人力资源和社会保障厅始终高度重视政协提案办理工作,形成了“上下联动、责任明晰、程序规范、开门办理”的工作格局,以提案办理工作提质增效促进全省人社事业高质量发展。加强领导、压实责任,强化提案办理力度高度重视。省人力资源和社会保障厅党组高度重视提案办理工作,动员全厅上下站在坚持中国共产党领导的多党合作民主协商这一基本政治制度的高度。

摘要： 《中华人民共和国民法典》的实施宣告我国正式迈入民法典时代。税收作为一种“公法之债”,其法律关系往往以民事法律关系为前提和基础,形成“民法定性在前,税法定性在后”的法律秩序。《民法典》合同编占据整个法典的半壁江山,相关的合同新规会对纳税人、征税对象、税率、纳税环节、纳税期限等税法实体规范和程序规范产生直接或间接影响。对此,税法应积极回应这些合同新规,根据实际需要对税法的相关理论和规则予以调适,进而促进与《民法典》合同新规的衔接与协调。

摘要： 文书提出义务制度是强化当事人收集证据能力、解决诉讼中"证据偏在"问题的一项重要制度.中国新出台的《证据规定》在借鉴大陆法系国家规定的基础上对文书提出义务制度内容进行完善,从立法和司法层面分析可知,该制度存在主体范围过于狭窄、制裁规则单一、救济程序不完善等设计缺陷.结合域外规定,通过扩展主体范围至第三人、丰富制裁规则、完善救济程序等途径能够弥补文书提出义务制度的实质性、程序性缺陷,确保最大程度发挥其保护当事人证据收集权、实现实体正义与程序正义相统一的制度优势.

摘要： 实践中,要提高退回补充侦查质效须注重程序规范,遵循一定的原则和方法,本文对此作些探讨。一、检察机关退回补充侦查的原则2020年3月最高人民检察院、公安部联合印发了《关于加强和规范补充侦查工作的指导意见》,其第三条规定了补充侦查的五项原则,即必要性、可行性、说理性、配合性、有效性。

摘要： 现场勘验笔录作为《民事诉讼法》规定的法定证据种类之一,对于查明案件事实、化解矛盾纠纷及实现公平正义具有重要的意义.当前我国民事勘验制度不仅存在主体不适格、勘验人员专业知识不足等严重影响勘验工作质量的弊端,而且现行《民事诉讼法》及相关法律规范更缺乏有关现场勘验的具体操作细则,致使相关民事裁判文书事实认定不清、证据不足,丧失公信力.为进一步实现庭审实质化,应由专业人员履行勘验职责,补足勘验笔录的证明力,使得勘验过程更加规范化、制度化,从而推动社会公平正义.

摘要： 2018年以来,南昌市深化农村集体产权制度改革,推进构建“归属清晰、权能完整、流转顺畅、保护严格”的中国特色社会主义农村集体产权制度,极大激发了集体经济发展活力,巩固了党在农村的执政基础。2020年全省调研检查中,湾里管理局、南昌县成绩位列全省第一位和第二位;南昌县代表全省接受农业农村部第三方评估时,获得“程序规范,群众参与度高、满意度高、获得感强,成效十分显著”的高度评价。

摘要： 围绕中国科协要求,结合学会及各专业委员会的实际情况,拟2021年度学会重点开展的工作及活动计划如下:1.加强政治引领,推进学会党建。在组织认真学习领会党的十九届五中全会精神基础上,做到理事会功能型党委职责明确,党委成员分工有序,工作程序规范合理。功能型党委参与学会“三重一大”事项前置审议,学会充分落实党委的政治引领、思想引领和组织保障作用。2.在理事长及理事会统一领导下,各专业委员会团结协作,组织召开好学会40周年庆祝大会暨2021第三十一届科技年会。40周年庆祝大会将通过形式多样的活动,强化学会在感光与影像界的地位,增强学会对全国感光与影像科技工作者的凝聚力。

摘要： 美国拥有一套体系完整、程序规范、职责清晰的财政监督系统,是世界上财政监督体制最完善的国家之一。反映在核力量预算管理中,总统、国防部长、能源部长、国会和行政部门等都不具有绝对权力,只有相对权力,相互之间均受到其他部门、人员的制衡和限制,从而在一定程度上避免了滥用职权和超越权限的现象发生。美国对核力量预算监督包括国会监督、行政部门监督和公众监督等。

摘要： 加强纪检监察工作规范化法治化建设,是健全党和国家监督体系的重要举措,是推动新时代纪检监察工作高质量发展的重要支撑,也是纪检监察机关接受最严格的约束和监督的应有之义。去年以来,我们将规范化法治化建设作为有效提升纪检监察机关治理体系和治理能力现代化的重要抓手,以制度建设规范化为基础,以业务工作规范化为主线、以队伍建设规范化为保障,坚持用制度管住权力,以程序规范业务,以机制促进提升,切实推动纪检监察工作高质量发展。

摘要： 随着我国财政科技投入的不断增加，对科技管理工作提出了更高的要求，科技项目科学规范验收问题日显重要。我国应通过建立科技项目验收评估制度和程序规范，保障科技项目验收评估的健康发展，促进政府高效管理。

摘要： 《国家中长期教育改革与发展规划纲要》明确提出"高校应依法治校,依法制定大学章程",这是大学走向依法治校的关键一步,也是实现现代大学制度创新的重点.但大学章程建制如何体现现代大学制度创新之精神,则是一个大学普遍关注但又极难破解的难题.比如大学章程如何反映内部治理结构、如何体现多元利益主体诉求、如何处理建制中的若干矛盾关系以及大学章程建制的理论基础与政策规范等等问题,已成为当前中国大学章程建制过程中需要解决的重点.本文基于对国家政策、治理理论以及实践基础的认识,主要从大学功能定位、程序规范以及建制原则等方面入手,对在现代大学制度建设框架下的大学章程建制的若干问题进行了初步思考,希望通过对我国当前大学章程的建制工作起到一定的促进与引导作用.

摘要： 本发明首先针对源代码进行了五种代码特征定义模型的抽象化封装，并且通过程序元素间的属性关联实现了这五种代码特征定义模型的融合，为用户提供了一种融合的多维代码查询特征定义模型。使用文本式的查询语言PRDL，在解析PRDL的语义和执行其语法动作的同时，实现了对于目标程序源代码的对应分析和检查。通过使用本发明，用户能高效快捷的对编码规范规则进行形式化定义，并对代码进行自主检查，从而达到提高代码整合质量、提高编程效率的技术效果。

摘要： 本发明提供一种基于PRDL规则描述语言的C语言代码规范检查装置及其检查方法，代码规范检查装置包括五个功能模块：规则解析器，程序解析器，规则检查引擎，缺陷报告器，用户交互接口。其中，规则解析器由语义解析器和查询优化器两个子功能模块组成，负责解析PRDL规则语义生成初始逻辑查询计划，再对该计划进行重写优化。程序解析器由代码行解析器、标记流解析器、语法树解析器三个子功能模块所组成，负责对源代码进行文本特征抽取和结构特征抽取，将抽取得到的三个层次(代码行、标记、语法树)的模型融合成C程序模型。本发明对用户选择或定义的PRDL规则进行语义解析，从而获取违背规则的缺陷代码相关信息，将检查结果报告给用户进行审核与评估。

摘要： 本申请提供了一种程序代码规范性的处理方法、装置及存储介质，处理方法包括：对待检查程序代码进行解析，确定出目标代码对应的二维数组；查找出二维数组中至少一个目标关键字符以及目标关键字符对应的位置信息；基于每个目标关键字符对应的位置信息，确定出每个不符合预设编程规范的关联关键字符对应的位置信息，将位置信息一同存储至插入点列表中，并确定出不符合预设编程规范的子代码；基于预设编程规范和插入点列表，对不符合预设编程规范的子代码进行更改，生成符合预设编程规范的目标代码。通过自动检测出不符合预设编程规范的子代码，并对不符合预设编程规范的子代码进行自动修改，在降低人力成本的同时，还可以提升程序代码的修改效率。

摘要： 用于规范化入口点指令的系统和方法，包括：接收在可执行代码的入口点出开始的指令的范围。对于指令范围中的每条指令，做出该指令是否执行有效操作、或者该指令结合另一指令是否使其中一个指令或两个指令无效的确定。过滤无效指令，使得它们不出现在输出缓存器中。

摘要： 本申请提供了一种输出规范表示的应用程序接口数据的方法及装置，其中，该方法包括：实例化至少一个对象得到至少一个对象实例，并据此标记至少一个应用程序接口的属性标识；利用所述属性标识对该应用程序接口所关联的文档对象模型进行递归解析，得到该应用程序接口所关联的所有对象；静态分析应用程序接口所关联的所有对象，并基于静态分析结果创建数据格式；动态分析应用程序接口所关联的所有对象，并基于动态分析结果更新以所述数据格式规范表示的应用程序接口数据；输出更新后的以所述数据格式规范表示的应用程序接口数据。本申请能够实现规范表示应用程序接口数据，可以基于相关联的运行平台来优化API的应用，从而给实际使用过程带来极大方便。

摘要： 一种由计算机系统执行的方法，该方法包括：访问指定要由该计算机程序实施以对该结构化数据项中的一个或多个字段的一个或多个值进行处理的多个模块的规范；将该规范变换为实施该多个模块的计算机程序，其中，该变换包括：针对该多个模块中的一个或多个第一模块中的每个第一模块：识别该多个模块中的一个或多个第二模块，该一个或多个第二模块每个都接收至少部分地基于该第一模块的输出的输入；以及将该第一模块的输出数据格式规定为使得该第一模块仅输出该结构化数据项中的一个或多个字段的一个或多个值。

摘要： 基于图的程序规范(110)包括对应于任务的组件和组件的端口之间的有向链路，包括：链接的组件的端口之间的第一类型的链路配置，其对应于控制的传送或单个数据元素的传送；以及链接的组件的端口之间的第二类型的链路配置，其对应于多个数据元素的传送。编译器(120)生成包括表示至少一个控制图的控制代码的目标程序规范，所述控制图包括表示组件的图节点，其中至少两个图节点基于第一类型的链路连接。计算节点(152)启动目标程序规范的执行，并且管理第二类型的链路的计算资源，计算资源包括以下中的至少一个：用于存储由输出端口提供的数据元素的缓存器，或用于存储提供给输入端口的数据元素的缓存器。

摘要： 一种基于图的程序规范(628)，包括：多个组件，每个组件对应于一处理任务并且包括一个或多个端口，端口包括用于发送或接收单个数据元素的标量数据端口和用于发送或接收多个数据元素的集合的集合数据端口；以及一个或多个链路，每个链路将上游组件的输出端口连接至下游组件的输入端口。生成用于表示多个组件的子集(630，631)的准备好的代码，包括：识别一个或多个子集边界，包括识别将一组件的集合数据端口连接至一组件的标量数据端口的一个或多个链路；基于识别出的子集边界形成子集；针对每个形成的子集生成准备好的代码，当用于被运行时系统执行时，代码使得执行与每个形成的子集中的组件相对应的处理任务。

摘要： 基于图的程序规范(110)包括对应于任务的组件和组件端口之间的有向链路，包括：由链接的组件的相应输出和输入端口定义的第一类型链路配置，和由链接的组件的相应输出和输入端口定义的第二类型链路配置。编译器(120)识别不同类型的链路配置，并且在目标程序规范中提供目标原语的出现，用于为流过第二类型的链路的数据元素的每次出现执行函数。计算节点(152)启动所述目标程序规范的执行，以及对于与目标原语的出现相关联的组件，在运行时确定对应于组件的任务的实例将被调用的顺序，和/或执行对应于组件的任务的实例将所位于的计算节点。

摘要： 基于图的程序规范(628)包括：多个组件，每个对应处理任务并包括发送或接收一个或多个数据元素的一个或多个端口；和一个或多个链路，每个将多个组件的上游组件的输出端口连接到多个组件的下游组件的输入端口。生成表示多个组件的子集(630,631)的准备好的代码包括：至少部分地基于链接的组件的特性，识别不同子集中组件之间的多个子集边界；基于所识别的子集边界形成子集；和为每个形成的子集生成准备好的代码，当用于运行时系统执行时，使得根据为该形成的子集的准备好的代码中嵌入的信息来执行与该形成的子集中的组件对应的处理任务。