程序结构

摘要： 检察监督与审判独立的关系一直存在争论,从权力属性及其运行规律、检察监督程序结构、监督方式选择和优化几个角度进行考察,检察监督与审判独立相统一具有内在必要性和客观可能性.在当前中国的国家机构架构及权力运行模式下,检察监督对审判独立具有促进和保障作用,需要坚持并继续优化,以实现相关权力的合法合理行使及司法公正的价值追求.

摘要： 食品生产流水线随着人们对安全性要求的提高促使需要检测项目越来越多,比如产品内部异物的检测、产品封盖或封膜质量的检测、产品生产日期喷码的检测等.每一个检测项定义为一个工位,由于现场的环境工况较复杂,有时无法按方案中的工位布局在现场实施,需要调整工位布局,布局调整后以往的做法是需要对应的修改控制逻辑程序,导致工作量较大,出错率较高,时效性无法保障等问题.本文主要研究一种新的程序结构,以适应现场的各种布局要求,经过后期的现场验证得到了较好的预期效果.

摘要： 当下中国教育界正在探讨以“大概念”构建课程和教学方法,这将给中国教育带来新的思想、新的方法,并使之产生新的面貌。大概念是“一个学科中具有覆盖性和迁移性,能够有助于组织知识的高位的重要概念和思想”,是课程知识向核心素养转化的中介机制。尹少淳教授指出:目前在中国少儿美术教育中,“大概念”还处于“相识”期,达到“深交”期尚需时日,如何运用“大概念”组织少儿美术教学活动,还是一个崭新的课题。笔者尝试将“大概念”的思想引入少儿陶艺教学,以学科大概念为核心,立足生活价值,以主题为引领进行单元化教学,形成一个可具操作性的程序结构供探讨。

摘要： 简要介绍了LabWindows/CVI的软件开发应用优势,并分析了基于LabWindows/CVI的通信电源系统的软件安装调试、系统开发环境、通信技术的实现方法、函数面板文件的开发以及调试工具的开发等。对LabWindows/CVI的通信电源系统进行自动化测试,并得出测试结果,以此作为通信电源系统自动化发展的参考。

摘要： 以冬奥会为契机,按照学期初的教研工作计划,笔者在今年5月份准备了一节区级公开课。这节课的教学内容是北京版的信息技术教材第3册第三单元中的第18课"选择程序结构"。本节内容是在学习了读懂流程图、会使用基本语句和搭建顺序程序结构的基础上学习的。选择结构是程序设计的基础,但相比顺序结构更为复杂。这节课的教学对象是北京延庆城区六年级的学生,他们知道学习程序设计的必要性。

摘要： 针对当前输油气管道站控系统程序存在的问题,本文提出站控系统结构化程序设计方法,探讨程序结构设计标准化、通用控制功能模块标准化、变量定义标准化、程序注释标准化和其他编程要求标准化等内容,为实现站控系统程序标准化提出技术方法及管理建议.

摘要： 应用LabVIEW软件,进行For循环、While循环和条件结构3种典型的程序结构的设计,并分析各程序结构在工程实际中的应用,如数据的生成、采集、单次或循环显示、故障报警等,其图形化的语言,与传统的文本编辑语言相比较中,展现出巨大的优势.

摘要： 在软件工程领域中,程序自动合成是一个非常核心的研究方向,并且在软件开发活动如此普及的社会中有望成为未来软件工程变革的核心技术.随着多年该领域的研究发展,已经衍生出了很多种不同的流派与技术路线.本文针对程序合成领域的发展现状与技术研究进展做了综合叙述,并探究目前程序合成领域所面临的挑着与未来一段时间内需要解决的问题.

摘要： 新一代全球/区域多尺度通用数值分析同化与预报系统(GRAPES)按照模块化、标准化的程序结构,开发建立了插拔式可移植的区域中尺度和全球中期物理过程软件包,物理过程的完整性与国外先进的模式相当.GRAPES设计了物理过程与模式框架连接的三层结构程序界面,为物理过程的插拔使用提供了一个友好界面.通过个例数值试验,对格点暴雨现象进行了分析,改进了垂直速度计算方案,通过调整GRAPES物理过程方案的相关参数,对降水方案进行了优化;结果表明,物理过程降水方案经过改进后,基本消除了虚假的格点暴雨现象,提高了降水预报的准确率.

