主持及参与科研项目：
1.自适应软件设计模式组合理论研究，项目编号：61379036，国家自然科学基金项目，2014.1，排名：3/10
2.多功能路灯控制系统开发，项目编号：13030418-J，技术开发，2013.10，排名：1/5
3.基于云技术的智能交通诱导系统开发，项目编号：13030240-J，技术开发，2013.8，排名：2/10
4.人力资源外包联盟服务平台的设计与开发，项目编号：13030233-J，技术开发，2013.8，排名：3/6
5.集成电路制造装备与成套工艺之关键技术-射频容性等离子体源研究，项目编号：2013R10064，钱江人才计划项目，2013.7，排名：2/5
6.基于受控马尔科夫链的软件缺陷自适应测试研究，项目编号：LY13F020041，浙江省自然科学基金项目，2013.1，排名：1/7
7.离散物流运输优化平台开发，项目编号：12030422-J，技术开发，2012.10，排名：1/7
8.智能物料供应管理系统，项目编号：12030118-J，技术开发，2012.5，排名：1/12
9.浮力船系统设计，项目编号：12030170-J，技术开发，2012.5，排名：4/6
10.拓扑强动态条件下无线自组织网络的一致性测试方法研究，项目编号：61101111，国家自然科学基金项目，2012.1，排名：3/9
11.自适应软件系统的动态设计模式技术研究，项目编号：LY12F02041，浙江省自然科学基金项目，2012.1，排名：2/7
12.船用数字通讯报警控制系统，项目编号：2011BZ11016，科技计划项目，2011.3，排名：2/9
13.智能交通安全预测系统设计与开发，项目编号：2001BY11003，科技计划项目，2011.3，排名：1/9
14.船用组合式整体卫生单元电气控制模块开发，项目编号：1004347-J，技术开发，2010.11，排名：4/8
15.142B系统训练模拟软件，项目编号：1004295-J，技术开发，2010.9，排名：8/9
16.船用自动化控制系统开发，项目编号：1004146-J，技术开发，2010.6，排名：2/5
17.服务组合性能分析，项目编号：Y1100289，浙江省自然科学基金项目，2010.6，排名：2/7
18.软件逆向工程技术与方法研究，项目编号：Y1100726，浙江省自然科学基金项目，2010.6，排名：1/7
19.Web服务组合的可靠性计算研究，项目编号：Z1090357，浙江省自然科学基金项目，2010.1，排名：3/7
20.基于Markov模型的智能交通安全预测系统，项目编号：2011C23005，公益技术应用研究，2009.8，排名：3/10
21.公文处理系统开发，项目编号：1004026-J，技术开发，2009.8，排名：1/4
22.基于常微分方程的程序死锁检测研究，项目编号：90818013，国家自然科学基金项目，2009.1，排名：8/10
23.智能听诊器的研发，项目编号：0913003-J，技术开发，2008.5，排名：3/4
24.压感式指纹识别算法芯片研制及产业化，项目编号：2008C21067，科技厅项目，2008.1，排名：3/9
25.基于眼动和脑电的多通道信息融合研究，项目编号：Y107120，浙江省自然科学基金项目，2008.1，排名：4/6
26.驭龙销售管理系统，项目编号：0604042-J，技术开发，2006.4，排名：1/2
27.运动模糊图像在织物疵点识别中恢复的算法研究，项目编号：20050802，科技厅项目，2005.7，排名：2/4
28.管理信息系统中流程控制平台，项目编号：0404071-J，技术开发，2004.10，排名：1/1
29.织物疵点自动检测系统研制，项目编号：0404012-E，科技厅项目，2004.4，排名：4/10
30.基于矩阵经典分解的公钥密码体制安全分析与应用研究，项目编号：60373077，国家自然科学基金项目，2004.1，排名：6/6
31.基于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-1363
2.张娜,江明月,丁佐华, Executing Petri net based system model, 2010 International Conference on Computer Application and System Modeling, Proceedings, 2010.10, V4485-V4489
3.张娜,包晓安,丁佐华, Unit testing: Static analysis and dynamic analysis, 4th International Conference on Computer Sciences and Convergence Information Technology, 2009.11, 232-237
4.张娜,包晓安,丁佐华, 基于联想竞争神经网络的静态织物疵点识别研究, 浙江理工大学学报, 2006.5, 146-149
5.丁佐华,张娜, Modeling and behavior checking of component based architecture, SEDM2010, 2010.6, 36-41
6.韩维,张娜,丁佐华, Test Generation Based On Notated Net, ICCIT2009-4th Int. Conf.Comput.Sci.Convergence inf.Technol., 2009.11, 1168-1173
7.包晓安,张娜,桂宁,宋瑾钰, 基于架构的软实时软件的自适应框架的研究, 电信科学, 2012.9, 28-33
8.包晓安,姚澜,张娜,宋瑾钰, 基于受控Markov链的软件自适应测试策略, 计算机研究与发展, 2012.6, 1332-1338
9.包晓安,张娜,沈军民,赵玲玲,高君, Application of Association Rule Mining Algorithm Base  on  Interestingness  to Agricultural Pest Control, International Agricultural Engineering Journal, 2011.10, 52-57
10.包晓安,高君,谢晓鸣,林辉,张娜, Research of the Web service automatic composition based on generalized stochastic petri nets, International Journal of Multimedia and Ubiquitous Engineering, 2013.4, 115-125
11.包晓安,张娜,葛琦伟,桂宁, An Architecture-based Adaptation Framework for Soft Real-Time Applications, Advances In Information Sciences and Service Sciences, 2011.8, 268-278
12.包晓安,张娜,丁佐华, A Tool To Generate Test Case Based Haskell Language, ICCSP 2010, IITA-JCAI 2010, 2011.12, 649-652
13.包晓安,张娜,姚澜,桂宁, The Application of the Variable Parameter Pid Optimization Based on PSO in Geothchnical Triaxial Apparatus Controller, journal of information & computational science, 2011.8, 2465-2473
14.贾宇波,张娜,孙麒,范红丹, Talent-Cultivation Mode Research on Direction of Services and Outsourcing-Oriented Software Engineering, Education Management, Education Theory & Education Application, 2011.10, 307-312
15.冉宇瑶,张娜,庄巧莉, AGV对周边环境的感知技术及其在卷烟企业的应用, 计算机工程与设计, 2008.4, 961-962
16.包晓安,张娜,丁佐华, Test case generation of concurrent programs based on event graph, 5th International Joint Conference on INC, IMS, and IDC, 2009.8, 143-149