高层次综合中的互连单元分配算法

首先对高层次综合中的互连单元分配进行了讨论，引入数据通路连接图的表示模型，定义了标准寄存器单元、标准型数据通路及数据通路连接图的形式化描述。在此基础上给出了一个互连单元分配算法IU-Al-location。经对实例和典型及相关数字电路进行试验后分析，本算法效率高、速度快，取得了较好的结果。     

风险投资的演化建模

利用演化算法的自适应性、自组织、自学习的特性，设计出了一种演化的模算法。数值实例表明，采用该算法能够对风险投资作出优化的决策。     

演化算法中近似模型构造方法及其工程应用

演化算法在求解大型、复杂的工程优化问题时，由于大量耗时的详细分析计算，导致算法的优化效率很低。文中将均匀设计、径向基神经网络技术以及演化算法结合起来，发展了一种“基于均匀设计的逐步修正近似模型构造方法”。利用该方法可以建立目标及约束的近似模型，不仅避免了耗时的详细分析计算，而且提高了演化算法的效率。演化算法采用粒子群优化算法，以六峰值驼背测试函数以及某栽人返回舱气动布局优化设计作为算例，验证了该方法的有效性。     

数据通路中算术逻辑单元相关设计与探讨

介绍了数据通路的组成特点及其在数字系统中所处的核心地位。通过对数据通路中的算术逻辑单元（ALU）的门级与晶体管级的电路设计，提出了设计中应注意的问题并探讨了相关的解决方法。这些方法对数据通路中其它逻辑功能类型设计等也大有帮助。     

基于链路可靠性的网络拓扑结构设计

针对网络链路可靠性在网络设计中的重要性，综合考虑链路可靠性和网络费用以此来建立网络拓扑结构设计的数学模型，并描述了用演化算法求解该问题的方法，该方法成功解决网络高可靠性和低费用的矛盾，最后给出数值仿真的实例，该问题的研究对实际运用及动态网络的研究有着指导意义。     

三维声纳频域波束形成算法的优化及实现

为了对三维声纳频域波束形成算法进行优化,提出了一种算法的优化方法。利用声纳回波信号的位移矢量分解与合成原理,推导出波束强度与相应方向角的数学关系式,进而使算法得到优化,并对优化的波束形成算法进行了仿真。同时,给出了实现此算法的两种数据通路,并对其内存需求量和计算量进行了分析。最终在XilinxISE环境下,在现场实现可编程门阵列(FPGA)上对该两种数据通路进行了仿真,并列出了相应的资源利用情况。优化后的算法不仅可以得到与传统算法相同的波束强度矩阵结果,而且减少了存储相移参数所需的内存空间。     

高速任意波形发生器数据通路的设计

针对任意波形发生器提升输出带宽和存储深度较难的问题,提出一种基于现场可编程门阵列器件的任意波形发生器数据通路设计方案。该方案利用多片同步动态随机存储器同步输出和并串转换技术提升数据通路的输出带宽和存储深度,基于Vivado平台实现波形数据的写入、读取、并串转换、成帧、8bit/10bit编码和串行化的功能,经过处理的波形数据通过现场可编程逻辑阵列的收发器以数据转换器串行传输协议输出。仿真结果表明,输出波形与写入波形存储器的波形数据经过上述数字信号处理之后的结果完全相同,验证了数据通路的正确性。实验结果表明,该数据通路实现了12 GHz的采样率、16 bit的垂直分辨率、4 Gsa的波形存储深度。该任意波形发生器数据通路设计是有效的和可靠的。     

建筑设计方案选优的计算机算法设计

在多目标规划综合评价方法中引入加权欧几里德距离公式取代原有计算公式，更能体现各目标相对重要性权重，从而更符合实际的综合评价需要。通过计算机算法研究，设计出多目标规划综合评价程序，在程序中将加权欧几里德距离计算公式编制成子程序，结合对评价值的合适处理方法，将权重值和评价值编成数据文件。通过程序中循环次数控制设计方案个数和评价指标个数，经过计算机计算最后得到正确、直观的综合评价结果。给出计算机算法设计思想和程序框图以及上机操作过程。     

有限域上基于Grbner基的高级综合优化方法

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.     

