摘要：车联网通过实现车与车、车与路边单元的互联互通,共享驾驶信息和交通消息,为司机与乘客提供一个方便、安全的驾驶环境,但是虚假消息会对驾驶安全造成威胁,车辆消息可信度问题亟待解决.针对此问题提出一种车联网信誉值模型.该模型设计了一种根据车辆消息计算车辆信誉值的方法;然后基于有向无环图的分布式账本提出了一种车辆信誉的共识机制,通过动态调整共识难度,使信誉高的车辆更容易获得记账权,从而可以保证车联网中消息的可信度.通过分析发现,该机制可有效解决车联网中车辆消息的可信度问题,并且能够抵御常见的车联网攻击,相较于传统区块链,该共识机制具有更高的共识效率和更低的能量消耗,适用于计算和存储资源受限的车联网环境.

摘要：概念级设计是实时嵌入式系统设计自动化的第一步 ,由于它的性能直接关系到整个系统的设计质量 ,所以也是非常重要的一步 .除了对所设计系统的功能进行描述、验证之外 ,概念级设计还应该对所设计系统的性能进行分析 .否则 ,如果将错误带到下一阶段 ,将会使整个设计付出沉重的代价 .在简单介绍了实时嵌入式系统的自动化设计原理 ,并分析了目前人们采用的三种概念级设计方法缺点之后 ,文章提出了基于 SDL / MSC描述与验证的 ,适用于单 FPGA或多 FPGA系统的概念级设计方法 .这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .在文章的最后 。

摘要：针对高性能计算环境下的多个电子设计自动化(EDA)任务流调度问题,提出一种启发式公平调度算法L-Fairness。在准备队列选择待调度任务时,L-Fairness算法结合任务滞后度、完成度和剩余完成时间确定任务优先级,保证多个任务流中任务的公平调度,同时将license数量及其类型作为处理器选择的依据,满足EDA多任务流的调度需求。仿真结果表明,与经典Fairness算法相比,L-Fairness算法的平均资源利用率提高6.7%,不公平度和平均完成时间分别降低46.2%和14.9%,保证了用户服务质量及调度公平性。

摘要：露天开采调度问题的相关研究通常采用块状矿床模型将露天矿体离散为块矿进行考虑,该模型是在给定的技术和经济条件下,以经济效益最大为目标,对露天矿中处于不同地理坐标位置的块矿的开采顺序及开采时间进行优化决策.本文根据实际生产过程特点,将开采过程中的规整性目标加入到经典块状矿床模型中进行考虑,进而建立了一个新的0-1整数规划模型.文章提出了一种拉格朗日松弛(LR)算法进行求解.首先利用优先级约束背包结构,根据块选择规则构建了有效不等式,使得求解时间明显缩短;其次,基于有向无环图结构设计了快速的可行解获得策略,还利用最早开始时间和最迟开始时间两种算法进行变量消除,减小问题求解规模;最后,通过真实的数值算例验证了文中算法的有效性,结果显示与标准求解软件CPLEX相比,本文设计的有效不等式和获得可行解的算法策略在求解时间上占有优势,同时能够在满足优先级顺序约束、生产约束以及开采的块矿所获净现值尽可能大的前提下,保证开采的过程是规整的.

摘要：混杂影响着人群因果关系的发生。依据混杂因素是否已知、可测量及已测量，可将其分为4类情形。基于有向无环图，对混杂的控制策略分为两类：①混杂路径打断法，又可分为单路径和双路径打断法，分别对应于暴露完全干预法、限制法和分层法；②混杂路径保留法，分别对应于暴露不完全干预法（工具变量设计或不完美的随机对照试验）、中间变量法和匹配法。其中，随机对照试验、工具变量设计或孟德尔随机化设计、中间变量分析可满足4类混杂的控制，而限制法、分层法和匹配法仅适用于已知、可测量并已测量的混杂。识别不同类型混杂的控制机制，有助于在研究设计阶段提出应对措施，是获得正确因果效应估计的前提。

摘要：为提高软件无线电(SDR)系统波形应用部署的灵活性和FPGA资源利用率,基于SDR系统的软件通信体系架构(SCA),设计一种支持FPGA的动态部分可重构(DPR)软件架构。针对DPR FPGA与CPU组成的异构计算平台,提出一种蚁群优化调度算法,以提高波形应用部署效率。实验结果表明,与MILP算法和ILP算法相比,所提算法的求解性能平均提升了约30%,且随着任务规模的增大,优势更加明显。

摘要：以在嵌入式系统中建立C编译器的技术特点为主要内容,用设计实例论述了C编译器实现中前端、后端的主要工作内容。说明了在前、后端之间起桥梁作用的中间描述语言有向无环图(DAG)的设计原理及形成方法,同时还就如何将DAG与目标机系统之间形成映射关系进行描述,提出了在映射中规约规则制定的方法和原则,给出了一些有指导意义的经验性结论。

摘要：服务的执行时间可能受到网络、CPU、磁盘I/O及负载变动的影响,进而影响组合服务的完工时间。研究组合服务的完工时间的分布规律与影响因素对于保证组合服务的性能至关重要。采用有向无环图描述组合服务,提出了一种评估组合服务的完工时间的波动程度的鲁棒性指标。通过理论分析给出了该指标的界限;通过仿真分析,探索了服务的执行时间的分布与波动情况、组合服务中简单服务的个数等因素对该指标的影响。为分析鲁棒服务组合的必要性和设计鲁棒服务组合方法奠定了基础。

摘要：针对智能建筑室内环境下并行计算的动态任务调度问题,构建了基于分布式CPS思想的无线传感器网络(WSN)模型,并分别设计了基于可计算复杂性的任务分配策略和基于动态调度算法的任务调度策略。通过先将任务分配成若干个子任务,采用多带图灵机输入任务,由合适的计算节点进行计算,形成有向无环图,再按调度优先级排列任务,形成任务调度序列表,依序处理任务,从而达到了将任务分配、调度和执行相结合的目的。实验结果表明该策略可有效减少智能建筑室内环境分布式可计算WSN分布运行时任务之间的通讯时间和等待时间,同时提高了任务调度的成功率,最终优化系统的运行效率。

摘要：检出偏倚是一种常见的信息偏倚,在Horwitz绝经后服用雌激素与子宫内膜癌之间的关联研究中首次被提出,并广泛地存在于各类流行病学研究中。本文应用有向无环图,分析暴露-结局间的效应,并以测量的暴露-测量的结局间的关联来估计;检出偏倚的产生,实质上是从测量的暴露至测量的结局之间存在着的额外的、与研究兴趣无关的开放路径所致。通过对不同研究设计如队列研究、随机对照临床试验和病例对照研究等进行具体分析,了解检出偏倚的产生机制及其对效应估计(或关联)的可能影响。