C语言程序关键词序列表示法

提出C语言程序关键词序列表示法,以消除由于个性化编程所造成的代码的不同,以证明程序是相同的.     

C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

基于HTML5与CreateJS的《数据结构与算法》演示平台

《数据结构与算法》的教学过程中,需要使用各种演示工具以帮助学习者理解课程内容。现有的演示平台存在不少缺点,无法满足学习者新的需求。针对数据结构课程的特点进行分析,根据演示平台的基本要求,结合JavaScript语言的特性,提出基于HTML5与CreateJS技术构建新型演示平台的方法,为跨平台体验与动态开发等问题提供解决方案,总结实现步骤并提供运行示例。     

VAX/VMS Ada编译中存贮空间的动态分配

VAX/VMS编译程序在编译过程中要动态地请求大量的存贮空间。在语法分析阶段构造抽象语法树(AST),要求分配工作空间,在形成树节点时,要为树节点分配空间;语义分析阶段将抽象语法树转换成Diana树,必须对抽象语法树进行扩充,此时也需要动态地分配空间;在编译后端,线性化和代码生成阶段同样需要申请存贮空间。系统一切资源     

基于双师工作室的产教融合培养装备制造业人才的探索

为了当前解决高职人才培养不能很好适应装备制造产业需求的问题,本文提出校企联合搭建“教师+技师”双师工作室,以此为依托,开展“学赛研融合式”人才培养实践,形成“三化一体”工匠型人才实践创新能力培养体系,通过产学研“三对接”服务当地产业,取得一定的成效。经实践表明,基于双师工作室的产教融合培养,对人才培养质量的提升起到了较大作用,为粤西高职装备制造高端技能人才培养提供了新路径。     

小功率直流随动系统的微处理机双模控制

本文对数字随动系统的双模控制进行了一些探讨,对非线性控制段(?)控制)及线性控制段(PID控制)的控制规律进行了理论分析,推导出了离散的控制算法。对系统的硬件部分(包括PWM功率放大器,位置,转速和电流的检测电路,计算机的接口电路等)作了较为详细的介绍,给出了控制软件的框图及实验结果。文章表明:随动系统的双模控制-这种较为理想而用模拟电路实现又较为复杂的控制方案,用微处理机来实现则简单易行,调试方便,算法改变灵活。因此在微处理机大量引进和生产,价格日趋低廉的今天,随动系统的双模控制这种曾经引起控制工程师们注目的控制方法可望得到广泛的推广应用。     

入库径流预报误差随机模型及其应用

为了在量化入库径流预报误差的条件下有效提高调度方案制作的精度，基于高斯混合模型（GMM）良好的自适应性，能更准确地描述单一预见期径流预报误差分布的特点，以及高维meta-student t Copula函数具有将多个类型边缘分布有机耦合的优势，建立了多个预见期入库径流预报误差的GMM-Copula随机模型。以雅砻江流域锦屏一级水电站水库为例，对预见期分别为6 h、12 h、18 h、24 h的入库径流预报误差进行了分析与随机模拟。结果表明，随着预见期的增加，模拟误差与实际误差的主要统计特征值相差不大，满足预设精度要求，且变化规律一致，验证了模型的可行性与有效性，为水库调度方案的编制与实施提供了参考依据。     

磁暴扰动下电力系统故障风险评估方法与模型

磁暴灾害影响电力系统运行,破坏电力设备,甚至引发大面积停电事故。针对目前电力系统规划、调度决策和安全防御体系需要把握和量化电力系统磁暴灾害风险的需求,提出电力系统磁暴灾害风险评估方法与模型。首先分析电力系统磁暴灾害特点及其影响因素,在此基础上设计磁暴灾害下电力系统运行模拟程序,并借助软件平台搭建磁暴扰动与电力系统运行混合模型;之后在极值理论基础上建立磁暴扰动模型与概率测度,以此作为扰动量输入混合模型进行仿真模拟;最后从设备过载、节点电压越限和线路过载的角度定义基于熵理论的电力系统运行风险指标,建立电力系统磁暴灾害风险综合评估模型。利用GIC Benchmark算例系统进行仿真计算,结果验证了所提方法与指标的正确性和有效性。     

中小学心理健康教育教师专业化问题与对策研究

我国中小学心理健康教育教师专业化进行得较为迟缓,在专业化发展中存在着专业制度尚待完善、专业知能较低、专业主体性不强、专业发展缺乏源动力等问题.根据这几个方面,笔者提出了相应的对策来促进中小学心理健康教育教师的专业化发展.