BINELOCA 程序与广东岭澳核电站大破口失水事故分析

ＢＩＮＥＬＯＣＡ程序是在吸收国外先进大破口失水事故分析计算机程序的基础上，针对我国现有大破口失水事故分析程序的不足和工程应用方面的问题，采用了一些成熟的、新型的和当今国际公认的瞬态热工水力数学物理模型以及水和蒸汽性质参数计算公式改编而成的大破口失水事故分析程序。通过对广东岭澳核电站大破口失水事故的计算表明，ＢＩＮＥＬＯＣＡ程序计算的结果与法国计算的结果是一致的。     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.     

视觉技术在YP19装封箱机中的设计与应用

介绍视觉技术在YP19装封箱机的装箱过程中的应用,简述视觉技术系统的基本组成、工作原理及软件设计。     

行为优化提升软件配置管理

软件配置管理包括对代码、文档、数据等的管理,其优劣受限于项目成员的实际操作。开发人员对于工作区如何使用;成员之间的代码是不是可以及时更新与同步;怎样使用分支,如何进行变更合并,才能减少物理空间浪费和事件延迟。这些问题在实际的项目开发中往往被忽视,亦或团队并没有对成员行为作细节的规范,因而许多软件项目出现了工期推迟或代码质量不高等问题。为此提出了一系列管理措施,通过优化软件配置管理规范项目各成员的行为,以保证高效的软件配置管理的实施。     

基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

面向信息处理的突发事件语料库分类体系研究

本文分析了突发事件新闻的特点、建设突发事件新闻语料库的目的和意义,研究了突发事件新闻语料的分类体系和编码。研究结果对突发事件新闻语料库的建设、突发事件新闻信息检索、国家相关部门对突发事件应急处理方案制定以及对流行病学的医学研究等领域具有一定的理论意义和应用价值。     

区位码/国标码输入法技术初探

计算机技术领域中,使用键盘输入汉字的方法实质是区位码/国标码输入法。本文介绍了区位码/国标码输入法的现实意义,IME的组成结构以及区位码/国标码输入法的发展动态。主要说明区位码/国标码输入法在中文键盘输入法的重要地位,并简单分析了中文键盘输入法编辑器的组成结构等技术。     

基于差分相关的星载AIS信号帧同步

在星载AIS接收机中,船舶信号在传输过程中产生的大范围时延和多普勒频移,给正确解码带来了困难。针对这一问题,基于AIS帧结构特点,提出一种差分相关帧同步算法。算法中将AIS帧结构中训练序列、开始标志和结束标志设计为间隔式特征序列作为同步码,通过差分相关函数来实现帧同步。仿真实验结果表明,该算法有较好的抗频偏特性,且在低信噪比下,性能要优于差分卷积法。     

嵌入式二维码数据无线多点传输系统设计

设计了一种基于FreeRTOS嵌入式操作系统的二维条码无线传输系统,描述了系统的软硬件实现方法和多点数据传输的链路控制机制。系统主控芯片采用通用的MCU芯片STM32,结合二维码扫描引擎和蓝牙传输模组实现多个扫描终端与基座间的数据传输。     

基于Maven的J2EE后台管理系统代码生成器

后台管理系统功能和模式相对固定,为了降低软件开发人员的重复工作量,缩短项目的开发周期,应用基于模板技术的代码生成原理,设计一款基于Maven的后台管理系统代码生成器,完成从业务模型到后台管理系统的代码生成;从业务文件定义、业务文件解析到模板合成阐述本代码生成器的内部结构。