内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

Static extensivity analysis for λ-definable functions over lattices

We employ a static analysis to examine the extensivity (∀x:x≤f(x)) of functions defined over lattices in a λ-calculus augmented with lattice operations. The need for such a verification procedure has arisen in our work on a generator system (called Zoo) of static program-analyzers. The input to Zoo is a static analysis specification that consists of lattice definitions and function definitions over the lattices. Once the extensivity of the functions is ascertained, the generated analyzer is guaranteed to terminate when the lattices have finite-heights. The extensivity analysis consists of a sound syntax-driven deductive rules whose satisfiability check is done by a constraint solving procedure. Hyunjun Eo: He is a Ph.D. candidate of Computer Science Dept. at KAIST (Korea Advanced Institute of Science and Technology). He received his B.S. and M.S. in Computer Science from KAIST in 1996 and 1998, respectively. For 1998–2003, he was a research assistant of the National Creative Research Initiative Center for Research On Program Analysis System. His research interest has been on static program analysis, program logics, and higher-order and typed languages. He is currently working on developing a tool for automatic generation of program analyzers. Kwangkeun Yi, Ph.D.: His research interest has been on semantic-based program analysis and systems application of language technologies. After his Ph.D. from University of Illinois at Urbana-Champaign he joined the Software Principles Research Department at Bell Laboratories, where he worked on various static analysis approaches for higher-order and typed programming languages. For 1995–2003, he was a faculty member in the Department of Computer Science, Korea Advanced Institute of Science and Technology. Since Fall 2003, he has been a faculty member in the School of Computer Science and Engineering, Seoul National University. Kwang-Moo Choe, Ph.D.: He is a professor of Computer Science at Korea Advanced Institute of Science and Technology. He received his B.S. from Seoul National University in 1976, and his M.S. and Ph.D. from Korea Advanced Institute of Science and Technology in 1978 and 1984, respectively. For 1985–1986, he was a technical staff of AT&T Bell Labs at Murray Hill. His research interest is formal language theory, parallel evaluation of logic programs, and optimizing compilers.     

基于某低空飞艇压力高度及载荷能力的研究

由于大气压力、温度随着海拔高度的变化而变化.在飞艇升降过程中,艇囊中的浮升气体(氦气)随着外界大气压力、温度的变化产生压缩或膨胀,使飞艇净静升力发生变化,从而影响了飞艇的载荷能力和能够达到的海拔高度.为了在标准大气(International Standard Atmosphere)和非标准大气(Off-Standard Atmosphere)条件下,研究了飞艇压力高度随充氦体积变化规律和载荷能力随高度变化的规律,给出了充氦体积占飞艇总气囊体积比例、压力高度、净静升力和有效载荷之间的变化关系,并结合某低空试验飞艇进行了仿真计算和分析,为飞艇的总体设计和实际使用提供了理论基础.     

一种新型的统一潮流控制器

为了提高电力系统稳定性,统一潮流控制器UPFC的并联和串联部分应分别位于电压下降、潮流变化最明显的地方。本文将统一潮流控制器的串联部分和并联部分分离并延长它两之间的距离,这使UPFC串联和并联部分安装在不同地点提供了可能。用PSCAD软件搭建一个新型的统一潮流控制器模型。仿真结果显示,新型UPFC具有同样的控制功能,尽管其传输容量稍小,但是新型UPFC串并联部分分离的结构特点,使工程上UPFC的安装问题上更具灵活性,具有广阔的应用前景。     

�߶����ӹ���ĵ����������չ

高陡复杂构造及其油气藏是我国特别是西部地区重要的油气勘探领域。高陡复杂构造的准确成像是高陡复杂构造及其油气藏地震勘探面临的关键问题之一。影响高陡复杂构造准确成像的主要问题有：①山地条件下，因地形起伏、表层结构横向剧烈变化所引起的静校正问题；②地层速度的各向异性对速度分析和动校叠加的影响；③复杂构造对共中心点叠加的影响和复杂波场的准确归位问题。通过多年研究，在高陡复杂构造成像技术上取得了四项重要进展：一是形成了基于大炮初至层析反演表层结构的配套静校正技术;二是形成了基于各向异性条件的动校叠加技术;三是形成了构造模式指导下的叠后偏移技术和叠前叠后相结合的混合偏移技术;四是开发出了复杂构造的变层速度成图技术。应用这些技术取得了很好的实际应用效果。     

