面向RISC-V的基础数学库实现

RISC-V指令集架构(Instruction Set Architecture,ISA)作为一种新兴的精简ISA,因免费、开源、自由等特点而得到快速发展.由于国内外对RISC-V的研究主要集中在硬件开发,软件生态相较于成熟ISA还很薄弱,实现一套RISC-V指令集高性能基础数学库可以进一步丰富RISC-V软件生态.本文基于自动化移植技术实现申威数学库到RISC-V的移植,为RISC-V指令架构提供首个使用向量指令优化的基础数学库系统.本文提出向量寄存器自动分支查表法与路径标记插入法,重点解决不同架构间寄存器映射过程中的寄存器复用问题,实现寄存器正确高效映射,并依据不同指令等价转换策略自动化移植数学函数69个.测试结果表明,RISC-V基础数学库函数可实现正确计算,最大误差为1.90ULP,函数性能平均为157.03节拍.

基于模糊数学方法评价自动驾驶接管绩效

采用问卷和实验方法,并利用模糊数学方法探讨接管前置时间、驾驶信任、情绪唤醒以及性别因素对接管绩效的综合影响。结果发现:3s前置时间的接管绩效最佳,5s次之,8s最差;低驾驶信任度的驾驶员接管绩效优于高信任度的;男性驾驶员的接管绩效优于女性,唤起中性情绪时驾驶员的接管绩效优于积极情绪时,并且交互作用显示,男性唤起积极情绪后接管绩效最差。主要结论是,驾驶员的情绪稳定有利于驾驶员在紧急情况下接管车辆。

Math1基因内耳导入后噪声性聋豚鼠听功能改变观察

目的观察Math1基因内耳导入对噪声性聋豚鼠听功能的影响,探讨Math1基因过表达对噪声损伤耳蜗的生物学效应,为内耳基因治疗提供实验基础和理论依据。方法经脉冲噪声致聋的豚鼠45只(各频率ABR阈值均≥95dB SPL),雌雄不限,实验开始时体重250～300g。随机分为3组:Ad-Math1-EGFP组(30只);Ad-EGFP组(5只);空白组(10只)。各组豚鼠在基因转导后4周、8周分别测试双耳ABR。测试完毕后处死动物,观察听泡及耳蜗无炎性病变者记录听阈结果。结果Math1导入后4周,导入耳各频率ABR阈值低于对照耳(右耳),也低于Ad-EGFP组及空白组,平均达到85dB SPL。Math1导入后8周,导入耳各频率ABR阈值低于对照耳(右耳),也低于Ad-EGFP组及空白组,与4周时比较,进一步好转,平均达到75dB SPL。结论Math1基因内耳导入可使噪声导致全聋的豚鼠听功能部分恢复,为噪声性聋的治疗打开了新的思路和手段。

bHLH转录因子家族成员Math 1及其在内耳的研究进展

bHLH转录因子家族是一类重要的神经发育调节因子,在神经系统发育的多个部位、不同时期发挥神经决定作用。近年来的研究尤其是在内耳毛细胞再生中Math1发挥作用的研究取得了重要的进展——Math1的介入可以使成熟的听上皮再生毛细胞。这给听觉障碍的恢复带来了希望。本文就此对Math1的研究进展进行综述。

Math1基因重组慢病毒的构建及其在293T细胞中的表达

目的构建携带Math1基因的重组慢病毒载体,检测其滴度,检测其在293T细胞中的表达。方法 PCR扩增Math1基因,将其连入慢病毒载体pLenti-GFP中;在感受态细胞DH5α中培养扩增,并行Math1基因的测序鉴定;将重组的慢病毒四质粒共转染293T细胞,收获并浓缩病毒;感染293T细胞和提取细胞DNA后用实时定量PCR法检测病毒滴度。用逆转录PCR和Western blot法检测Math1基因在感染病毒的293T细胞中的表达。结果构建的慢病毒载体pLenti-Math1-GFP经测序分析证实基因序列正确。四质粒共转染293T细胞后,荧光显微镜下可见大量绿色荧光。包装后慢病毒测定滴度约为3×1011Tu/L。逆转录PCR和Western blot法均能检测Math1基因在感染病毒的293T细胞中的表达。结论成功构建携带Math1基因的重组慢病毒,并能在293T细胞中表达。

