王宏生 作品数:38 被引量:26 H指数:3 供职机构: 沈阳工业大学信息科学与工程学院 更多>> 相关领域: 自动化与计算机技术 理学 机械工程 更多>>
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点的选择。 姜传宏 王宏生