模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

同步串行总线的软件模拟

简要介绍了同步串行总线,并以广泛应用的IIC总线的软件模拟为例,给出了同步串行总线软件模拟的步骤和一般方法,实践证明采用该方法设计的软件能实现快速稳定的通信.     

基于构建软件功能描述的可复用软件检索方法

软件复用技术能够有效降低新软件产品开发的时间、人力和成本.在软件复用中,基于待开发软件的基本描述与简单需求,如何衡量已有软件的可复用性并对大量已有软件进行快速、自动的可复用性评估,已成为首要解决的问题.目前已有较多评价软件产品或软件项目相似度的研究工作,但相似性并不等于可复用性.因此,该文通过调研软件产品可复用性的相关研究,定义了一套适用于开源软件仓库中软件项目的可复用性评价指标,并设计了基于待开发软件项目的基本需求快速查询可复用软件项目的算法,实现了可复用软件项目检索系统.通过实验及专家对检索结果的评价,验证了所提描述方法的高效性和可用性.     

高速公路与下伏采空区相互作用分析

运用非线性有限元软件ADINA对高速公路下伏采空区进行模拟,模拟考虑了采空区覆岩体三带:冒落带、裂隙带和弯曲变形带.通过使采空区位置单元的"死"单元复活生成"生"单元,并赋以活单元新的计算参数来达到计算目的.模型的建立及参数的选取均以枣木高速公路木石段高速公路下伏采空区地层作为基础,并适当进行简化调整.建立三维模型对采空区与高速公路空间位置影响进行模拟,并对采空区倾角、内部充填效果、深厚比等的不同进行模拟,探讨规律,并编制MAT:LAB软件预测程序.     

基于粒子群算法最优化Verhulst模型的开采残余下沉预测

矿区开采引起的残余下沉稳定时间长、潜在危害大,有必要准确地预测矿区地表的残余下沉。鉴于传统的残余下沉Verhulst模型建模误差大、适用性弱,在建模过程中以数据序列的首个数据保持不变导致预测效果差的缺陷,以直接离散Verhulst模型为基础,引入粒子群算法寻求模型迭代初始值的最优解,建立基于粒子群算法优化的矿区开采残余下沉直接离散Verhulst模型,并以山西阳泉和山东兖州矿区两个时间尺度的地表残余下沉监测数据集进行实例验证,最后利用Matlab App Designer工具实现模型算法的可视化。结果表明：基于粒子群算法优化的直接离散Verhulst模型的矿区开采残余下沉预测精度和稳定性增益明显,所开发的计算工具具有正确性和有效性。     

用微粒群算法求解含交易费用的组合投资模型

针对国内证券交易的具体情况,提出了含交易费用的投资组合优化模型。利用微粒群算法对问题进行了求解,并结合实际数据进行仿真。结果表明,利用微粒群算法可以较高的效率求解该模型,且从结果上表明模型的合理性。     

基于本地收益最大化的命名网内计算部署机制

命名网内计算(named in-network computing, NINC)是一种基于命名数据网络架构、在网络设备处提供泛在计算服务的新兴计算方案。如何有效在单个路由器上部署多个NINC服务,仍有待探索。针对这一问题,提出了本地部署收益与本地服务收益的概念,前者表征NINC服务本地部署后降低转发流量所获得的CPU资源节约量,后者表征所部署的NINC服务每消耗单位CPU资源所获得的流量处理能力。在此基础上,设计了一种基于本地收益最大化的NINC部署机制。该机制中,路由器周期性预评估拟部署NINC服务的本地部署收益与本地服务收益,进而将部署问题转化为一个背包问题,求解出优化的NINC服务部署方案。仿真结果表明,相较于基于流行度的机制,该机制能够有效提高网内计算流量处理能力,在网内计算服务所需数据量均匀分布的一般性场景下,单个路由器可获得约20%~27%的处理能力提升。     

智能仪表人机界面的软件自动生成系统

设计了一种基于图形LCD显示模块的智能仪表人机界面的软件自动生成系统.从智能仪表和液晶显示器的发展趋势和需求入手,通过对现有智能仪表的界面分析,完成了PC机上组态式人机界面编辑平台的设计和开发,并且解决了代码的自动生成与转换问题.其目的是为各种智能仪表人机界面软件的设计与开发提供一种自动生成工具,缩短仪表产品的开发周期.     

基于BIM技术的室内照明仿真模拟软件计算精度解析

建筑照明专业参与BIM(building information modeling)技术的同平台作业还处于起步阶段。DIALux evo 8.2和ElumTools 2019.07是目前仅有的参与BIM技术的室内照明仿真模拟软件。采用CIE(Commission Internationale de i’Eclairage)发布的CIE 171:2006—test cases to assess the accuracy of lighting computer programs的5.2至5.8测试用例,通过验证这2款软件的计算精度,分析得出软件性能的优缺点。结果表明:在计算点光源直接照度、面光源直接照度以及光通量守恒性能这3个方面,2款软件均具有较高精度;计算大面积漫反射、遇遮挡和不同反射率这3种情况的间接照度时,DIALux evo 8.2计算精度优于ElumTools 2019.07;计算小面积漫反射的间接照度精度时,ElumTools 2019.07计算精度优于DIALux evo 8.2;计算定向透射性能时,这2款软件精度均比较低。进一步分析得出:核心算法是产生误差的主要原因,...     

基于网络划分的SDN分布式控制器部署

针对大规模SDN(software defined networking)网络中分布式控制器部署问题,以优化网络弹性和可靠性为目标,提出两阶段控制器部署算法(TSCP, two-stage controller placement):利用节点相似度划分控制域,使得控制域内设备之间的连通性强、连接紧密,增强控制域的网络弹性;选择控制路径平均失效率最小的控制器集合作为控制器部署,提高网络可靠性。通过约束控制域的规模和设备(交换机或控制器)之间传播时延,使控制域的交换机个数均衡,控制器的部署合理。通过定义性能指标,实验对比GCP算法、K*-means算法,结果表明TSCP算法可以优化控制域的规模,均衡控制域的交换机个数,减少控制器个数,网络弹性和可靠性均表现较好。