Math1基因内耳导入径路的探索研究

目的研究腺病毒携带Math1-EGFP基因经完整圆窗膜途径及鼓阶打孔途径导入耳蜗后对听功能和转导效率的影响,为内耳基因治疗提供实验基础和理论依据。方法健康成年白色红目豚鼠40只,雌雄不限,体重250～300g。随机分成四组,完整圆窗膜组12只,鼓阶打孔组12只,各组分别设对照8只。实验组(24只)导入重组腺病毒携带的Math1基因及增强型绿色荧光蛋白基因(enhanced green fluorescent protein,EGFP),对照组(16只)导入人工外淋巴液,所有动物均以左耳作为导入耳。术前及术后分别行听性脑干反应(ABR)检查。分别于术后5天、14天取双侧耳蜗标本做基底膜铺片观察基因表达情况。结果完整圆窗膜组导入耳ABR阈值,术后5天各频率与术前比较无显著性差异(P>0.05);鼓阶打孔组导入耳ABR阈值,术后5天在2kHz、4kHz与术前比较无差异(P>0.05),8kHz较术前增高(P<0.05),16kHz、20kHz较术前明显增高(P<0.01),术后14天在16kHz、20kHz较术后5天时明显好转(P<0.01),但较术前仍有增高(P<0.05)。转导成功率鼓阶打孔组为91.6%,优于完整圆窗膜组的50%。两种转导途径对目的基因在耳蜗内的表达部位和表达时间没有显著影响。结论完整圆窗膜途径及鼓阶打孔途径在转导成功率及听功能保护方面各有优劣。完整圆窗膜途径因其对耳蜗的损伤极小,在临床应用方面具有更好的发展前景。

复制缺陷型腺病毒为载体的Math1基因内耳应用安全性研究

目的研究以复制缺陷型腺病毒为载体的Math1基因内耳应用的安全性。方法将10只成年Wistar大鼠分为正常对照组和缺失E1、E3基因片段且构建有Math1基因和绿色荧光蛋白报告基因的复制缺陷型腺病毒(adenovirus-Math1-enhanced green fluorescence protein,Ad-Math1-EGFP)前庭阶导入组(实验组),每组5只,实验组大鼠在右耳通过耳蜗底回前庭阶打孔的方法导入物理滴度为2.1×1011v.p/ml的上述腺病毒5μl,对照组大鼠不做任何处理。7天后对动物进行颈髓硬膜外短声诱发电位(click-evoked potentials on the surface of the cervical dura mater,CDM-CEP)、听性脑干反应(ABR)阈值检测和游泳试验,评价前庭和耳蜗功能,然后将动物处死进行组织形态学观察。结果Ad-Math1-EGFP导入7天后,实验组大鼠前庭及耳蜗的毛细胞及纤毛均未见破坏,形态正常。短声刺激下,对照组大鼠CDM-CEP的阈值为85±3.54dBSPL,ABR阈值为37±4.47dBSPL;实验组大鼠CDM-CEP的阈值为89±6.52dBSPL,ABR阈值为40±3.54dBSPL;对照组大鼠的游泳时间为4.0±0.71s,实验组为5.0±0.71s,两组之间比较差异均无统计学意义。结论携带Math1基因的复制缺陷型腺病毒对前庭和耳蜗毛细胞是安全的,可以作为基因导入的理想载体。

德国Zentralblatt MATH收录中国高校学报统计分析

