运维过程复杂度建模及有效性验证

建立了基于复杂性理论的信息系统运维过程复杂度模型,定义了执行复杂度、参数复杂度、上下文复杂度、交互复杂度和并行复杂度5个指标,给出了指标的形式化定义和计算方法,并且提出了使用归一化函数对指标数据进行处理,以比较单一指标在整体复杂度中所占比重的方法,最后通过开设1个电子邮件服务系统的实验验证了模型的有效性. 该模型可用于度量信息系统运行维护过程的复杂程度,寻找运维热点,进而可以评估和优化运维过程,以提高运维质量和效率.     

运维过程复杂度建模及有效性验证

建立了基于复杂性理论的信息系统运维过程复杂度模型,定义了执行复杂度、参数复杂度、上下文复杂度、交互复杂度和并行复杂度5个指标,给出了指标的形式化定义和计算方法,并且提出了使用归一化函数对指标数据进行处理,以比较单一指标在整体复杂度中所占比重的方法,最后通过开设1个电子邮件服务系统的实验验证了模型的有效性. 该模型可用于度量信息系统运行维护过程的复杂程度,寻找运维热点,进而可以评估和优化运维过程,以提高运维质量和效率.     

一类周期序列的k—错线性复杂度

线性复杂度和k—错线性复杂度是衡量流密码系统密码强度的两个重要指标,其中k—错线性复杂度是度量流密码密钥流序列稳定性的重要指标.在Chan—Games算法的基础上,本文探讨了线性复杂度为2t—2P—1的2t—周期二元序列的k-错线性复杂度,并给出明确的结果.这一结果对研究流密码密钥流序列的稳定性有一定的应用价值.     

基于多维泰勒网的永磁同步电机调速系统非线性观测器

针对永磁同步电机调速系统,首先提出一种基于多维泰勒网的非线性观测器方案,该方案相对于神经网络观测器,具有结构简单、计算复杂度低的优势.然后,基于Lyapunov理论设计多维泰勒网权值的自适应学习规则,从理论上证明了非线性观测器的稳定性.最后,系统仿真结果验证了其有效性.     

基于云模型战场电磁环境复杂度量化评估方法研究

分析了战场电磁环境的构成及其复杂性的内涵,简要介绍了云模型理论,在此基础上提出了基于云模型的电磁环境复杂度量化评估方法,包括评估指标建立、指标权重确定、评估云模型生成、标尺云模型生成等,并结合案例进行了仿真验证。结果表明:该方法可较好地实现评估用定性概念到量化语言的转换,对电磁环境复杂度量化分析具有一定的指导意义。     

间接交互模式的时间复杂度分析及应用

为了定量分析间接交互模式的时间复杂度,提出了3种基础间接交互模式的模糊时间Petri网模型及其模糊时间复杂度.整体交互模式的发起者到接收者的可达树搜索算法设计了包含间接交互模式的整体交互模式的搜索算法,同时评估了整体交互模式的模糊时间复杂度.并以一个实例分析了间接交互模式在网络交互模式建立中的应用.这种方法能快速评估整体交互模式的时间复杂度,为整体交互模式的筛选提供准确的数据.     

2n-周期二元序列的k错线性复杂度期望

线性复杂度和k错线性复杂度分别是度量密钥流序列的密码强度和稳定性的重要指标.该文通过研究2n-周期二元序列的线性复杂度,提出将k错线性复杂度的计算转化为求Hamming重量最小的错误序列;对线性复杂度为2n的2n-周期二元序列的k错线性复杂度的分布进行分析,给出这类周期序列的k错线性复杂度期望的上、下界.该结论推广了一...     

基于扩展TTPN的多任务加工系统建模及资源优化

引入分类信息拓展赋时变迁Petri网(TTPN),给出扩展赋时变迁Petri网(ETTPN)模型定义,以分类集成方法,建立多任务加工系统ETTPN模型.与传统TTPN建模相比,该模型建模复杂度显著下降.结合多任务加工系统ETtPN模型,提出资源优化配置算法,通过实例验证该算法的有效性.     

