您的位置: 专家智库 > >

王宏生

作品数:38 被引量:26H指数:3
供职机构:沈阳工业大学信息科学与工程学院更多>>
相关领域:自动化与计算机技术理学机械工程更多>>

文献类型

  • 22篇期刊文章
  • 13篇会议论文
  • 3篇专利

领域

  • 32篇自动化与计算...
  • 2篇理学
  • 1篇机械工程

主题

  • 7篇网络
  • 7篇本体
  • 5篇神经网
  • 5篇神经网络
  • 4篇语义网
  • 4篇索引
  • 4篇自然语言
  • 4篇Z规格说明
  • 3篇映射
  • 3篇软件自动化
  • 3篇图像
  • 3篇自动化
  • 3篇自动转换
  • 3篇文本
  • 3篇计算机
  • 2篇挡板
  • 2篇电脑
  • 2篇引擎
  • 2篇隐马尔科夫模...
  • 2篇语言处理

机构

  • 38篇沈阳工业大学
  • 5篇沈阳广播电视...
  • 2篇中国科学院
  • 1篇沈阳地质矿产...
  • 1篇辽宁省人事厅

作者

  • 38篇王宏生
  • 3篇李家峰
  • 3篇孙美玲
  • 2篇苏北
  • 2篇赵文
  • 2篇王晓龙
  • 2篇文欣
  • 2篇李巍巍
  • 2篇周勇
  • 1篇张敏
  • 1篇于云赫
  • 1篇于晓巍
  • 1篇李求银
  • 1篇王芳芳
  • 1篇白殿生
  • 1篇刘英才
  • 1篇朱天翔
  • 1篇李景春
  • 1篇石安
  • 1篇杨放

传媒

  • 5篇沈阳工业大学...
  • 5篇长江信息通信
  • 4篇微计算机信息
  • 3篇信息与电脑
  • 2篇2007年北...
  • 1篇电子测量技术
  • 1篇地质与资源
  • 1篇辽宁大学学报...
  • 1篇信息通信
  • 1篇科技信息
  • 1篇全国企业应用...
  • 1篇中国科学院计...
  • 1篇中国人工智能...
  • 1篇2007北京...
  • 1篇中国科协20...

年份

  • 3篇2023
  • 1篇2022
  • 2篇2021
  • 2篇2020
  • 4篇2019
  • 1篇2018
  • 2篇2011
  • 2篇2010
  • 4篇2009
  • 3篇2008
  • 4篇2007
  • 4篇2005
  • 1篇2004
  • 1篇2003
  • 1篇2001
  • 1篇2000
  • 1篇1992
  • 1篇1991
38 条 记 录,以下是 1-10
排序方式:
Z规格说明中集合论算子向C++转换的实现
采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法.Z是目前最为流行的一种形式规格说明语言.但由于Z缺少自己的编译环境,在工业界尚未达到广泛应用的程度.针对...
王宏生文欣苏北
关键词:Z规格说明自动转换自然语言描述
文献传递
融合多尺度卷积和注意力机制的场景提取方法被引量:1
2023年
复杂背景下,不同尺度建筑物的特征差异较大,现有算法对多尺度建筑物分割存在分割不均以及误判等问题。为了解决上述问题,本文设计了一种适应多尺度变化的新型网络结构。首先,针对遥感图像场景提分割精度低的问题,引入坐标注意力机制,嵌入到基础网络中增强上下文信息捕获能力,消除噪声的同时增强网络对于空间特征的提取能力。引入了新型递归残差卷积模块,加深网络层次的同时减少信息丢失,提高特征提取效率。最后,在跳跃连接中引入了空洞空间卷积池化金字塔增大网络感受野,增强有效特征,抑制无用特征。设计系统验证模型的实用性。实验结果表明,本文方法在精确率、召回率、F1-score和IoU指标中比U-Net网络分别提高了3.05%、1.56%、1.3%、3.08%。
闫祎巧王宏生赵怀慈刘鹏飞
关键词:建筑物提取遥感图像
锥束扫描多面透视图像三维数据场重建
本文根据有关的数学和放射学推导,证明锥束扫描形成的连续的多面透视图像的三维数据场重建是可行的,并且给出了在离散化形式下的三维数据场重建方法.
李现民王宏生贝嘉祥李桂清李华
关键词:锥束扫描图像重建
文献传递
Z规格说明中集合论算子向C++转换的实现
采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法。Z是目前最为流行的一种形式规格说明语言。但由于Z缺少自己的编译环境,在工业界尚未达到广泛应用的程度.针对...
王宏生文欣苏北
关键词:Z规格说明自动转换
文献传递
隐马尔科夫模型在构建语言模型中的应用
目前在万维网中,网页仅仅是一个单调的内容显示,电脑只负责将一个网页链接到另一个网页,网络不能按照用户的要求自动搜寻和检索网页,直至找到所需要的内容。而语义网则是希望计算机能'看懂'网页的内容,使计算机成为'智能'的导航工...
王宏生孙美玲李家峰
关键词:语义网隐马尔科夫模型自然语言处理语言模型
文献传递
一种车载式平板电脑支架
本实用新型公开了一种车载式平板电脑支架,包括第一挡板、收紧器、安装块和第二支座,所述第一挡板与插块通过螺栓相固定,且支架内部开设有插槽,同时插块与插槽的尺寸相适配,保护垫粘贴在支架的表面,且支架两侧焊接有第一铰接块,同时...
丁旭甫王宏生
文献传递
VAX/VMS操作系统下磁盘文件恢复
1991年
本文叙述了在VAX/VMS操作系统支持下磁盘文件的存贮结构,内部标识及查询方法,讨论了如何对误删的磁盘文件进行恢复以及实用软件DFR的设计方法。
朱天翔李力王宏生
关键词:操作系统磁盘
大型软件全程自动化开发的研究
随着社会对软件需求的不断增加,软件系统的结构越来越复杂,规模越来越庞大,复杂程度越来越高,大型软件出现错误的可能性剧增,开发成本难以控制,大型软件全程自动化开发是解决这些问题的根本途径,是软件开发技术的未来发展趋势。目前...
王宏生许占文王溪波王晓龙李巍巍
关键词:软件自动化
文献传递
Z规格说明函数映射的C++STL实现
2008年
为软件工程概要设计阶段提供新方法,将软件工程语言应用于软件开发实践,进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例,研究了它们的存储形式及其主要操作,并在C++STL中进行预处理,给出了抽象静态的Z规格说明中函数映射在C++STL环境下自动转换为高级语言程序代码的方法.实现了Z规格说明中全入射、部分入射、全满射、部分满射到高级语言的自动转换,为软件生产的自动化打下了良好的基础.
王宏生于云赫古丽
关键词:Z规格说明函数映射自动转换软件自动化形式语言
基于多重插补的AP点补偿与选择方法研究
2020年
在室内定位方法中,针对离线指纹建立阶段可搜索到的信号接入点(Access Point,AP)增加,并且存在某个AP点的信号接收强度值(Received Signal Strength,RSS)为空的问题,本文提出了一种基于多重插补的信号补偿方法。首先,在每个参考点采集所有能搜索到的AP点RSS值,选择稳定的AP点,使用多重插补法进行填充,再计算每个AP点的位置判别能力,完成AP点的选择。
姜传宏王宏生
共4页<1234>
聚类工具0