堆垛约束下基于偏序的路径优化时间窗松弛方法

在求解车辆路径优化问题时,通常使用时间窗对任务之间的偏序关系进行建模,设计带时间窗约束的路径优化模型与算法,然而时间窗约束与偏序约束是不等价的．在集装箱码头堆垛作业背景下,针对时间窗约束的路径优化模型,提出将时间窗约束转化为偏序约束的松弛方法,并据此设计偏序约束的路径优化模型．在分支定界算法框架下,研究时间窗约束与偏序约束之间的关系,对两种模型的特征进行分析．采用Solomon数据集进行数值分析,验证两个模型在寻优能力与性能之间的差异．结果表明,偏序模型具有更好的优化性能,但是时间窗模型具有更好的计算时间性能,通过时间窗紧缩的特征分析发现基于时间窗分解设计偏序模型求解算法是新的研究方向．     

时间约束工作流模型及其应用

工作流时间管理是工作流管理系统的一个关键部分,一个工作流程在定义、执行阶段明确计算出其所需消耗的时间以及各个步骤的可能启动时间对于安排时间和资源计划都是很有意义的.本文介绍了时间约束的工作流网及其层次扩展模型,分析目前工作流时间管理中存在的问题,提出时间约束工作流网在事务处理流程和项目管理二种不同应用环境中解决时间计算问题的思路.     

具有时间约束的动态角色的访问控制策略

基于角色的访问控制(RBAC)的规范性和易管理性使其被业界普遍接受并广泛应用,但因缺乏时间约束和动态调整权限状态能力,不能很好地满足时间敏感活动的安全需求。针对RBAC的不足,提出一个具有时间约束的动态角色访问控制模型,详细描述了时间系统、时间约束指派的相关定义和函数,分析了系统中权限的4种状态以及权限状态转化问题;为了保证权限状态更新的效率及权限状态的有效性,设计了计算权限状态转化的最短时间的相应算法。     

时间—资源权衡协调问题的多目标优化决策模型

时间—资源权衡协调是以追求资源消耗费用极小和项目完工时间最短为目标，在满足项目工期要求下，根据项目活动时间的先后次序与可更新资源约束有效确定项目时间表。提出了一个具有资源约束问题的时间—资源权衡协调问题的多目标优化决策数学模型。在模型中，对相互冲突的项目工期与整个被消耗的资源费用是可权衡调节的。通过权衡协调和调节项目工期与整个资源消耗费用，得到了满足权衡协调关系的满意可行解，并给出了一个数值算例。此外，在对应于资源约束的Lagrangian松弛表示式中，给出了该二人对策问题的有关特性。     

基于优化FOA-BPNN模型的脱贫时间预测

针对精准扶贫缺乏有效的分析模型对扶贫的成效与脱贫时间进行准确刻画与定量分析问题，提出了基于 FOA-BPNN 贫困户脱贫时间预测模型．针对BP神经网络模型可能陷入局部最小的缺陷，引入果蝇优化算法，以BP 神经网络的预测误差作为适应度值，寻找最优的BP神经网络参数值，提高参数精度．由于标准果蝇优化算法的搜 索半径固定，可能导致后期局部寻优性能弱，提出了一种动态步长变更策略的DSFOA-BPNN模型，通过引入变速因 子与种群密度，将动态步长FOA算法与传统误差反向传播神经网络(BPNN) 结合，提高模型预测时间精度．在湖北 省某贫困地区 50000 条扶贫数据的基础上，通过实验表明:与BPNN和FOA-BPNN模型相比， 提出的 DSFOA-BPNN 模型预测精度分别提高了44%和11%．增量实验表明: 提出的DSFOA-BPNN模型更适用于精度预测.     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。     

一种具有性能约束的软构件集成模型

在具有性能约束构件模型的基础上，提出了一个由构件层和服务层组成的具有性能约束的软构件集成模型．通过服务层提供的构件性能属性识别器、构件容器、集成工具、适配器等设施的协同工作，把分布于不同网络的、基于性能约束构件模型开发的构件进行集成，实现了具有性能约束构件的集成．由于对于不具有性能约束构件的集成，该模型的构件性能属性识别器不用启动运行环境，从而节省了系统开销．该模型既考虑了具有性能约束构件的集成，又可实现一般构件的集成，有助于软件复用．     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

具有时间约束的数据及其处理

