GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

基于模糊逻辑系统的组合大系统自适应观测器设计

针对一类非线性不确定组合大系统，利用模糊逻辑系统具有充分逼近连续函数的性质，分析和研究了这类系统自适应状态观测器设计问题，并在较弱的假设条件下，证明这种观测器与被控系统状态间的误差及各参数估计误差一致终极有界。最后的仿真实例说明了本文所提出方法的有效性。     

基于PDA的GIS矢量数据组织模型探讨

基于掌上电脑,对几种GIS矢量数据组织模型进行了分析和深入讨论,指出了其在掌上电脑上的适应性。通过实验研究与编程实现,得出了一种在掌上电脑上具有较好的完备性和适应性的矢量数据组织模型。     

建构主义的学习迁移观及对数学教育的启示

建构主义的学习迁移观与传统的学习迁移观不同,所谓学习迁移,实际上就是知识在新条件下的重新建构,这种建构同时涉及知识的意义与应用范围两个不可分割的方面.因此,它对数学教育有着重要的启示作用:创设现实情境,"在学习中应用,在应用中学习"数学知识.最后指出,应用意识是对学习迁移观的重要补充.     

颗粒型Ni/Pb不连续多层膜的铁磁共振研究

用射频磁控溅射方法制备了一系列颗粒型 N i/Pb不连续多层膜样品 ,并采用 X射线衍射方法表征了样品的微观结构。在铁磁共振实验中 ,观察到了一致进动模 (uniform m ode)和高场光学模 (optical mode)的共振吸收峰。主共振峰和光学模的峰位依赖于外磁场的角度及薄膜厚度。高场光学模的发现表明 ,颗粒型 N i/Pb不连续多层膜存在较强的反铁磁耦合 ,耦合强度随Pb层厚度以指数衰减形式变化。这与面内磁滞回线得到的饱和场随 Pb层厚度的变化关系定性上一致。     

关于产权明晰问题的探讨

本文研究产权明晰问题,提出了产权明晰的三个层次,即国家与公民和法人企业、投资者之间及其企业、企业与员工三个层次的产权明晰问题,国有企业现在的产权明晰主要是指第一和第二层次的产权明晰;在第三层次上的要素价格市场化才是产权明晰的关键;引入多元投资主体仅有助于明晰第三层次的产权;产权明晰是经济人利益主体之间的一个动态博弈工程。     

块对角可控规范型多输入线性系统及极点配置

基于向量空间的模结构分解和矩阵的有理标准形给出了定常多输入线性系统一类新的块对角可控规范型,其中的系统矩阵相似与一个块对角矩阵,该块对角矩阵类似于矩阵的有理标准形,与现在有的可控规范型比较,更容易反映系统的结构特征,证明步骤给出了求解方法。作为一个应用,讨论了定常多输入线性系统的极点配置问题,得到了反馈增益矩阵的一般表达式,此表达式中含有任意参数,此方法将多输入线性系统极点配置问题转化为个数为系统矩阵循环指数的单输入系统的极点配置问题,进而推导出确定一个反馈增益矩阵的最少元素个数即为系统的阶数。     

激光制导武器有源干扰的建模与仿真

激光致盲干扰、角度欺骗干扰和高重频干扰是对付激光制导武器的主要手段。但由于缺乏对抗的实物,使计算机仿真技术成为研究激光制导武器对抗技术的主要途径。结合激光制导武器有源干扰技术的特点,在激光制导武器弹道仿真系统的基础上,建立了激光制导武器有源对抗模型,研制了有源干扰下的激光制导武器弹道仿真系统。以比例导引的激光制导炸弹为研究对象,研究了有源干扰对激光制导武器弹道的影响。     

中国房地产财富效应的协整分析和误差修正模型

为了揭示中国房地产价格与居民消费的关系,在论述财富效应理论对中国适用性的基础上,引用了持久收入假说与生命周期理论下的财富效应模型,并以该模型为基础构建了协整分析与误差修正模型.同时,选取上海市数据为样本进行实证的分析,验证中国房地产财富效应的存在性.此外,进一步选取北京、天津、深圳、重庆市数据为样本进行扩展的实证研究,并进行比较.研究表明中国房地产财富效应在一定范围内存在,长期的房地产财富效应基本是正向的,而短期的房地产财富效应的发挥形式存在一定的差异.     

扎龙湿地生态环境脆弱性研究

基于扎龙自然保护区受到自然因素和人类不合理开发利用因素的影响,选取了结构型脆弱因子和胁迫型脆弱因子.利用GIS技术从空间角度对扎龙自然保护区的生态环境脆弱性进行了评价,将扎龙自然保护区的生态环境脆弱等级分为5级,生成了扎龙自然保护区的生态环境脆弱性等级图,得出扎龙自然保护区在总体上属轻度脆弱,为扎龙自然保护区的保护和恢复对策的制定提供了一定依据.