基于人体指纹特征的随机序列发生器

利用人体指纹特征本身内在的唯一性、不可预测性和外部随机噪声(光照、损伤等)给出了产生随机序列的一类新方法--基于人体指纹特征的随机序列发生器,实现了人体生物特征与密码的结合.使用自相关函数方法和BDS统计检验方法验证了该随机序列优良的线性不相关性和非线性不相关性,得到了完全不可预测的非周期随机序列.通过美国国家标准技术研究院(NIST)推荐的标准随机统计测验FIPS140-1 Tests和NIST Special Publication 800-22 Tests对该随机序列进行了检验.检验结果表明基于人体指纹特征的随机序列发生器是满足密码安全的随机序列发生器,并且实现简单、方便.     

中小规模低成熟度软件企业的项目风险管理

当今大多数软件开发企业规模不大且处于低成熟度水平,而现有的软件项目风险管理理论和实践,主要是针对大中型企业所从事的大型复杂项目.本文以已被检验了的风险管理理论为基础,充分考虑低成熟度企业的特点,提出了一套具有系统性、简捷性和易用性的风险管理方法,说明了程序化该方法的思路,并验证了方法的有效性.最后还说明了方法的优缺点及进一步研究的方向.     

基于UML的软件度量

针对现有软件度量估算困难、精确度不高的问题,在预测性对象点基础上改进并提出基于UML的软件度量方法,可以从用例、序列图、类图度量软件。结果证明,与预测性对象点相比,该方法的精度提高了5%左右,其子系统偏差方向一致。     

基于云模型的信任评估方法研究

复杂的网络环境下存在的随机性、模糊性和不可预测性等不确定性因素给网络交易带来了诸多安全问题,而在网络交易中,信任是交易能够顺利进行的前提和关键.文中以复杂的网络环境为研究背景,通过对复杂的网络环境中信任、信任影响因素及信任机制等问题的研究,引入云模型理论,研究并提出了基于云模型的信任评估方法,实现了信任的定性与定量的转换,客观地反映了信任的随机性、模糊性和不可预测性;为了有效地防止不法分子的信用炒作和欺骗行为,文中提出了特殊属性评价方法和信任惩罚方法.通过仿真实验,验证了文中研究的信任评估方法能够对复杂的网络环境中实体的信任做出合理的评价;通过防信用炒作实验和防周期行骗实验,进一步验证了基于云模型的信任评估方法的可行性和合理性,为复杂的网络环境中信任评估的研究提供了有价值的新思路.     

应用吴方法进行高层次定界模型检验

以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法.通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题.实验结果表明,与基于布尔SAT、基于LP的RTL SAT以及基于非线性求解器的性质检验方法相比,该方法在时间消耗上具有相当大的优势.     

复杂系统模型的贝叶斯假设检验

该文提出了利用贝叶斯(Bayes)理论对建模与仿真(M&SModeling and Simulation)中的复杂假设进行检验的方法,并给出了检验的规则和方法的应用实例.该研究对于大型复杂仿真系统的置信度评估具有重要参考价值.     

计算机游戏中的智能角色研究

通过分析比较NPC智能与理论人工智能的区别与联系,提出了智能NPC的定义。接着分析了智能NPC的技术层次,从不可预测性、稳定性、执行速度、开发难度等方面分析比较了当前主要的智能NPC技术。     

明文与密文混合分组加密算法设计

基于分组密码的理论体系,提出一种明文与密文混合加密算法,在加密过程中自动改变每组明文的加密密钥,使得加密结果和新生成的密钥既与待加密的明文有关,也与已加密的密文有关,因而具有明显的伪随机性和不可预测性,并遵循了分组密码的扩散与混淆准则.理论分析和加密实例表明,该得算法简单易行,具有良好的完善保密性和安全性.     

基于二维混沌映射的AES加密算法的研究与改进

随着经济的发展,企业积累的重要数据和信息资源日益丰富,因此对文件加密技术提出了更高的要求.AES性能优越,但也存在种子密钥单一和密钥空间固定等问题.论文将混沌理论中的二维Logistic映射方法应用到AES的加密算法中,利用其初值敏感性和不可预测性改善了扩展密钥的构造质量,增强了AES算法的安全性,起到了显著的优化效果.     

基于复用行为的测试用例本体描述和检索

随着测试用例复用实践的深入和可复用测试用例库规模的不断扩大,对测试用例表示和高效检索已经成为目前研究的热点.基于本体描述的测试用例,结合基于本体的概念语义相似度计算思想,针对测试用例本体描述的特点,提出了一种基于用例复用行为的匹配度计算方法,并通过理论分析与实验检验证明,其提高了用例检索的查全率及用例复用的效率.     

