一种基于自主处理器硬件Trace的程序回放系统

为了弥补单步、断点等传统侵入式调试方式的不足,越来越多的处理器在设计中加入了硬件Trace功能。现有针对硬件Trace的应用,主要集中在程序调优方面,在基于源代码的程序执行流动态回放方面还存在明显不足。本文基于一款“魂芯”数字信号处理器的硬件Trace,针对现有Trace应用的不足,实现了一种基于源码的程序回放系统,该系统不仅可以满足程序调优的需求,而且可以更好地满足程序调试的需求。

对美国LNT(Leave No Trace)游客教育项目的探讨

美国不留痕迹教育项目 (LNT)的目标是避免或减少对自然区域的资源影响 ,并帮助所有游客获得愉悦的旅游经历 ,本文介绍了美国不留痕迹项目 (LNT)的发展。LNT项目作为一种重要的机制被用于把科学研究成果应用于持续改善低影响技术。通过科研 ,LNT能够为管理者开发适当的培训资料 ,并为游客提供“怎样做”的出版物。另外 ,在美国联邦土地机构、国家户外学校之间的伙伴关系 ,以及零售商的支持合作使这种模式获得极大成功 。

片上Trace辅助的嵌入式多核程序分析与调优

YHFT-QDSP是一款多核处理器,TraceDo是其实时片上追踪调试系统。本文首先将串行二维快速傅立叶变换算法(2D-FFT)并行化,映射于该多核处理器;并基于可视化的TraceDo系统,从多核程序同步及核间数据传输两个方面深入分析了并行2D-FFT程序行为;而后提出并实现了两种性能优化(调优)方案。实例研究表明,TraceDo系统可有效地提高嵌入式多核程序的开发效率。

TRACE日志统计程序设计

随着计算机技术的发展,在项目开发过程中,不断的需要开发一些大型、复杂的软件,如果在开发过程中,做好记录程序运行状态的日志,并及时对这些日志进行统计,将大大提高系统的开发效率。文章给出了TRACE日志统计程序设计,并给出了单进程的运行界面。同时为了让程序适用于云平台,文章还给出了自动部署设计程序。

GameOJ:一种编程能力感知的游戏化在线评测系统

编程能力是计算机相关专业学生的核心能力,对学生编程能力的培养是计算机教育领域一直关注的重要问题。在线评测系统(OJ系统)具有高效、公平和客观的特点,已成为锻炼学生编程能力的重要工具。然而,目前OJ系统仍存在以下局限性:首先,大多数OJ系统没有对学生编程能力进行知识点级别的感知和量化,导致系统适配给学生的编程题难度和学生的编程能力通常不匹配;其次,大部分OJ系统缺乏对激励策略的研究和设计。这些局限性会给学生编程动机的提升和编程能力的巩固、提高带来负面影响。鉴于此,文章设计并实现了一种编程能力感知的游戏化在线评测系统(GameOJ)。该系统采用改进的贝叶斯知识追踪模型(CC-BKT),对各个编程知识点关联的学生编程能力进行细粒度的感知和量化,同时引入了游戏化思想来设计OJ系统中的激励策略,包括游戏化元素设计和游戏化编程挑战流程设计,旨在提升学生的编程学习动机。目前,GameOJ系统已在广西大学多个计算机专业的教学班中进行了部署和应用,并收到了众多来自教师和学生的积极反馈。

基于深度强化学习与程序分析的OJ习题推荐模型

当前Online Judge系统(简称OJ)上存有大量习题,导致学生很难根据自己的知识水平和学习需求快速地找到合适的习题,因此需要设计模型向学生推荐习题。然而,由于OJ的独特性以及程序设计能力评价的复杂性,现有推荐模型不能较好地完成OJ习题推荐任务,主要问题包括:OJ习题知识点标签不足与特有的命题风格使模型难以挖掘习题之间的相关性;学生所提交程序的实际正确性与OJ判定结果存在不一致的情况,使得模型对学生知识状态的评估产生偏差;现有模型较难提供可使学生程序设计能力得到显著增长的习题。据此,提出了一种基于深度强化学习与程序分析的OJ习题推荐模型。首先,分析习题的最优解来挖掘习题之间的相关性;然后,比较学生所提交程序与习题最优解的相似性来检验学生所提交程序的实际正确性,使模型能够更准确地估计学生的知识状态;最后,利用深度强化学习技术并使用知识追踪模型作为学生模拟器,以学生模拟器在解答习题推荐模型所提供的习题前后在所有习题上的表现差异作为奖励,使模型学习到怎样的习题才能够最大程度地提升学生程序设计能力,并将这样的习题推荐给学生。在业界知名OJ系统CodeForces和Libre数据集上进行实验,结果表明该模型相比目前常见的推荐模型具有更优的性能。

