基于Petri网分析循环语句的并行性

利用Petri网可以处理并发事件和进行并行处理的优点，结合Petri网的相关理论．对单重循环语句及多重循环语句用Petri网进行表述，通过Petri网的描述更利于分析循环语句的并行性．对单重循环的先赋值后引用和先引用后赋值的并行性的特点进行详细的分析．     

Pascal语言标准化程序设计

Pascal语言标准化是把Pascal程序语句间的逻辑关系充分体现在程序书写格式上,主要包括语句的分行处理、行缩进处理和关键字大写处理。     

Turbo Pascal的并发程序单元

对用Turbo Pascal3.0实现的并发设施作了修改,修改后的子程序收入两个外部程序单元。它们可供Turbo Pascal 4.0及以上版本成功地调用。     

8086宏汇编语言与多种高级语言的通用软件接口

本文分析了宏汇编语言和高级语言各自的优点和缺点,阐述了这两者之间建立通用软件接口的必要性;指出了编译BASIC,FORTRAN,Pascal,C语言在过程调用和数据格式上存在的差异;介绍了8086宏汇编语言和数种高级语言通用接口的设计方法。该方法能使不同语言的主程序方便地调用汇编语言子程序。     

VHDL RT级综合中赋值语句的优化算法

在基于硬件描述语言VHDL的电路系统综合中,系统的实际功能是由各种形式的赋值语句来描述的,而赋值语句的核心是各种形式的表达式。当设计的规模变大后,去除大量冗余的赋值语句和公共子表达式（含运算的重定序问题）就成为关系到所设计系统性能的两类重要的优化问题。对各种可能出现的赋值语句组合情况进行研究后,得到一系列的处理规则,进而提出一种基于规则的算法,用来消除赋值语句冗余;对于第二类问题的两个子问题,通过一种基于代数中基本定律的算法同时解决之。实验结果表明,解决第一类问题的算法在处理赋值语句冗余和二义性方面是有效的,解决第二类问题的算法比传统的DAG算法更具普适性。     

基于变量间依赖关系的软件可信度量模型

针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.     

DFMapper:基于查询树的SQL-to-HiveQL自动翻译工具

Hive作为建立在Hadoop上的数据仓库,已成为很多企业处理大数据的首选。然而,传统企业中大量的遗留应用依赖于传统关系型数据库(RDBMS),迁移时需要翻译大量查询语句。提出了一种基于查询树的SQL到HiveQL的自动翻译方法。该方法利用SQL解析器将SQL语句解析为查询树,提供8种不同的重写策略重构查询树,进而将其转化为正确的HiveQL语句,实现了一个翻译工具——DFMapper。在基准测试集TPC-DS上进行的查询实验证明,DFMapper可以正确翻译绝大多数的查询语句,并且具有很强的扩展性。     

基于.Net反射原理的DLL动态加载机制设计与应用

为了提高软件开发的复用性,在项目的开发过程中,都会将不同的功能模块划分到不同的DLL(动态链接库)中,进行模块化开发。但是,由于DLL文件都是在编译时与主程序进行绑定共同完成编译,所以,如果DLL文件进行了修改,必需修改主程序并重新编译整个项目,否则原来的主程序无法使用新的DLL文件。为了解决这个问题,提出了一种基于.NET的DLL动态加载方案,使DLL文件能够在修改后,能够在主程序不改变和整个项目不重新编译的情况下进行动态加载。通过本方法的使用,能够在项目延期时,利用后期的动态加载机制,使已完成部分正常上线使用,延期模块一旦完成,直接加入即可使用,从而为项目进度提供了可靠保证。     

C语言语句使用频度的自动统计方法设计与实现

讨论了C语言语句静态使用频度的统计方法,给出了完整的自动统计的C语言源程序及C语言语句静态使用频度.统计结果成为缩短高级语言和机器语言间语义差距,缩短编译程序的长度和编译所需时间的重要依据.     

一类单元赋值语句型循环不变式的开发方法研究

依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用 Dijkstra 最弱前置谓词方法确认了循环不变式的正确性。最后通过典型实例来说明该方法的应用。     

网格中流水式计算的一种任务指派算法

