XATTnet网络系统设计与分析

经过比较、选择，根据西安工业学院的实际情况，阐述了采用拓扑结构、综合布线等新技术，用以太网交换技术建设西安工业学院校园网的设计思路及实施的具体方案。     

“网络工程师”IP技术考点分析

就“网络工程师”IP技术中的子网掩码、路由技术的各种考试知识点进行了分析,并给出了解题方法。     

A new methodology for analyzing distributed systems modeled by petri nets

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.     

带有引线端预处理的区域布线算法

提出一种带有引线端优化处理的多层区域布线算法,能处理端点障碍在区域内任意分布的大量布线问题,首先将多端线网划分为二端子线网,并在此基础上根据二端子线网之间的相对位置关系进行分类;然后对每个类型的二端子线网,采用双向迷宫和朝向目标的深度优先搜索策略依次布线;最后通过拆线-重布策略来解决布线冲突．在进行布线搜索之前,对引线端映射到网格点上这一过程引入了一种有效的优化预处理机制,采用二分图中多目标约束寻找最佳匹配的思想和策略来解决引线端优化映射问题．测试并比较了有／无这种优化处理的2种情况,实验结果表明,该算法有效地改善了网格映射的精度和准确性,可缩短线长和提高布通率．     

一种基于RippleNet模型的推荐精度提高方法

RippleNet模型引入向量表示的同时充分利用实体连接关系,挖掘高阶语义,实现精准推荐,但并没有充分考虑到数据的重要性。通过构建概念图谱的最大子网,消除数据的冗余,提高RippleNet模型的推荐精度。利用构建最大子网的思想,通过最大子网以消除原始数据冗余。处理冗余数据后,对比原始数据,在Top-k场景中不同k值的平均准确率提高1%,在CTR点击率预测场景下所得到的平均AUC值从91.3%提高到91.9%。实验表明,通过提取最大子网可以提高推荐精度。     

Compositional analysis of Petri nets

Foundations of compositional analysis of Petri nets are presented. This analysis consist of the determination of properties of a given Petri net from the properties of its functional subnets. Compositional analysis covers the investigation of behavioral and structural properties of Petri nets with the help of matrix methods that use fundamental equations and invariants. The exponential acceleration of computations as a function of the dimensionality of a net is obtained. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 143–154, January–February 2006.     

广义良构工作流的业务实例性能分析

为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法.工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行.首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解.最后,通过实例演示了业务实例性能分析过程及方法的有效件.     

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Embedded systems have numerous applications in everyday life.Petri-net-based representation for embedded systems(PRES+)is an important methodology for the modeling and analysis of these embedded systems.For a large complex embedded system,the state space explosion is a difficult problem for PRES+to model and analyze.The Petri net synthesis method allows one to bypass the state space explosion issue.To solve this problem,as well as model and analyze large complex systems,two synthesis methods for PRES+are presented in this paper.First,the property preservation of the synthesis shared transition set method is investigated.The property preservation of the synthesis shared transition subnet set method is then studied.An abstraction-synthesis-refinement representation method is proposed.Through this representation method,the synthesis shared transition set approach is used to investigate the property preservation of the synthesis shared transition subnet set operation.Under certain conditions,several important properties of these synthetic nets are preserved,namely reachability,timing,functionality,and liveness.An embedded control system model is used as an example to illustrate the effectiveness of these synthesis methods for PRES+.     

认识局域网中的IP地址

本文主要介绍了局域网中的IP地址，基于不同的情沈，介绍了IP地址的设置。     

一种机动通信网络IP地址分配方法

IP地址分配技术是机动通信网络管理系统研究的重要内容之一,对保障机动通信网络的正常运行起到了重要的作用。针对机动通信网络的组成与特性,提出了一种IP地址分配方案,并详细阐述了该方案的设计原则、编址方法和分配流程,在此基础上实现了全网通信设备IP地址的自动分配与配置。实际使用效果表明,该分配方法能够保证IP地址分配的正确性,缩短了网络开通的时间,降低了网络开通的难度。