面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

用BP网络算法获取电子浓度真高剖面

提出了一种从垂测电离图获取电子浓度真高剖面的新方法——网络逼近法．该方法通过ＢＰ网络算法求解群路径积分方程，得到了电子浓度真高剖面．并对给定的抛物模式作了验证计算，计算结果与抛物模型理论值吻合较好     

用原子团模型研究MuSb（Pt）的电子结构和磁学性质

使用原子团嵌入模型和自洽场自旋极化离散变分（ＤＶ）Ｘａ方法，对ＭｎＳｂ的电子结构和自旋磁矩进行了计算，并研究了Ｐｔ掺杂对ＭｎＳｂ电子结构与磁性的影响，讨论了ＭｎＳｂＰｔ中Ｋｅｒｒ偏转角显著增大的原因．     

无线移动信道的离散时间模型及其应用

基于慢衰落无线移动信道的统计特性，针对数字通信系统的计算机仿真要求，利用蒙特卡罗方法得到了一种无线移动信道的离散时间模型，并运用此信道模型构造了GD-OFDM系统仿真模型，研究了OFDM系统的性能．仿真结果表明，该信道模型有效地描述了无线移动信道的多普勒扩展和时延扩展的特点，在无线移动通信系统的软件仿真中具有实用性．     

基于局部波形法的六面体自动分割网格法研究

三维有限元法是求解复杂工程问题所需的数值模拟方法．用有限元法进行数值模拟时．首先要建立被离散化的有限元网格模型．但是，许多工程问题的构造和形状非常复杂，为此分割有限元网格的难度也很大．此外，分割网格是否合理，直接影响有限元计算的精度．现有的各种有限元商用软件提供了很好的自动网格分割系统．但是，由于用六面体单元对复杂形状进行自动网格划分是非常困难。而目前为止还是用手来完成复杂的工作，所以六面体单元的自动网格划分和网格自适应性还未充分应用在实际工程之中．对任意复杂形状的物体进行分割网格时仍存在一些问题．本研究将介绍生成或已有的规则六面单元改变成形状复杂并合适的六面体单元的一种新的方法，即基于阻尼波形传播理论的方法．结果表明，只要把复杂外部形状按波的形式传输给指定的规则六面体单元模型，就可得有效的六面体单元的网格模型．     

准一维导体钾蓝青铜的光电子发射谱研究

钾蓝用青铜Ｋ０．３ＭｏＯ３的导带延拓到Ｆｅｒｍｉ能级以下约３．５ｅＶ，价带位于４～１０ｅＶ之间，除了导带与价带间的能隙不显著外，所测结果基本上符合Ｔｒａｖａｓｌｉｎｉ的模型．氧的Ｉｓ和钾的２ｐ芯能级谱中存在着弱的台阶，被理解为小能量的等离子激发．晶体结构中不等价的氧位置，导致了Ｏ－１ｓ能级谱不对称的线形式．Ｍｏ－３ｄ芯电子能谱揭示在Ｋ０．３ＭＯＯ３中存在着两种屏敝效应，以及Ｍｏ＋６，Ｍｏ＋５两种价态．     

新型电离层斜向返回探测系统接收机设计

设计了基于VXI总线的中频数字化短波雷达接收机，用于相位编码脉冲压缩雷达体制的新型电离层斜向返回探测系统．采用了真对数放大器和16位AD变换器实现大动态范围，正交数字双通道零中频匹配滤波处理信号，内置可闭锁接收机的高速电子开关．试验表明，真对数放大器能有效改善接收机动态范围；对比原系统使用过的VX13250接收机性能指标，证明新接收机适合新一代系统探测需要．收发隔离和闭锁功能良好、结构紧凑、全软件操作控制．     

线性二次型最优控制的并行算法和软件

构造了线性二次型最优控制的并行算法，介绍了这个并行算法在武汉大学“ＷＵＤＰ９１”并行分布式处理系统上试算的数值应用软件的框图．本软件适用于既定动态系统的平衡问题．对于经济系统，可通过政策控制变量来调节和改善其状态和响应．对于自治系统可找出最优控制使得消耗函数达到最小值．通过对一系列例子进行试算，结果证实，所构造的并行算法和相应的数值软件是有效的，其加速比约为７．     

网络环境下会计信息系统的创新

从我国会计软件的发展历程及网络环境方面，对会计信息系统软件功能的创新、会计信息系统基本结构的创新作了分析和探讨，提出了会计软件未来发展与创新的基本思路和设想．     

可信计算研究进展

可信计算是信息安全领域的一个新分支．文中阐述了可信计算技术与理论的最新研究进展．通过分析可信计算技术的发展历史与研究现状，指出了目前可信计算领域存在理论研究滞后于技术发展、部分关键技术尚未攻克、缺乏配套的可信软件系统等问题，提出了值得研究的理论与技术方向，包括：以可信计算模型、信任理论等为代表的可信理论基础，以可信计算平台体系结构、可信网络、可信软件工程、软件信任度量技术等为代表的可信计算关键技术．     

城市化进程中外来民工居住问题研究

外来民工的居住问题是影响城市化、外来民工市民化的一大阻碍．住宅业和城市化关系密切，相互促进．现阶段，住宅业的发展不适应城市化以及外来民工市民化的要求．城市化将给住宅业带来巨大的发展空间，同时也给住宅业的发展提出了更高的要求．住宅业要为城市化服务，积极配合城市化的发展．     

