论文研究基于UIML的多设备用户界面生成方法.pdf

基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL），提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素；然后使用划分分析的方法

弹载毫米波辐射图像模拟生成方法研究，罗佳佳，，毫米波辐射计的一个主要军事应用就是导弹的精确导航和制导。鉴于遥感资源有限，可以利用卫星光学图像模拟生成毫米波辐射图像，再

基于模型的用户界面设计方法是通过用户界面模型开发用户界面的新方法。任务模型作为其中一个主要模型，刻画的是用户与界面交互过程中动态行为方面的信息。详细介绍了HTA，UAN，GOMS，CTT，Wisdom

证据理论是处理不确定性问题的有效工具，但是其证据往往来源于专家，带有很大的主观性，且合成证据的重要性无优劣之分。提出了一种基于粗糙集的证据获取与合成方法。利用证据信任度计算近似条件概率分配，根据属性重

首先分析了现场控制网络（如BACnet，LonWorks）与Internet/Intranet的集成技术。在此基础上，利用嵌入式Web服务器、PCWeb服务器和DCOM技术，提出了三种不同的基于Web

提出了一种新的基于分形的累加自动地形生成方法，引入断裂形成算法作为初始的地形高度生成器，通过控制幅度和迭代次数，生成形态各异的地形轮廓，从分形理论fBM数学模型出发，使用中点位移法对初始模型进行迭代处

针对单混沌系统因计算机有限精度效应产生的混沌退化问题，提出了一种多级混沌映射交替变参数的伪随机序列产生方法。该方法基于一维Logistic映射和二维Henon映射，用交错变参的Logistic映射的混

H.264/AVC可伸缩视频编码系统（SVC）在时间域采用的可分级B帧（HierarchicalB）结构，与传统的IPPP或者IBBP编码结构相比，编码性能有较大提高。其采用调整单位时间内编码和显示的

计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成

测试数据生成是组合测试的一个关键问题，但是组合测试用例集的构造问题的复杂度是NP完全的。提出了一种成对组合测试用例集整体优化和生成的方法。该方法通过编码机制将测试用例数据的生成问题转换为一个基于二进制