浙江理工大学考研研究生导师简介-张娜

本站小编 Free考研网/2019-05-27

导师姓名：张娜
性别：男
人气指数：1535

所属院校：浙江理工大学
所属院系：信息学院
职称：副教授
导师类型：
招生专业：计算机技术、电子与通信工程、计算机科学与技术
研究领域：方向1：软件测试；方向2：数据挖掘；方向3：智能信息处理技术。
研究领域：方向1：软件测试；方向2：数据挖掘；方向3：智能信息处理技术。 [收起]

通讯方式 :
办公电话：**
通讯地址：杭州下沙高教园区浙江理工大学586信箱

个人简述 :
女，硕士，浙江理工大学副教授，硕士生导师。1998年毕业于杭州大学计算机软件专业获学士学位，2001年毕业于浙江大学计算机应用专业获硕士研究生学位，2010年晋升为副教授。长期以来一直从事软件测试，数据挖掘，智能信息处理等方面的研究工作。工作以来先后主持或参与各类纵横向科研项目40余项。在国内外重要学术刊物上发表学术论文20余篇。

科研工作 :
主持及参与科研项目：1.自适应软件设计模式组合理论研究，项目编号：**，国家自然科学基金项目，2014.1，排名：3/102.多功能路灯控制系统开发，项目编号：**-J，技术开发，2013.10，排名：1/53.基于云技术的智能交通诱导系统开发，项目编号：**-J，技术开发，2013.8，排名：2/104.人力资源外包联盟服务平台的设计与开发，项目编号：**-J，技术开发，2013.8，排名：3/65.集成电路制造装备与成套工艺之关键技术-射频容性等离子体源研究，项目编号：2013R10064，钱江人才计划项目，2013.7，排名：2/56.基于受控马尔科夫链的软件缺陷自适应测试研究，项目编号：LY13F020041，浙江省自然科学基金项目，2013.1，排名：1/77.离散物流运输优化平台开发，项目编号：**-J，技术开发，2012.10，排名：1/78.智能物料供应管理系统，项目编号：**-J，技术开发，2012.5，排名：1/129.浮力船系统设计，项目编号：**-J，技术开发，2012.5，排名：4/610.拓扑强动态条件下无线自组织网络的一致性测试方法研究，项目编号：**，国家自然科学基金项目，2012.1，排名：3/911.自适应软件系统的动态设计模式技术研究，项目编号：LY12F02041，浙江省自然科学基金项目，2012.1，排名：2/712.船用数字通讯报警控制系统，项目编号：2011BZ11016，科技计划项目，2011.3，排名：2/913.智能交通安全预测系统设计与开发，项目编号：2001BY11003，科技计划项目，2011.3，排名：1/914.船用组合式整体卫生单元电气控制模块开发，项目编号：**-J，技术开发，2010.11，排名：4/815.142B系统训练模拟软件，项目编号：**-J，技术开发，2010.9，排名：8/916.船用自动化控制系统开发，项目编号：**-J，技术开发，2010.6，排名：2/517.服务组合性能分析，项目编号：Y**，浙江省自然科学基金项目，2010.6，排名：2/718.软件逆向工程技术与方法研究，项目编号：Y**，浙江省自然科学基金项目，2010.6，排名：1/719.Web服务组合的可靠性计算研究，项目编号：Z**，浙江省自然科学基金项目，2010.1，排名：3/720.基于Markov模型的智能交通安全预测系统，项目编号：2011C23005，公益技术应用研究，2009.8，排名：3/1021.公文处理系统开发，项目编号：**-J，技术开发，2009.8，排名：1/422.基于常微分方程的程序死锁检测研究，项目编号：**，国家自然科学基金项目，2009.1，排名：8/1023.智能听诊器的研发，项目编号：**-J，技术开发，2008.5，排名：3/424.压感式指纹识别算法芯片研制及产业化，项目编号：2008C21067，科技厅项目，2008.1，排名：3/925.基于眼动和脑电的多通道信息融合研究，项目编号：Y107120，浙江省自然科学基金项目，2008.1，排名：4/626.驭龙销售管理系统，项目编号：**-J，技术开发，2006.4，排名：1/227.运动模糊图像在织物疵点识别中恢复的算法研究，项目编号：**，科技厅项目，2005.7，排名：2/428.管理信息系统中流程控制平台，项目编号：**-J，技术开发，2004.10，排名：1/129.织物疵点自动检测系统研制，项目编号：**-E，科技厅项目，2004.4，排名：4/1030.基于矩阵经典分解的公钥密码体制安全分析与应用研究，项目编号：**，国家自然科学基金项目，2004.1，排名：6/631.基于PCNN的织物疵点识别和检测的理论研究，项目编号：602014，浙江省自然科学基金项目，2003.1，排名：3/5

发表相关学术论文：1.张娜,包晓安,丁佐华, A rigorous approach in testing service component architectures, Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010, 2010.3, 1358-13632.张娜,江明月,丁佐华, Executing Petri net based system model, 2010 International Conference on Computer Application and System Modeling, Proceedings, 2010.10, V4485-V44893.张娜,包晓安,丁佐华, Unit testing: Static analysis and dynamic analysis, 4th International Conference on Computer Sciences and Convergence Information Technology, 2009.11, 232-2374.张娜,包晓安,丁佐华, 基于联想竞争神经网络的静态织物疵点识别研究, 浙江理工大学学报, 2006.5, 146-1495.丁佐华,张娜, Modeling and behavior checking of component based architecture, SEDM2010, 2010.6, 36-416.韩维,张娜,丁佐华, Test Generation Based On Notated Net, ICCIT2009-4th Int. Conf.Comput.Sci.Convergence inf.Technol., 2009.11, 1168-11737.包晓安,张娜,桂宁,宋瑾钰, 基于架构的软实时软件的自适应框架的研究, 电信科学, 2012.9, 28-338.包晓安,姚澜,张娜,宋瑾钰, 基于受控Markov链的软件自适应测试策略, 计算机研究与发展, 2012.6, 1332-13389.包晓安,张娜,沈军民,赵玲玲,高君, Application of Association Rule Mining Algorithm Base on Interestingness to Agricultural Pest Control, International Agricultural Engineering Journal, 2011.10, 52-5710.包晓安,高君,谢晓鸣,林辉,张娜, Research of the Web service automatic composition based on generalized stochastic petri nets, International Journal of Multimedia and Ubiquitous Engineering, 2013.4, 115-12511.包晓安,张娜,葛琦伟,桂宁, An Architecture-based Adaptation Framework for Soft Real-Time Applications, Advances In Information Sciences and Service Sciences, 2011.8, 268-27812.包晓安,张娜,丁佐华, A Tool To Generate Test Case Based Haskell Language, ICCSP 2010, IITA-JCAI 2010, 2011.12, 649-65213.包晓安,张娜,姚澜,桂宁, The Application of the Variable Parameter Pid Optimization Based on PSO in Geothchnical Triaxial Apparatus Controller, journal of information & computational science, 2011.8, 2465-247314.贾宇波,张娜,孙麒,范红丹, Talent-Cultivation Mode Research on Direction of Services and Outsourcing-Oriented Software Engineering, Education Management, Education Theory & Education Application, 2011.10, 307-31215.冉宇瑶,张娜,庄巧莉, AGV对周边环境的感知技术及其在卷烟企业的应用, 计算机工程与设计, 2008.4, 961-96216.包晓安,张娜,丁佐华, Test case generation of concurrent programs based on event graph, 5th International Joint Conference on INC, IMS, and IDC, 2009.8, 143-149