矩阵多项式的交与和的像空间及核子空间

给出了同一个矩阵A的若干个多项式的像空间及核子空间的和与交的结构,得出了以下的结果：1）R（f1（A））∩R（f2（A））∩…∩R（fk（A））=R（[f1（A）,f2（A）,…,fk（A）]）;2）R（f1（A））＋R（f2（A））＋…＋R（fk（A））=R（（f1（A）,f2（A）,…,fk（A）））;3）N（f1（A））∩N（f2（A））∩…∩N（fk（A））=N（（f1（A）,f2（A）,…,fk（A）））;4）N（f1（A））＋N（f2（A））＋…＋N（fk（A））=N（[f1（A）,f2（A）,…,fk（A）]）.它们推广了蒋永泉、胡付高等的结果.     

基于MATLAB统计工具箱的5182铝合金组织及性能研究

文章比较不同细化方法细化5182铝合金的晶粒细化能力,同时用MATLAB统计工具箱采用统计分析方法对均匀化处理前后的5182铝合金的硬度进行分析.结果证明,Al-5Ti-1B细化合金的晶粒最小,含钛铝锭(GRAI) 0.25%Zr细化合金的晶粒略大于Al-5Ti-IB细化合金;GRAI中分别加入0.16%La、0.20%RE(富铈混合稀土)后,合金晶粒变化不大;GRAI制造的5182铝合金比Al-5Ti-IB、Al-10Ti中间合金细化的合金硬度高;加0.25%Zr使GRAI制造合金硬度增加;对于均匀化前的合金,加0.16%La使GRAI制造合金硬度减小,而加0.20%RE硬度变化较小;对于均匀化处理后的合金,加0.16%La使GRAI制造合金硬度变化较小,而加0.20%RE使GRAI制造合金硬度增加.均匀化处理,使合金的硬度有所下降,GRAI 0.25%Zr细化合金的硬度下降幅度最大.     

电场退火对冷轧工业纯锌板再结晶织构的影响

借助于X射线衍射的三维取向分布函数(ODF)研究了电场退火对70%,80%和90%冷轧变形量的工业纯锌板在160℃分别保温1,3,5,10,15,30min条件下再结晶织构的影响.ODF分析结果表明:电场并没有改变工业纯锌板退火过程中再结晶织构的形成机制,而电场显著提高了3种冷轧压下量工业纯锌板退火样品再结晶织构的强度.电场明显促进了冷轧{1 0 1 8}面织构向再结晶{1 0 1 3}〈1 0 1 1〉板织构的演变,其中以70%冷轧变形量样品最为明显.     

强磁场退火对冷轧IF钢板再结晶织构的影响

通过SEM-EBSD分析研究了在再结晶初期强磁场退火对冷轧IF钢板再结晶织构的影响.将样品加热到650℃分别保温0,10,30 min以获得部分再结晶的样品.磁场退火时磁场方向平行于样品的横轧向,所施加的磁场强度为12 T.结果表明,在再结晶初期,与其他{111}取向的再结晶晶粒相比,磁场退火有利于{111}〈112〉取向的再结晶晶粒首先形核和长大.     

浅议空间数据的版本管理

基于版本管理机制,分析了协调多用户并发操作冲突的实现过程,阐述了实现历史数据回溯管理的实现方法,并用实验实现了版本管理的主要功能,验证了版本管理的可行性和实用性。     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

基于ITS序列的竹亚科植物分子鉴定研究

利用ITS序列对竹亚科13个属76个竹种进行DNA条形码分子鉴定.该研究提取慈竹属、刚竹属、箬竹属、唐竹属、矢竹属、大明竹属、赤竹属、巴山木竹属、倭竹属、短穗竹属、簕竹属、酸竹属及少穗竹属共13个属62个竹种DNA,对其内转录间隔区ITS序列进行PCR扩增和双向测序,所得序列与GenBank数据库下载的14条ITS序列共76个竹种序列用Clustal X软件比对,再利用MEGA6.06软件构建K2P距离法的NJ系统发育树.结果显示,种内遗传距离为0~3.907,平均遗传距离为0.370;种间遗传距离为0~4.394,平均遗传距离为2.287,种内遗传距离远小于种间遗传距离.ITS序列可用于竹类资源的物种鉴定研究.     

热溶煤的燃烧特性

低阶煤的高值化利用对拓宽能源途径,提高能源效率和解决环境问题具有重要意义.以N-甲基吡咯烷酮为有机溶剂,对4种低阶煤进行热萃取,获得低灰分、高挥发分的热溶煤产物.通过热重分析研究了热溶煤的燃烧特性,并利用拉曼光谱分析,对比了原煤与热溶煤碳结构的变化规律.结果表明:与原煤相比,热溶煤的灰分含量明显降低,挥发分含量增高,固定碳含量减少,热值增大.其中KL、GD和ZS 3种热溶煤的H/C原子比大于原煤,XB的热溶煤小于原煤.KL、GD和ZS 3种热溶煤的峰强度(ID/IG)和峰面积(AD/AG)的比值大于相应的原煤,其有序化程度减小,结构缺陷增多,相应的其热溶煤的燃烧反应性增大.而XB热溶煤的ID/IG和AD/AG的值小于相应的原煤,有序化程度增大,燃烧反应性降低.     

会计硕士专业学位教育与地方会计青年英才培养融合模式探索与实践

会计专业硕士教育属于学历教育,重庆市会计青年英才培养属于职业继续教育,两种不同培养模式的交集在于注重理论素养、专业技能和管理才能的培养,其关键要素是课程设置和培养过程管理,两种培养模式的融合值得探索.会计主管部门重庆市财政局和西南大学合作,协同推进重庆市高层次会计人才培养模式的融合与创新,培养融合模式实践3年多,取得初步成效,也存在值得改进的问题.     

回归系数的加权混合估计与最小二乘估计的3种相对效率

研究了具有随机约束的线性回归模型中回归系数的加权混合估计与最小二乘估计的相对效率的问题,给出了相对效率的3种定义.利用矩阵理论给出3种相对效率的上下界,并且得到了各相对效率之间的关系.最后给出例子来验证理论.