基于多项式符号运算的时钟周期确定新方法

采用多项式符号代数理论建立了包含时序元件的整个同步时序电路的统一多项式符号描述形式,并采用WGL(weighted general lists)模型进行多项式的符号运算.在时序电路统一多项式描述和及其WGL运算的基础上,通过对有限状态机的简化比较,提出一种完全考虑周期的时序特性的时钟周期确定算法.该方法打破了传统上认为时钟周期要不小于实际传输延迟的认识;通过对多种现有方法的实验比较,该方法可以在不增加计算复杂度的情况下比现有方法找到更精确的时钟周期;实验还表明电路正常工作的时钟周期可以在不使用流水的情况下比实际传输延迟小很多.

面向互连的综合策略

VDSM(超深亚微米)设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题,尚未有成熟的方法。文章提出了一种面向互连延迟的综合策略,将前期设计定时规划,前期设计的线网规划和布局规划方法相融合,并在不同阶段给出了不同精度和复杂度的定时分析模型。文中还给出了一个设计实例对该文的综合策略予以了说明。

基于WGLs的字级描述的形式验证

在电路的设计过程中,形式验证已经成为重要的步骤.为提高设计的正确性,对高层次硬件描述语言(HDL)如VHDL的验证变得更加重要.文章给出的一个完整的数据通路操作的指令集能够在基于WGLs(weighted generalized lists)模型下进行形式验证的方法,讨论了字级函数和HDL操作符的WGL表示.所提到的技术允许直接地把HDL描述转化为WGLs,模运算和除法运算可以用基于WGLs的算法进行表示,此操作为有效验证过程的核心操作.文中所给出的验证工具是完全自动的,实验结果显示了该方法的有效性.

基于RSVP与HEC的流媒体实时可靠传输

在研究了流媒体实时传输技术的基础上,将网络资源预留技术与差错控制的方法相结合,提出了一种实时可靠的流媒体传输模型和方法.对该模型和方法的原理、使用过程以及实现算法进行了详细的描述.最后,用仿真软件验证了其具有一定的先进性和实用价值.

面向互连的综合策略

VDSM (超深亚微米 )设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题 ,尚未有成熟的方法。提出一种面向互连延迟的综合策略 ,将前期设计定时规划 ,前期设计的线网规划和布局规划方法相融合 ,并在不同阶段给出了不同精度和复杂度的定时分析模型。另还给出了一个设计实例对综合策略予以了说明。

动态串扰优化的开关盒布线

针对超深亚微米芯片设计中的开关盒布线问题提出了可变参数的串扰优化布线算法 .该算法充分利用了双层布线资源 ,将动态信号波形和耦合电容结合起来考虑 ,进一步减小了线网间的总串扰 ,并力求通孔数最少 .实验证明 ,本算法能够获得更加优化的布线方案 .

基于布尔过程论的层次化延时分析方法

芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础 ,提出了波形多项式偏导的概念 ,并用之重新定义了敏化 .用偏导定义的敏化改进了解析延时模型 ,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型 ,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法 .最后用实验验证了文中提出的延时分析方法的有效性 .

求解SAT问题的退火遗传算法

提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA.该算法以遗传算法流程为主体,并把模拟退火机制融入其中,用以调整优化群体,防止陷入局部最优和出现早熟;在进化过程中算法采用了最优染色体保存策略,防止进化过程的发散.实验表明:该算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.

定量的信息安全风险评估计算模型的研究

讨论了信息安全风险评估计算模型相关问题.在原来定性风险评估计算模型的基础上,提出了一种定量的信息安全风险评估计算模型并将其运用在信息安全风险评估过程中,使信息安全风险评估分析过程中进行风险值的计算更加科学和准确,解决了以往定性的计算模型的数据计算粗略、不准确和多个风险值集中于一个相同的风险等级中,区分不出风险的重要性等问题.

基于Boole过程的并行逻辑模拟算法

在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法 .该算法免除了以往耗时很多的电路划分过程 ,在一定程度上提高了并行加速比 .

一种基于遗传算法的高层次测试综合方法