利用德国ZentralblattMATH数据库 ,对其收录的 73种中国高等学校学报 (自然科学版、理工版 )进行了统计和分析 ,截止 2 0 0 2年 4月中旬 ,累计收录 135 2 6条 ,其中《曲阜师范大学学报》(10 0 1- 5 337)名列榜首 ,收录 787条 ;其次是《四川大学学报》(0 4 90 - 6 75 6 ) ,收录 6 98条 ;《南京大学学报》(0 4 6 9- 5 0 97)位于第三 ,收录 5 5 2条 .进入ZentralblattMATH数据库最早的是《四川大学学报》(0 4 90 - 4 75 6 )和《中国科技大学学报》(0 2 5 3- 2 778) ,分别于

不同类型载体携带Math1-EGFP基因对293T细胞转染效率及细胞毒性的研究

目的比较腺病毒、脂质体、纳米材料三种不同类型的载体携带目的基因对293T细胞的转染效率及细胞毒性的大小,筛选理想的基因载体。方法用重组腺病毒、LipofectamineTM 2000、EntransterTM-D纳米材料为转染载体,携带含有增强型绿色荧光蛋白(EGFP)报告基因的Math1-EGFP基因及真核表达质粒pRK5-Math1-EGFP,按照转染试剂盒说明优化其转染条件,分别转染293T细胞。24小时后在共聚焦显微镜下观察转染结果并计数阳性细胞率,采用RT-PCR法检测转染细胞中Math1基因mRNA的表达,用MTT法检测不同转染条件下,不同转染载体对293T细胞的细胞毒性。结果经优化转染条件,重组腺病毒载体转导的细胞中荧光蛋白表达几乎为95%以上,LipofectamineTM 2000、EntransterTM-D纳米材料载体转染的细胞中荧光蛋白表达也分别达到70%和80%以上,而EntransterTM-D纳米材料载体在最高转染效率的剂量下仍然保持80%以上的细胞生存率。RT-PCR进一步证实,三种载体转染细胞均有Math1基因mRNA的表达。结论EntransterTM-D纳米载体作为一种新型纳米聚合物转染试剂,能成功携带内耳基因治疗关键基因Math1基因转染293T细胞,并表现了低毒、高效性能。

绍兴文理：打破独霸格局—德国Zentralblatt MATH数据库收录浙江期刊的新变化

德国Zentralblatt MATH数据库曾收录浙江期刊8种，截止2002年7月底，累积收录1768条文摘，90％多来自浙江大学。1998年以来《杭州大学学报》（自然科学版），ISSN0253－3618的收录中断，但是，《绍兴文理学院学报》（自然科学版），ISSN 1008－293X又成为Zentralblatt MATH数据库收录浙江期刊的新一员。

三种方法转染Math1基因效率和细胞毒性研究

目的比较腺病毒、脂质体、纳米材料三种不同类型的载体体外携带目的基因Math1对HEK293T细胞的转染效率及细胞毒性的大小,以期筛选理想的基因转染载体材料。方法选用重组腺病毒、LipofectamineTM2000、Superfect纳米材料作为转染载体,携带含有增强型绿色荧光蛋白(enhanced green fluorescent protein,EGFP)报告基因的Math1-EGFP基因及真核表达质粒pRK5-Math1-EGFP,并且根据不同转染载体说明步骤优化体外转染条件,分别转染293T细胞。在一定的时间内利用荧光显微镜观察细胞转染结果并计数阳性细胞,采用MTT(噻唑蓝)法检测三种不同载体体外细胞毒性,应用RT-PCR(逆转录聚合酶链反应)技术检测转染阳性细胞中目的基因Math1的mRNA表达情况。结果在优化的体外转染条件下,重组腺病毒载体介导的细胞转染率达到了94%以上,脂质体和商品化Superfect纳米材料转染的细胞中,荧光蛋白表达率分别为73%和80%以上,同时,商品化Superfect纳米材料在达到80%转染率的条件下,细胞存活率为90%。应用RT-PCR方法证实,三种载体转染细胞均有Math1基因的mRNA的表达。结论商品化Superfect纳米材料作为一种新型的、安全有效的纳米转染材料,能够成功携带耳聋治疗关键基因Math1转染293T细胞,以期在内耳基因治疗的研究当中得到有效的应用。

