基于时延估计的阵列信号辅助分析系统设计

为研究一种信号时延辅助分析系统,用于阵列信号的时延估计. 进行了8通道数据采集系统设计并进行了目标信号采集试验. 在选取了虚拟仪器作为辅助分析系统开发工具后,进行了包含信号波形回放、频谱分析、滤波分析、时延估计分析等模块在内的辅助分析软件设计. 采用该分析系统进行了信号频谱分析、时延估计,并对时延结果进行了分析,研究结果表明该软件对阵列信号的时延估计研究具有很好的辅助作用.      

学习分析系统构建研究

学习分析目前应用于教育的多个方面,但是还缺乏一个完整、清晰、可实施的学习数据系统.本文尝试构建一个开放的、全面的学习分析系统.综述了该领域研究近年的发展,并对若干重要概念进行了定义,给出了学习分析系统和数据的时空与交互演化.着重分析了学习分析系统论域(LASUoD)、形式化建模学习分析系统信息空间模型[ΣR,ΣCR,ΣMT,ΣA,ΣW,ΣC],构建了学习分析系统架构,并分析了该系统中数据流程.提出了学习分析对象数据模型、学习分析系统本体(LASO)框架及学习分析系统标准组谱,以实现学习分析系统应用的互操作.最后,为了说明学习分析系统应用情况,展示了一个基于开源学习管理系统Sakai的学习分析实例.     

功率器件芯片封装和静电放电失效分析

针对一般失效机理的分析可提高功率半导体器件的可靠性.利用多种微分析手段,分析和小结了功率器件芯片的封装失效机理.重点分析了静电放电(electrostatic discharge,ESD)导致的功率器件失效,引入了ESD电热理论模型.实验证明,该模型能快速准确地分析金属引线的抗ESD强度.     

计算机浮点数算术运算的舍入误差研究

对计算机浮点数算术运算的舍入误差进行分析,是对数值计算方法作误差分析的基础.论文全面研究了计算机浮点数算术运算的舍入误差的基本理论,对有关结论均作了严格的论证.并举例说明由算术运算的误差界,可建立较复杂运算的误差界.还研究了向前误差分析和向后误差分析的要点.推广上述结果,对矩阵基本运算的舍入误差进行了估计.     

基于不同算法的杆件结构的分析

研究典型不同截面杆件结构的计算方法.分别基于材料力学、抽象弹簧、杆单元有限元分析、平面单元的有限元分析四种算法对此结构进行了分析.此外,讨论了不同算法的有限元分析对计算效率、计算结果的影响.为复杂结构的计算分析提供了方法和依据.     

COD在线分析仪表在石化污水处理中的选用

介绍了COD在线分析仪表的常用测量原理,分析了COD在线分析仪的选用方法,为仪表选型提供了参考.同时介绍了COD在线分析系统的组成.     

生态城市中社会生态的分析框架

生态城市的本质是社会与自然的协调发展,因此,对生态城市的研究离不开对其社会生态的分析.由于社会是极其复杂的,所以,社会分析的模式也应具有相应的复杂程度.文章以卢曼的社会理论为基础,阐述了生态城市社会生态分析的层次和角度,提出了进行社会分析的一系列因子.这种分析框架在厦门市生态城市概念性规划的研究中得到了初步验证.     

芜湖海螺湾钢管桁架设计和分析

通过计算分析软件对一空间钢桁架屋盖进行设计分析.系统的介绍了其结构设计,包括结构体系,荷载取值,整体计算,应力和应变结果.通过非线性分析探讨了结构的整体稳定性能.对结构进行模态分析,研究其动力特性.     

轮边综合驱动与转向电动车行走机构设计与分析

针对四轮独立驱动与四轮独立转向电动汽车的行走机构进行设计,探讨了适合此种车辆的行走机构功能要求.分析并选择"零偏置"主销作为主销定位参数,提出了3种不同结构方案并进行了分析比较,对选定方案进行了结构设计.利用CATIA进行了运动仿真分析与受力校核.仿真分析结果表明,开发的行走机构可以满足设计要求.     

资源型城市绿色转型与循环经济发展

