关于运维操作站规范化管理策略探讨

运维站的成立彻底调整了变电运行的模式,不仅达到了减人增效的目的,而且规范了运行管理,提高了生产效率,在其运作过程中,安全运行、规范管理问题尤显重要。     

XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．     

中晚期垃圾渗滤液难降解有机物的生物处理进展

介绍了中晚期垃圾渗滤液的生物处理技术现状,归纳了各种生物处理方法的技术特点及其处理难降解有机物的效果。分析了目前常用的生物及物化处理技术成本。认为中晚期垃圾渗滤液中含有的有机物大都难于生物降解,仅采用生物法处理效果有限,而与高级氧化等物化法联用虽然能取得较好的处理效果,但会大幅增加处理成本。认为应充分发挥生物法的技术优势,筛选可利用或促进利用难降解有机物的高效微生物,提高中晚期垃圾渗滤液的可生化性,针对中晚期垃圾渗滤液氨氮含量高的特点,也可与反硝化等脱氮工艺相结合,实现同步、深度脱氮、除碳,期望未来扩展生物处理技术及工艺的应用领域,降低中晚期垃圾渗滤液的处理成本。     

浅谈数据挖掘在财务分析中的应用

随着企业会计信息化的日益发展,企业数据的处理也从简单的查询统计功能向辅助决策功能进展.该文结合数据挖掘的概念,分析了数据挖掘在财务分析中的意义,列举了数据挖掘在企业财务领域中的具体应用,并进一步给出数 据挖掘在财务分析中应用的方法和步骤.     

一种编译优化测试用例自动生成方法的设计与实现

编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.     

一种融合程序员和神经网络的自动化程序生成方法

程序生成是人工智能的核心研究问题之一,当前输入输出样例驱动的神经网络模型是非常流行的研究方法.面临的主要挑战是泛化能力差、生成程序准确率保证、难以处理复杂程序结构(如分支、循环、递归等),主要原因是模型的输入信息单一(输入输出对)和完全依赖神经网络.显然单一地通过输入输出样例倒推程序行为存在歧义性,而神经网络的记忆容量很难满足常规程序的变量存储需求.提出一种人工与神经网络生成相协作的编程模型,融合神经网络和程序员各自的优势,其中程序员用高级编程语法编写程序框架,神经网络自动学习生成程序局部的琐碎细节,从而促进自动化程序生成方法更好地应对实际应用挑战.实验表明,研究方法是有效的,跟同类代表性研究方法相比表现出更好的学习性能.     

磁化诱导技术在水生态修复中的应用与研究展望

介绍了磁化诱导技术及其原理,及其在水生态修复中的应用,认为磁化诱导效应可在水生动物种群优化、水生植物恢复、底泥修复等方面扮演重要角色,具有强化现有水生态修复技术修复效果、降低修复成本等优势。未来应对多种磁化参数、不同生物磁效应差异的机理、多种水生生物复合磁效应和大水体磁化方式的应用等开展进一步研究。     

虚拟机确定性执行重放的模型分析和实现方法

进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.     

辅助函数的构造

多数微积分教材在证明时,采用辅助函数,但辅助函数如何构造出来的,并没有给出详细论证。研究了辅助函数的构造过程,找到了满足罗尔定理的辅助函 条件,给出了另外几种辅助函数,并旭纳为更一般的辅助函数。