基于生成对抗网络的图像艺术风格迁移

提出了一种新颖的图像艺术风格化算法,利用结构相似性指数和最小二乘生成对抗网络,搭建图像艺术风格化模型.通过对模型生成器和判别器的对抗训练以及重建约束,该模型可以生成一幅逼真的风格化作品.根据在人脸肖像素描sketch-photo数据集和中国水墨画风格beihong-photo数据集实验表明,与目前流行的DualGAN算法、Cycle GAN算法、Pix2Pix算法和GAN算法相比,本文提出的方法具有更好的风格化效果.     

一种梯形结构的软阴影锥生成方法

软阴影锥（soft shadow volumes）算法是多媒体领域中用于快速生成高质量阴影的最佳算法之一．然而,在区域光源情形下,精致软阴影的计算仍然是计算机图形处理过程中的难题之一．在对不同的软阴影算法分析研究的基础上,提出了一种梯形结构的软阴影锥渲染算法,对于每个阴影象素仅需用一束参考光线来测试．通过不同的阴影场蒂的实验表明,该方法能比较快速地生成非常光滑且无噪音的软阴影图像．     

属性约简在中医证候诊疗数据分析中的应用

针对中医诊疗数据和诊疗结果数据存在不确定性等特点,通过研究基于粗糙集的属性约简方法,引入属性作用集差异度概念,并定义基于属性作用集差异度的属性重要度的计算方法,提出基于属性作用集差异度的属性约简算法,并将其应用于中医证候数据约简中以实现中医证候诊疗症状关键因子提取的需要。通过实际中医证候诊疗数据集上测试及与其他属性约简算法的测试比较,结果表明所提出的属性约简算法是有效的。     

基于软件知识的测试方法

在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略．在对它们进行研究的基础上提出一种新的测试方法基于软件系统中使用的知识以及对相关知识的使用方式的软件测试方法．基于软件知识的测试方法可以应用于软件的可靠性稳定增长测试与软件安全性测试,也可以应用于对面向对象软件的测试,以及应用于采用组件重用策略的软件可重用技术的软件系统测试。     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

一种基于用户意愿的数据保护模型

基于最小特权原理，从分析进程的访问权限出发，提出了一种防御恶意程序攻击的数据保护模型．该模型对DAC访问控制机制进行了增强，当进程实际访问用户数据时，进程必须先获得操作用户的意愿，用户根据进程的任务赋予进程访问系统最小必需数据集的权限，使进程无法访问任务之外的数据集，防止进程因权限过大破坏用户数据．测试结果表明，该模型可以有效地阻止进程的非法访问而确保数据不被窃取或破坏．     

基于三元矩阵的层次分析多分类模型

针对支持向量机解决多分类问题时二分类向多分类扩展过程中的效率降低和数据集倾斜问题,提出了一种基于三元矩阵和层次分析的多分类模型的构造方法,优化支持向量机的多分类效果和效率,弥补1vs1、ECOC等主流算法的不足。该模型通过建立一种简单有效的获取样本集线性可分性构造分类器,从而减少支持向量机在处理多分类时的运算复杂程度。采用了UCI标准数据库中的Iris,Breast Tissue和Statlog等数据集对模型进行训练测试,测试结果表明所提出模型是有效的,尤其在大量数据下多分类的有效性。 更多还原     

约束条件下基于区间组合的测试用例生成

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.     

基于Rough集从临床数据中提取诊断规则

在医学上,没有正确的诊断就没有正确的治疗.本文提出用简化的分明矩阵方法对临床数据信息表属性约简,并在此基础上提出相应分类和合并诊断规则生成算法.通过对该数据集测试表明,此算法是可行有效的,并缩短了诊断规则长度,有时还能为病人节省不必要的检查.     

基于线性残差独立性测试的致病基因检测

使用因果推断相关的机器学习方法辅助检测致病基因时,作为因果推断的核心工具,条件独立性(CI)测试算法在高维生物数据场景中往往存在时间复杂度高以及准确性低等问题。为此,提出一种融合偏相关测试与线性残差独立性测试算法,压缩CI测试条件集的搜索空间,同时提高准确率。设计一种因果推断策略,在减少冗余CI测试的同时结合V结构与因果函数模型的优点,在应用于真实癌症数据的致病基因检测场景中可以区分Markov等价类,找到真正的因果关系。实验结果表明,提出的算法有较好的致病基因检测性能。     

计算对称群Sn的所有Sylow-p子群

综合运用数论、群论等知识，通过设计有效的计算方法，给出了计算Sn的全部Sylow-P子群及其生成元的算法，同时以S8为例，给出了较详细的算法过程及计算结果．     

基于云环境K-means聚类的并行算法

