基于主机安全状态迁移模型的动态网络防御有效性评估

为了进行动态网络防御有效性评估,该文提出动态网络防御环境下的主机安全状态转移图生成算法,构建了主机安全状态迁移模型,基于状态转移概率给出了动态网络防御有效性的定量评估方法,为动态网络防御策略设计提供了有益参考。最后,通过一个典型网络实例说明和验证了上述模型和方法的可行性和有效性。

π-TFSK时频调制信号状态迁移的分析

本文主要对π－ＴＦＳＫ时频调制信号的状态迁移进行分析。首先，从数学模型出发，对π－ＴＦＳＫ时频调制信号的状态进行分析；然后，推出了该信号的状态迁移图；最后求出了π－ＴＦＳＫ时频调制信号的状态迁移矩阵。

WCDMA手机状态迁移策略优化

针对WCDMA网络中手机终端存在的4种状态,从原理上分析4种状态的差异,并针对CELL_FACH及CELL_PCH状态进行开通验证,从后台指标统计、前台DT/CQT测试以及信令分析等多方面评估CELL_FACH及CELL_PCH对现网的增益及负面影响,为今后的优化进行新的摸索尝试.

Web半动态页面的状态迁移维护法

Web的迅猛发展使其成为全球信息传递与共享日益重要和最具潜力的资源。对于内容由许多源数据库导出的大型Web站点来说,保持自身的时新性是非常重要的一项任务。这一点对于那些提供快速变化信息,如股票交易信息和产品信息的网站来讲尤为突出。本文介绍一种名为MOST(Maintain On Status Transfer)的算法,它把数据库导出的半动态页面分为四种状态,不同状态的页面有着不同的使用和维护规则,页面根据访问情况和基础数据变化情况进行状态迁移。实验数据表明,MOST算法对于更新和访问都比较频繁的Web环境具有较好的适应性,性能优于纯物化算法和Mod算法。

对象的状态迁移

在分布式的面向对象计算中,存在着一个问题,就是对象释放的问题。如果我们制作了一个对象工厂(Object Factory),为客户提供建立对象的服务,并将对象储存在我本地,那何时,由何人来完成对此对象的释放任务就需要进行讨论了。一个比较理想的情况是由请求产生对象的客户自己来申请释放对象。当我的服务器提供的服务中包含释放对象的服务时,这种作法是可以实现的,但实际情况并非如此。首先,有很多系统都不提供释放对象的接口,例如在CORBA的很多服务的定义中。

基于左右语言的状态迁移系统的优化

基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言。K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Bchi自动机的优化方法。

基于有限状态机的工作流实例状态迁移研究

在分析大量工作流业务过程组成的基础上,建立了以业务过程为核心的过程模型,提出了将有限状态机(FSM)的理念应用于流程执行引擎的方法,并给出了工作流实例状态迁移模型和执行算法。通过一个活动实例运行状态迁移的具体实现,证明了方案的有效性、可行性和合理性。

基于状态迁移网络安全联动策略验证与模型构造

随着科技发展和网络与计算机的普及,网络安全问题变得日益严重。针对此问题提出了一个基于状态迁移的新的网络安全联动策略模型,生成安全策略,并在安全域的基础上对其中策略的完整性、正确性、一致性和冗余性进行验证。新模型实现了一个策略从生成到验证,再到执行直至最后失效的整个过程监控管理。

基于授权用户状态迁移统计特性的频谱感知算法

通过动态监测各个频段使用状况并机会性地接入空闲频谱,认知无线电技术可显著提高已分配频段的频谱利用效率,继而有效地缓解频谱资源日趋枯竭的现状。文章首先采用一类具有记忆特性的状态迁移模型来刻画授权用户行为;综合考虑漏检概率与虚警概率的影响,建立了频谱检测的代价函数;在此基础上,采用最大后验概率准则实现检测算法,并对理论算法进行修正,使其满足实际场景下低复杂度、低检测时延要求。借助于有限状态机模型所隐含的编码增益,该算法能显著提高检测性能,数值仿真也进一步验证了算法有效性。

基于状态迁移的Web应用功能测试用例生成方法

针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测试路径,根据等价类划分原则,提出了一种测试用例覆盖准则,结合事件迁移表和导航迁移表中的信息记录构造测试用例。典型案例实验结果表明,该方法有效地表示了Web应用中页面间的链接关系,提高了测试用例的错误检测率。

一种基于状态迁移图的工业控制系统异常检测方法

