采用储能式车辆的城市轨道交通列车运行图分析

储能式轨道交通车辆采用车载储能介质,无需架空接触网等额外供电设施,可以降低高架线路的景观影响及工程投资,在低运量的城市轨道交通线路上拥有较大优势,但其采用的储能式动力方式会对行车组织产生特殊影响。对于采用蓄电池储能式车辆并在停车场集中充电方式的轨道交通线路,分析其对轨道交通公交化、高频率、安全性运营组织的影响因素;在考虑这些影响因素的情况下,提出列车运行图铺画时的约束条件,主要有运用车数、高峰小时列车对数、全日列车运行计划、折返时间、区间运行时分、停站时间、车辆段场出入时分、停车场分布及功能、停车场股道及列位等,以及运行能耗、车载电池容量、充电时间、出入停车场次序等。最后以衡阳胶轮有轨电车示范线项目为例,对储能式城市轨道交通车辆的列车运行图进行深入分析,并对运行图指标进行总结,提出优化措施,研究成果可为同类项目的设计研究提供参考。

基于多约束联合优化的多址通讯信道分配方法

多址通讯系统中存在信道衰减、链路调度,以及干扰复杂等问题,现有的信道分配方法在效率和可靠性等方面仍然具有不足之处,于是提出了基于多约束联合优化的信道分配方法。建立多址通讯系统模型,对传输信号、信噪比和传输速率进行分析,建模过程中充分考虑用户的干扰、干扰增益和干扰功率。基于模型分析,联合信道干扰、信道匹配,以及传输功率对信道分配策略进行约束。在计算信道干扰时将其转换成干扰加权图求解,即利用分组得到最低用户干扰。利用信道匹配作为共用信道的依据,来提高信道利用效率;通过用户效用推导出传输功率,并引入完成优化求解。通过仿真,验证了所提方法在多指通讯信道分配时具有较高的处理效率和可靠性,显著提高抗干扰能力,降低了传输功耗和阻塞风险,从而有效保证了用户服务需求。

面向Agent的分析与建模

传统分析方法注重目标软件系统的功能，分析的结果是一个完全、一致和无二义的软件需求规范（ＳＲＳ）．软件体系结构的提出，使基于构件的软件生产成为可能．需求分析也应从“功能决定论”转向“结构决定论”．文中提出了一种面向行为主体的分析与建模方法：面向ａｇｅｎｔ分析（ＡＯＡ）．ＡＯＡ摈弃对最终产品细节的追求，转而注重问题域实体结构和寻求问题总体解决方案．ＡＯＡ分析的结果是一个抽象的信息处理模型：需求体系结构模型，它包括：实体结构图（定义ａｇｅｎｔ和对象的静态交互结构），ａｇｅｎｔ状态图（描述ａｇｅｎｔ动态行为模式）和约束．它比ＳＲＳ具有更大的稳定性和可复用性．

基于Power图求解容量限制P-中值问题

针对稠密需求下连续域上的容量P-中值问题,提出基于质心的容量限制Power图(CCCPD)理论,对连续P-中值问题进行近似建模,并加快计算过程。扩展Balzer试位法构造Power图,施加质心限制满足P-中值要求,施加容量限制满足需求密度下的容量要求。实验结果表明所提算法可快速得到近似可行解,同Alper Murata方法相比,计算效率高;同质心容量限制Voronoi图(CCCVT)相比,具有容量限制精确度高等优点,并能适应各种复杂需求密度函数。

约束Delaunay三角化的研究与实现

针对在文献[1]中提出的边界边、边界面片在Delaunay三角化中的存在条件的3个 命题，给出了采用Voronoi图和邻域的概念的证明过程。并在此基础上，给出了约束Delaun a y三角化的实现算法，进一步丰富了Delaunay三角化的理论基础。

水电厂内经济运行问题中主结线运行方式约束的研究

在分析水电站厂内经济运行的各种数学模型的基础上，考虑了主结线运行方式约束对经济运行的影响，并使用虚拟等效机组的概念，讨论了考虑主结线运行方式约束的厂内经济运行的动态规划算法．

容量限制Power图快速计算算法（英文）

与Voronoi图不同,Power图有着精确限容的特性,可应用于众多领域.在普通Power图上,通过给每个站点增加权重来添加容量限制约束,即得到容量限制Power图.现有容量限制Power图的生成算法时间复杂度高,速度较慢.本文首先对Power图权值对于容量的单调性进行理论证明,然后提出了一种Power图权值的快速计算方法,相比于现有的试位法,能大幅提升容量限制Power图的生成性能.实验结果表明,文中算法具有速度快,精确度高,便于计算,密度适应性强等优点.

二维复杂域PEBI网格细化生成算法

