摘要：提出一种基于约束转换方法的建立暂态稳定约束最优潮流(OTS)的算法.运用函数转换技术等价变换OTS为半无限优化(SIP)问题,转换后的SIP问题与常规的最优潮流(OPF)具有相同的维数;基于有效集策略设计了转换后SIP问题的迭代法,该方法减少了子问题中不等式约束的个数.电力系统的2个数值仿真例子验证了所提出算法的有效性.

摘要：为寻求系统、科学的路网最优费率测算方法,提出用双层规划模型描述路网管理者、收费道路经营者和车辆用户三者在费率决策中的博弈关系,其中上层以路网用户盈余最大化为目标,下层是弹性需求下的多车型随机用户均衡模型,设计了遗传-模拟退火混合优化的求解算法。计算发现路网收费收入目标的高低将直接影响测算所得费率的高低,进而影响各车型OD出行量,且时间价值低的车型用户比时间价值高的车型用户受费率变化的影响要更为显著,表明双层模型在费率决策过程中能兼顾相关各方的利益,建模时考虑车型分类能更合理地反映现实情况;与遗传算法、模拟退火算法相比,遗传-模拟退火算法计算结果最优。

摘要：将Decell算法与MPI并行系统进行有效结合,用于计算大规模矩阵的MP广义逆．给出了算法设计方案；讨论了在MPI环境下的程序执行；并在PC机集群系统上实现．给出了关于并行加速比及效率的数值结果．

摘要：面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。

摘要：对乘用车物流运输计划问题进行了研究,首先,建立了以单辆轿运车实载率最大为目标的单车最佳装载方案模型,以该方案配送乘用车辆直到运输任务完成以获得初始轿运车数,其次以空载率最小为目标设计了数量调整模型对初始轿运车数进行优化,得到最优装载方案模型.基于上述优化模型计算最小的轿运车数,建立在轿运车数量限制下的最短行驶里程模型,选择总行驶里程最小的装载方案作为最优的配送方案.最后建立基于路径的物流运输装载模型,运用Floyd算法计算任意起讫点间的最短路径,设计了一种全局搜索算法得到一种合理的配送方案,并以空载率最小为目标对方案进行优化.

摘要：根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。

摘要：面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).

摘要：运用模拟退火算法、遗传算法等启发式算法对物流系统中的送货路线设计进行了研究。针对一个具体的送货线路设计问题,根据送货线路图,建立了送货路线模型,运用启发式算法计算出了最优送货线路,并对该模型和算法的适用性进行了分析。

摘要：布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动求解问题,设计了布尔表达式合法性的检查、表达式中布尔变量个数的检测、计算表达式的真值等算法,并通过文本文件输入多个布尔表达式,验证了算法的正确性。

摘要：通过对道路改造项目中碎石运输的设计分析,以项目改造碎石运输费用最小为目标函数,建立非线性优化数学模型,并为该模型设计求解方案;运用MATLAB软件编程求解,计算出碎石运输的最小费用.