搜索结果: 1-15 共查到“知识库 程序设计”相关记录139条 . 查询时间(0.547 秒)
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2023/3/16
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
基于VB的管道线路测量数据处理程序设计
线路测量 数据处理 程序设计
2016/12/24
纵断面和带状地形图测绘是进行管道线路测量的主要内容，坐标加常数计算、测点顺序倒置、转角桩重新编号、中线数据计算是管道线路测量数据处理的必要环节，根据线路测量的特点编制了相应的程序对测量数据进行批量处理，验证了程序的正确性和可靠性，证明该程序可应用于实际生产作业，提高了测量内业绘图的工作效率，具有一定的推广应用价值。
关于测绘工程专业“测量程序设计”课程改革的思考
侧绘工程 侧量程序设计 教学改革
2016/12/6
侧量程序设计是侧绘工程专业的一门必修课程，其目的是让学生熟练地掌握一门编程语言并且能够进行侧量程序设计文中针对该课程课堂教学和实验中存在的问题，提出了部分教学改革建议，分析了教学改革建议的优点，希望通过教学改革，提高学生的学习兴趣，使教学效果有明显的改变。
三维疲劳多裂纹扩展数值模拟的计算方法及程序设计
紧固件孔 三维多裂纹 疲劳裂纹扩展 数值模拟
2014/4/9
研究了含多条初始裂纹的紧固孔件的裂纹扩展模拟及裂纹扩展寿命。紧固孔形式为直通孔和沉头（有锪窝）孔，裂纹形式为孔边角裂纹，将裂纹前缘形状简化为二次曲线形式。采用更新网格法追踪裂纹扩展，并人为干预裂纹前缘形状，解决了裂纹前缘端点跨越模型角点时的网格畸变问题；在裂纹扩展法则中使用了AFGROW裂纹闭合模型，并引入多裂纹协调扩展算法，避免了逐一应力循环计算，缩短了计算时间；试件失效判据使用净截面屈服和裂纹...
星图配准是星图处理应用中的一个重要步骤,因此星图配准的速度直接影响了星图处理的整体速度.近几年来,图形处理器(GPU)在通用计算领域得到快速的发展.结合GPU在通用计算领域的优势与星图配准面临的处理速度的问题,研究了基于GPU加速处理星图配准的算法.在已有配准算法的基础上,根据算法特点提出了相应的GPU并行设计模型,利用CUDA编程语言进行仿真实验.实验结果表明:相较于传统基于CPU的配准算法,基...
陆浑水库洪水预报程序设计
入库流量预报 单位线 程序设计方法 陆浑水库
2013/11/26
陆浑水库汇流预报采用单元面积汇流单位线，即将全流域划分为若干块单元面积，降雨以后，各单元面积的出口断面处都将产生相应的径流过程。然后分别从每块单元面积的出口断面处开始，进行河道汇流计算，一直演进至流域出口断面处，求得各单元在流域出口处的流量过程线，最后进行线性叠加得出流域出流过程线。简要论述了用Visual Basic 2010实现陆浑水库洪水预报的方法和编程技巧，使用该程序可快速、方便、灵活地进...
支持社会技术系统构造的程序设计模型和语言
社会技术系统 多Agent组织 基于组织的程序设计
2016/6/6
互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点，如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织，把社会组织学的概念和思想引入到面向Agent程序设计范畴，提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发；通过对多Agent组织不同层次动态性的识别和分析，设计了一组程序设计机制...
支持社会技术系统构造的程序设计模型和语言
社会技术系统 多Agent组织 基于组织的程序设计
2016/7/14
互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点，如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织，把社会组织学的概念和思想引入到面向Agent程序设计范畴，提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发；通过对多Agent组织不同层次动态性的识别和分析，设计了一组程序设计机制...
大型储罐基础沥青砂施工程序设计
大型储罐 沥青砂垫层 施工程序 设计
2017/1/17
大型储罐防渗漏设计。防渗漏的第一层就是沥青砂垫层。通过对大庆油田南三油库10万立方米及以上储罐基础的设计，总结出一定的经验和数据，经过实践检验，取得了良好的经济和使用效果。
陆浑水库洪水预报程序设计
入库流量预报 单位线 程序设计方法 陆浑水库
2013/10/24
陆浑水库汇流预报采用单元面积汇流单位线，即将全流域划分为若干块单元面积，降雨以后，各单元面积的出口断面处都将产生相应的径流过程。然后分别从每块单元面积的出口断面处开始，进行河道汇流计算，一直演进至流域出口断面处，求得各单元在流域出口处的流量过程线，最后进行线性叠加得出流域出流过程线。简要论述了用Visual Basic 2010实现陆浑水库洪水预报的方法和编程技巧，使用该程序可快速、方便、灵活地进...
图书馆电子资源可否浏览及下载监测程序设计
电子资源 电子资源可获取性 监测程序
2013/12/31
针对复杂网络环境下图书馆电子资源突发不能浏览或下载的问题，采用操作网页文档对象等方式设计并实现模拟真人操作的电子资源自动检测、反馈程序，用以监测服务器各电子资源可否正常提供服务以及终端用户可否浏览并下载各电子资源，以便管理员及时维护，保障、提高电子资源利用率。
光性矿物检索鉴定程序设计原理与应用
矿物鉴定 属性分析 数据库 程序设计 Visual Basic
2014/5/27
计算机技术常应用到镜下鉴定光性矿物工作中,本文以Visual Basic为工具开发出用于镜下鉴定矿物的辅助分析程序,介绍了光性矿物鉴定程序的设计原理和使用方法,包括矿物属性分析及赋值、鉴定误差减小方法及其应用。在光性矿物镜下鉴定时输入所观察矿物全部或部分光学性质,通过程序计算与比较,显示出最可能的查询矿物。矿物检索以贵橄榄石为例,在输入正确光性矿物属性的前提下,可准确地得出鉴定结果,有效地提高了镜...
面向对象程序设计课程的感性化教学应用
面向对象 程序设计 感性化教学 课程改革
2012/9/11
面向对象程序设计类教学中存在课程内容零散、难度大、考核内容与教学重点不尽吻合，学生兴趣不浓、动手能力较差等诸多问题，有必要对其进行改革。本文从着重培养学生的动手能力和再学习能力等方面介绍如何用感性化教学进行面向对象程序设计课程教学的改革。
单片机数字滤波程序设计与实现
单片机 数字滤波 算法设计 随机干扰
2013/1/5
以单片机为核心的工业控制、 数据处理装置等应用系统在数据的采集和传输过程中往往会混杂各种随机干扰信号， 采用数字滤波技术可消弱或滤除这些随机干扰信号。根据不同的采样输入信号， 给出了相应的数字滤波方法， 并完成了数字滤波程序的设计。通过单片机试验， 这些数字滤波程序能有效实现数字滤波， 效果十分明显。