植物结构光点云曲面的重建及参数测量

随着机器视觉等技术的发展,深度相机在三维建模等方面的应用也越来越广泛.从数学角度推导并分析了Kinect传感器的结构光原理.针对植物的表型曲面重建,设计了使用Kinect获取植物表型的点云数据,间隔一定角度采集图像,通过点云坐标的旋转变换拼接成完整点云图.采用直通滤波和统计滤波法完成植物点云图的滤波,利用贪婪投影三角化...     

EDA行业人才队伍建设研究

电子设计自动化(EDA)是以计算机为载体的集成电路自动化设计工具,由众多面向具体集成电路设计环节的点工具组成,贯穿集成电路设计、制造、封装测试全部环节.随着智能化应用在制造业领域渗透不断加深,EDA对于电子信息、通信、航空航天等领域的发展起到了至关重要的影响作用.目前,美国三大公司Synopsys、Cadence和Me...     

浅谈网络银行的发展

本文简单介绍了我国网络银行的发展状况，从网络银行结合金融和信息技术的特点出发，分析了我国网络银行在发展中遭遇的瓶颈．最后针对这些问题给出了发展的建议。     

陀螺测试系统的WDM设备驱动程序开发

针对Windows2000下不能像DOS环境一样直接访问系统的硬件资源,提出了开发驱动程序模型WDM（Windows Driver Model）;使其工作在Ring0层,成为操作系统内核的一部分,从而实现对硬件快速访问;文章介绍了这种新型驱动程序的运行机制及其特点;以开发基于PCI总线陀螺测试系统的设备驱动程序为应用实例,阐述了使用Compuware Numega公司Driver Studio开发的具体步骤和设计方法,自定义I／O控制命令的编写例程,并采用GUID这种新型命名方案唯一标识接口设备,给出驱动程序同上层测试软件通信的实现方法;该驱动程序应用结果表明,数据传输准确,系统性能稳定,有较好应用价值。     

虎拟变量法求抗震结构的变形能力可靠度

在考虑地震地面运动加速度及结构参数随机性的基础上,利用虚拟变量法来求抗震结构的形能力可靠度,给出了弹性范围内的基本公式和求解步骤。方法能综合反映地震动及结构参数随机性的影响,计算较为简便。     

低碳钢在形变作用下产生的超平衡数量铁素体

试验研究了低碳钢变形后经历等温及随后快冷的组织转变,发现在Ae3附近及以下一定温度范围内大变形会使室温组织中出现超平衡数量的铁素体.形变后等温,出现超平衡数量铁素体向奥氏体的逆相变,该弛豫过程具有类似C曲线的动力学特征;而且经过等温后,伴随着铁素体数量的减少存在其晶粒尺寸增大的现象.随着变形温度的降低,超平衡数量铁素体在数量以及晶粒尺寸上的稳定性均提高.     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

铝合金激光焊接的工艺特性及其发展现状

概述了铝合金激光焊接的工艺特性及难点,指出了铝合金激光焊接技术的研究现状及发展方向。     

一种基于StarFabric总线的通用信号处理平台设计

基于共享总线(CPCI或VME)的信号处理模块由于共享总线带宽逐渐成为提升信号处理系统性能的瓶颈,开关互连技术是新一代信号处理系统互连的趋势。给出了一种基于StarFabric总线的多DSP构成的通用信号处理平台设计,突破了这种设计瓶颈,能满足多种信号处理功能的需要。     

故事 挑战 进阶——小学中年级信息科技课堂游戏化设计实践

爱玩是孩子的天性,游戏则是孩子玩耍的一种重要形式。教师可以将游戏融入到课堂教学中,激发学生对所学内容的兴趣。本文在理论联系实际的基础上,紧扣小学信息科技教材内容,结合学生认知水平浅述将教学设计游戏化的策略与路径。