湖南省期刊入选Zentralblatt MATH数据库的统计与分析

截止 2 0 0 2年 1 0月初 ,湖南省有 8种期刊已被德国ZentralblattMATH数据库收录 ,收录量达 1 61 8条 其中《湘潭大学学报》 (ISSN1 0 0 0 - 590 0 )名列第一 ,共收录 534条 ;其次是《湖南大学学报》 (ISSN1 0 0 0 - 2 4 72 ) ,收录40 7条 ;《湖南师范大学学报》 (ISSN1 0 0 0 - 2 537)名列第三 ,收录量为 2 84条 ;《湖南数学年刊》 (ISSN1 0 0 6 - 80 74)收录量为 1 71条 ;《怀化师专学报》 (ISSN1 0 0 7- 1 81 4 )是全国唯一进入德国ZentralblattMATH数据库的专科院校学报 ,收录量为 1 0 9条 ;《长沙电力学院学报》 (ISSN1 0 0 6 - 71 4 0 )和《长沙交通学院学报》 (ISSN1 0 0 0 - 9779)分别收录 88条和1 9条 ;《常德师范学院学报》 (ISSN1 0 0 9- 381 8)收录量为

bFGF-Math1基因诱导UEC-4细胞产生毛细胞的实验研究

目的进一步探讨bFGF-Math1基因在前庭上皮细胞系(UEC-4)细胞中的表达及生物学作用。方法利用阳离子脂质体LipofectamineTM2000介导bFGF-Math1基因真核表达质粒(pCI-bFGF-Math1)转染UEC-4细胞,利用RT-PCR技术检测基因在细胞中的表达,并利用免疫组织化学方法观察细胞的分化及特异性抗体的表达。结果脂质体介导的基因可在细胞内获得良好的表达,转染后24h,相差显微镜下观察细胞形态发生变化,免疫组织化学显示转染后细胞可以表达毛细胞特异性蛋白Myosin7a。结论bFGF-Math1基因有良好的生物学特性,可以有效地诱导支持细胞向毛细胞样细胞转变。

利用Mathematica绘制函数及数据图形

Mathematica是一个符号计算的软件系统,他不但能为科研人员提供各种数学工具,也可以很方便地验证论文中的计算,而且还可以通过图形绘制等手段获得更多的信息;同时也是中小学生家长检查孩子作业的好帮手。另外,只要给出数据或函数,就可以用Mathematic中简单的几条命令绘制出函数或数据的各种图形,是Mathematica的特色之一。

基于MathML的数学表达式等价性的研究

简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。

基于聚酰胺胺的非病毒载体携带Math1基因进行体外基因转导的有效性和安全性评价

目的研发一种可用于携带Math1基因进行基因转导的基于聚酰胺胺树枝状聚合物(PAMAM Den-drimers,PAMAM)的非病毒载体,对其转导效率和安全性进行评价,为进一步在体基因治疗奠定必要的实验基础和理论依据。方法 PAMAM(7代)通过加热活化和环糊精(Cyclodextrin,CD)表面修饰后,与pRK5-Math1-EGFP质粒在不同氮磷比(N/P)的情况下,浮配形成基因-载体复合物,在无血清培养条件下,对HEK-293T细胞系进行体外基因转导,对其转导效率和安全性进行评价。加热活化温度设定为60℃,时间分别为:0、6、12、24、48小时;聚酰胺胺树枝状聚合物/环糊精质量比(PAMAM/CD)分别为:(1/2,1/1,4/1,8/1和无CD);N/P分别为:1/1,2/1,5/1和10/1。通过荧光倒置显微镜观察EGFP阳性细胞并计算百分比的方法评价基因转导有效率,通过标准MTT实验评价其安全性。结果通过60℃加热活化24小时、质量比为1/1进行环糊精表面修饰后获得的基于PAMAM的非病毒基因载体,携带pRK5-Math1-EGFP质粒进行基因转导的效率最高,达到38.14±2.85%,同时其细胞存活率达到68.86±3.44%。结论我们获得了一种基于PAMAM的非病毒基因载体,可高效、安全地携带Math1进行基因转导,为其下一步进行在体基因转导研究奠定了必要的实验基础,有望未来应用于临床的聋病基因治疗。

