一维Conway元胞自动机的涌现计算

给出四参数Conway元胞自动机的翻转规则及演化结果. 通过增加相邻元胞数量发现， r=1的规则中没有Wolfram第四等级； r≥2中存在Wolfram第四等级.     

软件测试技术及其支持工具介绍

针对软件测试的概念、方法、基本过程和软件测试自动化的基本理论，详细说明了软件测试及其自动化中需要注意的问题和解决方法，以及如何正确地选择和有效地运用各种测试方法、技术和工具，提高软件的质量和可靠性，以期愈来愈多的人认识到软件测试的重要性．最后介绍了Parasoft公司3个很有特色的软件测试支持工具．     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

曾经的“兄弟”今为“冤家”——南奥塞梯局势引发格、俄关系紧张

南奥塞梯是格鲁吉亚的一个自治州,与俄罗斯北奥塞梯接壤。20世纪90年代初南奥塞梯曾要求独立,并与格中央政府发生武装冲突。自1992年开始,俄罗斯、格鲁吉亚、北奥塞梯和南奥塞梯组成了解决格奥冲突的四方混合监督委员会,之后俄罗斯、格鲁吉亚和南奥塞梯三方组成的混合维和部队开始在冲突地区执行维和任务。今年5月以来,格鲁吉亚的南奥塞梯地区再次出现动荡。进入8月,局势更加令人担忧。先是格鲁吉亚总统萨卡什维利威胁将击沉所有未经允许进入阿布哈兹水域的外国船只,包括俄罗斯游客乘坐的游船;随后以俄杜马独联体事务委员会主席科科申为首的…     

石油天然气开采过程中流固耦合理论研究进展及应用

首先论述石油天然气开采过程中的流固耦合问题,重点讨论了油藏流固耦合的渗流特点、研究方法、理论研究进展以及在钻井工程、油藏工程、采油工程领域的应用情况,分析了目前在理论研究、流固耦合程度、数值算法等方面存在的问题,提出了未来研究方向及应用前景.     

恒定负载双作用气缸动作时间的研究

本文建立了气缸的动态特性方程组,并用电子计算机求解常规条件下恒定负载双作用气缸的动作时间,对气缸系统的主要参数对动作时间的影响进行了定量分析及对其他参数进行了定性分析研究,建立了可供气缸系统设计的分析计算使用的图表。     

小波变换用于数字图像相关法位移场的平滑处理

基于小波多分辨率分析，对数字散斑相关法获得的位移场进行平滑处理。将含噪声的位移场进行小波分解，获得在不同尺度上的小波系数；根据位移和噪声在频率上的区别，消除属于噪声的小波系数，从而实现噪声滤除；讨论了小波基的选择和去除属于噪声的小波系数关键技术问题，实验结果表明位移场的噪声得到了很好的滤除。此方法尤其适用于非平稳位移场噪声的平滑处理，小波变换在噪声滤除方面具有一定优势。     

激光全息照相实验计算机辅助处理的研究

为在激光全息照相实验中有效地开展全息干涉计量的实验内容，建立了一套基于图像处理技术的计算机辅助处理系统，本系统应用图形显示技术，使计算机的显示器在显示操作界面的同时也显示所采集的图像，编制了用于全息干涉等值线条纹图的实时处理软件，包括条纹的采取、存储、二值化和细化等功能，针对离面位移的处理结果表明该系统具有实时、准确等优点，可以在全息照相实验中推广使用。     

气动顺序控制系统的冗余记忆状态设计法

分析了气动顺序控制系统设计方法的特点,提出了气动顺序控制系统的冗余记忆状态设计法．该方法通过增加记忆状态来简化设计过程,有利于减少设计错误和实现控制系统的计算机辅助设计,适用于ＰＬＣ或单片机控制的气动系统的设计．     

Kannan不动点定理的推广

本文把Kannan不动点定理推广到了≤α＜1的情况。