一种分布式实时嵌入式系统的调度分析算法

针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

基于面向对象有色Petri网的FMC模拟系统

分析了采用面向对象有色Petri网对FMC进行建模和分析的优点,并提出了将解释Petri网与面向对象有色Petri网相结合实现FMC模拟系统的方法。     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

时间约束下k/N(G)机群任务可用度的建模方法

考虑执行任务过程中运行时间和维修时间的约束,提出一种评估k/N(G)机群任务可用度的简便建模方法。构建机群运行过程和时间模型图,分析机群与系统之间运维时间的关系;基于系统任务可用度的解析式,推导出n/N(G)机群任务可用度的解析式;选用解析与仿真相结合的方法,建立机群维修过程的随机Petri网模型,结合n/N(G)机群任务可用度的解析式给出模型参数的计算方法;利用已知参数的仿真模型可得时间约束下k/N(G)机群的任务可用度。通过算例分析揭示机群任务可用度随着运行时限、维修时限的变化趋势,以及与无时间约束下k/N(G)机群可用度的差异。     

时间触发CAN总线系统的建模与性能分析

时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机Petri网理论建立了时间触发CAN总线系统的模型,通过仿真对异步相中非周期性消息传输进行吞吐量和平均延时等性能分析,得出了相应的量化规律,其结论对时间触发CAN总线系统的分析与设计具有指导意义。     

多传感器智能调度方案设计

针对资源有限条件下的多传感器调度,综合考虑了环境条件、任务要求、目标状态与传感器特性,提出了一种基于修正的效能函数多传感器管理算法。设计了综合考虑环境因素和任务要求的面向对象的优先级函数;提出了基于观测协方差与传感器特性的传感器 目标的配对系数的量化;给出了可自适应的效能函数;通过仿真验证了该方法。仿真结果表明了该调度方案的有效性与适应性,其不仅能满足基本的观测任务需求,且当环境发生改变时能够自适应的对调度方式作出调整。     

正态分布随机Petri网的串并行结构化简

基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。     

一种面向电动汽车控制的AUTOSAR可运行实体-任务映射方法

在基于AUTOSAR的电动汽车控制软件设计中,面临可运行实体到控制器任务映射的任务抖动、数据一致性差和频繁调度问题。以四轮轮边驱动客车整车控制器应用层软件的开发为目标,提出了一种包含触发合并、数据共享合并的二步映射方法。在基于Truetime 2.0所建立的仿真系统环境下,与传统映射方法进行了仿真比较。结果表明:所提方法在缩短任务抖动时间、减少任务资源占用和阻塞时间方面有明显优势,能够满足任务的实时性要求。     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

基于资源回收的容错单调比率调度

基于时间冗余的容错实时调度算法,其可调度条件是以任务的最坏执行时间和为任务预留容错操作的时间为分析基础,且任务拒绝率高,系统资源利用率低。该文提出的基于资源回收的容错单调比率调度,以容错实时调度算法FT-RM为基础,利用任务的实际执行时间低于最坏执行时间的特性,收集已完成任务释放的资源供等待任务使用,在保证系统容错要求的同时,提高了任务吞吐量和系统资源利用率,并通过模拟实验分析算法性能,研究了影响算法调度性能的若干因素。     

一类工厂作业单元布置优化方案

在生产制造系统中,存在着在制品的流动成本问题。目前工厂设备布置的主要方法存在不足。在总结、归纳当量物流量的计算方法后,笔者提出了工厂作业单元布置优化的新方案,并以某企业实际厂房改造为例,对新方案进行了评价、比较,最后在考虑了影响在制品流动的多种因素的情况下,给出了具有实用价值的工厂作业单元布置优化步骤与方法。     

DVS系统硬实时周期任务动态调度算法

与实时任务的可调度分析不同,实时DVS调度在保证任务截止时间限制同时,还要关注任务执行的处理器功耗。功耗研究一段时间的累积效果,传统基于最坏执行时间的任务调度模型不能满足实时DVS调度需要。该文采用实际执行时间(AET)概率分布建立实时任务调度模型,利用随机分析的方法分析AET分布对实时DVS调度算法性能的影响,提出了基于平均执行时间的实时DVS动态调度算法。实验结果表明,该算法在任务具有不同AET分布情况下可保持稳定的功耗性能。     

汽车后桥主锥总成综合检测和评判方法

介绍了一种自行设计制造的专用检测试验机,论述了汽车后桥主锥总成综合检测和评判方法。试验机模拟了汽车行驶时的工作状况,能自动检测主锥总成的预紧力矩、转动中的发卡和干扰、差速等参数值。以检测到的各项数据为依据,对立锥总成的整体性能作出综合评定,给出了评判结果,并提出工艺改进。     

基于模糊层次分析法的学校消防安全评估

影响消防安全的因素众多.文章采用专家评价法选取学校消防安全管理水平、学校防御火灾能力和师生抵御火灾能力这3个主要影响因素进行研究讨论,根据各因素之间存在模糊不确定性的特点,提出一种模糊层次分析法的消防安全评估方法,通过构造模糊一致矩阵,求得各个影响指标的权重,保证了评价结果的正确性,最后根据评价结果提出加强学校消防安全工作的对策.     

基于CATIA二次开发的零组件智能装配技术

为实现零组件的智能装配设计,提出了基于CATIA二次开发的零组件智能装配的方法。通过对模型装配元素 进行发布,查找装配特征,创建装配基准和参考元素并自动建立装配约束,实现在CATIA环境下同批号零组件的智能装 配,大大减轻了设计人员的工作强度,提高了装配效率,缩短了产品开发周期。该研究在实践中取得了很好的应用效果。     

原料混匀料车间的设计优化与仿真(英文)

提出了基于参数化建模与虚拟现实技术的钢铁厂原料混匀系统的设计优化与仿真系统的结构。研究了设备设计优化、车间参数化建模和原料输送仿真技术,在此基础上,开发了混匀料车间设计与仿真的集成自动化系统。应用表明,该系统可提高原料混匀料车间的设计自动化水平。     

审美状态的时间性生成——海德格尔存在论美学解读

主客二分的思维模式无法进入审美本源性的探讨;海德格尔的“时间性”思想则为追寻存在本源开启了一个构成境域,从而审美也只有放在时间性的境域中加以考察,才能回归至本源状态,揭示其本质。本文对审美状态的时间性生成进行了现象学的描述,并标识出时间中审美的特性:审美状态中陶醉的到时与美的显-现。     

交叉学科模块设计初探

交叉学科的研究生实践体系对加强高层次应用型人才培养有积极作用。应比较国内外土地资源管理专业发展的现状,准确把握专业课程体系模块构建的层次性、个性化、团队化、渗透性等原则,结合课程模块设计的专业方向、个性发展、团队意识、学科渗透等“四注重”要求,设置前沿课程模块、基础理论课程模块、工程技术课程模块以及专业辅助课程模块等4大课程模块体系;同时要加强对学生的实践创新能力,强化本专业研究生独立工作能力的培养等。     

采用单测量源的拓扑推断算法

为了减少拓扑推断中需要时钟同步和节点间合作的限制,提出了一种仅需要单个测量源并且不需要时钟同步的运输车测量方法,该方法可以测量目的地址共享链路的排队时延。设计了根据排队时延推断拓扑结构的算法。理论证明了基于运输车测量方法和排队时延推断网络拓扑的可行性和正确性,并通过NS2进行了仿真,仿真结果表明基于运输车测量方法和排队时延能够准确的推断网络拓扑结构。