电网电压不平衡条件下混合无功补偿系统分层协调控制策略

为实现低压配电网低成本大容量动态连续无功补偿,提出了一种晶闸管投切电容器(TSC)与静止无功发生器(SVG)协同运行的混合无功补偿系统。系统综合了TSC低成本大容量的无功补偿和SVG动态连续无功补偿的优点。在分析其基本原理的基础上,提出混合无功补偿系统分层协调控制策略,消除TSC与SVG由于响应速度的差别对其混合无功补偿性能的影响。针对混合无功补偿系统在电网电压不平衡条件下的安全运行问题,研究了SVG的正负序双环叠加控制策略,使其在具有动态无功补偿性能的同时能抑制一定程度的不平衡电压,保证系统的安全稳定运行。最后,仿真验证了所提控制策略的正确性。     

基于主成分分析法的人工免疫识别软件缺陷预测模型研究

针对软件系统日益复杂以及软件缺陷难以预测的问题,提出了一种使用人工免疫识别系统的软件缺陷预测模型。模型的构建首先通过主成分分析法对软件缺陷预测数据集进行特征的识别和提取,进一步提高学习算法的性能;针对计算亲和度时欧氏距离不能满足非线性应用需求的情况,为了提高算法对非线性应用的适用性,使用基于高斯径向基核函数的亲和度计算来计算抗体和抗原之间的亲和度阈值。再基于亲和度计算,进行抗体训练、资源竞争以及记忆细胞的选择。最后,利用记忆细胞集进行分类。模拟实验表明,针对实验中的数据集,所提模型的预测准确度达到84%~90%,精准度达到85%~91%。     

Poly(vinyl pyrrolidone)—C70 complexes in aqueous solutions

Aqueous solutions of poly(vinyl pyrrolidone)-fullerene complexes (PVP-C₇₀) have been studied using static and dynamic light scattering methods. Two diffusive processes were detected. The slow diffusion was interpreted as dynamics of large intermolecular PVP-C₇₀ complexes while the fast diffusion was associated with the presence of individual PVP molecules in solution. It was also shown that the molecular weights and dimensions of PVP-C₇₀ complexes are smaller than for PVP-C₆₀ by a factor of 2.5-3. In aqueous solutions of PVP-C₇₀ complex the depolarization and dissymmetry of scattered light were observed in contrast to PVP-C₆₀ solutions. It reveals the existence of anisotropic structures in PVP-C₇₀ solutions. Intermolecular interactions within PVP-C₇₀ complexes are weak and a hydrodynamic field can destroy complexes.     

聚甲基丙烯酸缩水甘油酯为主链的咪唑型螯合树脂的合成、表征及吸附性能研究

用分散聚合法合成了聚甲基丙烯酸缩水甘油酯(PGMA),然后引入咪唑功能基合成了螯合树脂(PGMA-Imi),用傅立叶变换红外光谱(FTIR)与扫描电镜(SEM)研究了其结构与粒子表面形态,元素分析测定功能基含量,并对Cu2+等离子进行了吸附研究。结果表明所得PGMA微球为微米级、单分散性很好,所得螯合树脂(PGMA-Imi)对Cu2+的吸附效果最好。     

基于数字相关技术的铝合金航天结构件缝隙测量研究

对铝合金航天结构件受载情况下端框铆接缝隙变化测量进行研究,搭载静力试验模拟航天器飞行过程中的典型最严酷的载荷环境,采用三维数字相关技术进行测试某铆接界面缝隙变形情况,并将三维数字相关技术测量数据与塞尺进行对比,试验数据表明:三维数字相关技术用于缝隙测量,精度高,且测量可实现实时监测。