探讨了资源型城市的发展特点与问题,分析了其转型的必要性.在资源型城市转型的经济学分析,和对一般转型与绿色转型比较研究的基础上,对资源型城市绿色转型模式进行了初步探讨.通过理论与实证分析,提出了资源型城市通过发展循环经济实现绿色转型的路径.并基于对资源型城市发展循环经济不同层次的分析,提出了城市绿色转型实践的对策措施.     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

Richart模

本文引入左Richart模的概念．设M是左R模,若EndR(M)中任意元φ在M中的左零化子是M的直和项,则称M是左Richart模．左Richart模是左Richart环的推广．在文章中我们给出了左Richart环和左Richart模的等价刻画条件．探讨了Baer模和左Richart模的关系及左Richart模的性质:Baer模是左Richart模,而左Richart模不一定是Baer模;左Richart模的直和项是左Richart模,但左Richart模的直和不一定是左Richart模,我们给出了左Richart模对直和封闭的等价条件;并且证明了有限生成的Abel群是左Richart模当且仅当它是半单模或无挠模．此外,我们还探讨了左Richart模与一些重要的环、模类之间的关系,得到了左Richart模的自同态环是左Richart环,以及左Richart环的中心是VN-正则环．特别地,当模的自同态环是交换环时,模是左Richart模当且仅当它的自同态环是VN-正则环．     

磁场和杂质对激子低能谱的效应

探讨了磁场B和杂质对二维激子低态能谱的效应.杂质被固定在z轴上且与激子所在的平面的距离为d.用直接对角化方法获得了激子低态能量E随B和d的演化.当d一定时,对于中性杂质(或者无杂质) 和带正电杂质,E随B的增加而增加.而对于带负电杂质,激子的角动量L等于0时,能量E曲线上升;L等于1、2、3时,能量E曲线先下降后上升.当B一定时,对于带电杂质,E先随d增加而急剧增加,后随d增加而几乎不变.     

The design of a novel parallel haptic device

A novel haptic device which is characterized by large workspace, high rigidity, simple kinematics and easy construction is presented. This device is a parallel mechanism which is composed of a base plate, three sub-chains, and a mobile plate. Each sub-chain is attached to the base plate through a pin joint and to the top plate through a spherical joint. The sub-chain is derived from and kinematically equivalent to a pantograph linkage but is redesigned to solve the difficult problem of motor-fitting. The spherical joint is of the ball-in-socket type, but has much larger workspace than its regular counterpart. The kinematics is analyzed, and the inverse kinematics analysis is performed with a geometric approach. The complete workspace is readily obtained with the spherical coordinate system searching method. The optimal value of the cone angle of the spherical joint is shown to be 100°.     

生命的交响曲——诗美创造谈

诗是诗人用生命创造的艺术生灵,诗的创造过程就是诗人内在生命运动和升华的过程。没有诗人的生命灌注,就没有诗。人类的诗歌史便是人类的生命史。诗直写生命,但更多的是通过诗人的生命体验,使生命外化于物。这是诗人要创造生命整体的需要,是诗人生命欲求,宣泄生命欲望使然。     

强p-闭群

设p为一素数,群G称为强p 闭群,如果G之子群Gp正规于G且商群G／Gp又是幂指数整除p 1的交换群.讨论了强p 闭群的性质并且得到了以下定理.若群G为强p 闭群,则如果p∈π(G),那么p为π(G)的最大素因子,如果p π(G),那么p>q( q∈π(G));如果G／Φp为强p 闭群,则Gp G且G／Gp是幂指数整除p 1的群;G是强p 闭群充要条件是G／Φp是强p 闭群且G′是p 群.     

命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集

从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明.     

L-双拓扑空间中的B-配仿紧性

在L-双拓扑空间中引入B-配仿紧性,证明这种仿紧性是B-配紧性的推广,并且具有一些好的性质.比如,对双闭子集遗传,在双强同胚映射下保持不变,在一定条件下B-配紧集与B-配仿紧集的乘积是B-配仿紧集,同时证明了B-配仿紧的双T2-空间既是双正则空间也是配正则空间.     

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

完备格上Fuzzy关系方程的解是极小元的一个充要条件

在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 .