Winograd矩阵乘法算法用于任意阶矩阵时的一种新处理方法

摘要t矩阵乘法StraSsen算法及其变形winograd算法用分而治之的方法把矩阵乘法时间复杂性由传统的D(n。)改进到0(佗kg。n.但是对于奇数阶矩阵,在划分子矩阵时,要作特殊处理才能继续使用此算法.本文提出了一种非等阶“十”字架划分方法,可以最少化填零,最大化性能,使得奇数阶矩阵乘法的时间复杂性更加接近偶数阶矩阵乘法的效果.计算实例显示该方法是有效的.     

ULTIMATE BOUNDEDNESS FOR A DIFFERENTIAL DELAY MODEL

This paper considers the scalar differential delay equation x(t) = -μx(t)-f(x(t-Τ(t)), t). By using the mapping method we obtain that the solutionswill be ultimately in some interval.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

OXIDATION OF TiAl,Ni AND Fe IN A DYNAMIC ENVIRONMENTAL SEM

IntroductionInmaterialscience,differentmicrostructuresofthesamematerialsmayinducediversebehaviorsanddifferentcharacteristics.Westwood(1988)showed,asanexample,thatthetreatmentofaluminumsurfacewithcommercialphosphoricacidproducedmechanicallyinterlockedoxide搘hiskers?approximately10nmindiameterand400nminlength,whichmechanicallyinterlocked.Thismicro-structurecankeepsuchaconglomeratebondedoverconsiderablerangesofstressandtemperature.Inahumidatmosphere,especiallythatcontainingchlorine,however,suchox…     

利用电泳技术在不锈钢和铁基底上制备MgB2带材

本文首次报道了利用电泳技术在铁和不锈钢基底上制备MgB2超导带材.电阻测量表明,沉积在铁和不锈钢基底上MgB2带材的超导零电阻转变温度分别为37.5K和31K,超导转变宽度分别为0.3K和1K.磁测量表明,(5K,OT)时不锈钢基底上带材的临界电流密度为6×105(A/cm2).X射线衍射谱和扫描电子显微镜图象表明样品结晶良好,晶粒生长致密.本工艺制备MgB2带材时不受系统真空度的限制,生长迅速,成本低廉,并且可以根据不同的需要任意选择基底的形状和大小.     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Bio-regeneration of p-complexation desulfurization adsorbents

More and more stringent regulations of gasoline and diesel oil were proposed with the awareness of environmental protection. Hydrodesulfurization (HDS) is a conventional method to remove sulfur compounds for industrial purpose. The main drawbacks of this …     

Photocatalytic Synthesis of Oxygenates from Gaseous CO2 and CH4 over Semiconductor

Photoinduced synthesis of CO2 and CH4 was investigated using a batch reaction system on several photoactive materials supported on silicon dioxide. Single semiconductor showed higher selectivity to C1 compounds. The production of C2-C3 oxygenates took place preferentially on composite semiconductor photocatalysts. In particular, it was found that acetone was the primary product over Cu/CdS-TiO2/SiO2.     

Triterpenoid Constituents of Huperzia miyoshiana

Thirteen triterpenoids, including three new ones, miyoshianois A (1), B (2) and C (3), were isolated from Huperzia miyoshiana. The structures of these new compounds were established as 3-O-dihydroferuloyltohogenol (1), 16-oxo-3β,21β-dihydrox-y-serrat-14-en-24-ferulate (2) and 16-oxo-3a, 21β-dihydroxy-serrat-14-en-24-ferulate (3), respectively, on the basis of their spectroscopic analysis.