基于DSP的新型转子位置检测方法

通过对无刷直流电机转子位置检测研究,提出了以TMS320F2407芯片为内核的综合转子位置检测方法.该方法结合有位置传感器和无位置传感器的优点,实验证明了该方法的准确性和有效性.     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

主从任务调度的T-时间Petri网

任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.     

芯片氧化层静电放电击穿模型研究

提出了芯片门电路硅氧化层静电放电介质击穿的物理模型.并使用该模型讨论了介质击穿场强与介质厚度的关系,讨论了介质击穿电压与ESD(静电放电)敏感度的尺寸效应,对于厚度为0.01μm、面积为9.09×10-6 cm2氧化层,其击穿电压约为208 V;若面积不变,厚度缩小为原来的1/10,则其击穿电压降为160 V;若面积也等比例缩小,则击穿电压降为20 V,其结果是耐ESD的能力大幅度降低.     

二色补血草花总黄酮化合物提取工艺研究

用L16(44)正交试验探讨从二色补血草花中提取黄酮类化合物,结果表明二色补血草花总黄酮类化合物的最佳提取工艺是以料液比为1g∶25mL,体积分数60%的乙醇为浸提剂,温度为50℃,浸提时间3.0h。     

应用γ-射线辐照技术制备纳米厚度片状银粉的研究

在γ-射线辐照下，利用抗坏血酸(Vc)作为还原剂，聚乙烯吡咯烷酮(PVP)作为保护剂，从硝酸银溶液中制备了大量的胶体悬浮态片状银粉。改变辐照剂量、辐照波长、辐照时间、PVP，AgNO3的物质的量之比等反应参数，可以改变所得片状银粉的厚度和大小。球形银粉颗粒(SSP)转化为片状银粉颗粒(FSP)的机理可以用γ-射线诱导分裂与PVP软模板的协同作用解释。通过透射电镜(TEM)和x-射线衍射仪(XRD)对所得片状银粉产物进行了表征。这种γ-射线辐照辅助制备大薄片银粉的方法可以成为工业上传统球磨法的可选替代方法。     

刮泥机承载梁有限元优化设计

利用作者所开发的水处理设备承载梁部件有限元分析软件,建立了某型号二沉池和平流池刮泥机承载梁的力学模型和有限元模型,论述了建摸方法和优化方法,并进行了有限元优化分析计算。研究结果表明,所建立的力学模型和有限元模型正确,优化效果显著,可减轻原设备重量的27.7%,具有重要的工程实际意义。     

CCoAOMT基因反义表达载体的构建及转化苎麻的研究

采用RT-PCR的方法,克隆烟草木质素合成关键酶咖啡酰甲基转移酶(CCoAOMT)基因并测序．构建CCoAOMT基因反义表达载体,通过农杆菌介导法对苎麻进行遗传转化,得到转基因植株．采用PCR方法对其进行分子检测．为利用基因工程技术,创造适合我国国情的环保型低木质素苎麻转基因新品种奠定了基础。     

A型样本统计深度函数的渐近性质

设D(.;.)是一个A型统计深度函数,函数h满足以下条件:对任意正数M(i)(i) lim‖x‖→∞sup‖xf‖≤M,i=1,…,rh(x;x1 ,…,xr) = 0,(ii) limn→∞sup‖x‖≤M|∫h(x;x1,…,xr)d(F(x1,…,xr) - Fn(x1,…,xr))|= 0,a.s.则limn→∞supx∈Rd|D(x;Fn)-D(x;F)|=0 a.s. 令(θ)n=maxx∈RdD(x;Fn),h连续且D(x,F)有惟一的最深点Q,则lim (θ)n=0 a.s.     

物理场的熵及其自发减小现象

在科学发展史上某些人们创立的概念的含义一再扩大,这显示了这些概念在描叙物质世界中有着重要意义.质量和能量这两个概念就属这种事例.霍顿(G.Holton)说“某些概念之所以重要是由于它们反复出现在许多描叙和定律中,而且往往波及离最初表述很远的领域内”.这一段论述完全符合熵这个极为重要的概念在一百多年中的发展史.在热力学中,人们用熵测度微观的分子运动的混乱(无序)程度.在信息论中,熵被用来计量信息源发出的每个代码含有多少信息量.在物理学中人们广泛研究某些物理量在空间中的分布及其演变.这里我们引用熵来描述物理量在空间中分布状态的丰富程度.