基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理不了系统状态变量较多的情况.针对这一问题,提出一种新的基于状态迁移图的异常检测方法.该方法利用相邻数据向量间的余弦相似度和欧氏距离建立系统正常状态迁移模型,不需要事先定义系统的临界状态,并通过以下两个条件来判定系统是否处于异常:1)新的数据向量对应的状态是否位于状态迁移图内;2)前一状态到当前状态是否可达.文章建立了恶意数据攻击模型,并以田纳西–伊斯曼(Tennessee-eastman,TE)过程MATLAB模型作为仿真平台进行了仿真测试.仿真结果表明,该方法即使在系统遭受轻微攻击的情况下也有较好的检测结果,且消耗较少的时空资源.

一种基于状态迁移图的性能评价模型

性能评价在计算机系统的选型、改进与设计中是至关重要的．使用模拟模型和队列解析模型可对计算机系统的性能进行分析．但是构造和使用模拟模型的费用较高．而队列解析模型又要求对系统作较多的简化和假设．针对以上模型的不足，文中基于图论和自动机理论提出了一种新的基于状态迁移图的计算机系统性能评价模型，并给出了一个基于状态迁移图模型求解实时系统响应时间的算法．经过证明和时间复杂性分析，该算法是正确而有效的．

无人机网络中基于状态迁移的访问控制模型

由于传统的访问控制机制在无人机网络资源类型众多且高速移动的情况下缺乏灵活性,所以为了实现无人机网络的授权变更与无人机间任务转移时的权限弹性管理,提出一种基于状态迁移的访问控制模型.该模型依据细化的客体资源访问性质来制定状态迁移规则,在无人机网络授权变更和权限转移时不仅实现了弹性权限管理,而且确保了主体优先级访问控制.在无人机网络环境中的实验结果表明,该方案的执行时间随主体和客体数量增加呈近似线性增长,且在无人机网络复杂的访问控制场景中是可行的.

基于状态迁移的网络安全联动策略模型

针对网络安全联动系统中安全策略结构日益复杂,数量不断增多所带来的策略冲突、效率低下、冗余等问题,文章采用形式化分析的方法对安全联动防卫策略的完备性、一致性和冗余性进行了定义及分析,提出了一种基于状态迁移的网络安全联动策略模型。该模型由实体、状态、服务三层构成,通过状态迁移过程分析实体之间的关系,并由服务层提供构造、检测等分析组件确保系统稳定运行。该模型实现了策略从生成、应用到失效的全生命周期管理。

面向对象编程和状态迁移表编程方案

面向对象式的工业编程方式能够适合复杂的工业控制流程要求。可以将复杂的逻辑控制过程分解为各个不同的状态过程,形成了控制过程和条件触发机制数字化的状态迁移表控制编程方案。程序配置可以实现模块化和规范化,有利于程序移植和程序封装,易于分析问题、处理故障。

用户状态迁移——USMT对于企业迁移是最好的选择

企业在进行系统升迁时，面临的一大难题就是大量用户数据的迁移，比如用户的文件、收藏夹、邮件以及桌面设置等，本文介绍了如何利用USMT工具轻松地完成该项工作。

基于“状态迁移图”的通信程序设计

介绍“状态迁移图”的意义、作法，分析源程序、程序框图和状态迁移图之间相互关系，指出按状态迁移图设计通信程序的特点及其优越性。

状态迁移下系统适应性改造成本研究

为了解系统为适应在不同环境中安全运行采取改造措施的成本,借鉴王培庄先生的因素空间理论与笔者提出的空间事故树理论,构造了一套确定系统适应工作环境迁移所需措施成本的方法.首先按照元件或子系统X_i的划分将系统T使用事故树结构化,确定由状态c_(j1)迁移到c_(j2),使X_i适应该迁移所采取的措施f_(ni),得到适应状态迁移的措施表Γ(X_i),从而得到系统T的由状态c_(j1)迁移到c_(j2)的适应措施集合δ(T,c_1→c_2),化简得γ(T,c_(j1)→c_(j2)).根据不同X_i与措施f_n组成成本对应表,最终得到了X_i的迁移改造措施成本Ψ(X_i,c_(j1)→c_(j2))和系统措施成本Ψ(T,c_(j1)→c_(j2)).研究可为系统在不同的环境下的安全运行改造措施的成本提供事先确定方法.

农民工家庭迁移状态的演进及其影响因素研究--基于山东省951户的调查数据

根据山东省951户农民工家庭的调查数据,利用多元Logit模型和扩展的Oaxaca-Blinder分解方法,系统分析了农民工家庭向城镇迁移过程中迁移状态的演进及其影响因素。研究表明,初次离乡和定居城市两种演进形式的实现难度较小,而举家迁移和直接定居城市两种演进形式的实现难度较大;农民工家庭劳动力的城镇务工状况及其农村经济状况是影响农民工家庭迁移状态演进的决定性因素。