一种应用于复杂组合软件的可靠性测试模型

当前复杂的组合型软件可靠性测试一直是一个难点,主要原因是无法多多种差异性较大的软件特征建立可约束的检测分析模型,一旦软件数量过多,模型会迅速陷入不收敛。为了解决这一问题,提出一种复杂组合差异性软件的可靠性分析模型。对组合软件以一种分解的思想对其进行建模。对分解后的软件特征进行重新分区建模。形成多个可测试的子服务特征。运用一种稳定概率统计的观点,对模型进行分析,分析不同区域组合后的稳定概率,进而代表组合后的可靠性结果。仿真实验结果表明,该种模型能改对较多软件组成的、差异性较大的大型软件可靠性进行更为合理的分析,模型鲁棒性较好,能较好完成可靠性分析的工作。     

基于辐热积模型的温室栽培生产规划决策支持系统磁

为实现定期上市目标下的温室栽培生产规划,以作物辐热积模型为依据,利用历史气象数据和市场价格信息,建立基于辐热积模型的温室黄瓜栽培生产规划决策模型。应用 Web 技术开发了温室作物栽培生产规划决策系统,系统能实现作物在确定种植时间条件下预计上市期及温室运行过程的逐日环境优化决策,并以温室栽培黄瓜为例,对决策模型进行了验证。结果表明,系统能根据用户所提出的决策目标和温室运行状况,实现温室栽培生产的规划决策。     

Controllable preparation and superior rate performance of spinel LiMn<Subscript>2</Subscript>O<Subscript>4</Subscript> hollow microspheres as cathode material for lithium-ion batteries

Spinel LiMn₂O₄ microspheres and hollow microspheres with adjustable wall thickness have been prepared using controllable oxidation of MnCO₃ microspheres precursors and following solid reactions with lithium salts. Scanning electron microscopy (SEM) investigations demonstrate that the microsphere morphology and hollow structure of precursors are inherited. The effect of hollow structure properties of as-prepared LiMn₂O₄ on their performance as cathode materials for lithium-ion batteries has been studied. Electrochemical performance tests show that LiMn₂O₄ hollow microspheres with small wall thickness exhibit both superior rate capability and better cycle performance than LiMn₂O₄ solid microspheres and LiMn₂O₄ hollow microspheres with thick wall. The LiMn₂O₄ hollow microspheres with thin wall have discharge capacity of 132.7 mA·h·g^-1 at C/10 (14.8 mA·g^-1) in the first cycle, 94.1% capacity retention at C/10 after 40 cycles and discharge capacity of 116.5 mAh·g^-1 at a high rate of 5C. The apparent lithium-ion diffusion coefficient (D _app) of as-prepared LiMn₂O₄ determined by capacity intermittent titration technique (CITT) varies from 10^-11 to 10^-8.5 cm²·s^-1 showing a regular “W” shape curve plotted with test voltages. The Dapp of LiMn₂O₄ hollow microspheres with thin wall has the largest value among all the prepared samples. Both the superior rate capability and cycle stability of LiMn₂O₄ hollow microspheres with thin wall can be ascribed to the facile ion diffusion in the hollow structures and the robust of hollow structures during repeated cycling.     

岳城水库除险加固工程投资控制

岳城水库除险加固工程的投资控制是一个全方位系统的过程,每一个环节都是投资控制的重点,需要全程进行控制管理,挖掘节约和控制投资的潜力,更合理地利用资金,使资金产生的效益最大化,同时也确保整个工程能按期按质按量的完成.     

基于五个“对接”的优质教材建设思考与实践

在中高职教育衔接的背景下,以计算机网络技术课程为例,分析教材建设中存在的问题,提出教材建设"明确层次、校企共建、整合优化、理实一体、创新教材体系"的思路,阐述教材建设中与中职对接、与岗位能力对接、与生产过程对接、与信息化教学对接、与"双证书"对接的"五对接"方法。     

基于神经网络的仿人跑步机器人步态规划