动态网络中的高效多故障诊断技术

针对已有算法复杂度较高,不适用于规模较大网络的问题,将被管系统建立成动态贝叶斯模型,并提出一种能处理多故障的近似推理算法. 通过复杂度分析,证明该近似算法时间复杂度为多项式级,远远低于精确算法的时间复杂度下限,可以用于解决大规模动态网络的故障诊断问题. 实验结果证明,新算法在准确度方面虽然略低于精确算法,但执行效率上远远高于精确算法.     

2n-周期二元序列的6-错线性复杂度

线性复杂度和k-错线性复杂度是度量密钥流序列的密码强度的重要指标.该文通过研究周期为2n的二元序列线性复杂度,基于Games-Chan算法,讨论了线性复杂度为2n-1的2n-周期二元序列的6-错线性复杂度分布情况.在大多数情况下,给出了对应6-错线性复杂度序列的计数公式,并且指出了参考文献中的一个重要错误.     

快速路复杂立交桥区立交桥型指路标志对行驶速度的影响

为了研究驾驶员对立交桥图形指路标志的理解水平,规范使用各类立交桥示意图形,改善道路交通安全环境,提出基于因子分析的立交桥图形指路标志视认复杂程度综合评价方法.视认实验对目前常见的37种立交桥示意图形在整体、局部及细节3个层面的视认复杂程度进行测试.测试结果表明,37种图形在整体、局部及细节层面的视认绩效都存在显著差异性,存在一定的不一致性.为实现立交桥图形复杂程度的综合量化评估,选取整体视认时间、整体主观评价打分、局部3个方向图形信息读取时间的平均值和最高值、出口操作选择错误人数比率、路径选择的错误人数比率以及细节视认风险点数量7个评估指标,采用因子分析方法,建立综合评分模型.分析结果表明：图形视认复杂程度综合评分为-1.366~2.046,在一定程度上与视认规律假设相吻合;从分布规律上看,图形视认复杂度与图形特点、要素表达方式、使用程度等存在一定的关联关系.

     

Petri网的重写逻辑模型及其属性验证

为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它.为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代.通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图...     

基于Petri网可达性和结构的最大许可控制器设计

自动化制造系统属于资源分配系统，在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器，达到避免死锁之目的.另外，良好的受控系统应具有最大许可行为.为了便于实现，控制器通常由线性约束综合表达.在现有的工作中，基于可达性分析，将处理对象缩减为一个小集合，仅包含少数可达非法标识.然后，对每标识构造一个混合整数线性规划问题并求解.由于求解整数规划固有NP-hard特征，该策略计算开销巨大.本文研究死锁的预防控制器设计.在可达图分析的基础上，结合标识的结构特点，对非法标记识别分类，建立代数条件，构造线性约束，确保其行为最大许可性.进而，设计多项式算法，使得计算复杂度显著降低.对特定的Petri网，采用结构分析，获得最大许可的受控系统.另外，对于那些结构分析中未能处理的标识，提出了线性规划解决方案.结果表明，对于所考虑的Petri网子类，避免了求解混合整数线性规划问题，本方案在计算复杂性方面具有明显的优势.最后通过两个实例验证了该方法的有效性.     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

资源分配系统禁止状态的避免研究

基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析，提出一种避免资源分配系统禁止状态的方法．该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识，进而在线保证系统不到达死标识和坏标识对应的禁止状态．该方法与其他方法相比，它使系统的许可行为最大化且无需计算网系统的整个可达图，更适合比较庞大的资源分配系统。     

计时扩展双变迁Petri网及其分析技术

扩展双变迁 Petri网是一种适合嵌入式系统的建模工具。但是 ,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁 Petri网的变迁引入时间因子 ,以及该模型结构特征的分析研究 ,给出了计时扩展双变迁 Petri网 ,及其状态方程和时间分析算法 ,从而使双变迁 Petri网的描述能力增强 ;利用时间分析算法 ,可初步实现嵌入式系统的时间分析 ,为双变迁 Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具 ,以便于开发人员自动地分析系统的时间性能。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。