利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.     

两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.     

栈结构的增广Petri网模型

增广Petri网（如抑止弧Petri网）的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁序列表示入栈字符串,另一个变迁序列表示出栈字符串,可以建立堆栈结构的模型SEPN。利用SEPN模型和映射函数,给出了产生几种上下文无关语言的有限长子集的增广Petri网模型,这几种语言是不能由一般的Petri网产生的。     

投入产出系统Petri网模型

Petri网是分析系统的一种有用工具.介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可分解的必要条件.为使问题阐述清楚,引入了一个具体的投入产出系统例子.将Petri网理论用于投入产出系统的研究,能够直观地反映出投入产出系统结构及其动态行为,是一件十分有意义的事情.     

某类有界时序Petri网的原型网形式的转化

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

UML2OPN 的建模方法及其在通信装备维修保障系统中的应用

探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性.     

Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.     

无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.     

公平Petri网中同步距离计算的一个实现算法

同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广（可覆盖）树的概念。在原网系统的可覆盖的基础上构造出一个增广（可覆盖）树,通过增广（可覆盖）树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。     

A family of constacyclic codes over F 2 + uF 2 + vF 2 + uvF 2

This paper studies（1+u）-constacyclic codes over the ring F₂+uF₂+vF₂+uvF₂- It is proved that the image of a（1 + u）-constacyclic code of length n over F₂+uF₂+vF₂+uvF₂ under a Gray map is a distance invariant binary quasi-cyclic code of index 2 and length An.A set of generators of such constacyclic codes for an arbitrary length is determined.Some optimal binary codes are obtained directly from（1 + u）-constacyclic codes over F₂+uF₂+vF₂+uvF₂.     

基于SRNN+Attention+CNN的雷达辐射源信号识别方法

针对低信噪比条件下雷达辐射源信号特征提取困难、识别准确率低的问题, 提出一种基于切片循环神经网络(sliced recurrent neural networks, SRNN)、注意力机制和卷积神经网络(convolutional neural networks, CNN)的雷达辐射源信号识别方法, 并在CNN中引入批归一化层, 进一步提升网络的识别能力。模型以雷达辐射源信号幅度序列作为输入, 自动提取信号特征, 输出识别结果。实验结果表明, SRNN相比于门控循环单元(gated recurrent unit, GRU)训练速度大大提升, 注意力机制和批归一化层能有效提高识别准确率; 在采用8种常见雷达辐射源信号进行的实验中, 所提方法在低信噪比条件下仍有较高的识别准确率。     

基于a+bi+cj型联系数的网络计划方法初探

a bi cj型联系数是对所研究的集对H作同异反程度刻画的一种数 ,用它可以较好地刻画工程中因未知或难以估计的因素所引起的工期不确定性以及由突发事件引发的反常情况带来的工期变化 ,从而形成一种有别于传统但更加符合工程实际的网络计划方法。这种方法本质上可以看作是基于a bi型联系数的网络计划方法的推广。     

On the Gray Images of Some Constacyclic Codes over F_p+uF_p+u~2F_p

Constacyclic codes are an important class of linear codes in coding theory.Many optimal linear codes are directly derived from constacyclic codes.In this paper,a new Gray map between codes over F_p+uF_p+u~2F_p and codes over Fp is defined,where p is an odd prime.By means of this map,it is shown that the Gray image of a linear(1+u+u~2)-constacyclic code over F_p+uF_p+u~2F_p of length n is a repeated-root cyclic code over F_p of length pn.Furthermore,some examples of optimal linear cyclic codes over F_3 from(1+u+u~2)-constacyclic codes over F_3+uF_3+u~2F_3 are given.     

Macwilliams Identities of Linear Codes over the Ring F_2+ uF_2+ vF_2

The Lee weight enumerators and the complete weight enumerators for the linear codes over ring R = F2 + u F2 + v F2 are defined and Gray map from Rnto F3n2 is constructed. By proving the fact that the Gray images of the self-dual codes over R are the self-dual codes over F2, and based on the Mac Williams identities for the Hamming weight enumerators of linear codes over F2, the Mac Williams identities for Lee weight enumerators of linear codes over R are given. Further, by introducing a special variable t, the Mac Williams identities for the complete weight enumerators of linear codes over R are obtained. Finally, an example which illustrates the correctness and function of the two Mac Williams identities is provided.     

A Practical Qualitative＋Quantitative Method—S—ANN

1　 IntroductionPurely quantitative methods are in a dilemma situation for coping with the real worldproblem,particularly with respectto social and economic problems. The reason is thatthemotivation of pursuing science requires researchers to describe these complex socialproblem accurately,then solve these quantitatively mathematical models so as to discoverthe rules of system movement and furthermore forecast the behaviors of system in thefuture.On the otherhand,these social problemsofthe rea…     

一种HSPA+系统Iub流量控制策略研究

HSPA+技术是3GPPR7协议引入的新特性,是WCDMA网络的进一步演进和增强。HSPA+系统是一个资源共享的系统,为提高系统无线资源的利用率和网络性能,同时解决网络负载接近饱和时产生的Iub口(RNC与NodeB之间的接口)拥塞问题,提出了一种基于过准入的Iub流量控制策略。该策略主要分两个过程,首先在Iub口带宽资源一定的情况下通过过准入策略尽可能多的接入用户,其次是通过拥塞解拥塞处理,及时控制用户第二协议层(L2)的数据速率,在获得用户面吞吐率的稳定性的同时提高系统资源利用率。仿真结果表明,该流量控制策略能够有效的降低拥塞、提高网络性能,并在一定程度上保证用户间的公平性及系统的稳定性。     

GMSK+PN信号信噪比估计

针对数传、测距一体化的调制方式高斯最小频移键控复合伪码测距(Gaussian minimum shift keying+pseudo-noise, GMSK+PN)信号的信噪比估计,提出了一种精度较高、复杂度较低的快速算法。该算法采用层状结构分解的方式,将信号分解为若干信号单元,对每一个分解的信号单元进行功率分配计算或信噪比估计,最后快速准确地计算出整个信号的信噪比。信噪比在 1~13 dB之间时,估计误差小于0.5 dB。利用Simulink仿真工具,验证了该算法的有效性。     

关于矩阵方程X＝AXB+C和AX＝XB+C的唯一解

讨论矩阵方程X=AXB+C和AX=XB+C的唯一解问题。得到这两类矩阵方程存在唯一解的充分必要条件，以及唯一解的简单表达式。     

应用Safer+算法的蓝牙WPAN网络数据传输性能仿真

WPAN(无线个人区域网)中蓝牙微微网间的同频碰撞是影响网络数据吞吐量的主要因素。建立WPAN网络模型,分析了WPAN网络的数据传输性能与组成网络的蓝牙微微网数量以及蓝牙跳频序列性能三者之间的关系,推导了三者之间的关系式,采用Safer+算法生成跳频选择序列代替原有跳频算法,改善WPAN网络数据传输,并进行了计算机仿真。使用SOC平台和CSR公司的Bluecore4蓝牙模块组建测试WPAN进行实测,证明了仿真的正确性。