检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

泛型程序的形式验证问题的研究

泛型程序的形式验证问题的研究

作者：王千文宁夏大学

学位级别：硕士

现在,计算机软件系统逐渐变得越来越复杂,本身的开发难度更是在不断增加。传统的开发方法主要依靠手工方式,效率低下、质量欠佳、正确性难以保证。泛型程序设计(Generic Programming, GP)已经变成程序设计中的另一个主要技术。目的是将... 详细信息

现在,计算机软件系统逐渐变得越来越复杂,本身的开发难度更是在不断增加。传统的开发方法主要依靠手工方式,效率低下、质量欠佳、正确性难以保证。泛型程序设计(Generic Programming, GP)已经变成程序设计中的另一个主要技术。目的是将一类软件表示为互操作性更强、适用的范围更广的泛型表示形式,具体的软件可通过对泛型程序的参数实例化而获得,且不降低运行效率。首先,本课题介绍了泛型程序设计以及STL的研究现状及发展,还介绍了STL的基本组件,讨论了泛型程序设计的作用以及在程序设计过程中还存在的不足之处,简单介绍了泛型程序设计与C++STL、C++模板的关系,详细介绍了形式化方法的研究内容及使用形式化方法进行程序正确性验证的重要性。其次,根据形式语义学理论和相关推理规则,选择了STL中两类算法的具体实例,即改变序列内容中的互换元素算法、一般数值计算中的函数数值计算算法,进行程序正确性的验证和证明。通过公理语义的方法,进行详细的推理验证,本文给出了具体的验证推理过程,并且得出程序正确性的验证结果。使程序的演算理论更加一般化,从而有可能在新的形式化方法方面取得一些实质性的进展。再次,本课题中还研究并总结出了泛型程序设计中的四种技术：模板偏特化、常整数映射为型别、型别对型别的映射以及一种组件泛化仿函数。其中,模板偏特化可以特化template,并非针对特定的、固定集合的参数、而是针对“吻合某个式样的一群参数”;常整数映射为型别允许在编译期以数值(特别是boolean)作为分派的取决因素;型别对型别的映射是利用函数重载来取代C++缺乏的一个特性：函数模板偏特化;编译期间侦测可转换性和继承性是判断任意两型别是否可以互相转换,或者是否为相同型别,或是否有继承关系。并且对这四种技术的程序代码作了分析和研究,实现了从一个接口向另一个接口的转换,并且转换结果是可靠的,使程序在可复用性方面有所提高。

关键词： STL 泛型程序设计形式化

新课标下海南民族地区物理实验教学现状调查分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

教学与管理 2009年第3期 56-58页

作者：冯浩王千文邢忠海南琼州学院海南乐东县教育局

一、调查的目的新课程改革在我省实施近6年,已经取得了不少可喜的成绩,但也存在一些不容乐观的方面:琼南少数民族地区的课程改革进展缓慢,原因是多方面的,其中实验教学的现状非常令人担忧,已经严重地制约和影响了新课程改革的进一步实... 详细信息

一、调查的目的新课程改革在我省实施近6年,已经取得了不少可喜的成绩,但也存在一些不容乐观的方面:琼南少数民族地区的课程改革进展缓慢,原因是多方面的,其中实验教学的现状非常令人担忧,已经严重地制约和影响了新课程改革的进一步实施和发展。为此,针对海南少数民族地区物理实验教学的有关问题,我们进行了一次较为全面深入的调查研究。

关键词：实验教学学校实验员实验室建设学堂物理教师课程标准农村中学学生实验新课程培训物理实验室中学物理

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

上睑凹陷矫正方法的研究进展

中华整形外科杂志 2021年第3期37卷 336-342页

作者：王湘月王千文王佳琦中国医学科学院北京协和医学院整形外科医院面颈部整形美容一中心 100144

上睑凹陷是一种较为常见的眼部缺陷,严重影响眼部美观,成为近年来眶周年轻化的一个重要课题。该文对上睑凹陷的发生机制、分类及凹陷程度评估方法作了介绍,对上睑凹陷的矫正方法及其适应证、优缺点和术后效果进行了全面的总结对比,以期... 详细信息

上睑凹陷是一种较为常见的眼部缺陷,严重影响眼部美观,成为近年来眶周年轻化的一个重要课题。该文对上睑凹陷的发生机制、分类及凹陷程度评估方法作了介绍,对上睑凹陷的矫正方法及其适应证、优缺点和术后效果进行了全面的总结对比,以期根据患者上睑凹陷的原因及程度寻找合适的矫正方式。

关键词：眼睑修复外科手术脂肪组织上睑凹陷

强干扰环境下无速率随机码编译码方案及其性能分析

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2024年第10期46卷 4017-4023页

作者：王义文王千帆马啸中山大学计算机学院广州510006 中山大学广东省信息安全重点实验室广州510006

面向强干扰通信环境,区别于传统的无速率Luby变换(LT)码,该文提出一种基于伯努利随机构造的无速率编码方案,并在接收端采用高效的局部约束顺序统计量译码(LC-OSD)算法进行译码,从而有效对抗强干扰噪声,实现自适应超高可靠传输。为降低... 详细信息

