基于指称语义的UML序列图的形式化分析

统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...     

静电纺PA56纳米纤维膜的制备及力学性能研究

配制不同浓度的PA56(锦纶56)纺丝液,采用静电纺丝技术制备PA56纳米纤维膜。通过扫描电子显微镜观察膜表面的微观形貌,探究纺丝液浓度对纤维形貌和直径的影响。结果表明:当纺丝液浓度为2.0g PA56/10mL HCOOH,推进速度为0.5mL/h,纺丝温度为45℃时,纺丝效果最佳,此时纤维直径为0.155μm。采用电子万能试验机对制得的PA56纳米纤维膜的力学性能进行测试,在最佳条件下所制膜的弹性模量为142.43MPa,断裂伸长率为19.9%,拉伸断列应力为15.02MPa,拉伸强度为15.02MPa,具有较好的力学强度。     

独立学院数据库原理课程改革研究

数据库原理课程是理论与实践并重的课程,通过收集学生对数据库原理课程的教学反馈以及分析学生的学习效果,针对以往存在问题,从教学的各个方面探索改革方法,更好地激发学生的学习兴趣,提高教学质量,以达到适合独立学院的培养“应用型”人才的目标.     

基于小波包和支持向量机的ERT系统流型识别

两相流体具有复杂的流动特性,流型的准确识别是两相流参数准确测量的基础,是两相流研究的重点内容之一.本文首先采用小波包分析方法对ERT系统中的测量数据进行特征提取,然后将提取的特征数据输入支持向量机多类分类模型,对两相流的4种流型进行识别.仿真实验证明小波包分析和支持向量机的结合是两相流流型识别领域的一种有效方法.     

社交网络数据动态聚类调度算法实现

社交网络数据的庞大规模与复杂结构增加了目标数据获取难度,为此,提出一种社交网络数据动态聚类调度算法,根据节点密度值计算节点距离值,得到Z-score标准化后的密度-距离值,将标签分配给密度-距离较大值的对应节点,完成中心点识别,构建标签种子区域,按照降序密度-距离值更新标签,优先把标签分配至重要节点,实现社交网络数据的动态聚类,提取动态迁移负载特征量,获取数据通频带特征分布,利用输出的耦合特征量与迭代函数方程,达成数据均衡调度。采用准确率、标准互信息、模块度以及兰德指数指标,评价算法的处理效果,实验结果表明,所提算法具有显著的动态聚类优越性,提高了数据传输均衡性,具有有效性,满足实际应用需求。