参数计算中使用的若干技术

参数计算和复杂性是上世纪末本世纪初兴起的一门技术。该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就。从趋势上看来,参数计算已经成为理论计算机科学中越来越热门的一个分支。先简要介绍参数计算和复杂性的重要理论基础和主要思想;之后重点介绍参数计算中使用的主要技术,分析每一种技术的功能作用、基本设计原则和优缺点,并结合简单案例加以说明。     

基于模态Petri网的行为有效区间寻找最优路径的方法

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。     

基于多重约束的OpenXML复合文档内容源数据区容错定界算法

在高误码率条件下,接收到的OpenXML复合文档往往因数据含错而无法打开,而在文档修复过程中,对信源中每个源文件内容源数据区的定界经常容易出错,针对该问题,提出了一种基于多重约束的OpenXML复合文档内容源数据区容错定界算法。通过对文档协议冗余的分析与归类,将内容源数据区定界问题转化为对起始位置序列的最佳估计问题。在通过适当放宽匹配条件完成粗定界的基础上,利用冗余信息中的约束关系构建代价函数对观测数据进行筛选,有效地剔除“虚警”情况,进而实现对内容源数据区起始位置序列的最佳估计。仿真结果表明,在参数设置合理的情况下,该方法具有较好的容错定界能力。     

一类时滞乙肝病毒模型的稳定性分析

研究了具有时滞和非线性发生率的乙肝病毒模型的稳定性及Hopf分支问题.利用微分不等式技巧,讨论了系统解的正性和有界性.利用泛函微分方程的稳定性理论,通过分析模型在平衡点处超越特征方程根的分布情况,讨论了时滞对平衡点稳定性的影响.研究结果表明:时滞不影响无病平衡点的稳定性;时滞会诱发地方病平衡点的稳定性,并且在其附近产生小振幅的周期解.     

符号几何规划问题的求解新方法

对符号几何规划问题,给出一种求其全局最优解的分支定界算法。利用不同的凸化方法将算法中关键的定下界操作转化为易于求解的凸规划问题。最后给出算法的收敛性证明和数值实验结果。     

熔体过热对Ag-Cu合金生长取向的影响

通过对Ag-Cu合金熔体的过热处理，研究了不同生长速率时的平界面的结晶位向，发现高的熔体温度使平面单晶的位向产生分支现象。应用Leonard-Jones势能和团簇概念分析了位向分支的形成原因，表明团簇状态在母相中的分布对结晶取向具有重要作用。     

系统失效的分支-界限分析法及其在桁架可靠性分析中的应用

本文首先介绍了系统失效的分支-界限分析法，然后以空间桁架系统为例用分支-界限分析法进行了可靠性分析。系统失效的分支-界限分析法直观、明了，适合对实际工程中的复杂系统进行可靠性分析。     

基于联合相容分支定界的关联算法研究

联合相容分支定界算法(Joint Compatibility Branch and Bound,JCBB)充分考虑传感器量测之间的相关性和重新匹配关联的可能,但计算量随观测数目成指数增长。为优化其计算复杂度和关联准确度,以最近邻算法(Nearest Neighbour,NN)进行关联,对符合重复度和经过设定步数的情况使用JCBB进行特征匹配,并以互斥准则和最优准则来提高关联准确度。引入机器学习领域的评价测度对改进后算法和JCBB算法进行比较,结果表明,改进后的关联算法能够保证更好的关联准确度。     

巧用元件动画制作复杂动态交互式树形分支流程图

该文介绍了如何通过flash的动画控制技术在制作复杂动态树形分支流程图中的应用,重点讲述了flash的元件动画的应用。     

如何解决TSP问题

本文主要介绍了如何用“分支界限法”解决TSP问题,文章开始指出TSP问题的概念,而后引出“分支界限法”的概念以及设计思想和步骤,最后对“分支界限法”做出了分析。