基于过程模型随机仿真的TDD模块选取建模方法研究*

为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算法来分析仿真结果并得出最佳TDD实施策略,最终为项目经理提供合理的决策。     

探讨4G通信工程技术

随着科技的不断进步,信息化的不断发展,人们对于无线通信服务的安全和速度也提出了更高的要求,3G通信已不能满足人们的需求,需要有更加安全可靠、更加高速的无线通信技术。4G通信是在3G技术发展成熟的基础上建立的新一代通信技术,能够实现视频图像的高质量传输,覆盖范围极广,而且速度可以达到20Mbps,几乎可以满足所有用户对于无线服务的要求。4G通信的目的是为客户提供一个更快、更安全的信息传输技术。本文就4G通信及其优势以及网络架构进行简单的介绍,对工程技术进行深入的探讨,以期为我国4G通信的发展有所帮助。     

精品乡村民宿的生态系统营建研究

文章根据当下民宿的发展诠释精品乡村民宿的定义,并借鉴生态系统的理论,提出提升村域环境和链接乡村产业的民宿生态系统营建策略,试图探索近年来精品乡村民宿因为缺乏对外环境建设的思考而产生问题的解决之道。     

1992年1、2月份大火

1月2日16时15分,吉林省柳河县化肥厂编织袋仓库发生火灾,损失72.7万元,5人受伤。 1月6日21时,深圳宝安县布吉镇葵德海绵轻胶厂因线路短路,产生火花引起火灾,烧毁厂房、仓库8500m~2,及设备、产品等,直接经济损失1000万元港币。 1月12日1时30分,海南省昌江县第三市场发生火灾,直接经济损失89.6万元。     

比重分级对小麦粉及海绵蛋糕品质的影响

研究比重分级对小麦粉及海绵蛋糕品质的影响.将比重分级后的轻麦、重麦与分级前的原麦碾磨制粉后制作蛋糕,比较分析小麦籽粒、小麦粉和蛋糕品质.研究结果表明:比重分级后重麦较原麦的不完善粒率下降22.10％,小麦粉的面筋指数增高6.88％,湿面筋含量增高9.22％,降落数值增加15.19％,面团稳定时间增加0.97 min,面...     

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

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

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

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

软件过程建模方法研究

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

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

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

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

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