基于非线性最优化的服装混合维度放码方法

通过比较二维放码和三维放码的优缺点,提出了一种混合维度放码方法,将需要放码的二维裁片映射到三维人体上形成衣片,当三维人体变形时,对应的衣片也相应地发生变形.以三维衣片和二维裁片的边角特征作为放码的约束条件,构造非线性目标函数,问题转化为求解有约束的极小化问题,经过数学变换,问题最终转化为求解非线性方程组.多边形具有直角坐标和局部标架2种表示方法,充分结合直角坐标法便于添加放码约束以及局部标架法计算简便并具有良好收敛性的优点,利用局部标架法设定初值,通过直角坐标法实现对问题的最终求解.在求解迭代过程中通过对某些边和角的纠正来达到较好的放码结果.实例表明该方法非常有效.     

q进制并元码与广义Bent函数的关系

研究了ｑ进制并元码与广义Ｂｅｎｔ函数的关系，得出的结论是：ｑ进制并元码与广义Ｂｅｎｔ函数彼此等价。     

利用非稳定流求解潜水水文地质参数的降深比值6点法

利用Boulton井流公式求解潜水非稳定流条件下的水文地质参数,是涉及4个未知数的超越方程,无法通过常规的解析法直接获解.传统的图解法不但受图表束缚,而且求解过程繁复、成果精度存在人为误差.文中采用优化拟合方法,在工程适用参数范围内,用较为简单的函数完成了由图表给出的井函数数值关系的替代,并利用降深比值关系,通过选取水位降深曲线上的6个点,经整理获得了仅含1个未知量的表达式,经简单试算即可完成参数求解,结果更接近工程实际,且计算过程简捷,不依赖图表,便于实际工程应用.     

极小函数依赖集求解方法的缺陷及改进

本文通过一个例子说明极小函数依赖集求解方法存在一定的缺陷,并通过与函数依赖集的规范覆盖的求解算法的对比,提出了两种改进方案。     

基于BPNN-GA算法的双边多属性谈判求解

通过对现有网上谈判模型研究发现,原有求解方法因多采用线性效用函数假设而存在自身无法克服的局限性。提出了基于BPNN-GA算法的双边多属性谈判求解方法。为求解属性间具有复杂函数依赖关系、效用函数难以显式表达,以及具有非线性效用函数映射关系的双边多属性谈判提供了一种有效的求解方法。最后通过谈判实例验证了该方法的有效性。     

有约束多目标模糊指派问题的改进算法

对有约束多目标模糊指派问题的算法进行了改进，提出借助于运输问题的表上作业法的思想，用最大差额法和列差额法来求解工程指派问题。对工程数小于、等于或大于位置数的情形均可求解，且不用考虑最大化与最小化之间的转化问题，算法简便、实用；并探讨了如何利用非线性隶属函数将指标矩阵转化为模糊关系综合评价矩阵．使多目标工程选址问题的求解更趋合理。     

无网格虚边界法在无限域问题中的应用

采用具有紧支特性的样条函数构造近似函数,将无网格虚边界法应用于无限域问题的求解。该方法既具有无网格法不依赖网格和边界元降维的优势,同时虚边界和真实边界的分离又消除了边界型方法存在的奇异积分、边界层效应和角点问题。数值算例表明,该方法具有较高的计算精度和良好的收敛性,适合于求解无限域问题。     

LA码性质的几点讨论

讨论了LA码的3个参数之间的关系并分析了LA码自相关函数同其自身参数 之间的密切关系,推导并证明了LAS2000+系统中LA码自相关函数比较理想时 >98是必须满足的一个充分条件。这个充分条件对LA码的序列设计和采用LA码的系统帧结构的设计都有着重要的理论和实践意义。     

关系模式中候选码的求解

关系数据库模型的应用十分广泛，其候选码的求解已被证明是一个NP完全问题，从闭包的角度讨论了如何求解候选码，并对其求解过程进行了一定程度的优化。最后提出了一些比较合理的建议。     

基于依赖模式集挖掘组方药物多维配伍规律

针对多维组方药物之间配伍规律挖掘问题,提出了依赖性判定函数和多维组方药物依赖性判定算法MMDE(Multidimensional Medicine Dependence Evaluation),作为组方药物依赖性判定的依据,利用差异函数确定药物分布的离散度,提出了基于可调差异函数求解缺剂量药物用量的新方法。实验证明了新方法在挖掘组方药物间依赖关系上准确性较高,达到80%以上。     

极小函数依赖集的正确算法及其证明

