基于帧交错的LDPC译码器流水结构设计

低密度奇偶校验码(LDPC)的译码器通常采用基于节点置信度更新迭代的算法,这种算法可以并行实现,具有非常高的吞吐量。在此提出了一种具有高硬件利用效率(HUE)的帧交错译码结构,并提供了一种用于层内节点重排序的动态规划方法,解决内存访问冲突问题。与现有的结构相比,该结构可以实现更高的硬件利用效率。

Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study

GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads.

基于证据一致性检验的目标属性序贯辨识

针对信息不确定、不完备引起的识别证据动态变化、冲突悖论等问题,提出了一种基于证据一致性检验的目标属性序贯辨识改进方法。首先采用顺序滑动窗口构建时序证据体,再通过证据一致性检验,快速定位冲突证据并动态重构出一致性证据体,最后利用证据理论合成获得目标序贯辨识结果。经仿真数据验证表明,该方法能有效积累时序证据能量、抑制冲突悖论,提高目标属性辨识的准确性和稳定性。

基于Time Petri Nets的实时系统资源冲突检测

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.

钢铁企业铁水运输路径选择及自动避碰算法的研究

以钢铁企业铁水运输仿真系统为背景,阐述了路径选择及避碰算法的作用,建立了路网二级拓扑模型及列车运行模型;提出了两级静态路径规划和路径动态调整方法;分析了列车碰撞检测的条件及机制,最后对避碰算法进行了描述。

并行工程中的资源与决策冲突消解策略及评价

并行工程产品开发过程中不可避免地会遇到各种冲突。主要讨论并行工程中的资源冲突与决策冲突。针对任务间的资源冲突,给出了关键任务优先、等待时间最短、先来先得三种冲突消解策略。针对决策冲突,给出了可信度优先、权威性优先、相邻影响、彼此影响等四种协商策略。通过实例对资源冲突和决策冲突的各种消解和协调策略进行了比较。

IPsec策略管理的研究

基于策略的管理是当前安全研究的热点问题之一。该文首先介绍IPsec策略的定义及冲突的原因,随后分析了对策略管理提出的要求,在此基础上提出了IPsec策略管理的一个通用框架,并对其中的关键部件给出了具体的解决方案,包括采用SPP协议进行网关和策略发现,使用Keynote信任管理系统进行策略的一致性检查。最后,讨论了当前研究存在的问题及今后的研究方向。

基于冲突检测的一阶混杂Petri网动态行为演变方法

讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法;最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用。

我国高校教师流动政策执行中的多利益主体

在我国高校教师流动政策的执行过程中,基于不同的资源优势和利益需求,自然形成了多元化的利益主体,大致分为:强势利益主体、弱势利益主体和无相关利益主体,他们既有共同的利益追求,又表现出不同的利益期待。在高校教师流动政策的执行中,不同的策略选择使他们常常表现为不断地冲突与制衡,对高校教师流动政策执行产生了重要的影响。探寻多利益主体的存在及其运行表现,并引导使其达到一种相对的公平,是当前我国高校教师流动问题研究亟待解决的问题。

基于Petri网时间约束工作流的研究与应用

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证和检验.

对象角色模型局部语义冲突即时检查方法研究

现有的ORM模型语义冲突检查方法针对的是全局模型,检查时间长,不能支持建模工具即时检查的需要。为满足即时检查ORM模型的要求,提出了10种局部语义冲突检查模式和算法。基本思想是:通过限定语义冲突检查范围,将局部模型结构抽象为各种模式来检查新增模型元素可能引起的局部语义冲突。该方法能有效提升建模工具的可用性和模型质量。

本体协同演化冲突检测与消解方法研究

随着本体数量的不断增加和语义Web的发展,多用户本体协同操作成为发展的必然趋势,但是在共同协作的本体环境中总是充斥着各种冲突,所以协同演化冲突检测和消解是亟需解决的一个问题。提出了一个分类检测并消解演化冲突的结构化方法,根据演化冲突的复杂程度分为直接冲突、衍生冲突和不一致冲突,针对不同类型冲突的特点构建相应的协同演化冲突检测算法,最后通过判断演化冲突对中是否存在可删操作和寻求最大一致子序列进行冲突消解,使得多个本体演化意图并存,最终实现本体协同演化的目标。该算法在一定程度上提高了本体协同演化的效率,为开放环境下大规模本体演化的进一步发展奠定了基础。

基于冲突检查模型的机器人避障的最优路径

