基于代数的软件过程建模系统的设计与实现

软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求.     

基于邻域的大规模图数据动态分割算法

随着图数据的规模日益增大,出现大量以动态图数据为基础的分布式处理需求,划分问题在动态图数据分布式处理领域尤为重要. 对大规模动态图数据上的划分问题进行研究,根据图结构性质及动态图特点,提出并实现基于邻域的动态图分割算法. 算法分为静态切分和动态调整两个阶段,其中基于割边算法整合现有最优化策略提出了大规模图数据的静态切割算法. 在优化后的静态切割算法的基础上,根据图数据的动态扩张的特性提出动态分割算法. 根据迁移顶点所达到的最小负载值进行顶点迁移,并在此基础上进行性能及割边控制优化操作. 最后,改进算法在各类图数据集上进行了验证,验证的结果显示在平衡度和割边等指标上优化后的算法效果显著,提高了划分的合理性,并且在保证割边不增加的情况下提高了图分割的平衡度.     

循环冲击下风化花岗岩渗透性演化规律

针对低渗透离子型稀土矿体回采效率低的缺点,提出利用爆炸应力波改变岩体内部孔隙结构进而提高渗透性的设想,并通过试验进行验证。选取赣南某离子型稀土矿弱风化层花岗岩为研究对象,利用改进的SHPB装置进行等速循环冲击,结合GDS-VIS三轴渗流试验,分析风化花岗岩循环冲击后的破坏模式,并研究有效孔隙度对循环动荷载前后岩石渗透性变化规律的影响。研究结果表明:随着冲击次数的增加,风化花岗岩抗冲能力逐渐减弱,其破碎程度与冲击速度呈正相关;冲击速度为4 m/s和5 m/s的等速循环冲击会使风化花岗岩渗透性呈现先减后增的趋势,而冲击速度为6 m/s的等速循环冲击会使风化花岗岩渗透性持续增大至岩样损坏;岩体渗透性受其有效孔隙度的影响,随有效孔隙度的增大整体呈现上升趋势,同时风化花岗岩初始有效孔隙度越大,冲击后其内部孔隙结构更易发生改变,后续循环冲击荷载下增渗效果更明显。     

“三软”煤层半煤巷道锚网联合支护的应用

1概况 邱集煤矿是黄河北煤田第一对矿井,于1999年5月投入试生产,初采煤层7煤,煤层倾角5°～8°,回采巷道沿煤层顶板卧底掘进.煤层均厚1.25m,节理发育,松软易片邦.顶板为2.4m厚的灰黑色泥岩,块状结构,节理构造发育(层理发育),性脆易碎,空气中易风化,遇水时强度降低.底板为粉砂岩,顶部为0.2～0.5m的粘土岩,不易风化但遇水膨胀变软,属典型的"三软"地层.     

软底板工作面的顶板控制技术

1概况 邱集煤矿是黄河北的第一对试验型矿井,设计能力0.45Mt/a.可采煤层薄,地质构造复杂.其中7煤厚1.25m,直接顶板为泥岩(厚2.4m),裂隙发育、性脆易碎.底板为粉砂岩(厚1.8m)强度较低,顶部有0.3～0.6m厚的粘土岩,遇水膨胀变软,易引起柱子钻底.     

浅谈现浇混凝土楼板裂缝产生的主要原因与防治

笔者通过多年的施工现场经验积累,并查阅了相关的技术专业书籍,对现浇混凝土楼板裂缝产生的主要原因结合实例进行了分析,并结合混凝土的技术性质和楼板施工的操作特点,提出了防治楼板裂缝的一些技术措施,并在公司多次工程建设中得以实施。     

城市体检中新型大数据分析方法探究与应用

引言我国城镇化率逐年增高。根据国家统计局数据,2011年我国城镇化率首次超过50%。2020年,第十三届全国人民代表大会政府工作报告指出,我国常住人口城镇化率首次超过60%。伴随着城镇化进程的高速推进,国内涌现多个繁荣的超大城市,如北京、上海、广州和深圳。超大城市的繁荣无法掩盖伴生的各类城市病,诸如人口拥挤、交通拥堵、环境污染、资源供应紧张、安全风险增加、城市秩序恶化、贫富差距过大、存在低收入人群成片聚集区及缺少城市文化等1。     

不同酯化度的果胶对小麦粉及馒头品质的影响

文章研究不同酯化度的果胶对小麦粉粉质特性、拉伸特性、发酵特性、动态流变特性以及馒头品质的影响.研究表明:随着果胶酯化度的降低,小麦粉吸水率增加,面团形成时间延长,面团稳定时间延长;面团拉伸阻力和拉伸曲线面积增加;面团储能模量和损耗模量增加,损耗角正切值减小;馒头比容增大、硬度降低、咀嚼性增加、弹性增加、感官评分增加.综...     

软件过程建模方法研究

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20 个会议和7 种期刊的72 篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3 个问题,以便从总体上概括和把握该领域的研究:1) 软件过程建模方法主要基于什么范式;2) 软件过程建模方法研究的主要目的集中在哪些方面;3) 软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.