面向模型检验的跨时钟域设计电路 特性生成方法

对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问题,然而制订完整的电路特性是模型检验有效性的基础,不全面的电路特性描述将可能隐藏设计错误.为生成完整的描述跨时钟域设计的电路特性,本文首先提出基于有限状态自动机的电路特性生成方法;然后为缓解状态空间爆炸问题,提出基于亚稳态的数值化简策略.通过对两个典型的跨时钟域设计进行实验的结果表明,采用本文方法不仅能够达到100%的电路特性覆盖率,而且可以发现被传统方法隐藏的功能错误.同时模型检验的时间代价也能够得到大幅度降低.     

应用点在多边形中判定研究区块井位的简便方法

应用“点在多边形中”判断和确定勘探或开发区块内的井位，采用垂直射线与多边形交点个数的奇、偶性来判断井点是否在多边形内部，解决了任何复杂区块内井点的判别问题。在井位判断和确定过程中自动化程度高，具有精度高、操作简单和工作效率高等特点，目前该方法已在生产中进行了推广应用。     

某核电厂汽轮机叶片失效的共振模式诊断

某核电厂汽轮机次末级叶片在运行中发生疲劳开裂,造成停机事故。通过三维照相技术建立叶片几何模型,基于叶根三维模型设计了试验夹具。ANSYS静频计算结果与锤击试验结果吻合良好,证明有限元模型合理;静强度分析表明运行工况下叶根最大静应力区域与失效位置一致。基于动频计算结果及叶片坎贝尔图识别出9阶共振是运行中最有可能的共振模式。通过振动耐久试验模拟了叶根与夹具之间的振动磨损情况,进一步验证了运行中长期9阶共振下叶根与轮槽之间存在接触磨损,接触磨损与振动疲劳效应叠加,促使叶片最终疲劳开裂。     

四川省工程咨询协会第三届会员代表大会在成都召开

四川省工程咨询协会第三届会员代表大会于2004年4月28日在成都召开。这次会议的主要任务是：增选和改选新一届理事会理事；表决通过第二届理事会工作报告；通过第二届协会会费收支情况的报告；增选常务理事会理事；补选和改选会长、副会长和秘书长；通过修改《四川省工程咨询协会     

用分析电镜观察铁磁性样品应注意的问题

目前国内相继从日本、荷兰等国引进了一批高档多功能分析电镜,如H-700(H)、H-800、EM400、JEM-200CX等。可以在同一样品区域內进行原位的TEM、STEM、SE、EDAX、EELS等观察和分析。使微区分析工作变得非常方便,其对应性也大大提高。     

基于ZYNQ Ultrascale+MPSOC的通用处理模块关键技术研究

针对目前普通处理器无法满足应用场景需求,且功耗较大,元器件价格昂贵等问题,提出了基于ZYNQ Ultrascale+MPSOC芯片的通用处理模块。首先,ZYNQ Ultrascale+MPSOC芯片仅使用一片芯片实现处理器和FPGA的功能需求,在减少芯片数量降低成本的同时有效降低模块功耗。然后,提出电源双余度设计,能够选择正常工作的电源作为输入端,同时加入抑制过压设计,有效防止电压过大,造成模块损坏。同时,采用基于DDR4的内存优化方式,有效提高通用处理模块的处理速度。基于PL端设计端系统,实现多个模块之间的通信。通过测试表明,该文的设计能够实现通用处理模块的关键功能,且稳定,可靠。     

某拟建城镇下伏采空区治理方案的确定

通过对采空区基本地质条件和采空区范围的调查,认为对采空区进行工程处理方能作为城镇建筑用地,通过对工程方案的比选,采用回填冲实和注浆处理方法,并制定相应的注浆施工工艺,对采空区进行有效的治理,以达到预期的效果。     

太阳能最大功率跟踪装置的设计

本文介绍了太阳跟踪系统的控制原理、控制算法和系统硬件组成,并重点介绍了控制电路的结构和原理,给出了软件的设计思路及主要的程序流程图.同时,在考虑当地的气象基础上设计一种跟踪精度高、结构简单、控制可靠的太阳能跟踪系统.实验结果表明,在太阳辐射强度、环境温度变化时,系统仍能准确地跟踪到太阳能电池的最大功率点,从而有效提高了...     

吸附式制冷的原理及工质的选择

近十几年来,国内外日益重视开发和利用丰富的太阳能资源和工业废热。由于吸附式制冷机和热泵是利用这些低温能源的有效工具,因此,这些年来国外陆续展开了对吸附式制冷机和热泵的研究工作,有些国家已研制成功以太阳能为动力的吸附式制冷机,并投入商品化生产。现将国内外有关吸附式制冷机和热泵的研究动态摘要介绍如下。