摘要： 通过开卷机带尾张力控制优化这一实例对后处理线开卷机处张力控制进行深入研究.本文介绍了开卷机处张力控制原理,开卷机变频器矢量控制结构,变频器转矩限幅控制在张力控制上的应用,张力控制相关程序结构.

摘要： 针对空间数据可视化问题,简要介绍Direct3D固定图形渲染管线和绘制程序结构,研究和探讨了虚拟三维地形实时构建、渲染、漫游及其实现技术,采用规则格网(Regular square grid,RSG)模型来组织和表达地形数据,同时向场景添加天空和直升机模型,以增强逼真效果,通过构建虚拟相机来控制场景漫游.

摘要： H.264编解码器的软件实现是嵌入式应用领域的热门研究课题。在此介绍X264的程序结构和编码流程以及以S3C2440为硬件平台，在Linux开发环境下实现基于H．264的264编码的移植过程和方法。实验结果表明，在qcif分辨率下，可以获得近实时的解码和播放。最后针对视频流进行实时编解码和播放的要求．提出对编解码优化的方案。

摘要： 本文提出了一种利用蚁群算法实现程序主变元分析与确定的方法,使用属性约简模型,将输入/输出变量间的相互关联关系作为启发式信息引入蚁群算法来分析程序主变元.实验结果表明,本方法是行之有效的,可以更为准确地确定程序主变元.

摘要： 现代工业生产中，经常需要使用多个设备或部件一起协同动作来完成一个特定的生产或工艺过程。多丝焊接系统由一个行走小车、若干个焊接电源、以及与焊接电源相同数量的送丝机组成。协同控制器的作用是控制这些设备协同工作并形成良好焊缝。本文以多丝焊接系统为例，引入一种作业/动作/进程的立体程序结构。按生产工艺的过程，把设备的动作分为几组，设备的动作在该结构内部同步。基于这种结构，程序具有容易编写容易理解的特点。这种协同控制方法也可以推广到其它多设备系统中。

摘要： 介绍了北京城铁ATP系统安全编码逻辑的技术要求,分析其计算机联锁实现的数据结构及程序结构,并阐述了在实现过程中所采用的提高可靠性与安全性的措施.

摘要： 本文介绍一种将手动运行程序与自动运行程序综合起来的PLC顺序功能程序的设计方法,该方法能够简化程序逻辑,使程序结构规范,编程简单快速.

摘要： 本文从系统组成、程序结构、数据定义、接口定义等方面论述利用设备自带网页来操纵嵌入式linux设备的方法。

摘要： 本文介绍了多进程技术在水电厂计算机监控系统中的应用,分析了使用多进程技术的优越性,讨论了多进程技术在实际工程应用中的优势,描述了多进程技术在H9000 V3.0现地程序中的应用.

摘要： 一种基于程序结构特征的恶意程序检测方法，1）恶意程序特征库的建立；2）恶意程序变形变种的检测；3）函数结构信息的提取；4）函数参数个数的提取；5）恶意程序特征的提取；6）恶意程序族的族特征提取；在建立恶意程序特征库时，首先对用于训练的每个恶意程序族中的每个样本程序进行程序结构分析与提取，获得其程序特征；然后对所提取的恶意程序族中各个样本程序的程序特征进行融合；在恶意程序变形变种检测时，首先对待检测程序进行程序结构分析，获得其程序特征；然后将待检测程序的程序特征分别与恶意程序特征库中的恶意程序族的族特征进行相似度匹配，判断是否为已知恶意程序的变形变种。

摘要： 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c‑use和p‑use的二次分割，将p‑use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。

摘要： 本发明公开了一种基于Clang程序结构的控制流程图自动生成方法，具体为：首先，逐行读入数据库中的Clang程序结构分析器的分析结果；分析结果包括程序编码块，本行程序代码所在的行数，本行代码相对于程序起始的偏移量，本行代码所占字节数，本行代码中的关键字相对于程序起始的偏移量以及本行中的关键字信息所占字节数；对程序块编码分析；最后控制流程图绘制，输出svg文件。利用该方法能够很好地解决不同语句之间的嵌套问题，同时可以分析逻辑复杂的程序，并正确地生成其控制流图，解决了程序流程的可视化问题，进而为基于流程图的程序分析和程序理解提供良好的基础。