提出一种基于遗传算法的高层次测试综合方法,在进行各种资源分配的过程中同时考虑可测性问题。该方法主要的特点在于提出了一种新颖的染色体编码方法,并设计了相应的遗传操作,避免了在进化过程中不可行解的产生。实验结果表明了算法在可测性方面的有效性。

网络安全管理平台的设计与实现

分析了当前主要网络安全产品的局限性,阐述了建设网络安全管理平台的必要性,在此基础上着重介绍了一套基于J2EE架构、利用Struts框架开发、以Web形式访问的网络安全管理平台--SMP(security management platform, SMP);对SMP的总体架构进行了系统分析和整体设计;阐述了核心模块--风险管理的详细设计.

基于Boole过程的考虑互连延迟的逻辑电路波形模拟中的关键问题

论文运用Boole过程论中对逻辑电路进行描述和计算的基本思想,较好地解决了逻辑电路波形模拟中的冒险检测与消除、反馈环路处理、伪路径识别和惯性延迟冲突等关键问题。在此基础上,面向详细布线提出RC延迟与动态加载串扰相结合的互连线延迟计算方法,并将其融入到基于Boole过程的波形模拟算法中。论文充实和完善了基于Boole过程的波形模拟算法,改进了其中的不足之处,扩展了Boole过程的应用。

可逆电路的符号综合方法

描述一种基于矩阵模型和符号代数理论的可逆电路的综合方法,其中考虑到面积、时延、串扰等约束.实验结果已清楚地表明了利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了明显的改善,并且其路径时延要减少5%到20%之多.这种综合方法大大的改善了电路的性能,并且对输入输出较多的可逆电路的综合具有潜在的优势.

高层次数据通路的等价性验证方法

为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证,提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式,同时给出了该模型的化简、加法和乘法运算规则,基于这些规则对寄存器传输级电路构建其相应有序的、简化的和正则的带权值广义表模型.实验结果表明,该模型对寄存器传输级电路的等价性验证与*BMD相比,不论是在存储空间还是在CPU时间花费上均有明显的优势.

信号相关的串扰优化详细布线

针对超深亚微米IC布线设计中的串扰问题,提出基于改进遗传算法的串扰优化的详细布线方法 该方法同时考虑了产生串扰的动态和静态的因素,能够更加准确地反映线间串扰的情况,为布线的调整提供更大的余地 实验证明,该方法不但比现有的方法能更好地减少线间串扰。

一种高层次多电压功耗优化方法

提出了一种在时间与面积约束下,运用遗传算法同时进行操作调度和资源分配的高层次多电压功耗优化方法.对于时间和面积约束所导致的无效染色体,通过将约束优化问题转换成两个目标函数的极值问题,一个为原问题的目标函数,另一个为违反约束条件的程度函数,避免了约束条件对问题求解的影响.对于数据依赖所导致的无效染色体,采用基于数据依赖的单点杂交算子来解决.实验结果表明,该算法比不考虑无效染色体处理机制的简单遗传算法的多电压功耗优化方法的功耗优化能力提高10%,收敛速度提高15%.

不规则IP模块到2维NoC结构的映射方法研究

提出了一种新的基于NoC(Network on Chip)的不规则IP模块映射方法。其基本思想是把较大的IP模块分解成几个小的IP虚模型,或把几个较小的IP模块组合成一个IP虚模型,使得每个IP虚模型能映射到NoC结构的一个资源节点上。通过计算曼哈顿距离和输入/输出度,可以确定每个通信节点中缓冲区的大小。根据计算的通信代价可以对初始映射结果进行调整,从而可以避免通信拥塞,降低系统的功耗。

多值Boole过程

采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。

氯化铵-乙醇法测定膨胀土阳离子交换量方法的优化

对氯化铵-乙醇法测定膨胀土阳离子交换量进行了三个方面的优化。分别是试样中阳离子交换完成后,检验上层清液中Ca2+是否存在;乙醇洗涤试样时,检验上层清液中NH4+是否存在;改用酸度计确定滴定终点。实验表明,优化后测定膨胀土阳离子交换量的准确度提高了5.1%。通过上述方法的改进,使得氯化铵-乙醇法测定阳离子交换量更加准确,快速,并能较好的满足试验数据精密度的要求。