张毅坤
- 作品数：99 被引量：423H指数：11
- 供职机构：西安理工大学更多>>
- 发文基金：陕西省教育厅科研计划项目陕西省自然科学基金西安市科技计划项目更多>>
- 相关领域：自动化与计算机技术电气工程电子电信文化科学更多>>
- 基于GCC的抽象语法树对C++源程序结构的分析被引量：12
- 2006年
- 源程序静态信息的提取是实现对源程序静态分析的基础,提取的静态信息的完整性、信息的规范性是静态分析的关键点。文章基于GCC编译器产生的AST(AbstractSyntaxTree)中间文件,给出了一种从AST文件中提取源程序的静态信息的方法,以XML(ExtensibleMarkupLanguage)标准格式输出,最后树形化地显示出源程序的结构关系。
- 王相懂张毅坤
- 关键词：GCCASTXML信息提取
- 一种支持构件化软件测试用例生成的免疫算法被引量：4
- 2006年
- 提出了一种支持构件化软件测试用例生成的改进的免疫遗传算法(Improved Immune Genetic Algorithm,简称IIGA),证明了算法的收敛性,并介绍了算法的基本思想。通过将IIGA算法与传统遗传算法在构件化软件测试用例生成中的比较,验证了算法的正确性、高效性。
- 马臻张毅坤李俊义魏芳解建仓
- 关键词：免疫遗传算法算法收敛性
- 基于UML的构件软件集成测试用例生成研究被引量：10
- 2006年
- 对构件软件测试的特点进行了分析,结合扩展的UML状态图规约和时序图规约,以文献[1]4个能模拟构件间交互特性的要素作为测试用例产生的基础,特别是分析了构件间的内容依赖关系和上下文依赖关系获取算法,从而提出一种有效地构件软件集成测试用例的生成方法。
- 尚绪全张毅坤
- 关键词：软件测试UML测试用例
- 利用BISON++设计UML规约扫描器被引量：1
- 2004年
- 在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
- 张保卫张毅坤赵明
- 关键词：软件测试UML扫描器
- 整流变压器优化设计的研究被引量：2
- 2002年
- 对整流变压器的优化数学模型进行了分析 ,并在此基础上对传统优化方法———循环遍数法做了改进 ,采用变量调整策略 ,提高了优化效率 ,成功地应用到所开发的整流变压器CAD软件中。
- 崔杜武王竹荣张毅坤
- 关键词：数学模型优化设计CAD
- 基于正交分层聚类算法软件可靠性模型的预测分析被引量：8
- 2007年
- 鉴于软件测试数据对软件可靠性增长模型预测的扰动,以及在软件可靠性增长模型(SRGM)预测中要求测试工作量分布均匀这一过高的前提假设,在聚类基础上提出了正交结构分层聚类算法。对在实际过程中不满足这一假设前提的数据进行归一化,并利用基于正交结构分层聚类算法的J-M模型对软件的可靠性进行评估,以实验数据验证了基于分层聚类算法J-M模型预测优于传统J-M模型预测。
- 许宁张毅坤
- 关键词：软件可靠性增长模型
- 大功率电流型晶闸管变频器低频PWM换流过程分析被引量：2
- 1995年
- 从换流原理、假设条件出发，对大功率电流型晶闸管变频器如何实现低频ＰＷＭ换流进行了较为详细地分析，提出了该变频应用于低频时应注意的问题，同时首次给出了此类变频器低频ＰＷＭ调制加二重化技术所产生的理论输出波形，可供工程实践中参考。
- 张毅坤刘军徐平
- 关键词：晶闸管电流型变频器PWM换流
- 基于三次样条函数的激光雷达数据可视化插值法被引量：19
- 2013年
- 传统的可视化软件与方法不能够准确地反映受大气湍流以及大气边界层影响的大气参数的细节信息,难以实现连续性的大气参数演变过程。提出了一种基于三次样条函数的激光雷达数据可视化插值法。分析了激光雷达数据的离散型特点,确定影响大气激光雷达数据可视化图形的关键因素,利用一定大气范围内的观测数据相互影响的关系,结合三次样条插值函数对插值数据进行修正并拟合观测数据的整体变化趋势。实验结果表明,该方法能够提高离散激光雷达数据间插值数据的准确性与可视化图形的平滑性,为激光雷达数据分析提供了有力手段。
- 陈浩华灯鑫张毅坤闫庆李仕春
- 关键词：三次样条函数
- 面向OA系统的工作流引擎研发被引量：19
- 2008年
- 针对如何适应企业业务流程动态变化与发展,以及参与管理人员权限多样性的问题,提出了面向OA(办公自动化)系统的,基于工作流引擎技术的协同式管理理念;研究了工作流引擎的设计与开发方法,实现了工作流技术在OA系统中的应用;该系统的实现将对业务流程的灵活定制、交互协同、权限控制复杂性等问题的解决起到积极作用。
- 王凯张毅坤杨凯峰邓晶晶白仲贵
- 关键词：办公自动化系统工作流引擎灵活定制权限控制
- 基于自动机模型的构件集成软件测试要素的提取被引量：1
- 2007年
- 分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用,以及提取该四要素的难度;针对构件化软件的自身特点提出了一种有限状态自动机模型,利用该模型实施对四要素的提取,并通过实例验证了该模型的有效性。
- 张毅坤刘伟
- 关键词：构件化软件有限状态自动机正则表达式