数字音频双重水印算法

提出了一种同时嵌入鲁棒水印和易损水印的算法．利用离散小波变换的多分辨率特性以及离散余弦变换的解相关和能量压缩能力，在中低频区嵌入鲁棒水印；在小波域的高频区嵌入易损水印．水印的嵌入采用量化的方法，提取水印信号时不需要原始音频信号．实验结果表明，文中算法的水印鲁棒性高，适于音频作品的版权保护；而文中的易损水印对音频攻击具有很强的敏感性，可同时认证音频作品的内容完整性、     

Na+,K+∥Cl-,SO2-4-H2O体系的Clegg-Pitzer模型研究

对芒硝法生产硫酸钾工艺的理论基础-Na^ ，K^ ／／Cl^-，SO4^2- -H2O四元体系．本文首次用最新的电解质溶液理论—Clegg-Pitzer非对称模型进行了热力学研究．建立了热力学模型，预测了上述体系的液-固平衡，其参数均由该体系所包含的二元、三元体系的实验数据拟和得到．预测结果较好，并与局部组成模型的预测结果进行了比较．     

Intranet的防御对策

分析了Intranet(企业内部网)目前所面临的各种安全威胁，如病毒、蠕虫、木马、间谍软件等恶意程序，以及信息收集、密码破解、漏洞利用、网络欺骗、拒绝服务攻击(DOS)等攻击方法，并在此基础上提出一种Intranet安全防御模型和相应的应对措施，结合当前新的防御技术，给出一种完整的Intranet安全解决方案，协助内部网络在互联网这个复杂环境中有效防御各种不安全因素以确保自己的安全．     

软件可靠性中NHPP模型趋势检验的U-图方法

对软件可靠性中一类重要的模型——非齐次泊松过程（ＮＨＰＰ）模型的趋势检验，构造了一列检验的统计量，独立同分布于均匀分布Ｕ（０，１）．并由柯尔莫哥洛夫检验判定所选择的可靠性增长趋势模型的合适性．本文方法可适用于完全数据和不完全数据．这里报告的方法，可以作为选择软件可靠性模型时的一种判断依据，以定量地评判选择的软件可靠性模型的优劣．     

基于Hash函数改进遗传算法的 IPv6下模糊异常检测模型

为了实现基于IPv6的异常检测，设计了一种新的高效异常检测模型．针对传统遗传算法编码效率低下的不足进行了改进．该模型使用基于遗传算法的IPv6模糊异常检测规则生成技术，采用Hash函数进行初始种群优化、随机实数编码进行种群编码，提高了检测准确性．使用实时网络数据流对原型系统和Snort进行对比测试，结果表明所提出的模型在检测效率上有明显改善．     

内调制光电探测器光生电压的模型分析

针对栅压对内调制光电探测器耦合区的影响，以及横向发生的抽取效应对受光结的影响，从描述探测器的泊松方程、电流方程和连续性方程出发，通过计算输出电流Id，得出了内调制光电探测器受光结光生电压Vop，与栅压Vg的函数关系式，并依此建立了模型，该模型与实验结果基本吻合．由于该模型采用了电路形式，可以用PSPICE等软件进行模拟，这为研究内调制光电探测器的内部性质提供了理论基础．     

细胞周期蛋白依赖性激酶CDK4抑制剂的3D-QSAR研究

采用比较分子场分析法（comparative molecular field analysis，CoMFA）和比较分子相似性指数分析法（comparative similarity indices analysis，CoMSIA），系统研究了57个CDK4酶抑制剂的三维定量结构-活性关系．所建立CoMFA和CoMSIA模型的交叉验证系数q^2值分别为0．656和0．811，非交叉验证相关系数r^2分别为0．954和0．969，都具有较好的预测能力．CoMFA和CoMSIA模型的三维等值图直观地解释了化合物的构效关系，为进一步研究提供了重要依据．     

土地利用现状管理信息系统中土地利用多级变更模型的建立及其事务处理机制设计

土地利用变更模型及其事务处理机制是土地利用现状管理信息系统的核心．传统变更模型所支持的变更操作粒度较为单一、事务完整性差、时空语义表现过于单薄．在分析了土地利用变更特点和存在问题的基础上，提出了一种土地利用多级变更模型LU-MCM（1and use multi—level change model），模型以土地利用变迁过程为变更对象，并进一步将之划分为多级变更逻辑单元进行组合描述，而所需解决的长事务处理机制则通过扩展的多粒度树状事务模型实现．土地利用现状管理信息系统的设计和实现证明，该模型对土地利用变迁过程表达效果较好，为土地利用变更数据管理提供了思路．     

外包软件项目风险决策树智能分析模型

软件项目外包已成为主要的软件开发方式,但风险却很高.本文提出了外包软件项目风险的决策树智能分析实证模型,并用此模型对项目风险进行评估和控制.建立了基于客户方和承包方双视角的风险识别概念模型,收集了外包软件项目真实样本用于决策树风险智能分析模型的训练和验证.实验结果表明,本文所采用的方法在准确率方面优于神经网络、朴素贝叶斯算法.决策树模型所发现的管理规则与软件工程理论相吻合,能很好地指导项目风险评估分析.