排序方式: 共有23条查询结果,搜索用时 0 毫秒
1.
重用设计在改善软件开发过程中的作用越来越受到人们的重视.面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面.但在设计模式的具体应用中存在实现、文档和组合的问题.给出了一种基于角色的设计模式形式建模方法,将类、类属性、类之间的关系等都看作角色,并用形式建模语言Object-Z形式表示这些角色,可有效地解决设计模式实例化时存在的问题.基于角色的设计模式形式模型在演化时也基于角色进行演化,将模式的演化分为角色层演化和模式层演化,模式层演化是由多个角色层演化组成的.演化后的模型可以通过定理证明器验证与前模型是否保持一致. 相似文献
2.
目的 在施工现场,安全帽是最为常见和实用的个人防护用具,能够有效防止和减轻意外带来的头部伤害。但在施工现场的安全帽佩戴检测任务中,经常出现难以检测到小目标,或因为复杂多变的环境因素导致检测准确率降低等情况。针对这些问题,提出一种融合环境特征与改进YOLOv4(you only look once version 4)的安全帽佩戴检测方法。方法 为补充卷积池化等过程中丢失的特征,在保证YOLOv4得到的3种不同大小的输出特征图与原图经过特征提取得到的特征图感受野一致的情况下,将两者相加,融合高低层特征,捕捉更多细节信息;对融合后的特征图采用3×3卷积操作,以减小特征图融合后的混叠效应,保证特征稳定性;为适应施工现场的各种环境,利用多种数据增强方式进行环境模拟,并采用对抗训练方法增强模型的泛化能力和鲁棒性。结果 提出的改进YOLOv4方法在开源安全帽佩戴检测数据集(safety helmet wearing dataset,SHWD)上进行测试,平均精度均值(mean average precision,mAP)达到91.55%,较当前流行的几种目标检测算法性能有所提升,其中相比于YOLOv4,mAP提高了5.2%。此外,改进YOLOv4方法在融合环境特征进行数据增强后,mAP提高了4.27%,在各种真实环境条件下进行测试时都有较稳定的表现。结论 提出的融合环境特征与改进YOLOv4的安全帽佩戴检测方法,以改进模型和数据增强的方式提升模型准确率、泛化能力和鲁棒性,为安全帽佩戴检测提供了有效保障。 相似文献
3.
自杀是当今社会严重的公共卫生问题,对自杀预防工作进行深入研究有着极大的社会意义.该文对基于微博文本的自杀风险评估方法进行了研究.针对微博文本的特点,为解决当前神经网络单一结构在预测精度提升上的瓶颈问题,本文提出了一种混合架构的神经网络模型nC-BiLSTM,并将其应用于微博文本自杀风险识别.该模型利用多路不同卷积核的卷积层提取局部特征信息,同时使用双向长短期记忆网络层提取句子的上下文语义特征信息,实验表明nC-BiLSTM模型的识别精准率、召回率、F值均优于其它模型.该研究成果可应用到自杀预防的早期干预中. 相似文献
4.
模型转换在MDA软件开发方法中扮演着非常重要的角色,尤其是从CIM到PIM的转换。本文给出了一种从CIM转换到PIM的方法。在CIM中,我们通过特征模型来组织需求,同时用软件体系结构来组织PIM中的各个要素。这个转换中的核心内容是模式的应用。在CIM的需求模型中,本文将特征分层,从而将需求分为不同的层次。同时模式也被分为不同的层级,其中包括体系结构模式和设计模式。针对不同层级的特征模型,应用不同层级的模式进行变换,从而得到分层的体系结构。当需求发生变化时,首先确定这种特征的变化是在哪个层级上的,然后在不同的体系结构层级上变换相应的功能,从而实现PIM的相应变化。本文最后以自行开发的Object-Z的支持工具为例来说明所给出的方法。 相似文献
5.
针对高校专业课程教学中的创新创业能力培养问题,分析目前高校创新创业教育的现状及存在的主要问题,阐述在国家大众创业、万众创新和高校创新创业教育的大背景下,专业课程教学在创新创业能力培养中的重要作用,并以Android应用开发课程中的创新创业能力培养实践为例,详细阐述课程教学在创新创业教育方面的改革与实践经验,阐明专业课程中融入创新创业教育的必要性和有效性,以及尚待解决的一些关键问题。 相似文献
6.
为进一步提升由单图像进行三维重建的精度,通过对Pix2Vox网络进行改进,提出一种基于深度学习的方法实现单图像三维重建的神经网络.首先,在Pix2Vox网络结构中增加多尺度连接和通道注意力机制,以保留多尺度信息,强化重点特征学习;其次,提出一个阈值计算模块,实现了适应不同类别的阈值设定方法,优化阈值取值;最后,提出一种... 相似文献
7.
以烷基酚和浓硫酸为原料合成磺化烷基酚,考察了原料配比、反应温度和反应时间对磺化产率的影响;采用红外光谱对产物进行了结构表征;通过旋转挂片失重法测定磺化烷基酚缓蚀剂对A3钢的缓蚀率;并借助数码相机、显微镜及EDS对缓蚀剂成膜物质进行评价。研究结果表明:合成磺化烷基酚的最佳工艺条件为烷基酚与浓硫酸摩尔比1:1.25,反应温度60 ℃,反应时间2 h,此条件下的磺化产率可达90.46%;在缓蚀剂质量浓度1 000 mg/L、腐蚀介质温度280 ℃、腐蚀介质停留时间6 h、搅拌桨转速300 r/min的条件下,磺化烷基酚缓蚀剂对A3钢的缓蚀率为93.27%;磺化烷基酚缓蚀剂能在A3钢表面形成完整致密的保护膜,在以环烷酸为主的腐蚀环境中具有良好的防护作用。 相似文献
8.
以废内燃机油为原料,二乙烯三胺为脱酸剂,考察了反应时间、反应温度、搅拌速度及二乙烯三胺的用量对脱酸效果的影响。实验结果表明:随着反应时间延长和反应温度的升高,脱酸率先增大后减小;随着搅拌速度和剂油比的加强,脱酸率一直增大。结合正交实验得出的最佳工艺条件为反应时间3h、反应温度160℃、转速300r/min、剂油比(g:g)1:300,此时1#废机油的酸值可以从0.5195 mgKOH/g降到0.0293 mgKOH/g,脱酸率达94.36%。对不同的废内燃机油进行脱酸——白土精制,再生油的各项理化指标均得到很好的改善,基本接近HVI型润滑油基础油的质量标准。 相似文献
9.
在计算机技术、网络技术高速发展的今天,随着电脑硬件的发展,多媒体应用已经进入千家万户,所以流媒体服务器的架构也成为当今IT研究者研究的热点.其中流媒体服务器的媒体订阅部分包含有大量的状态,如果按以前的IF-Else结构加Case结构编程的话,使得程序臃肿而庞大,整个工程难以维护.利用有限状态机来建模媒体订阅部分的状态,并用形式化验证工具UPPAAL验证模型的正确性,最后使用状态模式编码实现了媒体订阅的状态转换.这样不仅在设计层保证了系统的正确性,而且在实现层保证了易扩展性和可维护性. 相似文献
10.