序列树的构造

图G的标号是指G的顶点集到一个整数集的映射g且由g(u)和g(v)诱导出边e=uv的标号g~1.定义了序列树的根积和根粘接的运算,并研究了序列树的根积和根粘接的序列性,得到了一类新的顶点数较多且非毛毛虫的树为序列图.     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

图P_m×C_n和W(m,n)的序列性

给出了图Pm×Cn,I(Pm×Cn)和W(m,n)的序列标号.证明了图Pm×Cn,I(Pm×Cn)和W(m,n)(m≥1,n≥3且n为奇数)是序列图,从而也是调和图.     

A Linear Time Algorithm for the Minimum-weight Feedback Vertex Set Problem in Series-parallel Graphs

A feedback vertex set is a subset of vertices in a graph, whose deletion from the graph makes the resulting graph acyclic. In this paper, we study the minimum-weight feedback vertex set problem in seriesparallel graphs and present a linear-time exact algorithm to solve it.     

Sequence pattern Correlation of Amino Acid in Collision—induced Dissociation Electrospray Ionization Mass Spectrometry

A novel approach of seuqence pattern correlation has been applied to predict an expected amino acid sequence from CID ESI-MS spectra.The proposed approach deduces sequence patterns with no help form known protein database such that it is useful to identify an unknown petide or new protein.The algorithm applies a cross-correlation to match an experimental CID spectrum with predicted sequence pattern generated form fragmentation information.The fragmentation knowledge of both y-series and other non y-series are utilized to generate the predicted sequence patterns.In contrast to the normal de novo approach,the proposed approach is insensitive to mass tolerance and non-sussceptive to spectral integrality with no need for selection of a starting point.     

基于未标定序列图的形貌测量方法

提出一种形貌测量方法,从未标定序列图中同时提取出特征点的三维坐标和摄像机的运动矩阵,实现对目标物体的三维测量。首先用齐次坐标表达了空间点的投影变换矩阵,并根据该矩阵推导出投影比例式,运用投影深度和投影矩阵之间的循环相关性进行迭代运算,得到比普通双目视觉更加精确的深度数据。其次对分解得到的摄像机运动矩阵和空间点坐标施加度量约束。运用基于因式分解的归一化算法,恢复出欧氏空间里的摄像机运动矩阵和空间点坐标。基于这种方法,实现了曲面标记点的坐标测量,得到了三维形貌数据,误差小于0.16mm。