张健
- 作品数：28 被引量：81H指数：5
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生理学更多>>
- 基于Linux的MSVL编译器和集成开发环境的研究与实现
- 随着计算机系统的广泛应用，软件系统的正确性和可靠性对人类的安全生产和生活至关重要。随着软件系统规模的增长以及复杂性的增加，传统的软件测试方法已经不能满足保障软件可靠性的需求。经过几十年的发展，形式化验证已成为软件可靠性保...
- 张健
- 关键词：软件测试平台形式化验证集成开发环境LINUX平台
- 文献传递
- 基于分子动力学和机器学习提高抗体亲和力的方法和系统
- 本发明公开了一种基于分子动力学和机器学习提高抗体亲和力的方法和系统，属于计算机软件技术领域。本发明方法通过利用分子动力学精准定位抗体的结合位点，从而筛选出最佳氨基酸突变位点，并在最佳氨基酸突变位点构建氨基酸饱和突变的变体...
- 陈雪利徐欣怡任胜寒张浩田张健刘思婷
- 碳化硅离子注入及欧姆接触研究
- 本文对SiC 离子注入和欧姆接触进行了深入的研究。本文从金属半导体接触的实验过程入手，阐述了本文所建立的SiC 欧姆接触模型所涉及到的半导体器件物理理论，包括金属半导体肖特基接触理论、Nn 异质结理论和nn +理论。根据...
- 张健
- 关键词：离子注入欧姆接触传输线模型碳化硅半导体器件
- 文献传递
- 基于Vega Prime的红外场景生成技术在成像制导仿真系统中的应用被引量：24
- 2005年
- 描述了利用Vega Prime生成红外场景的方法,针对该方法在成像制导仿真系统应用中出现的问题进行了讨论。介绍了地形场景模型的建立方法;分析了制导仿真图像生成、仿真数据流程等方面存在的问题,并提出了解决方法。最后,就该技术在红外成像制导系统仿真中的应用进行了讨论,并给出了仿真结果。
- 张健张建奇邵晓鹏
- 关键词：VEGAPRIME地形建模
- 时变水声网络中基于强化学习的资源分配研究
- 电磁波在海水中传播时衰减严重,且在海洋环境下建设网络基站非常困难,因此水声通信网络成为水下无线通信的重要手段。在水声通信网络中,节点随时间移动,且使用声波通信设备构建自组织通信网络,以提供相关的服务功能,而资源分配方案(...
- 张健
- 关键词：资源分配
- 基于DICOM标准的大型医学影像分布式存储系统研究被引量：23
- 2004年
- 提出了一种符合DICOM标准的大型医学影像分布式存储系统的体系结构。采用多级分布式存储体系,引入JPEG2000压缩技术,结合大型数据库,实现智能、稳定和高效的存储管理。切实解决了医院影像中心PACS目前和未来对大容量/超大容量医学影像数据存储的需求。
- 张健池峰高新波姬红兵
- 关键词：DICOM分布式存储JPEG2000数据库
- 基于通信信号的单脉冲测角算法实现
- 在通信系统中,定向天线的通信定位距离更远。基于通信信号的单脉冲测角可以很好的确定移动通信设备之间的相对位置,它利用多个天线同时接收回波信号,通过比较回波信号的幅度或相位来获得目标的角度信息。 本论文首先分析了基于通信信...
- 张健
- 关键词：通信信号单脉冲测角平面相控阵天线现场可编程门阵列
- 文献传递
- 基于三维整数小波变换的图像压缩算法TDPIWT被引量：4
- 2004年
- 介绍了整数小波变换的应用背景、特点及提升方法。着重分析了三维整数小波变换的分解过程 ,对其纵深方向的分解方法作了改进 ,讨论了选取最优整数小波变换的方法。并提出了一种基于三维整数小波变换的图像压缩新算法TDPIWT ,该算法适用于压缩医学序列图像。
- 李隐峰张健
- 关键词：整数小波变换提升方法
- 基于张量子空间的图像特征提取方法研究
- 作为模式识别中的关键技术，特征提取的好坏直接影响后续的分类效果。特征提取的主要任务就是从众多数据特征中提取出最有效的特征，从而达到可视化或降维的目的。针对传统的一维特征提取方法的高计算量和破坏图像内在结构的缺陷，本文研究...
- 张健
- 关键词：特征提取维数约简算法复杂度
- 文献传递
- S银行风险管理内部审计问题研究
- 随着我国经济发展进入新常态，由高速增长转入中高速增长，新常态时期下的商业银行也面临着巨大的挑战，经济的不景气也导致银行业务发展前景惨淡，各种问题暴露出来，大大增加经营风险。因此，有效的内部审计成为了商业银行防范风险最重要...
- 张健
- 关键词：商业银行风险管理内部审计
- 文献传递
