程序升温热重法研究神府高温煤焦-CO2气化反应性

在制焦温度为1223~1773 K内,制备了慢速和快速神府煤焦,采用程序升温热重法研究了煤焦-CO2高温气化反应性。主要研究了升温速率、制焦温度和热解速率对煤焦反应性的影响,并对一种高温慢速热解焦(制焦温度为1573 K)的程序升温和等温动力学进行了比较。结果表明:升温速率对煤焦-CO2气化反应有明显影响;制焦温度较高的煤焦反应性较低;快速热解有利于提高煤焦的反应性;由程序升温法和等温法所得活化能随转化率变化呈现不同的趋势,但所得活化能的平均值分别为160.13 kJ/mol和163.21 kJ/mol,十分接近。     

On-Line Scheduling with Rejection on Identical Parallel Machines

In this paper, we consider the on-line scheduling of unit time jobs with rejection on rn identical parallel machines. The objective is to minimize the total completion time of the accepted jobs plus the total penalty of the rejected jobs. We give an on-line algorithm for the problem with competitive ratio 1/2 （2 ＋√3） ≈ 1.86602.     

量子程序设计语言初探

结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

一种有效地检测权限提升攻击的审计机制

在分析了权限提升攻击一般步骤的基础上,针对其会在系统中留下的攻击痕击,提出了一种新的审计机制,即在每次通过调用系统函数execve执行新的应用程序时,跟踪进程的real userID、effective ID以及saved set user-ID值的变化,从而可以准确地检测出各种针对特权程序的权限提升攻击.     

数据库技术对Web问卷数据缺失校验的优化研究

减少缺失数据是提高“问卷有效率”的重要环节。主要根据统计分析的要求,从技术角度微观地探讨如何在ASP中利用数据库技术防止缺失数据,即通过Recordset对象中nelds集合的字段名（Fields（）．Name）网络问卷表单的对象名（Name）进行关联,优化缺失数据校验程序,设计出更简洁、灵活且不受问卷试题规模影响的校验程序,增强了Web问卷的通用性,提高了“问卷有效率”．达到事半功倍的效果。     

论我国流通政策体系的优化与完善

随着社会主义市场经济体制的完善及我国加入世界贸易组织,现有的流通政策体系暴露出很多问题。通过对国情的研究及国外经验的借鉴,全面优化与完善我国的流通政策体系,是解决流通业目前存在的问题及实现流通现代化的必要措施。     

基于GOCAD的FLAC3D前处理方法研究

由于GOCAD软件具有强大的建模功能,能方便快捷地建立出复杂的地质体,但未能提供数值模拟。FLAC3D只能靠键入式输入命令进行建模,工程量大、易出错,但其强大的数值分析功能刚好弥补GOCAD的不足。GOCAD导出的模型文件格式不能直接被FLAC3D软件识别,要用程序语言编写从GOCAD转换到FLAC3D的接口程序,从而实现二者的转换。利用Matlab以及C++语言来编写转换接口程序,完成二者六面体网格信息的转换,从而实现三维地质模型在FLAC3D的快速简便建模。该方法简单实用,被广泛应用于地质工程、地球物理勘探、矿业开发、水利工程中。     

程序执行的时空测量方法研究

程序执行时所花费的时间和内存空间是评价一个程序性能优劣的一个重要指标。理论上,可以借助于数学这个强有力的工具估算出程序的时间复杂度和空间复杂度,然后用这两个标准来度量程序的效率;实际上,在源代码在线评测系统这样的实际系统中无法使用。文章对程序执行时所花费的时间和内存空间的测量方法进行大量深入的研究,基于DOS平台,提出了计时法。利用clock和coreleft测量程序执行的时间和空间;基于Windows平台,利用Get Process Times和Get Process MemoryInfo测量程序执行的时间和空间,在四川理工ACM中得到应用,实践证明这些方法正确、有效。