Nombre de documents

1

My publications


 

1.  Title: Improved hybrid semantic similarity algorithm for terminology application
 Author(s): Wei, Tong; Jia, Yangli; Zhang, Zhenling; et al.
 Conference: International Conference on Natural Computation and Fuzzy Systems and Knowledge Discovery Pages: 1734-1738 Year: 2016
 
2.  Title: 一种新的语义相似度计算方法
 Author(s): 位通; 贾仰理; 张振领; et al.
 Source: 聊城大学学报(自然科学版)自然科学版 Issue: Pages: 88-92 Published: 2015
 
3.  Title: 基于本体的软件属性可信性研究
 Author(s): 位通; 贾仰理; 张振领; et al.
 Source: 工业 Issue: Pages: 29 Published: 2015
 
4.  Title: Protocol Based Real-time Component Behavior Consistency Verification基于协议的实时构件行为一致性验证
 Author(s): ZHANG Zhenling; JIA Yangli; XIE Shengxian; et al.
 Source: 计算机科学 Volume: 39 Issue: Pages: 125-128 Published: 2012
 
5.  Title: Specification and Compatibility Verification of Timing Behavior in ComponentsTCBV:一种构件时序行为建模与相容性验证工具
 Author(s): ZHANG Zhenling; JIA Yangli; ZHOU Enguang; et al.
 Source: 计算机科学 Pages: 143-147 Published: 2012
 
6.  Title: States Space Reduction Algorithm for Timed Behavior Protocol时间行为协议状态空间约减算法
 Author(s): 张振领; 贾仰理; 李舟军
 Source: 计算机科学 Volume: 39 Issue: Pages: 135-138 Published: 2012
 
7.  Title: Design and implementation of speaker recognition system
 Author(s): Zhang, Zhenling; Jia, Yangli; Xie, Guang
 Conference: IEEE International Conference on Software Engineering and Service Science Pages: 559-562 Year: 2011
 
8.  Title: Modeling and verification of interactive behavior for cyber-physical systems
 Author(s): Jia, Yangli; Zhang, Zhenling; Xie, Shengxian
 Conference: IEEE International Conference on Software Engineering and Service Science Pages: 552-555 Year: 2011
 
9.  Title: Compatibility verification of real-time components' behavior
 Author(s): Jia, Yangli; Zhang, Zhenling; Xie, Shengxian
 Conference: International Conference on Advanced Computer Theory and Engineering Pages: V5-19-V5-23 Year: 2010
 
10.  Title: Formal Model of Component Real-time Interaction Behavior Based on Automata Theory基于自动机的构件实时交互行为的形式化模型
 Author(s): JIA Yangli; ZHANG Zhenling; LI Zhoujun; et al.
 Source: 计算机科学 Volume: 37 Issue: Pages: 151-156 Published: 2010
 
11.  Title: Formal Specification and Verification of Components' Real-time Behavior
 Author(s): Jia, Yangli; Zhang, Zhenling; Xie, Shengxian
 Conference: IEEE International Conference on Software Engineering and Service Sciences Pages: 198-201 Year: 2010
 
12.  Title: Incorporating time factor into behavior protocol model
 Author(s): Jia, Yangli; Zhang, Zhenling; Xie, Shengxian
 Conference: International Conference on Advanced Computer Theory and Engineering Pages: V5-475-V5-479 Year: 2010
 
13.  Title: Real-time Extension of Component Behavior Protocol and its Compatibility Verification构件行为协议实时性扩展及相容性验证
 Author(s): JIA Yangli; ZHANG Zhenling; LI Zhouiun; et al.
 Source: 计算机科学 Volume: 37 Issue: 10 Pages: 143-147 Published: 2010
 
14.  Title: Speaker Recognition Based on Support Vector Machines and Multi-Scale Wavelet Analysis
 Author(s): Zhang, Zhenling; Jia, Yangli; Xie, Shengxian; et al.
 Conference: International Symposium on Computer Network and Multimedia Technology Pages: 1-4 Year: 2009
 
15.  Title: A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems
 Author(s): Jia, Yangli; Li, Zhoujun; Zhang, Zhenling; et al.
 Conference: International Conference on Advanced Computer Theory and Engineering Pages: 388-392 Year: 2008
 
16.  Title: A Specification and Verification Method on Component Composition of Real-Time Reactive Systems
 Author(s): Jia, Yangli; Li, Zhoujun; Du, Xutao; et al.
 Conference: Third Asia-Pacific Trusted Infrastructure Technologies Conference Pages: 142-149 Year: 2008
 
17.  Title: Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems
 Author(s): Jia, Yangli; Li, Zhoujun; Zhang, Zhenling
 Conference: International Conference on Computer Science and Software Engineering Pages: 135-138 Year: 2008
 
18.  Title: 基于支持向量机和小波分析的说话人识别
 Author(s): 张振领; 徐东平; 贾仰理
 Source: 计算机工程与设计 Volume: 20 Issue: 21 Pages: 84-87 Published: 2007
 
19.  Title: 基于支持向量机和小波分析的说话人识别技术研究
 Author(s): 张振领


Communication dans un congrès1 document