面向强干扰通信环境,区别于传统的无速率Luby变换(LT)码,该文提出一种基于伯努利随机构造的无速率编码方案,并在接收端采用高效的局部约束顺序统计量译码(LC-OSD)算法进行译码,从而有效对抗强干扰噪声,实现自适应超高可靠传输。为降低收发端通信资源消耗,提出了3个有效译码准则:(1)基于随机码并集(RCU)界提出的启动准则,当接收符号数大于由RCU得到的阈值时才启动译码;(2)基于软重量提出的早停准则,在译码过程中软重量超过一个预设的阈值则提前终止译码;(3)基于码字与硬判决序列比较提出的跳过准则,当新接收序列的硬判决满足重编码校验时跳过当前译码。仿真结果显示,在块删除与加性噪声混合信道下,无速率随机码的性能显著优于LT码,且因无速率码具备自适应信道质量的能力,其性能同样显著优于固定速率码。仿真结果还显示了提出的启动、早停和跳过准则能够有效降低收发端的传输资源消耗和计算复杂度。

关键词：顺序统计量译码随机码无速率码强干扰信道

热循环条件下圆柱结构热障涂层系统应力场有限元分析

在线全文

学校读者我要写书评

暂无评论

材料导报 2010年第S2期24卷 259-264页

作者：王千文蒋俊平毛卫国海南省琼州学院电子信息工程学院湘潭大学材料与光电物理学院材料科学与工程系湘潭大学低维材料及其应用技术教育部重点实验室

采用有限元模拟方法,在热循环条件下模拟计算了圆柱结构热障涂层系统应力场的演变情况,分析和讨论了热循环工作温度、陶瓷层厚度对应力场分布的影响。研究发现,在仅考虑热弹性变形的条件下,热循环工作温度和陶瓷层厚度主要影响涂层系统... 详细信息

采用有限元模拟方法,在热循环条件下模拟计算了圆柱结构热障涂层系统应力场的演变情况,分析和讨论了热循环工作温度、陶瓷层厚度对应力场分布的影响。研究发现,在仅考虑热弹性变形的条件下,热循环工作温度和陶瓷层厚度主要影响涂层系统在保温阶段的应力场大小;在每次热循环冷却之后,系统中同一位置的残余应力值相等。对于圆柱体结构的热障涂层系统,由于材料参数不匹配而导致材料的环向应力远大于径向应力数值,因此在后续分析测试中建议重点关注其环向应力的演变。

关键词：热障涂层有限元热循环应力场

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

等离子喷涂热障涂层隔热性能分析方法

材料导报 2011年第18期25卷 125-128,138页

作者：王千文毛卫国喻明湘潭大学低维材料及其应用技术教育部重点实验室湘潭411300 琼州学院电子信息工程学院五指山572200 湘潭大学材料与光电物理学院材料科学与工程系湘潭411300

热障涂层材料已成为现代高性能航空发动机的关键材料,而隔热性能一直是评价热障涂层性能的一个重要指标。首先基于傅里叶导热定律,推导出一维稳态温度场的解析表达式,并讨论了陶瓷层厚度、陶瓷层上表面工作温度和金属基底下表面工作温... 详细信息

热障涂层材料已成为现代高性能航空发动机的关键材料,而隔热性能一直是评价热障涂层性能的一个重要指标。首先基于傅里叶导热定律,推导出一维稳态温度场的解析表达式,并讨论了陶瓷层厚度、陶瓷层上表面工作温度和金属基底下表面工作温度对热障涂层系统隔热性能的影响。设计了一种比较新颖的实验测试方法,成功实现了对热障涂层系统内部不同位置的温度进行实时测试和保存实验数据。结果表明,各个温度采集点的实验测试结果与理论预测结果吻合很好,说明提出的实验测试方法可以有效评估不同类型的热障涂层材料体系的隔热性能。

关键词：热障涂层隔热性能实验测试

在线全文

学校读者我要写书评

暂无评论

互联网时代大学生创业融资现状和模式选择

商业文化 2021年第26期 26-27页

作者：王千文天津机电职业技术学院

新的经济发展形势下,国家鼓励"大众创业、万众创新",而在这一背景下,最为活跃的人群是当代的大学生,大学生创业面对的最大问题之一是资金筹集问题。根据相关数据统计2017到2018年间大学生自主创业比例占比是5%,但是创业成功率是3%,其中... 详细信息

新的经济发展形势下,国家鼓励"大众创业、万众创新",而在这一背景下,最为活跃的人群是当代的大学生,大学生创业面对的最大问题之一是资金筹集问题。根据相关数据统计2017到2018年间大学生自主创业比例占比是5%,但是创业成功率是3%,其中影响创业的最大问题就是创业资金来源问题。传统的金融融资方式下,融资渠道狭窄、融资数量不够、筹资风险大等问题突出,无论是银行贷款,自筹资金、民间借贷。

关键词：资金来源问题银行贷款资金筹集金融融资大众创业民间借贷融资渠道自筹资金

基于CDIO模式的《网页设计与制作》课程教学改革探究

在线全文

学校读者我要写书评

暂无评论

电脑知识与技术 2019年第12Z期15卷 118-120页

作者：王千文宁夏警官职业学院

在《网页设计与制作》课程中,针对当前教学过程中以教师讲授为主导、知识点碎片化、关联度低等一系列问题,首先引入CDIO工程教育模式,其次将该课程教学中存在的问题进行分析,探索出了可行的课程教学改革策略,以提高该课程的教学质量和... 详细信息

在《网页设计与制作》课程中,针对当前教学过程中以教师讲授为主导、知识点碎片化、关联度低等一系列问题,首先引入CDIO工程教育模式,其次将该课程教学中存在的问题进行分析,探索出了可行的课程教学改革策略,以提高该课程的教学质量和学生网页制作的综合能力。

关键词： CDIO模式课程现状改革策略