peC语言的部分求值器及在编译器测试中的应用

部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了实际应用和验证.

ATLAS语言实现中的设备分配算法研究

ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该算法能够以较高的效率实现静态设备分配.

Excel财务管理应用研究

Excel是现代财会人员手中的电子算盘。是日常财会工作中应用最多的数据分析工具。但是广大财会人员~Excel的应用水平大多处于初级阶段，而且在Excel应用中存在很多误区。根据笔者在会计师、注册会计师和高级会计师全国统一考试辅导时问卷调查得出的结果，一共发放问卷360份，回收有效问卷326份。

现代信息技术环境下借贷记账法的改革

记账方法是会计理论的重要组成部分,是会计确认、计量、记录和报告的基础。现代信息技术在会计中的应用,从客观上要求对会计核算方法进行改革。本文从现代信息技术的特点出发,论述借贷记账法对会计核算的负面影响及其改革的必要性,阐述了I/O记账法的基本原理,说明了现代信息技术条件下运用I/O记账法构建的记账凭单数据库结构,提出了全面改革现代会计模式的初步设想。

小企业会计信息化若干问题研究——兼论实施《小企业会计制度》对会计信息化的影响

本文主要以《小企业会计制度》的颁布实施为背景,探讨《小企业会计制度》对会计信息化的影响。

小企业会计信息化若干问题探讨

本文主要以已颁布即将实施的《小企业会计制度》为背景 ,分析小企业会计信息的规范要求 ,探讨小企业会计制度对会计信息化的影响 ,提出小企业会计信息化的对策。

我对现金流量表的几点认识

财政部日前发布了《企业会计准则——现金流量表》,并要求我国境内的所有企业从1998年1月1日起执行。为什么要改财务状况变动表为现金流量表?现金流量表与财务状况变动表究竟存在什么区别?现金流量表所提供的信息有什么作用?为了增强对编制现金流量表的理性认识,本文就这些问题谈点自己的看法。

C/ATLAS单动作测试语句实现的操作语义描述

针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动作语句的功能及其制约关系.由于该操作语义基于抽象机,所以在此基础上可以很容易得到单动作信号语句的实现程序.

试论企业会计行为的标准与优化

随着现代企业制度的确立和经济体制改革的不断深化,作为商业语言的会计也发生了深刻的变革,成为作用于企业微观管理,服务于国家宏观调控,为债权人和投资者提供决策信息的重要信息系统。社会经济环境的变化从客观上要求强化会计责任、拓展会计职能、规范会计行为,这就促使我们研究会计行为的标准,探索优比会计行为的途径。本文拟对此谈点粗浅的认识。 一、企业会计行为及其与社会经济环境的关系 企业的会计行为什为社会经济管理活动的一种客观存在,是随着社会经济环境的变化而变化的。有效的企业会计行为必须同时具备两个条件。

过程式语言中递归的消除

尾递归化是程序分析中的一个基本方法 ,通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析 。

IT环境下损益类会计科目改革与利润表编制方法优化

从现代信息技术特点出发,论述损益类会计科目改革的必要性、损益类科目改革的基本原理,说明损益类科目改革的具体思路,阐述利润表编制方法的优化,提出在信息化环境下利润表编制优化的方法,为有效实施企业会计准则奠定基础。

对质量担保会计处理的意见

在市场经济体制下,企业为了提高产品的市场占有率,解除消费者的后顾之忧,不断推出各种各样的产品质量担保方式。这种质量担保在企业销售成立时就因为企业的质量承诺而发生,如果发生需要企业履行承诺的事项,必然使企业发生费用支出或损失。这种支出或损失是过去的销售行为而产生的,只是在销售时不知道确切的金额而已。根据配比原则,应该在销售成立时就列作当期费用估计入帐,也可在会计期结束时一次估计入帐。因此,质量担保从会计核算的角度来看,其性质是一种估计负债。

网络环境下有理数借贷记账法研究

本文从信息时代会计信息化的背景出发,分析了现行借贷记账法的弊端,构造了有理数借贷记账法的基本模型,并指出了推行有理数借贷记账法对会计信息化的影响,探讨了有理数借贷记账法下记账凭证和会计账簿的基本结构,为现代信息技术条件下的网络环境中改革会计确认和计量方法提供了理论依据。

易自燃厚煤层采空区自然发火特性的研究

通过对北皂煤矿采空区煤炭氧化自燃模拟实验,以及对采空区温度、气体成分进行测定分析,得出北皂煤矿4402综采放顶煤工作面采空区的煤炭自然发火特性,从而为合理选择预防采空区煤炭自然的措施提供了科学依据。

面向科研实践的本科毕业论文改革探索

总结了计算机专业本科毕业生毕业论文的设计与实现中存在的一些问题。提出了通过改革现行教学体系来提高本科生毕业论文质量的具体实现方案。论证了该实现方案的可行性。

编译原理实践课程教学方法研究

探讨了开设《编译原理》实践课程的必要性,研究了《编译原理》实践课程的“实例-阶段-循环”教学方法,制定了相应的教学方案,并将其应用到实际的教学中。该项研究对高校更深入的教学改革和创新人才的培养具有一定的意义。