摘要： 本发明公开了一种基于程序结构影响感知的软件错误定位方法，步骤包括：提取程序集中各版本的程序语句的覆盖信息—错误语句在所有失败的程序执行中运行的次数和语句在所有成功的程序执行中运行的次数，选择某种可疑度函数，计算错误语句的可疑度；统计程序错误版本中各语句的可疑度值；构造程序结构对当前使用的错误定位方法的影响函数，利用该影响函数对可疑度函数进行校正和优化；在程序后续版本的错误定位过程中，根据程序的每条语句的运行特征，利用上述校正和优化之后的可疑度函数，计算每条语句的可疑度，然后根据可疑值从大到小对语句进行排序，根据此顺序对程序语句逐条排查，定位程序中的错误。本发明提高了错误定位的准确度。

摘要： 一种基于程序结构特征的恶意程序检测方法，1）恶意程序特征库的建立；2）恶意程序变形变种的检测；3）函数结构信息的提取；4）函数参数个数的提取；5）恶意程序特征的提取；6）恶意程序族的族特征提取；在建立恶意程序特征库时，首先对用于训练的每个恶意程序族中的每个样本程序进行程序结构分析与提取，获得其程序特征；然后对所提取的恶意程序族中各个样本程序的程序特征进行融合；在恶意程序变形变种检测时，首先对待检测程序进行程序结构分析，获得其程序特征；然后将待检测程序的程序特征分别与恶意程序特征库中的恶意程序族的族特征进行相似度匹配，判断是否为已知恶意程序的变形变种。

摘要： 本发明涉及一种核电厂运行程序结构化的设计方法。该方法包括：S1、对核电厂数据标准化处理，形成运行程序的结构化元素；S2、形成结构化运行程序，结构化运行程序的每个步骤包含结构化元素；其中逻辑顺序包括顺行操作、并行操作、跳项操作和循环操作；S3、对执行程序过程中提供数据处理和自动计算功能和自动报警提醒；S4、在结构化程序的基础上，识别程序执行过程中的潜在的人因失误风险点，设置防人因失误手段。本发明对核电厂的不同运行程序进行统一结构化设计，增加多种防人因失误设置，能大幅降低核电厂人因失误的概率；还解决了核电厂运行智能化困扰，提高核电厂智能化水平；同时减少对操作人员的依赖，提高核电厂安全性。

摘要： 本发明公开了一种基于Clang程序结构的控制流程图自动生成方法，具体为：首先，逐行读入数据库中的Clang程序结构分析器的分析结果；分析结果包括程序编码块，本行程序代码所在的行数，本行代码相对于程序起始的偏移量，本行代码所占字节数，本行代码中的关键字相对于程序起始的偏移量以及本行中的关键字信息所占字节数；对程序块编码分析；最后控制流程图绘制，输出svg文件。利用该方法能够很好地解决不同语句之间的嵌套问题，同时可以分析逻辑复杂的程序，并正确地生成其控制流图，解决了程序流程的可视化问题，进而为基于流程图的程序分析和程序理解提供良好的基础。

摘要： 本发明公开了一种程序结构可视化方法、设备、存储介质及装置，该方法包括：遍历页面对象列表，将遍历到的页面对象作为当前页面对象，记录所述当前页面对象中的页面元素之间的关系描述数据；通过预设可视化工具建立实例化对象；从所述关系描述数据中提取出所有的页面元素，将所有的页面元素作为所述实例化对象的节点；根据所述关系描述数据建立所述节点之间的连线，所述节点和所述节点之间的连线构成所述页面元素之间的关系网络；通过所述预设可视化工具将所述关系网络进行展示。基于页面数据分析，通过所述预设可视化工具将所述页面元素之间的关系网络进行展示，直观的将前端开发的逻辑性进行展示，使得系统的逻辑结构易于理解。

摘要： 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c‑use和p‑use的二次分割，将p‑use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。

摘要： 一种阶梯性程序结构由内伸出光伏板的车，其特征将多层太阳板安装于车顶，通过电机两次驱动，使太阳板从车顶铁盒架内向外四面两次伸出，使车顶太阳板面积增大7倍后，接受阳光发电，给电动车大蓄电池充电，充完电后通过各电机两次的反驱动，将各太阳板收回原位，车顶仍保持原位。