贵港水电站贯流式水轮发电机效率试验论证

通过对贵港航运枢纽水电站灯泡贯流式水轮发电机效率试验进行论证，考核了机组性能，掌握了利用量热法和损耗分析法相结合测量灯泡贯流式水轮发电机效率的试验和计算方法，为今后该类型发电机试验和设计提供了参考经验。     

一种基于安全状态跟踪检查的漏洞静态检测方法

现有的采用基于源代码分析的漏洞静态检测方法中存在的主要问题是误报率和漏报率较高.主要原因之一是缺乏对数据合法性检查与非可信数据源等程序安全相关元素的精确有效的识别分析.文中提出了一种基于数据安全状态跟踪和检查的安全漏洞静态检测方法.该方法对漏洞状态机模型的状态空间进行了扩展,使用对应多个安全相关属性的向量标识变量安全状态,细化了状态转换的粒度以提供更为精确的程序安全行为识别;在漏洞状态机中引入了对合法性检查的识别,有效降低了误报的发生;建立了系统化的非可信数据鉴别方法,可防止由于 遗漏非可信数据源而产生的漏报.基于此方法的原型系统的检测实验表明:文中方法能够有效检测出软件系统中存在的缓冲区溢出等安全漏洞,误报率明显降低,并能避免现有主流静态检测方法中存在的一些严重漏报.     

PHC管桩承载力分析与设计应用

针对PHC管桩工程应用中存在的一些问题,结合大量工程实例的施工记录、地质勘察报告和桩基检测结果等一系列数据,对PHC管桩承载力作进一步探讨分析,为其合理利用提供参考。     

奔腾会在96年流行吗?

面对Intel公司铺天盖地的广告,人们不禁要问:“奔腾离我们到底有多远?”在回答这个问题之前,让我们先来分析一下计算机的发展和其市场特点.计算机的发展主要由Intel的芯片来推动,因此Intel芯片的型号也就成了计算机的代名词.计算机从80年代初的8086发展到现在的Pentium Pro(P6),其间经历了8086,80286,80386,80486,Pen-tium几次质的飞跃,在每一代产品中又进行了数次改进.在计算机的发展历程中,各种型号的市场生命是不相同的,在90年代以前,8086和80286占据了广大市场.在90年代Microsoft推出Win-dows3.0操作平台,它最低要求在386机型上运行.Windows以其友善易懂的图形界面和人机对话环境,吸引了广大用户,同时也宣告了286机型的市场的结束.386以其价格与486的悬殊维持了大约3年的市场,随着技术的进步带来了计算机价格的逐渐下     

SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具

For various reasons, many of the security programming rules applicable to specific software have not been recorded in official documents, and hence can hardly be employed by static analysis tools for detection. In this paper, we propose a new approach, named SVR Miner (Security Validation Rules Miner), which uses frequent sequence mining technique ［1 4］ to automatically infer implicit security validation rules from large software code written in C programming language. Different from the past works in this area, SVR Miner introduces three techniques which are sensitive thread, program slicing ［5 7］, and equivalent statements computing to improve the accuracy of rules. Experiments with the Linux Kernel demonstrate the effectiveness of our approach. With the ten given sensitive threads, SVR Miner automatically generated 17 security validation rules and detected 8 violations, 5 of which were published by Linux Kernel Organization before we detected them. We have reported the other three to the Linux Kernel Organization recently.     

议城市居住区环境设计

近年来城市居住区环境发生了很大的变化,从设计指导思想看,景观建筑学思想摆脱了"绿化 场地 小品"小区绿化模式的局限,使居住区环境设计从分级绿地组织和环境要素配置走向营造宽松舒适的休闲生活环境;从强调绿化覆盖率走向注重居住区环境的整体生态效益;从以功能性为主走向以全面满足人的需求为目标:环境设计服务于人们全方位的生活感受(视觉的、听觉的、触觉的等)。本文从居住区发展的几个阶段指出生态学思想融入居住区环境具有时代及现实的意义,并从基地处理、绿化设计、水环境设计等方面提出具体解决办法。     

议城市居住区环境设计

近年来城市居住区环境发生了很大的变化,从设计指导思想看,景观建筑学思想摆脱了“绿化＋场地＋小品”小区绿化模式的局限,使居住区环境设计从分级绿地组织和环境要素配置走向营造宽松舒适的休闲生活环境：从强调绿化覆盖率走向注重居住区环境的整体生态效益;从以功能性为主走向以全面满足人的需求为目标：环境设计服务于人们全方位的生活感受（视觉的、听觉的、触觉的等）。本文从居住区发展的几个阶段指出生态学思想融入居住区环境具有时代及现实的意义,并从基地处理、绿化设计、水环境设计等方面提出具体解决办法。