一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

流量约束最小生成树问题的分枝定界算法

研究流量约束最小生成树问题(CMST),它是通讯和网络优化设计中最为基础和重要的问题之一.给出一种分枝定界算法,详细阐述了算法的原理、搜索过程,数值结果表明,该算法是有效的,并且有较好的计算性能.     

基于附加隐性遗传效应遗传算法的约束优化问题研究

遗传算法是一种模拟生物进化论的自然选择和遗传学的基因遗传机理而发展出来的一种全局优化算法.本文作者提出附加隐性遗传效应遗传算法,通过具体算例,对基本遗传算法与附加隐性遗传效应遗传算法的优化结果进行比较分析,证明了附加隐性遗传效应遗传算法在求解优化领域的约束优化方面,表现出更好的算法性能.     

消费均衡的跨期分析

消费者在进行跨期消费时,为实现效用最大化,应该对本期消费品价格、未来消费品的预期价格、本期拥有的财富、未来拥有的财富、银行利率以及对未来消费所能带来的效用的主观评价这些因素进行综合考虑。     

基于规则和约束的多层递阶产品开发过程管理

针对开发过程的动态性和不确定性,研究了基于路由规则和任务约束的柔性工作流模型,该模型与传统的工作流模型最大的差别在于其流程实例的路由需要根据运行时的环境和条件动态决定,提高了开发过程的适应能力和敏捷性;针对开发过程的递阶性、嵌套性和层次性等特点,提出了基于任务分解的任务流管理模型,通过任务逐级分解,采用任务分解和工作流相结合的方法,降低了开发过程管理的复杂性,提高了开发过程管理的可操作性．     

集成证据提高目标识别性能的方法研究

以数理统计理论和Dempster．Shafer证据理论为手段,提出了充分利用末制导图像信息处理和识别过程中产生的中间信息和先验知识,从而提高目标识别性能的方法,该方法包括证据可用性的判断,证据对识别结果的支持度的计算模型以及各证据对识别结果支持度的融合计算,在对实际复杂背景下的红外图像识别实验中,该方法可有效降低目标识别中的虚警率和漏警率,虚警率和漏警率分别从0．031和0．085降低至0．008和0．038,分别降低了约3／4和1／2,表明该方法在提高目标识别性能上是可行和有效的。     

锥序约束下两个指数总体均值的估计

讨论样本容量相等时 ,在锥序约束 a1λ1≤λ2 ≤a2 λ1条件下 ,两个指数总体均值 λi( i=1 ,2 )的估计量 .证明约束极大似然估计 λi 具有比经典极大似然估计 Xi 更小的均方误差 ,并且讨论 λi 对 Xi的功效 e( λi,Xi) ,i=1 ,2 .     

线性互补约束优化问题的一类修正SQP算法

提出了求解线性互补约束优化问题的一类修正逐步二次规划算法,数值实验表明了该算法有效。     

约束最优化问题的稳定序列

给出了非光滑凸函数的N-稳定序列和N-稳定序列的概念,并得到了它们的一些性质和它们之间的一些关系。     

提高储层随机建模精度的地质约束原则

为了提高随机建模的精度,降低模拟实现中的不确定性,在建模过程中应采取以下地质约束原则：等时约束建模,成因控制建模,多步建模,应用地质模式选择随机模拟方法,应用目标区多学科信息或原型模型确定统计特征参数,应用确定性信息限定随机模拟过程。在此基础上,提出了地质约束条件下的储层随机建模流程,并以长庆安塞油田坪桥水平井区储层随机建模为例,进一步阐述了地质约束随机建模的思路和方法。