为了快速生成仿人机器人跑步运动轨迹,研究了一种用于仿人机器人跑步步态生成的步态规划器。采用三维弹簧倒立摆模型描述跑步过程中仿人机器人质心运动规律,奔跑时机器人质心轨迹及落脚点位置可以由四个步态参数来确定,从而将步态规划问题转化成步态参数优化问题,求解了500余种不同运动状态下的步态参数。建立了基于三层BP神经网络的步态规划器,将优化结果作为训练样本训练神经网络。用上述规划器实现了仿人机器人跑步步态规划并对规划结果进行了仿真验证。研究结果表明,基于BP神经网络的步态规划器可以实现步态参数的快速计算,生成的跑步步态逼真;提出的跑步运动步态规划方法可行,为仿人机器人实时轨迹生成提供了一种解决方法。     

高效产锰氧化酶鞘细菌的分离鉴定及酶学特性

从活性污泥中分离筛选锰氧化酶鞘细菌及研究酶学特性,利用尿素富集培养基、CGY平板及摇瓶复筛从水样中分离产锰氧化酶菌株,通过菌落形态观察、生理生化实验和16S rRNA基因序列对菌株进行鉴定,并对其发酵条件及所产锰氧化酶的酶学性质进行研究。结果表明,分离筛选到一株高产锰氧化酶的菌株FM-3,被鉴定为鞘细菌属纤发菌（Leptothrix）。该菌株的最适产酶条件为甘油添加量0.8%,蛋白胨添加量0.15 g/L,吐温-80添加量0.2%,30 ℃ 150 r/min振荡培养72 h,此时发酵液的锰氧化酶活性可达2 977.44 IU/mL。该菌株产锰氧化酶的最适温度和pH分别为40 ℃和7.0,添加一定量的Mg2+对锰氧化酶活性有增强作用,Ca2+、Cu2+对锰氧化酶影响不大,Pb2+、Zn2+、Ag+对锰氧化酶具有一定的抑制作用。     

基于区块链技术的分布式电力市场交易平台研究

随着电力体制改革的推进以及大规模可再生能源的接入,参与电力交易的市场主体数量日益增加,导致了传统的集中式交易平台难以处理急剧增加的交易数据、难以实现跨区域的信息共享和资源统一优化配置。为此,提出了基于区块链技术的分布式电力市场交易平台,利用区块链技术去中心化、开放性、匿名性及安全可靠性等优势,建立基于电力交易智能合约的分布式电力交易机制,采取分布式出清交易方式满足大规模电力交易需求,适应大规模可再生能源的迅速发展。     

大规模单车场VRP问题中扫描法的改进

为了降低问题规模,提高扫描法应用在单车场VRP问题中初始解的有效性,这里借鉴多车场VRP等问题中的分区思想,以车场为中心,根据需求点覆盖区域的特点,对单车场VRP提出了新的环形分区思想,并给出了几种具体方法。在此基础上,对扫描法进行改进,分区分别扫描并且集中车辆使用率低的区域重新扫描,合理地降低了大规模单车场VRP问题的复杂程度,为第二阶段的优化提供了有效的初始解。算例表明运用该算法比传统扫描法得到的路径更优且使用车辆数更少。     

巢湖北岸岩源磷迁移特征及其来源识别

以龟山-马鞍山一带为研究区域,利用磷酸盐氧同位素示踪技术,研究巢湖北岸地区磷素的来源与迁移过程。在研究区域内设置多个水样、土样采样点及迁移路径,测定水体、土体的含磷量分析岩源磷的迁移特征及磷素转化规律,测定典型样点的磷酸盐氧同位素识别岩源磷来源。分析测定结果发现:岩源磷风化后经过淋滤随水体迁移,水体中的磷主要以无机磷形式存在。总磷浓度自北向南逐渐增加。磷灰石态是土壤磷的主要形态,岩源磷为当地的重要磷库,其对巢湖富营养化有重要影响。磷酸盐氧值范围在9.7‰~18.4‰之间,磷的生物利用率较低,迁移路径未受到生物分馏的影响。研究区域内磷的主要来源为磷矿,同时农业及生活排磷也对磷含量有重要的影响。