ASP安全编译及其应用程序开发

ASP技术的广泛应用为其带来了一系列知识产权保护和应用安全的难题,该文通过将ASP和应用服务器一起封装为可执行程序的方法,找到一条新的ASP安全编译及其应用程序开发的路径,从而为解决基于ASP开发的Web应用的安装、部署、维护和知识产权保护等难题开创新的思路．     

半环的亚直分解

引入了半环的亚直积和亚直既约等概念,证明了半环的亚直分解定理。     

具有外部扰动的非完整移动机器人的有限时间跟踪控制(英文)

研究了具有外部扰动的动态模型的非完整移动机器人有限时间跟踪控制问题,介绍了一种有限时间扰动观测器来估计外部扰动.首先,移动机器人的跟踪误差系统被转换成两个子系统:一个三阶子系统和一个二阶子系统.然后,我们分别讨论了这两个子系统,并且设计了连续的有限时间扰动观测器和有限时间跟踪控制律.严格的证明表明了移动机器人可以在有限时间内跟踪上期望的轨迹.仿真例子说明了我们方法的有效性.     

产生埃博霉素的纤维堆囊菌的分子筛选

为寻找潜在的产生埃博霉素(epothilone)的纤维堆囊菌(Sorangium cellulosum),以埃博霉素生物合成基因簇中的epoA,epoC和epoK基因为探针,分别对60株不同土壤样品来源的纤维堆囊菌的DNA样品进行PCR筛选.筛选结果得到了7株阳性菌株,进一步对其进行发酵和粗提物的HPLC-MS分析,检测结果显示3株菌XMU-Nc-03,XMU-So-64和XMU-So-112能产生埃博霉素B,其中XMU-So-112的产量最高.本实验在筛选产埃博霉素活性菌株的同时,还建立了一个快速可靠的发现埃博霉素产生菌的方法.     

汽车ESP系统的控制策略及硬件在环仿真

为了提高开发效率,采用V型开发模式设计了汽车电子稳定程序的控制系统.在MATLAB/Simulink中建立了轮胎模型、车身模型和车辆参考模型,在AMESim中建立了四通道液压制动模型,并通过接口连接成汽车动力学联合仿真模型.以汽车横摆角速度为控制变量,采用模糊控制、PID控制等算法建立了控制系统.将硬件嵌入到整个仿真系统,进行硬件在环仿真试验.结果表明,实时仿真与离线仿真结果基本一致,ESP控制效果良好,提高了汽车的稳定性和安全性.     

镧对呋喃树脂炭的催化石墨化

报道了镧对呋喃树脂炭的催化石墨化.把氯化镧均匀分散在呋喃树脂中,然后在180℃左右固化,600℃炭化;最后将含有镧的呋喃树脂炭于不同温度下进行热处理.采用X射线衍射分析仪考察镧对呋喃树脂炭的催化石墨化效果,通过Scherrer和Bragg方程分别计算石墨表观微晶尺寸(Lc)和(002)面的层间距(d002);采用扫描电子显微镜观察炭材料的形貌变化.结果表明镧对呋喃树脂炭具有明显的催化石墨化作用;呋喃树脂炭的石墨化度随镧含量的增加而增加,并随热处理温度的升高有明显变化.在2 400℃时,石墨化效果最好,最小d002值为0.336 0nm,相应的石墨化度为93%.炭的催化石墨化机理遵循碳化物分解和碳的熔解析出机理.     

交换环上辛李代数的一类子代数的导子

设m是一个正整数,R是一个带有单位元的交换环,2在R中可逆,N是辛李代数sp(m,R)的标准极大幂零子代数.确定了李代数N的导子.     

单张图像对每人多张注册图像的人脸识别匹配

同一对象的多张图像提供了比单张图像更丰富的外观信息,提取多张人脸图像共性信息可提高人脸识别率.经典的基于主方向夹角的MSM应用于单张图像对一组图像匹配,识别效果不佳,为此提出基于主分量重构误差最小准则的单张图像与一组注册图像人脸识别算法原理,并作了实施.在由MBGC项目提供的图像组建的测试集上进行的测试表明,所提出的算法识别效果提高幅度明显优于基于依次单张匹配和基于最大主方向夹角准则的方法.     

关于“鞍点逼算法”的一点注记

修正了文献[1]所提的"鞍点逼近算法"的收敛性结论.     

梯形衬砌渠道边坡(m)的优选方法

在梯形渠道水力最佳断面计算及梯形衬砌渠道侧墙稳定性计算的基础上,根据侧墙厚度变化和渠道占地变化所引起费用变化的经济分析,提出了梯形衬砌渠道主要由满足侧墙强度要求的最小板厚决定边坡（ｍ）的方法,改变了过去渠道设计中仅凭经验或单纯以水力断面最优选取边坡的局限性。据此优选的边坡（ｍ）既兼顾了水力断面最优又具有侧墙的稳定性,从而使衬砌量最小。