主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

C*-双代数上的Haar测度

采用法国数学家Baai和Skandalis引进的算予语言讨论了C^*-双代数A中的Haar测度的存在性．本文首先通过考察这样算予的性质和刻画赋范线性空间中连续线性算予的像集的性质，证明了C^*-双代数A中的一个平均遍历定理，得到了C^*-双代数A中的线性泛函是Haar测度的充分必要条件；利用遍历定理和这个充分必要条件探讨了C^*-双代数中Haar测度存在的一些充分条件．     

分裂P - 正则半群

引入了分裂P-正则半群的概念,且证明了P-正则半群是分裂的当且仅当它有一个强P-正则*-断面,这把分裂纯正半群主要结果推广到P-正则半群上.     

一种任意起始位姿的连续曲率泊车路径在线规划方法

针对目前泊车路径规划算法对起始位姿要求严格，且难以兼顾最终位姿精度、路径质量及计算效率等问题，提出了一种任意起始位姿的连续曲率路径在线规划方法。该方法将整个泊车路径规划分为库位内调整与入库过程两部分。库位内调整采用以最终位姿高精度与调整次数最少为目标函数的最优化方法进行逐段规划；入库过程采用连续曲率曲线组用于混合A*算法的状态节点扩展以直接生成无需后处理的可执行路径。设计考虑路径的曲率变化与方向改变次数的估价函数；采用由路径几何形状特征点构建特征多边形的碰撞检测方法以提高计算效率。离线仿真与实车试验结果验证了该方法的有效性。     

Diversity and dispersal history of the talitrids (Crustacea: Amphipoda: Talitridae) of Bermuda

Five taxa of talitrid amphipods were found in the archipelago of Bermuda, of which three were recorded there for the first time. Four of these are supralittoral wrack generalists: Platorchestia monodi BOLD:AAB3402, (a unique Molecular Operational Taxonomic Unit according to the Barcode Index Number system), a related species recognized by molecular methods, Platorchestia platensis BOLD:AAA2949, Mexorchestia carpenteri carpenteri BOLD:AAC1491 and Tethorchestia antillensis; and one a terrestrial leaf-litter generalist: Talitroides alluaudi. A key is provided to discriminate between the formally described talitrids of Bermuda. Dispersal mechanisms from the American continent to Bermuda were considered for all taxa based on species distributions along the North American Atlantic coast and also investigated by molecular methods, using genetic population differentiation and haplotype network analysis based on the barcode region of cytochrome c oxidase subunit I gene. For P. monodi BOLD:AAB3402 the genetic results suggest that some dispersal events occurred before human colonization of Bermuda but are equivocal about the source population and therefore the direction of dispersal. Some very recent synanthropic dispersal is possible with this species. For the other two species studied genetically, P. platensis BOLD:AAA2949 and M. c. carpenteri BOLD:AAC1491, the small population samples analysed support dispersal to Bermuda from the American mainland, before human occupation of Bermuda, although the available sample size was limited for these species. The available limited direct, non-genetic evidence supports synanthropic transport for Talitroides alluaudi. Platorchestia monodi BOLD:AAB3402 is found in the same wrack habitat as P. platensis BOLD:AAA2949 on Bermuda, apparently without interbreeding. No evidence was found that driftwood specialist talitrids had become established in Bermuda.     

关于*-仿正规压缩算子的性质

主要研究了压缩的*-仿正规算子的一些性质,证明了若T是一个压缩的*-仿正规算子,则正算子D=12(T*2 T2-2TT*+I)是一个压缩算子,且算子序列{Dn}强收敛于一个投影算子P,满足T*P=0;若T没有非平凡的不变子空间,则(i)T是真压缩算子,(ii)正算子D=12(|T2|2-2|T*|2+I)是强稳定压缩算子.     

极大群和极小群的弱c-正规对有限群结构的影响

利用极大和极小群的弱c-正规性对有限群的结构进行刻画,得到可解群和p-幂零群的一些充分条件,推广了一些已知的结果.     

冬眠及外源维生素C对中华鳖(Pelodiscus sinensis)稚鳖能量代谢的影响

观测了冬眠前饲料中添加外源维生素C(Vc)对冬眠中华鳖稚鳖能量代谢的影响.结果发现外源Vc不能提高冬眠期间中华鳖的存活率(P=0.57).稚鳖个体在冬眠期间生长能的平均值为-0.15 kJ.d-1,该值与代谢耗能相当.鳖体蛋白、脂肪、水分和灰分质量分数w在冬眠前后无显著差异(P>0.05),外源Vc对鳖的体组成没有明显影响(P>0.05).冬眠8周后,肝脏线粒体细胞色素C氧化酶(COX)和肝脏乳酸锐氢酶(LDH)的活性显著下降(P<0.05).饲料外源Vc对肝脏线粒体蛋白含量、肝脏线粒体COX和LDH的活性均无影响(P>0.05).     

基于多重分形的地形辅助导航路径规划算法

地形导航是一种利用航行器下方地形信息获取航行器位置的导航技术。为了得到较高的定位精度并使飞行长度尽可能短,需要预先规划飞行路径。该文将地形数字高程图(digital elevation model,DEM)看作二维灰度图像,引入在图像处理中得到广泛应用的多重分形理论,将利用小波变换求得的奇异指数作为地形提供定位精度能力的一种度量。选择合适的阈值划分得到定位优区,利用A*算法寻找最短路径,此路径即是规划路径。选用粒子滤波作为导航算法,沿规划路径和其他路径进行多次飞行仿真,结果显示规划路径的定位精度和稳定度都比较高,而且路径长度短,有较强的实用性。     

Type-A半群的表示

给出了Type-A半群的表示,将文献[1]中著名的Vagner表示定理推广到Abandant半群中.证明了如果S是一个半群,则存在一个集合X及S到PJ(X)的单同态.