一种快速带环数据流图的流水线调度算法

在带反馈环的数据流图的高层次综合调度中。提出了一种基于时间约束并考虑资源约束的调度算法．该算法利用了数据流图中的迭代内及迭代间的优先约束，采用retiming和流水线操作来进行并行的构造调度．提出的基于待调度稍点的retiming算法可以缩短常规的对调度空间搜索最优解的时间，从而快速地完成满足时间和空间约束的调度．     

一种基于数据流图的软硬件划分背包算法

在软硬件协同设计中,将数据流图作为软硬件划分问题的输入,建立了以数据流图为基础的软硬件划分数学模型.对于规模较大的划分问题,为了满足系统性能,达到功耗和成本最小化,提出了0-1背包分解算法,采用并行求解的方式,排除了绝大多数无最优解的子问题,从而改善了大规模划分问题的求解效率.实验结果表明在大规模问题和硬件约束条件下,该算法能获得行之有效的划分方案.     

一种从数据流图转换成软件结构图的方法

本文从对数据流图特点的分析和对模块结构图的特点分析并结合数据流图和结构图的关系,提出了一种新的数据流图转换成结构图的方法——添加边界节点法,并将添加的节点作为结构图的第二层,作为数据流传递的间接接口。根据这一原则,在计算机上实现了数据流图到结构图的转换。     

一种用于高速逻辑电路综合优化的新算法

提出了一种改进时序重排算法，使时序重排可以更有效地与其他组合优化算法结合起来共同提高同步时序电路的速度。在各种不同的测试电路上得到的实验结果显示，这种算法在与其他组合优化方法的结合上，较以往的时序重排算法有很大的改进。     

一种基于频繁模式有向无环图的数据流频繁模式挖掘算法

频繁模式挖掘中基于FP-growth的算法需要扫描两次事务数据库,预先给定支持度,且不支持时间敏感型数据。本文提出了一种基于频繁模式有向无环图的数据流频繁模式挖掘算法,它根据事务到来的时间给每个事务一个序号,每个事务中的数据项在存储前按数据项的顺序进行调整,频繁模式有向无环图的构建遵循这个顺序并用序号来记录事务与数据项的包含关系,模式增长过程只需要增加有向边上的序号。通过逆向遍历带有相同序号的有向边,产生条件模式基,根据动态定义的阈值抽取条件模式基信息,一次扫描数据库得到频繁模式。实验结果表明,本文算法的执行效率优于FP-growth算法,且存储节点的数目明显减少。     

一种SPC控制图的优化算法研究

统计过程控制SPC技术是保证预防原则、实现过程控制的科学管理方法,其应用已不再局限于工业领域.传统的单变量SPC控制图虽能反映整个过程的变化趋势,但只对较大的偏差敏感,对持续的、较小的偏差反应迟钝.提出了一种加权控制图的优化算法,这种算法能够反映较小偏差的变化,并以-X-R控制图为例加以比较.     

质量控制图中趋势模式的综合识别方法

提出了一种综合模糊技术与神经网络技术对基于控制图的趋势模式进行自动分类识别的智能方法,将控制图作为信息图用于趋势模式的提取,用模糊化的控制图模式数据构造训练集,将训练后的ＢＰ神经网络用来对真挚模式进行自动分类识别,该方法为工序状态异常模式识别提供了一种新的方法,提高了工序异常状态分类识别的效率和可靠性,最后用实例进行了仿真实验。     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法，事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制，这种并发控制方法上具有对数据主加无结构要求，无死锁，非两阶段等优点，讨论了其集中式并发控制方法和分布式并发控制方法。     

一种控制高层结构随机地震反应的新策略

以某高层剪切型钢框架结构为工程背景,提出TMD与LRB联合作用的T-L控制策略,利用非线性随机振动理论分别对无控制、TMD控制和T-L控制3种控制结构的非线性运动方程进行等效线性化处理,利用复模态理论给出以第一振型表示的3种控制结构随机地震反应解析解的计算方法。研究结果表明:新提出的T-L控制策略比TMD控制更能显著降低结构位移、速度和加速度反应方差;新算法同样可用于求解LRB层间隔震高层结构随机地震反应。算例在T-L控制下的最大位移、速度和加速度反应方差比TMD控制下的分别降低了29.3%、27.8%和31.6%。     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．     

A Novel Testability-Oriented Data Path Scheduling Scheme in High-Level Synthesis

Scheduling is an important step in high-level synthesis and can greatly influence the testability of the synthesized circuits. This paper presents an efficient testability-improved data path scheduling scheme based on mobility scheduling, in which the scheduling begins from the operation with least mobility. In our data path scheduling scheme, the lifetimes of the I/O variables are made as short as possible to enlarge the possibility of the intermediate variables being allocated to the I/O registers. In this way, the controllability/observability of the intermediate variables can be improved. Combined with a weighted graph-based register allocation method, this scheme can obtain better testability. Experimental results on some benchmarks and example circuits show that the proposed scheme can get higher fault coverage compared with other scheduling schemes at little area overhead and even less time delay.     

9,9-二辛基芴-2,7-二硼酸二(1,3-丙二醇)酯的合成与晶体结构

以9,9-二辛基-2,7-二溴芴、硼酸三亚甲酯为原料一锅合成了9,9-二辛基芴-2,7-二硼酸二(1,3-丙二醇)酯,运用NMR、XRD、元素分析仪、质谱等对产物进行了表征.     

吡啶桥双氮杂冠醚的合成与表征

以水杨醛、二溴乙烷、丙二胺和吡啶二酰氯为原料，合成了吡啶桥双氮杂冠醚，并对其进行了元素分析，ＩＲ和１ＨＮＭＲ表征     

关于图P_n~k和图B(3,2,k),B(4,3,k)的强协调性

证明了图Pkn和B(3,2,k),B(4,3,k)都是强协调图,并给出了它们的强协调标号.进一步讨论了图Pkn(k 3)的强协调性.     

柠檬酸三丁酯的新合成方法

以十二水合硫酸铁铵为催化剂,采用单纯型搜索法优化柠檬酸三丁酯的合成工艺条件,产率达到97．18％。该工艺具有反应时间短,催化效率高,方法简单,不腐蚀,无污染等优点。     

血管流动模拟实验的计算机控制及数据处理系统

对血管脉动流模拟实验提出了一种新型的计算机控制系统和数据处理系统．着重论述了这一系统的原理、功能和实施控制的各种软件处理方法．     

4,4'-二(烷/芳氧基甲基)联苯的合成

以4,4'-二氯甲基联苯(4,4'bis(chloromethye)-biphenye,BCMB)为原料,通过Wil-liamson醚合成法制备了一系列4,4'-二(烷/芳氧基甲基)联苯.对化合物4,4'-二(甲氧基甲基)联苯、4,4'-二(丁氧基甲基)联苯以及4,4'-二(苯氧基甲基)联苯的合成工艺进行改进,缩短了反...     

车用发动机电控单元可靠性设计与分析

研究柴油机电控系统可靠性问题.逐层建立电控单元中硬件电路和信号处理系统的可靠性数学模型,推导其可靠度表达式,经简化对硬件电路进行可靠性预计和分配,依据预计结果进行电控系统元件的选择和电路优化设计.以电控单元中信号处理系统为例进行了可靠度分析.对按照有关标准设计完成的柴油机电控单元进行8项环境实验和50 h台架可靠性考核实验,验证了电控系统可靠性预计、分配及设计方法的有效性.     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.