一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

TiC掺杂对MCMB烧结体组织和性能的影响

以Tween 80为分散剂,分别以丙烯酰胺和N,N'-亚甲基双丙烯酰胺为单体和交联剂,采用凝胶注模工艺制备中间相碳微球(mesocarbon microbead,MCMB)片状素坯,再经过1 600 ℃的烧结,制备MCMB素坯烧结体试样.试验研究了粒度大小对粉体分散性、MCMB碳材料催化石墨化效果、烧结后MCMB碳材料层板物理性能的影响,并分析了产生这些影响的原因.研究结果表明:50 nm的TiC在MCMB烧结体中的分散效果好于15 μm的TiC;随着Ti质量分数的增加,掺杂50 nm 的TiC层板性能优于掺杂15 μm的层板;50 nm的TiC比15 μm的TiC更适合做MCMB的掺杂物.     

《孟子》赵注中的同素异序词

单音节词复音化是汉语词汇发展的重要规律之一。在赵岐《孟子章句》中存在有69个同素异序词，这是汉语词汇双音化的一种表现，其中有的被历史淘汰了，有的保存下来了，研究它们有助于认识汉语词汇的发展规律。     

模因论视角下诗歌翻译的归化与异化

以模因理论为基础,探讨了模因的传播过程对诗歌翻译的影响,分析了归化翻译和异化翻译与诗歌语言模因传播的关系;指出相较于异化,归化的翻译方式有助于目的语读者理解源语文本中的核心模因,更加有效地帮助传达原作者的写作意图。     

Ni_Al_Ag和Ni_Al_Pd三元金属间化合物的声子谱及相关性质

采用第一原理缀加平面波方法,利用陈氏三维晶格反演定理, 得到了Ni,Al,M(M=Ag,Pd)之间的原子间相互作用势.由此计算了Ni_Al_Ag和Ni_ Al_Pd三元金属间化合物的声子态密度及热学特性.分析了第三元素对Ni3Al晶格动力学特性和某些热学特性的影响.     

二叉树非递归周游算法

本文给出了二叉树的一个非递归周游算法。二叉树采有三重链式存储结构，在算法过程中无须逆转链。     

Banach空间中非混合单调算子的新不动点定理

利用锥与半序理论和混合单调算子理论,研究半序Banach空间中非混合单调算子方程组{A(x,x)=x/B(x,x)=x解的存在与唯一性,给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非混合单调算子方程A(x,x)=x和非单调算子方程Ax=x的唯一解及其解的逼近迭代序列和误差估计,并改进和推广了有关文献中的相应结果.     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

△(G)=4的平面连通图的存在性及其分布区域

本文证明了两个关于最大度为4的平面连通图的存在性定理,并确定了此图类的三种类型的分布区域。     

电力系统故障的计算机新算法

本文提出了计算电力系统对称和不对称故障的一种新算法,其特点是数学模型非常简单,既可计算正常潮流又可计算故障潮流,把正常潮流和故障潮流统一在一个数学模型中.