一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

大跨径预应力混凝土连续梁施工控制技术

大跨径预应力混凝土连续箱梁悬臂浇筑施工过程中，施工控制是个复杂的动态系统工程，是实现大桥成桥线形、内力满足设计要求的重要手段。结合南京长江第二大桥北汊桥主桥施工控制实践，阐述了悬臂浇筑施工过程中的施工控制原理、方法和分析计算理论，研究了双幅桥混凝土箱梁的温度分布特性以及高强混凝土水化热温度的控制，科学地指导了施工。使全桥10个合拢段的合拢轴线误差小于或等于4mm，标高误差小于或等于23mm，成桥线形均在设计允许误差范围内。克服了高强度混凝土水化热产生的龟裂和强度损失的现象。     

面向对象框架在信息系统开发中的应用

通过数据表维护框架的设计讨论了面向对象框架在信息系统开发中的应用,给出了基于Proxy模式(代理模式)、UML类图及序列图的数据表维护框架的详细设计过程.数据表维护框架对应一个最小的语义单位,可以应用于不同行业的信息系统开发.     

大跨平屋盖结构风压分布特性的神经网络模型

影响大跨平屋盖结构风荷载分布特性的因素很复杂，且具有不确定性，仅靠风洞试验难以完整的描述其风荷载分布的整体特性，针对这种情况，本文中提出用改进的BP神经网络和模糊神经网络两种方法来建立反映大跨平屋盖结构风压分布特性的模型，并用试验数据进行了验证．结果表明，这两种模型都能很好的逼近和预测大跨平屋盖结构风压分布的特性，相比之下，改进的BP神经网络稳定性较好，但逼近速度慢，精度也不高；而模糊神经网络由于结合了模糊系统和神经网络的优点，其稳定性好，逼近速度快，且精度高，这表明模糊神经网络方法是预测大跨平屋盖结构风压分布特性的有效途径，在结构风工程中具有广阔的应用前景。     

CUIT∶ 一个通用界面工具箱的设计

用面向对象的方法，为满足不同窗口环境下界面的通用性，设计了一个通用界面工具箱ＣＵＩＴ     

面向对象多数据库系统的模式集成

讨论了使用面向对象技术解决多数据库系统模式集成的问题，针对全局模式多数据库系统提出了一个五级模式集成结构：局部模式、成员映射模式、成员对象模式、全局对象模式和全局外模式，详细描述了每级模式的定义和构成．     

对称组合系统的鲁棒输出调节

研究了对称组合系统的鲁棒输出调节问题。结果表明，对称组合系统的鲁棒输出调整问题可以转化为两个修正的低阶子系统的鲁棒输出调节问题。并可通过考察两个低阶矩阵行的线性相关性得到解决。     

多目标决策中确定权值的一种新方法

在分析和理论推导的基础上，利用最优传递矩阵对传统的层次分析法（ＡＨＰ）进行改进，建立了改进的层次分析法（ＩＡＨＰ）。利用ＩＡＨＰ求得的判断矩阵能自然满足一致性要求，不需要进行一致性检验，可直接求得各因素的权值     

磁翻牌显示屏单片机扫描器改进设计

简述了磁翻牌显示屏工作原理、特点及其扫描器改进设计功能要求，介绍了单片机扫描器改进设计的硬件、软件组成，及其使用方法和效果．     

广义系统的平稳振荡问题

运用Ｌｙａｐｕｎｏｖ函数方法研究一类广义系统的平稳振荡问题，并给出了实现的例子。