您的位置: 专家智库 > >

苏昭

作品数:14 被引量:14H指数:2
供职机构:江西科技学院更多>>
发文基金:国家自然科学基金国际科技合作与交流专项项目更多>>
相关领域:自动化与计算机技术电子电信经济管理更多>>

文献类型

  • 7篇期刊文章
  • 5篇专利
  • 2篇学位论文

领域

  • 8篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信

主题

  • 3篇形式化
  • 3篇计算机
  • 3篇PAR方法
  • 2篇电脑
  • 2篇视差
  • 2篇图像
  • 1篇大学生
  • 1篇大学生就业
  • 1篇代数
  • 1篇灯光电路
  • 1篇电池
  • 1篇电池正极
  • 1篇电流
  • 1篇电脑CPU
  • 1篇电脑主板
  • 1篇电脑主机
  • 1篇电容
  • 1篇调速
  • 1篇调速器
  • 1篇端口

机构

  • 9篇江西科技学院
  • 3篇江西师范大学
  • 2篇上海交通大学

作者

  • 14篇苏昭
  • 2篇薛锦云
  • 2篇吴金舟
  • 2篇杨晨
  • 1篇王慈
  • 1篇王涛
  • 1篇黄箐
  • 1篇刘燕

传媒

  • 2篇计算机与现代...
  • 2篇江西科技学院...
  • 1篇电视技术
  • 1篇电脑知识与技...
  • 1篇科技广场

年份

  • 8篇2014
  • 2篇2013
  • 1篇2012
  • 3篇2010
14 条 记 录,以下是 1-10
排序方式:
电脑CPU超频风扇散热辅助装置电路
本实用新型提供一种电脑CPU超频风扇散热辅助装置电路。在电脑CPU超频工作时,利用散热风扇上的温度传感器检测CPU外围温度和CPU的核心温度对比,调节风扇转速,预警危险信号,具体表现在,在CPU散热风扇的风扇叶片上嵌入一...
苏昭
文献传递
电流型电机连续调速器
本实用新型公开了一种电流型电机连续调速器,它涉及一种调速器。工频变压器T1与第一二极管D1,第二二极管D2,第三二极管D3,第四二极管D4组成的整流桥相连,整流桥通过滤波电容C1接至第一三端稳压芯片U1、第二三端稳压芯片...
苏昭
文献传递
软件服务外包研究综述被引量:1
2013年
软件服务外包产业是一种知识密集型产业,在美国、印度等国已广泛、深入和积极地影响着其产业结构。本文首先介绍了软件服务外包发展背景及其特征;接着对软件服务外包进行了分类;然后对主要的软件服务外包发包国、承接国进行了概要论述;最后探讨了软件服务外包发展趋势以及产业背景下的应用型本科高校人才培养问题。
苏昭吴金舟
关键词:软件服务外包高校人才培养大学生就业
图像配准算法研究
图像配准是图像处理领域中的重要技术,用于实现两幅或者是更多图像之间的匹配。经过多年的研究和进步,对不同实际需求和输入数据图像类型,已存在大量的图像配准算法。在实际应用中,每种图像配准方法在某些方面都具有一定的优越性,但是...
苏昭
关键词:图像配准灰度插值视差梯度
文献传递
关系代数→关系演算转换系统的研制
在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自的方法寻求语言系统的语义。在研究软件形式化时,我们发现这样的问题:怎么探寻数据库程序...
苏昭
关键词:数据库程序关系代数
EDA仿真技术在计算机组成原理实践教学中的应用研究被引量:2
2012年
笔者结合个人的教学、科研工作实际,讨论了当前计算机组成原理实践教学的现状和所面临的问题,通过引入先进的EDA仿真技术,恰如其分地解决了当前计算机组成原理实践教学所面临的问题,对计算机组成原理实践教学模式的探索改革具有意义。该文基于EDA仿真技术进行了计算机组成部件的设计、逻辑功能验证和仿真实验,为提高计算机组成原理实践教学效果提供了新的参考。
苏昭吴金舟黄箐
关键词:译码器EDA仿真技术实践教学计算机组成原理
单SPI控制多CAN接口装置
本实用新型提供一种单SPI控制多CAN接口装置。使用SPI控制信号加RES和INT控制端口控制CAN协议处理芯片MCP2510和CAN总线收发器VP230实现一组SPI控制多组CAN接口。仅使用一组SPI总线控制多组CA...
苏昭
文献传递
形式化PAR方法及其算法程序规约精化机理被引量:1
2014年
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。
苏昭
形式化方法在高中算法教学中的应用研究被引量:3
2010年
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR(Partition And Recur)方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。
苏昭薛锦云杨晨
关键词:形式化方法PAR方法
一种具视差鲁棒性的图像拼接算法被引量:3
2014年
传统的图像拼接算法对视差较为敏感,要求不同帧的拍照位置必须相同。为了解决具视差的图像拼接问题,在对基于平滑变化的仿射拼接算法的分析研究上提出改进算法。通过设计合理规则筛选有效的特征点,再采用非局部平均滤波求解任意点仿射变换参数,最后设计特定的插值方法实现图像融合,从而提高传统拼接算法在时间和拼接效果上的不足。实验结果证明改进算法对具视差变化的图像拼接有较高鲁棒性,可高速实现较好质量的图像拼接。
苏昭王慈王涛
关键词:图像拼接视差
共2页<12>
聚类工具0