本文给出了二维PEBI网格有关概念,对其已有生成方法进行了系统的分析.针对这些方法的不足,提出生成二维PEBI网格的优化检测带细分算法,先根据限定条件设置初始等腰梯形检测带,然后设计算法来细分检测带,以实现PEBI网格的快速生成.文中还进行了算法收敛性分析和时间复杂度分析.最后给出算法实例,验证了该算法的正确性和有效性.与已有PEBI网格生成算法相比,在限定线段间存在较小夹角时,本算法能有效消除这部分畸形网格单元,提高网格单元质量,扩大算法适应性;同时减少限定线段区域外的PEBI网格单元数目,提高算法效率.本算法在油藏数值模拟等领域有很好的应用前景.

基于改进最大流最小割算法的露天境界优化及应用

最终境界对露天矿开采效益至关重要,而求解速度慢且结果不准确是最大流最小割算法在露天矿境界优化中的一个固有缺陷。对已有最大流最小割算法进行改进,以净现值(NPV)最大为目标,首先以最大几何境界内的价值块构造有向网络图,通过聚合网络图节点减少弧的复杂度,并在残留网络中对负价值节点增加开采约束,以保证得到的最小割集中正价值块受到负价值块的约束,最终通过C++编程实现该算法对露天矿进行境界优化。经实例验证,该方法科学可行,克服了原算法求解速度慢且结果不准确的弊端,且求解效率提高了近600 s,该算法具有理论上的优越性和实用性。

带OCL约束条件的类图到Object-Z规格说明的转换

如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明。

城市轨道交通网络周期运行图编制研究

将铺画城市轨道交通列车运行线的问题看作周期事件安排问题,分析周期约束特性、周期约束图等因素,考虑列车运行与停站时间、列车运行到发安全、列车折返和线间换乘衔接等周期约束,以减少平峰时段轨道交通路网乘客换乘的总等待时间为目标,建立城市轨道交通网络列车运行图编制模型;提出选择合适约束图生成树的方法,结合城市轨道交通运行特征和周期约束特性,对网络模型的基本圈约束进行细化分析,研究简化模型的方法;以北京城市轨道交通局部网络为实例,编制网络列车周期运行图。分析表明,模型及其优化算法可行,对城市轨道交通运行图编制工作有较强的实用性。

综合线面特征分布的点目标多尺度聚类方法

考虑空间数据分布的复杂性与不连续性,提出了一种点目标聚类方法。算法利用全要素Voronoi图准确识别与表达点目标与线面实体的空间相关性;根据点目标位置分布特征计算面积阈值来控制聚类的粒度,同时以空间尺度变化下面积阈值的恒定作为判断尺度收敛的条件,实现点目标的多尺度划分,时间复杂度为O(nlogn)。经试验验证,聚类尺度随点目标分布特征自适应收敛,算法无须自定义参数,能够有效地发现受线面目标约束的任意形态点目标集群,对异常值处理稳健。

基于时间扩展UML活动图的工作流过程建模方法

为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。

功能分析与约束理论集成驱动产品改进设计研究

提出了一种功能分析(FA)和约束理论(TOC)相结合的问题分析及确定方法。该方法首先基于FA创建产品的功能明细表(FL)和系统模块图(SMD),然后结合TOC中的当前现实树(CRT)和冲突解决图表(CRD)对问题进行分析,从而及时明确解决问题的方向并确定产生问题的根本原因。利用TRIZ工具产生解决方案。太阳能组件接线盒设计实例说明FA与TOC相结合的方法用于驱动产品改进设计是切实可行的。

单线铁路列车运行调整优化模型及算法

对单线铁路列车运行调整的优化问题，构造了一个变量数上限为（ｍ－１）ｎ的“约束可选择的”线性规划模型（ｍ为区段内车站数，ｎ为所涉及到的列车数），并说明在该模型中变量不必作整数性约束的理由。通过论证用一般线性规划的对偶算法求解本模型的可行性，使得该模型的求解问题迎刃而解。最后介绍了求解过程的几点技巧。

基于附加约束的小型涡轮增压器转子模态测试

针对转子模态参数难以有效获取的问题,进行了基于附加约束的小型涡轮增压器转子模态测试研究。以多种材料和零部件组成的某型汽油发动机涡轮增压器转子结构为例,采用有限元法构建了其有限元模型,得到自由边界条件下转子前三阶模态频率。然后分别采用卧式悬挂、立式悬挂、海绵垫、硬纸垫四种不同附加约束条件,开展转子的力锤模态测试,通过稳态图识别模态频率,与有限元仿真结果进行对比发现,采用悬挂方式较采用直接固定约束方式的识别值要低,而采用立式悬挂约束方式获得的转子模态测试综合效果最佳。

基于上下文约束的UML序列图语义分析方法

统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。

基于UML模型和OCL约束的类间交互测试用例生成方法研究

面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.

受不稳定约束弹簧摆运动的研究

利用拉格朗日方程建立了受不稳定约束弹簧摆运动的动力学方程,运用Matlab软件进行数字模拟,描绘了受不稳定约束弹簧摆坐标随时间变化的演化曲线、运动轨迹、运动相图,分析了其运动情况,得出了更为直观的运动规律.

装配序列规划问题的CSP模型及其符号OBDD求解技术

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.