面向未解释程序的合作验证方法

未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(counterexample-guided abstraction refinement,CEGAR)框架被提出,并展现了良好的验证效率.即使如此,对未解释程序的验证工作依然需要多次迭代,特别是利用该方法在针对多个程序验证时,不同的程序之间的验证过程是彼此独立的,存在验证开销巨大的问题.发现被验证的程序之间较为相似时,不可行路径的抽象模型可以在不同的程序之间复用.因此,提出了一个合作验证的框架,收集在验证过程中不可行路径的抽象模型,并在对新程序进行验证时,用已保存的抽象模型对程序进行精化,提前删减一些已验证的程序路径,从而提高验证效率.此外,通过对验证过程中的状态信息进行精简,对现有的基于状态等价的路径抽象方法进行优化,以进一步提升其泛化能力.对合作验证的框架以及路径抽象的优化方法进行了实现,并在两个具有代表性的程序集上分别取得了2.70×和1.49×的加速.

基于电网风险评估的事故控制措施分析

针对电网运行过程中存在的风险控制措施不到位的问题,提出了一种基于风险评估的电网事故控制措施.引入经济学领域的效用函数,采用指数型效用函数评估风险严重程度方案,提出了电网风险评估定级方案.采用潮流追踪法建立了发电机注入功率和支路潮流之间风险控制矩阵,通过求解发电机出力的调整量实现对系统风险的控制.对N-1故障条件下的风险等级进行评估,并给出了发电机出力的调整方案.结果表明,所提出的事故控制措施能够避免系统的重过载风险.

濮检4井密闭取心钻井技术

介绍了濮检 4井取心工具的结构特点、钻井液配方及维护处理措施、井身结构优化技术及示踪剂跟踪检测技术应用情况 ,该井岩心收获率达 1 0 0 % ,密闭率 91 .8% ,满足了地质要求 。

基于SINUMERIK 802D R参数编程加工空间复杂曲面

以加工由余弦函数曲线、抛物线、椭圆曲线形成的空间三维复杂曲面为例,对复杂曲面的成形分析,确定合理的加工走刀路径,应用SINUMERIK 802D系统中的R参数编程方法,选择合理的变量参数,在满足粗加工、精加工不同加工要求的条件下,优化加工程序。通过给变量参数赋值的方式,实现人机的交互。

一种高精度全天候太阳跟踪仪的设计

设计了一种高精度全天候太阳跟踪仪,解决了光电传感器在阴云天气无法准确跟踪太阳的困难。跟踪仪具有两种可以自动切换的跟踪方式:实时跟踪方式和程序跟踪方式。对程序跟踪进行了误差修正,实现了两种跟踪方式的平稳切换。选用两级减速传动机构:齿轮传动和蜗轮蜗杆传动,减速比达360:1。采用了消隙齿轮机构消除了齿轮啮合的空回误差,提高了传动的精度和平稳性。经实验验证,高精度全天候太阳跟踪仪的跟踪误差小于0.1°,从而提高了太阳能的利用率和太阳辐射测量数据的准确度。

基于点的三角形构网算法及等值线自动生成方法

总结了各种等值线生成的方法及特点,详细阐述直接利用三角形网格生成等值线的原理、实现方法,独立开发出基于VC 的Contour绘图类,并嵌入电磁资料处理系统软件,为电磁资料的等值线可视化表示提供了便利。

面向收敛的并发程序执行轨迹静态简化方法

轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.

程序控温石墨消解-氢化物原子荧光光谱法测定植物中痕量硒