通过建立冲突检查模型,研究机器人从区域中一点到另一点的避障最优路径问题.以机器人由出发点到达目标点和由出发点经过途中的若干目标点到达最终目标点两种情形进行分析,通过冲突检查模型得到机器人在限定区域中行走的可能路径,并对其进一步优化,结合MATALAB仿真计算工具,实例计算得到了机器人最优移动路径及时间.

城轨车辆基地行车进路自动控制系统的研制

我国城轨车辆基地普遍采用基于计算机联锁系统的列车运行进路控制模式,依靠人工手动排列进路实现收车、发车和调车作业,存在错办、漏办、误办,易发生安全事故,效率低下等问题.本文研发的进路自动控制系统,可实现车辆基地信号和机电设备、检维修任务、段内行车的综合监控,以及进路自动办理和列车跟踪,具备完善的进路搜索策略和冲突检查机制,有效地提高了车辆基地整体的信息化和自动化水平.

在RBAC模型中“责权分离约束”的冲突检测与消解

详细论述了责权分离约束在基于角色的访问控制(RBAC)中的冲突检测与解决方案。研究了该约束在“权限-角色授权”(PRA)、“权限-主体授权”(PSA)、“角色-主体授权”(RSA)、“角色-角色授权”(RRA)等各类授权关系中的典型示例,并结合数学中的有向图理论给出冲突检测的算法分析,为实际应用奠定了基础。此外,还对冲突产生后的消解方法进行了深入讨论,总结出多种方案并进行仿真比较,根据实验结果给出一套优化后的解决途径。

一种大数据量可靠快速通信的解决方案

对某工厂的锌钡白干煅窑炉过程监控系统采取了IPC+PLC的二级结构,IPC和PLC之间的数据通信是二级监控系统最关键的问题。由于被控对象的特殊性,系统的通信数据量很大,为解决通信的可靠、快速性,提高数据显示的实时性,提出了校验和的差错检验方法检查通信数据。对不经常改变的通信数据存储于文件中以供显示,以分组读写相间的方式解决读写PLC冲突的问题,在实际应用中,取得满意的效果。

一种基于AS关系的BGP路由策略冲突检测算法

因特网边界网关协议BGP是基于策略的路由协议 ,它为路由选择提供了灵活性。然而 ,实践表明BGP路由会产生振荡 ,其原因是路由策略配置冲突。通过分析AS关系 ,提出一种基于AS关系的路由策略冲突检测算法。该算法根据AS关系下的路由策略配置原则检测路由策略配置错误。

AOP中方面冲突自动检测方法研究

为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突。该方案不破坏现有的应用程序,且无需重新设计编译器。通过一个实例表明该方案的可行性。

东汉伦理政治初探

伦理政治的迷失是新朝政权倏忽兴亡的重要原因。刘秀复汉的成功,与对儒家思想的借重是分不开的。儒家政治伦理作为东汉极力表彰的意识形态,享有崇高地位,并与政治实践密切结合。伦理制衡既体现为东汉前期皇帝对治道和施政政策的主动调整,也体现在儒臣对朝廷决策和施政的约束和引导,从而发挥了一定的政治调节作用。东汉素来以朝廷表彰名节、士风高亢而彪炳中古史册,这构成该时期伦理控制的鲜明特征。东汉社会的伦理冲突,集中表现为清流士大夫捍卫德治传统、与黑暗势力的殊死斗争。

中国《外国投资法草案》若干问题探析

始于上个世纪的欧盟私法统一计划体现为两个线索:一是立法上在经济领域的某些特殊事项中进行有限统一;二是以欧盟委员会牵头进行的对欧洲私法的学术整理,并于本世纪初开始发布若干汇编和评论性质的学术成果。学术上的努力无疑是为立法层面的实质启动打先锋,两方面几乎是一荣俱荣、一损俱损的关系。2011年欧盟委员会提出了制定一部《欧洲统一货物买卖法》的建议,希冀在货物买卖领域实现欧洲范围内的统一立法。目前看来,立法领域统一欧洲私法的胃口在逐渐限缩。究其原因,主要面临如下问题:第一,政治动力不足。第二,经济动力不足。第三,统一的形式问题。第四、司法体制的问题。第五,私法统一的思路问题。本文通过对欧盟私法统一的相关背景、思路和步骤的介绍与分析,指出当前面临的主要阻力和各方在核心问题上的分歧,并对《欧洲货物买卖法》乃至欧盟私法统一的趋势做试探性前瞻。