讨论了实时数据库系统中具有时间约束的数据的一致性要求，提出了处理该类满足时间一致性数据的实时事务的提交协议，进而从数据是否具有时间约束的角度给出了一个实时事务的并发模型。     

可重构企业信息系统中业务构件的可重用性研究与设计

针对可重构企业信息系统中业务构件的可重用性进行研究。本文首先结合设计模式和对UML元元模型的扩展,在对业务构件库中相似业务构件的共性部分和差异部分分析和抽象的基础上,提出了一种可重用业务构件模型———元构件;然后基于业务构件和业务构件集的形式化定义,对元构件进行了定义和语法描述,并对元构件的参数进行了详细设计,描述了如何通过元构件的编译参数和运行参数来提高业务构件的可重用性;最后给出一元构件应用实例。     

组件库描述及检索策略

为有效管理已开发的软件组件,给出一种组件库的描述和检索策略。通过定义结构合理的组件库,在优化组件信息描述性的基础上,应用相应的检索技术并结合结构化查询语言提高组件库的使用效率。针对复用环境的不同,采取相应的组件描述与检索策略,加强并优化组件库的管理,能加快和完善组件库的建设工作。     

一种面向检索的构件描述方法

基于构件的软件工程可以提高软件的质量、降低软件开发和维护的成本，构件的描述是构件检索和复用的基础，提出了一种面向检索的构件描述方法，包括接口描述、语义描述、属性描述和附带档四个部分，用于在构件库中对构件进行描述，并作为构件检索的依据，能够简化构件的语法检索，提高检索的速度和查全率；显式的描述构件、各接口元素的语义及其之间的关系。     

XCODE:一种面向系统软件的可扩展构件描述语言

给出了一种称为XCODE的构件描述语言.作为一种基于XML的语言,XCODE可以被用于不同目的场合.它提供了一种可扩展的、独立于工具的方法,可服务于描述编译、链接、运行时刻构件的不同侧面.     

一种支持多领域构件描述的分类描述模型

软件构件库是支持基于构件的软件开发的基础设施.在软件构件库中,构件的分类描述是复用者检索和理解构件的基础.随着构件技术的发展,构件库在不同领域的得到了应用,构件分类描述机制也面临着扩展性和变化性的挑战.提出了支持多领域构件描述的分类描述模型ECDM,并基于该模型,实现了青鸟构件库管理系统中多种分类模式的定制以及对构件描述属性扩展的支持.     

基于多层信息相结合的构件存储与检索

在分析传统的构件检索方法基础上提出了一种新的构件检索方法，它结合了构件的高层领域信息和低层代码信息，不仅使终端用户可以根据对问题领域的理解检索构件，而且还可以根据构件的功能信息进行检索，并对构件在运行环境中的有效性进行检验，提高了构件的检索能力。     

一种湘西民间苗文字形的动态生成方法及其实现途径

为了有效地解决湘西民间苗文字形的生成及描述问题, 提出一种字形的动态生成方法。该方法将苗文字形的生成过程表示为由苗文构件作为操作数、由构件位置关系决定运算符的组合运算表达式, 将2~3个构件进行不同的组合运算, 即可动态生成不同结构的苗文字形。利用操作系统自带的表意文字描述序列解释机制, 将构件组合运算表达式转换为表意文字描述序列, 即可实现该方法。测试结果表明, 根据该方法编写的映射脚本生成的湘西民间苗文字形可以满足实用要求。     

单调关联系统休止时间的随机性质

Signature是研究单调关联系统时要用到一个有用的工具.基于元件寿命的顺序统计量的条件休止时间,建立了由n个独立同分布元件构成的单调关联系统的条件休止时间的混合表达式.建立在该混合表达式上,对具有不同元件或结构的两个系统的条件休止时间进行了随机比较.     

基于部件包围盒的飞机几何描述算法研究

部件包围盒是包围该部件的外接长方体。平面射击线扫描法在飞机易损性评估中用于对飞机进行几何描述,包括飞机(部件)暴露面积、重叠面积的计算与部件间遮挡关系的确定等。缩小射击线网格的大小可以减少几何描述的误差,但增加了计算机的计算时间。基于该事实,提出了一种基于部件包围盒的平面射击线扫描法,并编制了计算机程序,进行算例验证。算例表明,该方法易于实现,而且能够在保证飞机几何描述的精度的同时,提高计算效率。     

一种抽象泛型机制的新型Java实现

泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.