基于实时日志的故障恢复策略

为了在系统故障时保证嵌入式实时数据库系统中数据的时间一致性、恢复时间的可预测性及减少恢复时间,提出了一种基于实时日志的故障恢复策略.该策略根据数据的不同特征将其划分成不同类别,对每类数据采用不同的日志记录策略以提高系统性能;使用非易失性存储器作为稳定存储器存储关键数据及其日志以获得更快的存取时间及存取时间的可预测性.性能测试结果表明,所提出的恢复策略在降低事务超截止期比例和减少故障恢复时间等方面具有较好的性能.     

一种移动代理执行的高可用性容错机制

可靠性和容错是移动代理系统实现的重要条件．基于Bounded Failure Rate假设，利用合作Agent及被动复制措施提出了一种适于大规模网络环境下检测与恢复拜占庭故障的高可用性的容错机制，该机制确保了Non-blocking和Exactly-once两个原则的贯彻．重点讲述了绝大部分Agent故障现象的检测与恢复．     

随机图的L(2,1)-标号混合人工蜂群算法

为解决图的L(2,1)-标号问题,设计了一种全新的标号算法,该算法利用人工蜂群全局搜索能力强的优点来得到最优的L(2,1)-标号方案.为了加快算法的收敛速度,修改了部分搜索策略并采用改进后的CK算法对初始蜜源进行限制.实验结果表明,该算法可以有效地求解有限点内随机图的L(2,1)-标号且10个点内的简单连通图都满足Gr...     

无线多跳网络中基于故障诊断与恢复技术的拓扑容错方案

提出了一种适用于无线多跳网络的基于故障诊断与恢复技术的拓扑容错控制方案,采用了基于比较的故障诊断方法来探测故障,并对节点故障的恢复方法进行了研究,实现了网络的拓扑容错功能.分析了所提策略的通信复杂度（总通信量为：3n＋t.dmax＋t-2）与时间复杂度（总时延为：（dST＋1）Tgen＋（2dST＋2）Tf＋Tout）,并进行了实验仿真.仿真结果表明,采用基于比较的故障诊断方法和恢复技术能够达到减少系统通信量,降低服务时延,节省能耗的优点.     

Cartesian积的局部边-路替换图的L(2,1)-标号

设d为正整数,图G的一个L（d,1）-标号就是从非负整数集到V（G）的一个函数,且使得2个相邻顶点的标号相差至少是d,2个距离为2的顶点的标号相差至少为1. 图G的L（d,1）-标号的跨度就是所有L（d,1）-标号的最大值和最小值之差. 图G的L（d,1）-标号数是G的所有L（d,1）-标号下跨度的最小值. 在已有研究图G的边-路替换图的L（d,1）-标号基础上,研究了Cartesian积的局部边-路替换图的L（2,1）-标号.     

一种改善直流系统恢复特性的低压限流环节优化方法

换相失败恢复策略中的低压限流环节参数大多选择折中值或经验值,没有充分考虑无功功率的动态需求,影响系统恢复中的控制性能.文章建立了电流指令值与交流母线电压的关系式,提出了基于交流母线电压求解电流指令的恢复策略,采用静止同步补偿器(STATCOM)解决因恢复速率过快导致再次换相失败的问题,改善系统恢复特性.通过搭建仿真模型验证恢复策略可以改善系统的恢复特性,有效避免后续换相失败等问题.     

非边幻和图的若干定理及证明

若G(p,q)的点边标号一一映射到{1,2,…,p+q},使得任意边与其关联顶点的标号值之和为一个常数,这种标号被称之为边幻和全标号。本文设计了一种算法得到了9个点以内所有简单无向连通图中的非边幻和图,发现其中一些图具有某种相同的特征,因此定义了新的图运算符K_n?C_m和K_n?S_m来刻画这两类联图,通过引入西顿序列,证明了在特定条件下,两类联图为非边幻和图。     

关联字母矩阵基模算法在水污染中的应用

系统反馈基模分析是系统动力学中把握系统结构,揭示系统产生涌现性原因的一种重要工具。目前针对系统反馈基模分析的方法有流率基本入树法和向量生成法等等。为了更好地从系统反馈基模分析得到有效的管理对策并更快地从极小基模生成复杂系统问题,提出一个确定复杂系统的基模生成集并对新管理措施进行反馈绩效分析的关联字母矩阵算法。该算法是将系统动力学的因果关系图转化为关联字母矩阵,以此计算反馈环将更为简单、直观。最后,用一个管理案例阐明了该算法的实际价值:运用此方法对我国现今亟需解决的水污染环境问题进行深度剖析,并根据所得到的系统基模提出了一些管理建议和对策。 更多还原     

具有优先权的3部件冷贮备退化系统的几何过程模型

研究3个不同型部件和一个修理工组成的冷贮备可修系统,针对3个部件的工作时间和维修时间都服从指数分布,部件2为部件1的冷贮备,部件3具有优先修理权且故障后可以修复如新,对于部件1、2故障后均不能修复如新的情况建立了该系统的一般模型,运用几何过程理论和补充变量法得到了系统的可用度、可靠度、首次故障前平均工作时间(MTTFF)、系统瞬时故障频度(ROCOF)和修理工空闲的概率等可靠性指标的Laplace变换式。 更多还原     

