具有时间约束的软构件的时间消耗表示和评价

提出了构件性能参数中的时间消耗表示和构件动态组装时的时间消耗约束的判断方法．提出一种时间消耗约束求和模型和两种时间消耗的评价方法,基于一个类3C的构件模型,并采用XML实现构件描述,通过时间评价的使用实例,显示本方法在动态组装中检验时间消耗约束的可行性．     

一种具有时间约束的最优导引律设计方法

针对导弹空中弹道多约束控制的需求,根据最优控制理论的设计思想,设计了一种具有飞行时间约束的导引律设计方法。该方法首先建立了弹目相对运动模型,推导了无量纲化的弹体运动状态方程,将终端约束要求转化为具有末端约束条件的最优控制问题;然后通过在具有弹道倾角约束的最优导引律中引入时变修正项,实现了对导弹飞行时间的准确控制;最后在不同初始条件和约束要求下,通过弹道仿真实验。实验表明,该方法能够满足多约束的指标要求,具有一定了鲁棒性能。     

MDBS模式集成中完整性约束的处理

通过对多数据库系统模式集成中不同类型完整性约束的分析，提出并了用于处理完整性约束的若干规则，这些规则不仅可以应用于模式集成，而且还可适用于模式变换、视图派生等模式重构中，用一个实例解释了如何在实际应用中使用这些规则。     

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

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

实时系统时间约束验证

为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。     

MDBS模式集成中完整性约束的处理

通过对多数据库系统(MDBS)模式集成中不同类型完整性约束的分析,提出并讨论了用于处理完整性约束的若干规则.这些规则不仅可以应用于模式集成,而且还可适用于模式变换、视图派生等模式重构中.用一个实例解释了如何在实际应用中使用这些规则.     

车联网中一种时间约束的数据广播算法

为解决车联网中时间约束条件下的数据广播问题,将该问题规约为二分图的约束最小顶点覆盖问题。证明该问题是NP-Hard问题,并提出一种启发式的数据广播算法。实验表明,相对于传统的路由算法,该算法充分考虑节点的联系概率及影响力,对于路由的包投递率和平均数据包端到端延时都有较大提升。     

加工时间具有学习效应的链约束单机排序问题

研究了工件的加工时间具有学习效应的链约束单机排序问题,在链可中断和不可中断两种情况下,均给出了目标函数为极小化最大完工时间的多项式算法。     

时间约束工作流的截止期限管理及其动态监控

提出一种基于关键路径的活动截止期限分配与动态调整方法,在过程定义阶段为每个活动分配松弛时间和截止期限,在过程运行阶段通过对活动实例执行情况的监控,为后续活动进行松弛时间和截止期限的再分配.该方法改善了已有方法对"或"结构所有分支分配相同截止期限的不足,且通过实例的执行情况适时调整流程的执行节奏,提高后续活动避免可能时间约束违反的主动性,确保工作流时间维计划的有效执行.     

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

具有输入饱和约束的永磁同步电机伺服 系统鲁棒有限时间控制

针对存在模型参数非线性不确定性因素和输入饱和约束的永磁同步电机伺服系统控制问题,提出一种具有抗输入饱和约束的鲁棒有限时间控制方法。为了处理输入饱和约束问题,通过定义饱和非线性函数将系统模型转化为带输入饱和约束的状态空间方程形式;将模型参数非线性不确定性因素扩张为一个新的状态变量,进而通过设计干扰观测器实现对不确定性因素的在线估计和前馈补偿,以提高系统的鲁棒性能;在模型参数不确定性因素前馈补偿的基础上设计永磁同步电机伺服系统鲁棒有限时间控制器,保证系统跟踪误差的有限时间收敛。仿真对比结果验证了所设计控制方法的有效性。     

用Petri网模型处理机组组合问题的时间约束

把一种受控记时Petri网系统模型应用于具有时间约束的机组启停状态转换过程,在机组组合的动态规划法中,既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,算法的效率将会大大提高.     

具有控制变量约束的线性时滞不确定系统的鲁棒控制

研究了一类具有控制变量约束的线性时滞不确定系统的鲁棒控制器设计问题,所讨论的系统为状态及控制均含有时滞,且不确定性需要满足范数有界条件,以求解线性矩阵不等式的形式给出了鲁棒控制器存在的充分条件。数值仿真例子说明了本文所介绍方法的有效性。     

受时间约束的运输问题的表上作业法

在应急物资保障中，受时间约束的运输问题是十分重要的。结合实际情况，对受时间约束的运输问题进行了探讨。通过分析，对表上作业法进行了改进，提出了最小损失闭回路调整法．并给出了求解的具体步骤，最后用实例进一步说明其应用。     

主动实时数据库系统中的数据定义和数据控制

在标准ＳＱＬ语言的基础上，开发了主动实时数据库系统的模式定义语言（ＥＳＤＬ），详细描述了模式定义语言处理的过程，定义了数据字典的逻辑结构。与传统的模式定义语言相比，ＥＳＤＬ能满足主动实时应用的需求。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

碱减量测控系统中实时数据的处理技术

本文从实际出发,介绍了碱减量控系统中实时数据处理讨论了有关汉字信息处理,实时数据显示,软件设计方法。     

车联网中种时间约束的数据广播算法简

为解决车联网中时间约束条件下的数据广播问题,将该问题规约为二分图的约束最小顶点覆盖问题。证明该问题是NP-Hard问题,并提出一种启发式的数据广播算法。实验表明,相对于传统的路由算法,该算法充分考虑节点的联系概率及影响力,对于路由的包投递率和平均数据包端到端延时都有较大提升。     

加权总完工时间有限的资源约束单机排序问题

讨论工件加工时间依赖于分配给它的一类资源，且加权总完工时间有限，目标函数为极小化资源总量的单机排序问题，对问题1，给出了一个有关最优解中最优资源使用的重要性质并利用该性质，对于bj=b，wj=w,aj=a这种特殊情况给出了最优算法．