评价滤波算法的SAR图像模拟

提出了一种简单的基于统计模型的SAR(合成孔径雷达)图像的模拟的算法．该算法首先根据自然场景(如海面、场地和森林等)的统计模型产生相关的Gamma分布，得到场景的后向散射系数图；然后根据乘法模型引入斑点噪声，得到复数的后向散射系数图；再将点面目标的后向散射系数叠加在后向散射系数图上；最后将该复数图像通过一个由SAR系统的系统传输函数定义的滤波器生成模拟的SAR图像．计算机模拟结果表明，该方法与以前的模拟算法比较，不仅能真实地反映SAR图像的特征，而且计算简单，为检验滤波算法提供了有力的工具．     

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

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

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

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

用ADS实现OFDM子系统建模

在阐述OFDM系统基本原理和研究OFDM发射系统的物理建模基础上，构建了一种基于ADS的OFDM发射系统的仿真模型，仿真结果表明该仿真模型与理论OFDM系统模型基本一致．该模型有助于进一步开展对OFDM信号非线性校正算法的研究．     

CELP宽带语音编码中感知加权滤波器的新算法

心理声学模型已经成功地应用于音频编码技术中,将心理声学模型应用到CELP语音编码技术中,构造新的感知加权滤波器,可以有效地提高合成语音的质量,但如何减少其算法的复杂度是CELP算法的一个关键．提出了LSP系数插值和滤波器系数插值两种新方法,以替代子帧中的心理声学模型掩蔽曲线的计算和转化,有效地减少其算法的复杂度．实验结果表明：在语音质量基本一致的情况下,LSP系数插值和滤波器系数插值两种算法的平均编码时间与原来相比分别减少18％和53％．该算法具有一般性,可以推广到其他CELP编码器的心理声学模型应用中．     

一种实用的ICAI学生模型

提出了一种实用的学生模型化方法。采用模糊测度和与之相应的网络传播算法,能准确描述学生的认知状态、学习能力和学习愿望,应用延迟计算技术,大大降低了模型的复杂度。     

软件开发中的海洋模型

提出了软件开发的海洋模型，讨论了如何将软件开发的一般模型与海洋模型相结合，给出了一个海洋模型实现的实例─—Ｈａｉｇａｎｇ系统．用ＳＯＫＭ／Ｌ语言对海洋模型进行了描述．     

虚拟数字电路实验室系统的研究与实现

讨论了数字电路的逻辑级模拟中元件传输延迟模型、元件状态值模型的建立,逻辑模拟的算法以及元件计算的方法．在此基础上,运用面向对象的编程方法．实现了一个虚拟数字电路实验室系统．该系统打破了传统实验教学中地域、时间、经费等方面的限制,有利于更好的培养学生的独立研究和创新的能力．     

群体智能对产业集群自适应行为描述的研究

侧重研究了产业集群的自适应行为的描述,借鉴群集智能的理论算法来描述集群中的典型自适应行为,具体包括改进蚁群分工模型用于描述集群核心能力的自适应形成行为、改进蚁群合作搬运模型用于描述集群中自适应合作行为和借鉴蚁群算法中信息素思想描述集群中的自适应竞争行为,这些自适应行为模型将为进一步形成产业集群的建模仿真提供了基础．     

MIMO无线信道建模及性能评估

基于开阔地随机模型假设，分析了多天线无通信系统的典型统计模型和物理模型两种信道建模技术，推导出基于空间衰落相关性的克罗内克积模型和基于路径的统计簇模型，并通过仿真比较了两种模型的性能。结合多天线信道矩阵的特征分析方法，设计利用多天线系统并行子信道的MEA-SVD算法来获得高的阵列增益。该算法包括跟踪和训练两种工作模式。考虑克罗内克积信道模型时，我们对接收机采用MEA-SVD算法时系统性能进行仿真评估，并指出了在实际应用中存在的局限性。     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.     

一种基于模型检查的入侵检测方法

在分析系统行为以及其动作序列的语义的基础上，利用时序逻辑公式描述攻击特征，提出了一种基于模型检查的入侵检测方法，该方法解决了检测中的重复验证等问题，通过增加推理链的长度约束，引入时序算子处理统计攻击，从而优化了入侵检测过程。     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.     

B/S架构下通用的代码实时校验解决方案

针对目前流行的B／S架构，分析用户数据录入的交互情况，提出一套通用的代码实时校验方案，该方案把数据代码校验下移至客户端，减少了网络访问次数，从而提高了整体的校验效率，同时方案具有简洁明了，易实现等优点，经过实际的工程使用表明，该方案适用于一般性的大批量数据录入的环境，起到了有效防止垃圾数据的输入，提出数据库中的数据正确性。     

基于MATLAB利用充分统计量法对含有高斯白噪声二元信号检测的仿真

运用充分统计量法所述理论,可将观测空间由无限压缩至有限,当信号受到高斯白噪声的干扰时可用充分统计量表示被观测量的全部信息并检测出确知信号.基于M ATLAB在S IMUL INK模块库下建立检测过程仿真模型,运算出的充分统计量与门限值相比较得到检测结果,这种方法可推广到多元信号检测.     

一种改进的K_means算法在旅游客户细分中的应用

针对传统K_means算法存在的问题,提出一种基于密度的初始中心点选择方法,并利用几何三角形三边关系理论简化了迭代中的计算次数,以缩短大数据集聚类时间．针对旅游电子商务的特点,基于RFM模型设计了一种RFMVCI扩展模型．新算法的有效性和扩展模型的合理性在实验和旅游客户细分实践中获得了验证．     

网络安全风险的模糊层次综合评估模型

针对网络安全风险评估中人为因素多、指标难以量化的问题，在分析网络安全要素的基础上，将模糊数学的方法运用于网络安全风险评估中，并结合层次分析方法，建立了网络安全风险的模糊层次综合评估模型．该模型首先建立逻辑的3级网络层次，即服务层、主机层和网络层．在服务层通过对资产、威胁和漏洞各因子的量化计算后得出各自的风险值，然后利用模糊评价方法逐级计算各层风险指数．实验数据测试表明：通过3个层次自下而上地递阶评价各安全要素，利用先局部后整体的评估策略能直观地给出系统的安全态势，并且能准确评估网络系统3个层次的安全状况．     

基于模块开发控制的一个软件可靠性分配模型

提出了一个软件可靠性分配模型，该模型在保证系统开发费用最低的前提下，将可靠性指标分配到各模块中，此外还运用了遗传算法来搜索模型的最优解，实践表明，这是一个有效的途径。