K-means聚类算法只能保证算法收敛到局部最优,从而导致聚类结果对初始点的选择非常依赖,同时在面对海量数据时容易因运算次数增多而使聚类过程耗时增加.针对上述问题及结合海量数据的特性,本文提出了一种基于云环境的并行聚类算法,该算法利用Canopy聚类算法思想并结合二分查找思想对K-means算法进行优化,同时采用"极限点"原则使之避免了聚类过程中的局部最优,然后利用顺序组合式MapReduce编程模型实现了算法的并行化扩展.实验结果表明:在大数据集上,该算法比同样部署在Hadoop集群上运行的K-means算法,在加速比、准确率、扩展率、算法效率方面具有较大的优势.     

球面散布数据点插值的误差估计

讨论球面上散布数据点插值的误差估计问题．一方面用深刻的新概念——正规生成集对插值节点集的特性进行刻画,同时给出它与基本系统、网格范数间的关系;另一方面得到了插值误差及导数的点态估计．     

基于判别公共向量的单训练样本人脸识别

提出一种新的基于判别公共向量（Discriminative Common Vector）的单样本人脸识别算法．该方法基于人脸类内方差相似的假定，通过引入单人多样本的辅助人脸集来估计类内方差，解决了单训练样本情况下样本类内方差无法估计的问题．在FERET人脸库的测试结果表明，在面部细节、光照、表情变化的情况下，该方法都具有较好的识别效果．     

一种基于锁集的多线程数据竞争的动态探测算法

通过对多线程环境下共享变量运行状态变化的分析,提出了一种基于锁集的多线程数据竞争的动态探测算法．该算法在探测共享变量间的读写冲突方面具有一定的实用价值．它能充分地发掘出程序中的并行性,使处理机得到最大限度的利用．     

一种检测范围自适应的目标跟踪算法

为处理目标的消失重现、形变及环境变化等问题, 要求跟踪算法有一定的检测与学习能力. 针对全局检测方法因冗余检测而造成检测效率低下的问题, 在基于P-N学习的跟踪框架的基础上, 提出一种自适应生成检测范围的目标跟踪算法. 通过引入卡尔曼滤波器(Kalman filter)对目标位置、尺度以及两者的变化速度进行预估, 在检测前根据预估信息自适应生成检测范围, 提高检测效率. 在公开的CoGD数据集上进行实验, 结果证明该算法较原始算法在准确度基本不变的基础上, 速度得到显著改善.     

大规模异构局域网中拓扑图的自动生成

为解决现有拓扑图显示工具存在的问题，在深入研究大规模异构局域网中拓扑图自动生成算法的基础上，提出了网络层拓扑图生成算法中碰撞的解决方法以及交换机拓扑图生成算法，采取网络层和物理拓扑分层实现的策略，简化了每一层拓扑的互连关系，便于清晰合理地呈现复杂拓扑结构．增加了手动调节功能，在每一层上做到布局合理，实现了多层拓扑图自动生成功能，解决了拓扑图规模较大时存在的重叠、交叉和布局不合理等问题，具有较强的容错显示能力．研究成果在实际应用中具有良好效果，为有效解决非可控目标网络拓扑探测受限等问题提供了手段．     

RSA公开密钥密码体制的密钥生成研究

介绍了密钥生成的一般方法，即确定性素数产生和概率性素数产生方法，并给出了利用 Ｍｉｌｌｅｒ Ｒａｂｉｎ测试和 Ｐｏｃｋｌｉｎｇｔｏｎ 定理生成强伪素数的算法实现     

基于生成对抗网络的飞机燃油数据缺失值填充方法

飞机传感器采集的燃油数据是后续燃油测量的基础。在飞行过程中,由传感器采集的数据因存在部分缺失值,如直接进行后续处理将影响燃油测量精度。现有的缺失值填充方法存在两方面问题,一方面易忽视飞机燃油时序数据在时间维度上的上下文依赖关系;另一方面缺少完整的样本数据集进行模型训练。基于此,提出了一种基于生成对抗网络的缺失值填充方法,从而有效解决了传统方法难以处理的时序数据历史隐含规律及样本不完整的问题,且填充效果较其他算法更佳。     

一种生成对称群S9所有Sylow-p子群的算法

根据对称群的基本性质以及第二同构定理，给出了通过添加生成元到P群来构造对称群的一个Sylow-p子群的定理，添加的生成元保证能够快速得到对称群的一个Sylow—p子群．根据第二西洛定理求出了所有共轭子群，即所有Sylow-p子群．针对求所有共轭子群过程中面临共轭子群出现重复的问题，利用正规化子的性质，找到使得两个Sylow-p子群共轭的元，保证每次求的Sylow-P子群不重复．将此算法应用于S1，实验表明该算法可操作性强，耗费时间少．