基于Lagrange的H．264率失真编码优化算法

为了进一步提高编码速度，促进视频编码技术在多媒体通信领域的实际应用，本文对率失真视频编码的关键算法进行了深入的研究并提出了其优化方法，并从信息论理论出发，着重围绕图像压缩的理论，利用率失真特征数学模型、拉格朗日乘子法，对目前新一代的H．264视频标准进行编码算法模式选择，试图从最根本的理论角度探讨信源编码，以便得到更高的压缩比、更好的图像质量和更快的编码速度。最后，利用本文提出的编码模式优化算法，对H．264的JM61e（JUT Test Model）系统测试模型的性能进行全面测试。     

基于增量模型的变极性测量方法的研究和应用

测量微弱的电压信号时。测量系统中热电势的影响不能忽略。本文所讨论的基于增量模型的变极性测量方法是消除测量系统中热电势干扰的一种处理方法。这种方法将一个完整的测量过程分为三步,在测量过程中,间隔地变换激励电流的极性。测量数据经过处理后,得到待测电压的测量值。理论和实践均表明,利用该方法可以有效地去除测量系统中绝大部分由于温度变化而引起的热电势的变化对测量结果的影响,提高测量精度。     

有限状态机模型测试序列生成算法研究

在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。     

跨越Internet的远程异地协议一致性测试研究

在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。     

一种区间值聚类的数据挖掘模型

为了使区间值算法的理论与研究成果应用到具体实践中，在企业数据信息的挖掘和分析中发现更有价值的知识，提出了区间值聚类的数据挖掘模型。与传统的数据挖掘方法相比较，区间值聚类的数据挖掘模型更加高效、准确、符合实际。     

基于新息理论的变点检测及其在长输管道泄漏监测中的应用

在ESPRT检测方法的基础上,结合新息过程给出了一种新的变点检测方法.利用ESPRT方法检测经新息模型产生的新息过程,实现了模型参数变点的非参数检测,扩展了ESPRT方法在实际应用中的适用范围.将该方法应用于长输管道泄漏故障监测时,利用基于BP神经网络的非线性时间序列预测方法建立了管道泄漏监测系统的新息模型以及泄漏检测模型.将上述监测方法应用于实验泄漏水管道,能在线实时有效地发现泄漏.     

基于粗糙集神经网络和信息融合的故障诊断

神经网络是智能故障诊断系统的一种重要的方法。粗糙集理论则是处理不完备信息的一种技术。文中以复杂的人工智能诊断问题为研究对象,系统地论述了基于神经网络、粗糙集、信息融合的智能诊断的理论、方法与实践。其主要方法如下:在故障诊断的神经网络模型的基础上,以粗糙集理论中的信息系统属性值表为主要工具,将复杂的组合神经网络约简并删除其中不必要的属性,克服了网络规模过于庞大和分类速度慢的缺点,并给出了基于粗糙集理论的组合神经网络的模型结构,最后再利用数据融合技术,得出更加精确的结果。一个故障诊断实例证明了该方法的有效性。     

基于递归算法在孩子兄弟法表示的树中查找任一结点的双亲结点算法的设计与实现

从递归算法的设计思想、设计步骤、实现原理讲起,利用这种算法设计方法创新性地设计出在孩子兄弟法表示的树中查找任一给定结点的双亲结点的算法,并在理论上对该算法进行深度剖析,在实践上设计测试程序确认算法的正确性。总结并对该研究成果的意义作出展望。     

通用网管接口测试事务模型的描述方法

网管接口一致性测试的自动化技术一直是相关测试研究工作的重点之一,而测试事务模型的提出使网管接口一致性测试的自动化程度迈上了一个新的台阶。文章基于对网管接口一致性测试的研究和实践,提出了一种基于XML格式的测试事务模型描述方法,给出了该描述方法的Schema定义。文中研究的描述方法可以应用于目前主流的网管接口技术,并在网管接口测试过程中减少大量的人工操作,缩短测试周期,显著的提高了测试效率和测试自动化程度。     

基于布尔方程的系统级故障诊断表示及应用

With the popularization of multiprocessor systems and network applications,the study ot ctepenaaomty of systems has become an important research area of computer science.A “Boolean equation diagnosis” method is firstly presented for test model of system-level fault diagnosis,and the correctness of the equations has been proven.The Boolean equation is more concise than the graph method in test model representation.Based on the equations,the methods to compute optimal diagnosis,the set of consistent fault pattern,absolute good processors and bad processors are presented.And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved.It is a useful attempt in theory and practice of system-level fault diagnosis.