约束条件下基于区间组合的测试用例生成

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.     

AIA-1型旋转圆盘电极中模糊控制系统硬件设计

本文以ATA－1型旋转圆盘电极的控制系统改造为对象，介绍了系统的接口模拟电路改造，该系统采用带有自调整因子模糊算法，使得系统的控制性能相当优良．本实验系统稍做改进即可达到“智能化”仪器的标准，其具有响应快、稳定性强、操作简便等优点．     

风力发电系统简单建模及稳定性分析

应用劳斯稳定羊据原理和小振荡法原理对含风力发电机的电力系统建立了各元件的数学模型并进行了静态稳定计算与分析,并以一计算实例验证其方法的可行性。     

基于ARM+FPGA的短波功放数字预失真硬件平台设计

数字预失真技术作为一种功放线性化的关键技术, 可有效提高功放线性度. 为高效实现短波功放数字预失真算法, 改善功放线性度, 设计并实现了一款以ARM+FPGA为核心的短波功放数字预失真硬件平台, 该平台使系统具有更好的可移植性、可重用性和扩展性. 在对设计的整体硬件框架进行阐述的同时, 着重讨论了模拟电路模块的设计, 并分析了短波功放预失真线性化采用的方案. 整机测试结果表明, 设计的新平台能够满足数字预失真的要求.     

引进风险信息进行核电站备品备件管理的新方法研究

本文提出了一种利用PSA(Probabilistic Safety Assessment)方法学和风险信息进行核电站备品备件管理的方法.和过去备品备件管理方法相比,这种新方法打破了原本基于厂家推荐或电站运行经验的库存量确定方式,与设备的安全重要性相联系,可以解决备品备件大量冗余积压的问题.首先根据不同的PSA模型确定设备的安全重要度,然后根据设备的安全重要度、采购价格,使用寿命等因素,进行分类和建模,从而优化备品备件的库存量.这种新方法兼顾了电站安全和电站成本的最优化.     

对象式系统动态测试工具OODT研究

针对对象式系统的特点，提出了一种新的测试模型，并以此模型设计了动态测试工具OODT。该工具依据使用事件（USE CASE）生成对象式系统测试过程中的对象关联图（即执行路径）和LOG文件，LOG文件记录执行路径关键点信息。以此实现被测试路径的动态跟踪与执行结果的分析，因此OODT是支持系统的动态测试与测试覆盖率分析的有效工具。     

一种基于图的分水岭区域合并算法

介绍了一种对分水岭算法的初始分割结果进行区域合并的方法。该方法计算每一待合并区域与所有邻居之间的"不相似度"函数值,以此为依据进行区域合并;算法使用了图(Graph)数据结构来存储区域间的相邻信息。实验结果表明,此方法能够较好地从大量的区域中找出那些相似的区域并将其     

宁波经济可持续发展环境计划中地理信息系统的设计

提出了宁波经济可持续发展环境计划中地理信息系统建设的基本思路、技术构架和设计方法，并对该系统的效益作了预见。     

基于局部波形法的六面体自动分割网格法研究

三维有限元法是求解复杂工程问题所需的数值模拟方法．用有限元法进行数值模拟时．首先要建立被离散化的有限元网格模型．但是，许多工程问题的构造和形状非常复杂，为此分割有限元网格的难度也很大．此外，分割网格是否合理，直接影响有限元计算的精度．现有的各种有限元商用软件提供了很好的自动网格分割系统．但是，由于用六面体单元对复杂形状进行自动网格划分是非常困难。而目前为止还是用手来完成复杂的工作，所以六面体单元的自动网格划分和网格自适应性还未充分应用在实际工程之中．对任意复杂形状的物体进行分割网格时仍存在一些问题．本研究将介绍生成或已有的规则六面单元改变成形状复杂并合适的六面体单元的一种新的方法，即基于阻尼波形传播理论的方法．结果表明，只要把复杂外部形状按波的形式传输给指定的规则六面体单元模型，就可得有效的六面体单元的网格模型．     

基于library-free映射的电路面积快速优化算法

针对library-free映射过程中常用的动态规划算法在求解大电路时覆盖时间过长的问题,提出了一种将动态规划与遗传算法相结合的混合优化算法,用于平衡求解速度和求解质量,并利用“与/或/非”图和逻辑努力实现基于MOS晶体管的电路的面积估算.MCNC电路的测试结果显示,相较于动态规划,混合算法求得的最优解在面积平均增加不到1%的情况下,求解时间可节省35%以上.     

基于有限元网格重合法的宏观-细观多尺度细粒化研究

主要针对有限元网格重合法的基本原理进行分析、推导了整体到局部区域里的有限元重合网格法的数学模型,以戴圆孔板的应力集中问题为例进行探讨了有限元重合网格法的计算精度和应用价值并与一般的有限元法进行了对比分析.结果表明,有限元重合网格法对工程中的多尺度分析问题有一定的应用价值.