为取得网格中流水式计算的高吞吐率,提出一种任务指派算法X max min.在一个流水线中,任务彼此是并行的,且每个任务本身是可并行化的.当多个任务被指派到同一个并行系统时,通过最小化任务计算成本的最大值确定每个任务分得处理机的个数.任务用于收发数据集的通信成本依赖其他任务的指派,故当相关任务的指派未完成时,需要在任务通信成本中引入均值估计.任务响应时间是计算成本和通信成本之和,它是任务指派的函数.用max min算法确定任务指派,可有效降低任务响应时间的最大值,从而使流水线的吞吐率得到提高.仿真实验表明,X max min算法使流水线取得的吞吐率与复杂的Taura算法相当.     

基于ORC的OpenMP编译器设计与实现

该文提出了一种OpenMP翻译技术,旨在提高OpenMP编译系统的性能,并在这种技术基础上构造了一个完整的基于ORC的OpenMP编译系统。系统采用了下面的主要技术来提高性能:1)系统集成在后端的优化编译器中,具有更多的优化机会,并可以采用更为精细的开销模型;2)提出了一种基于指导语句全局嵌套类型的OpenMP翻译技术,可以有效地减少翻译代码的长度,并减少运行时开销。这个OpenMP系统从设计开始,就是为了提供一个合适的编译技术研究平台,具有更好的可控制性、可调试性和丰富的工具支持。     

一些图运算下的k-角色分配

给定图G,考虑从其顶点集到角色集{1,2,…,k}的一个满射r。对任意2个具有相同角色的顶点,如果它们邻域所拥有的角色构成的集合相同,则称r为G的一个k-角色分配。对一些图运算下的k-角色分配进行了研究,这些图运算包括联、笛卡尔积、字典式积、弱直积,Mycielski图。     

Java/JSP编译器对汉语编码的处理方式

分析Java语言在英文字符和GB 2312码、字节和U n icode、UTF-8、S tring和byte[]等编码方面存在的问题,从Java编译器和JSP编译器两个方面提出Java编程中解决汉语编码的处理方式。     

基于拓扑化简的多接口无线mesh网络信道分配算法

为了解决多接口无线mesh网络的信道分配问题,提出了一种能够适应不同接口数和信道数的对不同网络业务量模式具有通用性的低复杂度算法。基于一种启发式信道分配策略,该算法根据各节点配置的接口数去除多余的链路,使信道分配方案能够充分利用多信道资源。在该文研究的网络场景下,该算法可使信道分配方案的总冲突数持续降低并最终达到0,所得到的最佳方案的网络容量可达到单信道情况的约5倍。引入拓扑结构化简技术改进了多接口无线mesh网络的信道分配算法。     

基于拓扑化简的多接口无线mesh网络信道分配算法

为了解决多接口无线mesh网络的信道分配问题,提出一种能够适应不同接口数和信道数的对不同网络业务量模式具有通用性的低复杂度算法。基于一种启发式信道分配策略,该算法根据各节点配置的接口数去除多余的链路,使信道分配方案能够充分利用多信道资源。在该文研究的网络场景下,该算法可使信道分配方案的总冲突数持续降低并最终达到0,所得到的最佳方案的网络容量可达到单信道情况的约5倍。引入拓扑结构化简技术改进了多接口无线mesh网络的信道分配算法。     

Using the Dempster-Shafer Theory of Evidence to Rank Documents

Multi-source information can be utilized collaboratively to improve the performance of information retrieval. To make full use of the document and collection information, this paper introduces a new information retrieval model that relies on the Dempster-Shafer theory of evidence. Each query-document pair is taken as a piece of evidence for the relevance between a document and a query. The evidence is combined using Dempster’s rule of combination, and the belief committed to the relevance is obtained. Retrieved documents are then ranked according to the belief committed to the relevance. Several basic probability assignments are also proposed. Extensive experiments over the Text REtrieval Conference (TREC) test collection ClueWeb09 show that the proposed model provides performance similar to that of the Vector Space Model (VSM). Under certain probability assignments, the proposed model outperforms the VSM by 63% in terms of mean average precision.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

“机械制造基础平台”课程群项目化整体改革

基于工学结合人才培养模式改革,从而推动了"机械制造基础平台"课程群项目化整体改革。该文结合课程改革现有基础明确了任务驱动、项目导向的课程群整体改革思路,通过对课程群工作任务定位确定课程群内容、课程架构以及课程群项目载体,并通过课程实践总结收获,提出思考。