分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

非规则RA码无码率特性分析

介绍了非规则重复累积(repeat accumulate, RA)码的构成原理,引入了编码线图进行RA码的图模型表示。详细分析了编码中的两种交织策略,并证明了其等价性。通过分析非规则RA码的奇偶校验位的生成过程,证明了非规则RA码的无码率特性。给出了不同码率情况下的系统非规则RA码在二元删除信道性能曲线。通过与LT码的比较,表明非规则RA码是逼近容量限的错误平层性能较低的无码率码。对系统非规则RA码的错误平层进行分析,并给出了降低错误平层的编码修正方法。     

过氧化氢体外诱导小鼠胚胎成纤维细胞氧化损伤模型的构建和分析

为给抗氧化损伤药物的开发利用和抗氧化损伤机制的研究提供理论依据和实验基础,本方法构建了过氧化氢(H2O2)体外诱导小鼠胚胎成纤维细胞(NIH-3T3)经典的氧化应激损伤模型.应用贴壁细胞培养法培养NIH-3T3细胞,采用不同浓度的H2O2处理NIH-3T3细胞不同时间模拟氧化损伤模型,通过CCK-8法观察H2O2引起N...     

分层立方网络的 t／t-诊断度和诊断算法

故障诊断度在衡量一个多处理机系统的可靠性上起着极其重要的作用。悲观诊断策略（也称作t/t-诊断策略）在允许最多一个处理机误诊的情况下,能极大地提高多处理机系统的自我诊断度。本文主要证明了在 PMC诊断模型下,分层立方网络HCNn 是（2n）/（2n）-可诊断的,同时,也给出了时间复杂度比原有的诊断算法较优的t/t-诊断算法。     

血液:生命之源

生命不息,血流不止。血液是我们的生命之源,在我们体内不停地流淌。在过去人们没能真正科学地认识血液时,对它的认知更多的是凭着想象和传说,甚至是宗教。早期人类认为血液是神秘而万能的,对血液充满了崇拜:古罗马的角斗士们常常吸吮战败者的鲜血,认为这样可以让自己变得更强大、更勇敢;古埃及的人们以血液来沐浴,希望能返老还童或恢复健康;古希腊神话中,也有美杜莎女妖的血液可以解除人的病痛等等关于血液的描绘。但是,想象和传说不能够真正解释血液现象,只     

高校实验室文化创新建设的探索与实践

在分析实验室文化的基础上,解释说明了实验室文化的内涵.阐述了实验室文化创新建设的重要性,以安徽大学计算机基础实验教学中心为例,剖析了实验室文化建设中的问题,探索出实验文化创新建设的思路与方法并付诸于实践,为高校实验室文化创新建设提供借鉴.     

《清稗类钞》中的西藏史料研究

徐珂编撰的《清稗类钞》九十二类、三百余万字,涉及西藏的史料丰富而详细,既有清代涉藏大事、治藏政策的摘录,也有西藏风土人情的描述。这些史料既是研究清代西藏史的重要参考资料,对于更全面准确地认识清代西藏史有一定的拾遗补缺以及与正史相佐证的作用,对今天西藏经济社会的发展也有一定的借鉴意义。     

重尾随机游动最大值的局部渐近性质及其在保险和排队论中的应用(英文)

考虑一个随机游动Sn=X1+…+Xn,n=1,2,…,其中,X1,X2…独立同分布且有非负均值μ和共同分布F.对某个有限区间△,FS∈S△,给出了最大值M=max{S1,S2,…}属于区间(x,x+z]的概率的渐近性质,0相似文献   

逆胶束介导的化学发光测定碘

十六烷基三甲基氯化烷(CTAC)在氯仿/环己烷(体积比为6 5)-少量水(含有鲁米诺)溶剂所形成的逆胶束介质中, 鲁米诺和碘的化学发光可以得到大大增强,据此,采用静态流动注射技术建立了简易、快速测定碘的化学发光新方法.详细研究了R值([C(H20)/C(表面活性剂)])、表面活性剂CTAC的浓度、pH值、鲁米诺浓度对化学发光信号强度的影响.在优化的实验条件下测定碘的线性范围为0.005～2.0 μg/mL,检出限(3σ)为0.001μg/mL,对浓度为1.0μg/mL的碘标准溶液进行了11次平行测定,相对标准偏差为3.83%.将本法用于食盐中碘的测定,结果令人满意.     

GSM无线网的传播模型校正案例

本文是山东聊城联通的GSM全向基站的传播模型校正实例,通过本文,可以基本了解无线传播模型校正的基本流程.本文还对无线传播模型的种类和校正原理进行了基本介绍.