- 抽象解释理论框架及其应用
- 1
- 《计算机工程与应用》贵州大学计算机科学与信息学院;贵阳学院物理与电子信息科学系;贵州科学院;贵州师范大学数学与计算机科学学院 杨波 张明义 谢刚 出版年:2010
- 关键词:语义 Galois连接 widening算子 Narrowing算子 抽象解释
- 变迹加权三角形IDT结构的SAW滤波器设计与实现
- 2
- 《西南大学学报(自然科学版)》贵州大学人民武装学院;贵州大学理学院;贵州省微纳电子与软件技术重点实验室;贵阳学院物理与电子信息科学系 王代强 陈雨青 徐稀嫔 刘桥 出版年:2011
- 关键词:变迹加权 IDT结构 插入损耗 带通滤波器
- 基于PSB的高频开关电源的仿真分析
- 3
- 《贵阳学院学报(自然科学版)》贵阳学院物理与电子信息科学系 彭晓珊 舒泽芳 出版年:2007
- 关键词:开关电源 PWM MATLAB 电力系统工具箱
- 不同标号天然橡胶的拉曼光谱鉴定
- 4
- 《贵阳学院学报(自然科学版)》贵州大学贵州省光电子技术与应用重点实验室;贵阳学院物理与电子信息科学系 韩志嵘 黄伟其 王海旭 张芙蓉 金锋 出版年:2008
- 关键词:天然橡胶 标准胶 拉曼光谱
- 基于FPGA的SWR土壤含水率测量仪研究与设计
- 5
- 《安徽农业科学》贵阳学院物理与电子信息科学系 孙健 出版年:2012
- 关键词:SWR FPGA 土壤含水率
- Ba_3Si_4的制备及电子结构的研究 ( EI收录)
- 6
- 《材料导报》贵州大学理学院新型光电子材料与技术研究所;贵阳学院物理与电子信息科学系 杨子义 郝正同 谢泉 出版年:2010
- 关键词:Ba3Si4薄膜 电子结构 磁控溅射 退火 择优取向
- 一种新的多极化SAR图像滤波方法
- 7
- 《贵阳学院学报(自然科学版)》贵阳学院物理与电子信息科学系;武汉大学电子信息学院 张涛 管鲍 孙洪 出版年:2006
- 关键词:多极化合成孔径雷达 合成孔径雷达图像滤波 滑动窗
- 半导体器件中载流子迁移率的研究
- 8
- 《电子世界》贵阳学院物理与电子信息科学系 张子砚 出版年:2012
- 关键词:载流子 迁移率 栅极电压 漏极电压
- 克劳修斯气体的热力学函数
- 9
- 《贵阳学院学报(自然科学版)》贵阳学院物理与电子信息科学系 姚明德 出版年:2008
- 关键词:克劳修斯气体 内能 熵 焓
- 微电脑频率计
- 10
- 《贵阳学院学报(自然科学版)》贵阳学院物理与电子信息科学系 孙健 出版年:2007
- 关键词:单片机 频率计 计数器