小学版简式数学焦虑量表的信效度检验

基于政策文本和一线教师访谈,根据第三学段数学学习的特点,对简式数学焦虑量表进行了修订,并用修订后的小学版简式数学焦虑量表(Elementary Version of the Abbreviated Math Anxiety Scale,AMAS-E)对1893名小学五、六年级学生进行了调查.探索性因素分析和验证性因素分析的结果支持了AMAS-E的理论二维结构:数学学习焦虑和接受数学评价焦虑.聚合效度和区分效度检验结果与假设一致,效标关联效度的检验结果符合理论预期.信度分析结果也表明,AMAS-E的测量结果具有一致性和跨时间的稳定性.AMAS-E是测量第三学段学生数学焦虑水平的可靠且有效的工具.

圆弧型指尖密封径向极限变形量的计算方法研究

指尖密封是一种允许产生径向变形的接触式密封技术,径向极限变形制约着其使用工况要求。为揭示圆弧型指尖密封结构对径向极限变形的影响规律,构建了指尖密封径向极限变形量的数学计算模型,并与有限元分析结果进行了对比,研究了结构参数的影响。研究表明:数学计算模型计算结果与有限元分析结果误差为4.88%;指尖密封径向极限变形量随指梁间隙、指梁根圆直径、指梁型线圆弧半径等结构参数的增加而增加;随周向角、指梁顶圆直径、指梁基圆半径等结构参数的增加而减小;结构参数影响程度由大到小依次为:指梁间隙、周向角、指梁根圆和指梁顶圆、指梁基圆、指梁型线圆;其中,指梁根圆和指梁顶圆的影响需要根据具体结构尺寸来确定;指梁间隙影响程度最大,指梁间隙每增加1 mm,小尺寸指尖密封径向极限变形量就会增加10.005 mm,大尺寸的就会增加9.03 mm。

喷气燃料烃类组成与性质构效关系研究进展

通过喷气燃料分子水平研究和表征,掌握喷气燃料烃类组成,进而与理化性质进行构效联系,对喷气燃料性质预测、快评技术研发和高性能喷气燃料设计等具有重要指导作用。综述了喷气燃料的燃烧性、挥发性、低温流动性、安定性、润滑性、导电性、洁净性和燃料烃类组成与常规理化性质的定性关联规律,归纳了具有代表性的定量关系模型。总结了燃料的化学组成分析手段,认为全二维气相色谱应用于喷气燃料烃族及碳数分布等分子水平表征更准确。展望了预测模型的开发方向,指出相比于现有多元线性回归(MLR)、加权平均(WA)、偏最小二乘(PLS)、修正加权平均(MWA)、支持向量机(SVM)等建模方法,人工神经网络(ANN)是未来定量关系模型的研究重点。

初二学生数学逆商与数学学业成绩的关系研究——数学焦虑的中介作用

数学逆商与数学焦虑是影响学生数学学习的重要非智力因素,采用自编数学逆商量表、数学焦虑量表对初二学生进行调查,探讨数学逆商对学生数学学业成绩的影响及作用机制.结果表明:(1)初二学生的数学逆商处于中等偏上水平,数学焦虑程度一般,且男、女生在数学逆商、数学焦虑上均存在显著性差异;(2)数学逆商、数学学业成绩、数学焦虑两两相关.其中,数学逆商显著正向预测数学学业成绩,数学焦虑显著负向预测数学学业成绩、数学逆商;(3)数学焦虑在数学逆商和数学学业成绩之间起部分中介作用,中介效应对总效应的贡献率为34.43%.