软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

基于模糊软集合的软件质量综合评价方法

软件质量评价一直是软件工程领域的难点问题,通过引入模糊软集合对软件质量进行综合评价。在评价过程中,考虑各专家的偏好,允许各专家具有不同的个人评价指标集,并利用模糊软集合对各专家的评价信息进行融合,得到综合评价结果。实例说明该方法不仅可以灵活地表达专家的主观判断,并且能有效、合理地处理信息的不确定性,符合人的思维判断过程。     

多射频无线ad hoc网络的复杂网络效应

对复杂网络与无线ad hoc网络的机理分析表明,一定条件下的无线ad hoc网络具有复杂网络效应。该文在验证多射频节点组建小世界无线ad hoc网络可行性基础上提出多射频节点的控制策略。文中提出的策略考虑到节点的设计,并根据网络环境及节点的聚类系数来控制多射频节点的部署。仿真实验表明,该策略优化了网络的拓扑结构,增加了网络的鲁棒性,对进一步优化网络性能具有理论与实际意义。     

新型光催化剂BiVO4的制备及光催化性能

采用水热合成法,以Bi(NO3)3.5H2O和NH4VO3为原料,制备可见光催化剂钒酸铋(BiVO4),通过XRD、SEM、EDS等手段对样品进行表征.结果表明,在水热合成体系中,通过改变反应物的量和添加一定的试剂以及改变水热反应的时间,可以控制界面的张力,进而影响晶体的生长,得到了哑铃形、球形、束状、棒状、片状、花状及块状等不同形貌的BiVO4.最后以罗丹明B为降解对象对BiVO4的光催化性能进行了研究,得出在可见光条件下BiVO4具有较好的催化活性.     

井下机车运输调度的资源分配模型及无死锁优化调度

对井下机车运输系统进行无死锁调度和性能优化, 首先, 建立三种不同调度策略下的资源分配Petri网模型, 设计对应调度策略下无死锁标识的最大边界设置算法, 证明了调度策略在最大标识边界设置下的无死锁性. 然后, 以最小化时耗和能耗为优化目标, 利用遗传算法, 采用变迁标号的自然编码方式, 通过检查变迁的引发条件检测染色体的可行性, 修复不可行的染色体使其对应的调度满足资源约束, 从而保证了算法所利用的所有染色体均可对应系统的可行调度, 最后进行实例仿真. 设计的无死锁调度的最大标识边界设置算法和遗传算法为井下机车的运输调度提供了可靠的理论基础.     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

一个基于日志服务器的内存数据库恢复系统

在内存数据库中,由于内存的易失性使得数据库的恢复较为复杂,而恢复过程涉及到I/O操作,对系统的整体性能影响很大.文章提出了一个基于日志服务器的内存数据库恢复系统,日志服务器能有效地减少内存数据库记录日志和检查点的开销;给出了系统的整体结构、日志记录过程和恢复算法;并对一些关键技术,如脏页缓冲、检查点等进行了详细分析.     

基于Zigbee网络的数字化仓库设计

文章针对传统仓库管理中信息采集不准确、存取货物过程繁琐、自动化程度不高等问题提出了一套数字化仓库解决方案,该方案以RFID技术为依托,并将Zigbee网络引入到数字化仓库的建设中,实现了自动化的入库、出库管理;重点介绍了RFID技术在数字仓库中的应用以及数字仓库Zigbee自组织网络的搭建,并就数字仓库的网络特点对LE...     

IEEE 802.11 DCF机制非饱和态的吞吐量模型

当前,为评价IEEE 802.11的DCF非饱和性能,大多采用二维马尔可夫链进行数学建模.根据DCF机制对竞争节点的公平服务特征,推导出节点工作在非饱和态下的传输周期,进而得到吞吐量的数学表达式.与已有模型相比,该模型更为简单,同时能够真实地反映DCF的工作机制.仿真结果与理论结果的吻合证实了模型的有效性.     

滞后不确定系统控制

滞后不确定性系统是石油、化工、电力、冶金、制药、酿造等工业生产中广泛存在的一类复杂过程。其控制一直是困扰着自动控制和计算机应用专业的难题。本文分别叙述了 Smith预估补偿控制 ,变结构控制、鲁棒控制、预测控制等方法的发展与现状及趋势。