数据通路中算术逻辑单元相关设计与探讨

介绍了数据通路的组成特点及其在数字系统中所处的核心地位 .通过对数据通路中的算术逻辑单元 (ALU)的门级与晶体管级的电路设计 ,提出了设计中应注意的问题并探讨了相关的解决方法 .这些方法对数据通路中其它逻辑功能类型设计等也大有帮助     

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

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

Numerical simulation of strain localization and damage evolution in large plastic deformation using mixed finite element method

An investigation of computer simulation is presented to analyze the effects of strain localization and damage evolution in large plastic deformation. The simulation is carried out by using an elastic-plastic-damage coupling finite element program that is developed based on the concept of mixed interpolation of displacement/pressure. This program has been incorporated into a damage mechanics model as well as the corresponding damage criterion. To illustrate the performance of the proposed approach, a typical strain localization problem has been simulated. The results show that the proposed approach is of good capability to capture strain localization and predict the damage evolution.     

Rule-based automatic program repair method

To tackle the problem of a low accuracy of test suite-based automatic program repair methods, this paper proposes a rule-based automatic program repair method named RuleFix. The proposed method first mines implicit programming rules in programs to locate defects, and then selects an appropriate patch according to the implicit programming rules, and lastly verifies the patch by utilizing the program synthesis tool to ensure the correctness of the repair result. Moreover, to tackle the problem that the existing rule mining algorithms cannot effectively mine low-frequency rules, a low-frequency rule mining algorithm is proposed, which can derives new rules based on the existing rules to improve the ability of rule mining. Finally, a prototype tool is implemented based on the proposed method, and then the proposed method is compared with the existing automatic program repair methods. Experimental results demonstrate that the proposed method has a significantly higher repair rate and accuracy rate than the existing GenProg and PAR methods.     

一种求解约束优化问题的进化规划型文化算法

为了求解复杂约束优化问题,提出了一种新的进化算法——进化规划型文化算法。求解过程中,在基于自适应的文化算法中引入进化规划,有效利用进化过程中相关知识引导种群进化。针对约束优化问题,对这一算法的信念空间进行了设计,并利用基准函数和丁烯烷化生产调度问题进行了仿真,仿真结果表明该算法具有较好的全局搜索能力,而且大大减少了计算量。     

可重构媒体处理器测试程序生成技术

可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出了一套完整的测试程序生成方法,本方法采用遗传算法以提高测试程序覆盖率。本文所提出的方法已被应用到可重构媒体处理器的设计实践中。实验结果表明:本方法能够有效地生成测试程序,所生成的测试程序的覆盖率明显高于传统方法生成的随机测试程序的覆盖率。     

VHDL应用于专用集成电路功能仿真的研究

研究了如何对一个ASIC系统(以8051微控制器为例)应用VHDL进行功能仿真的方法，在ACTIVE-VHDL软件环境下应用该语言编制了8051微控制器的功能仿真程序并进行了测试。测试结果表明该程序运行是正确的。本文给出的方法在ASIC的高层次设计上迈出了重要的一步，在工程实践中具有广泛的应用价值。     

微机数字滤波器设计程序

本文介绍了在Cromemco C—10微型机上实现的数字滤波器设计程序,可分别用冲激不变法和双线性变换法设计巴特沃思和切比雪夫型的低通、高通、带通和带阻的无限冲激响应(IIR)数字滤波器,用窗函数法设计上述类型的有限冲激响应(FIR)数字滤波器,并在打印机上绘制出高精度的特性曲线     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

程序理解系统中上下文环境设计与实现

对于软件系统特别是大型复杂软件系统,由于分析和理解的困难性,其系统维护和系统演化任务开销巨大.程序理解系统是辅助用户对软件系统进行快速分析和理解的支撑环境.程序理解系统中的上下文环境用于提供关注点的上下文信息,辅助用户分析和理解当前关注点对整体的影响以及整体对它的依赖.提出了一种在程序理解系统中实现上下文环境的方案.分析了上下文环境在程序理解系统中的地位和作用,描述了上下文环境的功能规范、模块组织结构及处理流程,设计了一种获取关注点符号的算法,最后给出了在Linux环境下基于KDE 3.5的设计实现及应用分析.