探讨了硒测定的几种预处理方法,采用一种程序控温的石墨消解系统来消化处理柑橘叶、茶叶、灌木叶、圆白菜、大米五种代表性的植物标准样品。详细研究了这类植物样品前处理方法中消解液用量、消解温度以及消解时间对植物样品中硒提取效果的影响;优化了氢化物发生-原子荧光光谱法(HG-AFS)的仪器参数条件;在氢化物反应条件中重点考察了还原剂KBH4浓度和酸度(HCl)对硒测定的影响,不仅考虑了载流HCl浓度的影响,还从样品HCl浓度就酸度对硒测定影响作了进一步细致研究,从而建立了石墨消解-氢化物发生原子荧光光谱法测定这类植物样中痕量硒的最佳测定方法。结果显示:该方法中硒加标回收率在87.1%～106.2%,检出限0.018μg·L-1,精密度RSD<6.0%,标准物质的测试结果与参考值均相吻合;在0～10μg·L-1低标范围内和在0～100μg·L-1高标范围内,荧光值与硒浓度均呈线性相关,相关系数分别为r=0.999 9和=0.999 7。因此该方法具有线性范围宽、灵敏度高、检出限低,稳定性好的显著特点,尤其适合如柑橘叶、茶叶、灌木叶、圆白菜、大米等这类批量植物样品硒的痕量分析,且该方法操作简便安全,实用性强,仪器成本低,所用试剂毒性小,可作为一般实验室的常规分析方法。

飞机表面绕射射线的寻迹方法

研究一种电子对抗特种飞机表面绕射射线的寻迹新方法.对飞机进行快速三维几何建模和表面网格剖分,并根据需要对几何模型的剖面和结点加密,生成飞机表面网格数据;选定寻迹区域,对飞机表面网格结点进行管理,根据费马原理,采用改进的动态规划方法,在飞机表面网格上快速、准确地实现任意源点和绕射接收点间的短程线计算;在此基础上,采用递归方法实现可视化的几何绕射理论(GTD)、一致性几何绕射理论(UTD)绕射射线离散寻迹.绕射射线离散寻迹为数值方法求解机身表面任意两点间的天线隔离度提供了条件.

程序不变量检测技术

基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。

球形容器局部加热过程数值跟踪与分析

局部补焊修复的球形容器通常采用局部加热来降低焊接残余应力,但局部加热过程本身也会带来相当大的残余热应力.对球形容器的局部热处理,各国的压力容器规范中均没有给出有效的控制方案.利用ANSYS软件提供的APDL语言,基于瞬态热分析和“观察区域”平均温度控制方法,开发出了球罐局部加热过程有限元跟踪程序,并取得良好的精度.系列计算表明,小范围集中加热会造成较大的局部鼓胀残余变形和足以引起屈服的残余热应力,而采用大面积分散加热可以对残余变形和残余应力实现有效控制.分析表明,ASME锅炉压力容器第Ⅷ卷中给出的简单局部热处理方案尚不足以指导工程应用.

线性规划对古典经济学理论的贡献

线性规划理论与方法的产生与发展,不仅用于研究解决有限资源的最佳分配问题,以便最充分地发挥资源的效能去获取最佳经济效益,而且为古典经济学理论提供了一个很好的分析框架。本文从CGE模型的构建过程以及对偶线性规划、影子价格等方面阐述了线性规划理论与方法对古典经济学理论的贡献。

GTD应用中任意凸曲面表面爬行波射线寻迹

射线寻迹是几何绕射理论 (GTD)解决高频电磁散射和辐射问题的关键步骤 .本文通过引入动态规划的数学优化方法 ,得到了任意凸曲面表面绕射射线的一般寻迹规划模型 .并对无限长圆柱、旋转抛物面和任意构造的一凸曲面上爬行射线进行了寻迹计算 ,结果表明模型方法是正确的 .该方法还可以应用到非均匀媒质任意凸曲面的爬行射线寻迹 .

基于MC9S12DG128B的智能模型车设计

以飞思卡尔公司的l6位微控制器MC9S12DG128B作为核心控制单元,设计了智能循线模型汽车控制系统的软硬件.主要包括传感器选型及信号采集处理、电机和舵机的控制等部分.采用l4对红外光电传感器作为信息采集模块,安装在小车前部,检测跑道信息.通过电路和程序对传感器信号进行采集和处理,获取车模相对赛道的偏移量、方向、速度等信息,对模型车转向舵机和驱动电机进行控制,完成智能模型车在不同弯道和速度下对转向和加减速的柔性控制.