极小函数依赖集是关系数据库理论中的一个重要概念,它在模式分解中起到了重要作用,但是一些国内文献介绍的算法存在问题。本文通过一个例子说明了该极小函数依赖集算法的错误,给出了正确的算法,并且出具了详细证明。     

结合通用割集和专用割集的组合电路验证方法

为了提高组合电路的等价性验证速度，提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集. 从原始输出进行回溯得到通用割集，用通用割集验证所有候选等价点(CEP)的等价性. 从特定候选等价点进行回溯得到专用割集，通过消除高层次结点间的依赖关系对专用割集进行优化，用专用割集验证特定候选等价点的等价性.实验结果表明，与传统依赖性处理策略相比，该验证方法中的依赖性处理策略减少了验证时间.与只基于通用割集或专用割集的验证方法相比，该方法可以使组合电路的验证速度明显提高.     

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．     

主动数据库中交叉数据依赖关系的研究

针对在ADB中出现的交互数据依赖关系,提出如何在基于语叉的ADB模型中保证分布在相关的不同数据库的交互数据依赖关系．参照实例模型对ADB中数据元素之间的匹配和依赖关系进行分类细化,并依据概念级解释器的方法,在实例模型基础上导出依赖图,解决了带有计算性的交互数据依赖关系,使得事件执行的正确性通过依赖关系的加强得到保证．     

XML函数依赖等价的研究

近年来，人们已经提出了XML函数依赖多种定义方法。本文给出了基于树元组的XML函数依赖和基于路径的XML函数依赖的两种定义方法。一般说来，这两种方法是不可比较的，但是在DTD存在、XML文档没有信息缺失的情况下，这两种方法是可比较的，并且是一致的。     

一种基于图论和矩阵模型的网格服务依赖分析方法

为了解决网格服务挖掘（GSM）中出现的网格服务测试、维护、组合和失效检测等问题,提出了一种基于图论和矩阵模型的网格服务依赖分析方法.首先分析了GSM中可能存在的各种网格服务依赖的类型.然后定义了直接依赖图、直接依赖矩阵、直接依赖度、依赖关系矩阵和最小覆盖等概念.根据这些定义,给出了使用该方法分析和建模网格服务依赖的过程.最后描述了该方法在四川省交通厅多媒体增值应用系统中的应用过程.结果表明,该方法是准确而有效的.     

基于鱼群算法的脑功能连接邻域粗糙集特征归约方法

为了有效应对脑功能连接高维小样本性给分类模型构建带来的挑战,得到与脑疾病诊断相关的重要特征,提出基于鱼群算法的脑功能连接邻域粗糙集特征归约方法.该方法建立脑功能连接数据的邻域决策表;依据特征的依赖度将鱼个体初始化为候选的脑功能连接特征子集,并采用综合特征子集依赖度和特征子集长度的适应度函数对鱼个体进行评价;在种群优化过程中,执行觅食、聚集、追尾机制,以及交叉和迁徙2个新机制来不断搜索最优的特征子集.在3种脑疾病功能磁共振脑成像（fMRI）数据集上,将所提方法与多种已有的特征归约方法进行对比实验.结果表明,该方法是有效的脑功能连接特征归约方法,可以有效降低脑功能连接数据的维度,获得分类判别能力较强的脑功能连接特征.     

基于蝙蝠算法的蛋白质网络功能模块检测

为了得到更好的蛋白质功能模块,揭示蛋白质的功能,利用蝙蝠算法对蛋白质相互作用网络(PPINs)进行功能模块检测. 每个蝙蝠个体所在的位置代表一种候选的功能模块划分,将PPIN中每个蛋白质节点与其所有邻居节点组成邻居有序表,采用在邻居有序表中随机游走的编码方式进行种群的初始化;在种群优化过程中,设计定向局部扰动、随机扰动、基于距离和频率的自适应变异、自然选择4种寻优机制来进行解的随机优化. 在5个不同规模的酵母菌PPIN数据集上,将所提出方法与6种经典算法进行对比实验. 结果表明,所提出方法检测到的功能模块中有较多模块与标准模块相匹配,并且所提出算法在覆盖率、召回率、灵敏度、正的预测率、准确度评价指标上均表现突出,验证了所提出方法的有效性.     

任务间依赖关系的分类及形式化表达

协调作为一个重要的概念广泛地出现在多个学科和社会经济领域，成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究，多是做定性的表述，给出的一般都是非形式化的描述，这样不利于协调问题在计算机上的表述，难以实现协调问题的计算机求解。针对这一问题，利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究，提出任务之间的依赖关系可以分为两类，基于资源的依赖关系和基于时间的依赖关系，并用Petri Nets对这些依赖关系进行了表述，为协调问题的可计算描述提供了一种新的思考角度。