CN113067667B - User activity and multi-user joint detection method - Google Patents

User activity and multi-user joint detection method Download PDF

Info

Publication number
CN113067667B
CN113067667B CN202110154711.4A CN202110154711A CN113067667B CN 113067667 B CN113067667 B CN 113067667B CN 202110154711 A CN202110154711 A CN 202110154711A CN 113067667 B CN113067667 B CN 113067667B
Authority
CN
China
Prior art keywords
representing
column
dimension
iteration
symbol
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202110154711.4A
Other languages
Chinese (zh)
Other versions
CN113067667A (en
Inventor
宋晓群
金明
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shenzhen Lizhuan Technology Transfer Center Co ltd
Shenzhen Xinyuehui Network Technology Co ltd
Original Assignee
Ningbo University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Ningbo University filed Critical Ningbo University
Priority to CN202110154711.4A priority Critical patent/CN113067667B/en
Publication of CN113067667A publication Critical patent/CN113067667A/en
Application granted granted Critical
Publication of CN113067667B publication Critical patent/CN113067667B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L1/00Arrangements for detecting or preventing errors in the information received
    • H04L1/004Arrangements for detecting or preventing errors in the information received by using forward error control
    • H04L1/0045Arrangements at the receiver end
    • H04L1/0047Decoding adapted to other signal detection operation
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L1/00Arrangements for detecting or preventing errors in the information received
    • H04L1/004Arrangements for detecting or preventing errors in the information received by using forward error control
    • H04L1/0045Arrangements at the receiver end
    • H04L1/0047Decoding adapted to other signal detection operation
    • H04L1/005Iterative decoding, including iteration between signal detection and decoding operation
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02DCLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D30/00Reducing energy consumption in communication networks
    • Y02D30/70Reducing energy consumption in communication networks in wireless communication networks

Abstract

The invention discloses a user activity and multi-user joint detection method, which obtains the probability of a matrix formed by symbols transmitted by all users on all time slots under the condition that the matrix formed by signals received by a base station on all subcarriers of all time slots is known according to Bayesian theorem, introduces a factor graph, and obtains a factor graph model according to the relationship between variables and the factors; on the basis of a factor graph model, carrying out combined detection on the user activity and multiple users, wherein an approximate message transmission algorithm and a variational Bayesian inference algorithm are adopted in the combined detection process; the method has the advantages that the method can carry out user activity and multi-user joint detection without knowing the sparsity of the user; the advantages of an approximate message transfer algorithm and a variational Bayesian inference algorithm are combined, Bayesian thought is adopted, and structured prior knowledge is introduced in the form of prior probability, so that the performance accuracy of joint detection is improved.

Description

User activity and multi-user joint detection method
Technical Field
The invention relates to a joint detection technology, in particular to a user activity and multi-user joint detection method applied to an uplink scheduling-free non-orthogonal multiple access system.
Background
With the development of mobile communication, multiple access technology, which is a key technology of each generation of mobile communication system, is undoubtedly one of the research hotspots of many scholars. As the number of users grows, mobile communications have undergone technological innovations over and over in order to achieve the goal of being able to communicate in any form, at any time, at any place, and over. In summary, the orthogonal multiple access technique is used from the first generation mobile communication system to the fourth generation mobile communication system. On the one hand, however, theoretical studies show that the orthogonal multiple access technique cannot always reach the maximum channel capacity; on the other hand, the number of users accessing the orthogonal multiple access technology is proportional to the orthogonal time-frequency resources used by the system, and thus cannot bear the large-scale connection of the user equipment. Therefore, the conventional orthogonal multiple access technology cannot meet the requirements of high throughput, low latency, large-scale equipment connection and the like required by the fifth generation mobile communication and the sixth generation mobile communication nowadays.
To address these challenges, the concept of Non-Orthogonal Multiple Access (NOMA) technology has been proposed. The non-orthogonal multiple access technology is to realize non-orthogonal multiplexing of limited resources by extending signals of a plurality of users to the same time-frequency resources for superposition transmission. Therefore, the non-orthogonal multiple access technology not only can improve the utilization rate of frequency spectrum, but also can increase the connection number of users, thereby meeting the requirement of large-scale equipment connection. In the current research on the NOMA technology, scheduling-free transmission can be realized by reasonably configuring resources, and the defects of prolonged transmission time and large signaling overhead in scheduling transmission can be effectively solved.
The current wireless network report shows that in an uplink scheduling-free NOMA system, only a small part of users are active even when the users are busy, and the number of the active users is not more than 10% of the total number of network service users, so that the activity information of the users has the characteristic of sparsity and meets the requirement of signal sparsity in a compressive sensing theory. Therefore, the compressed sensing can be applied to the uplink scheduling-free NOMA system, so that multi-user detection is carried out, and then user activity detection and multi-user detection are combined into one, so that user activity and multi-user combined detection is changed, and the design of the uplink scheduling-free NOMA system is realized. An existing user activity and multi-user joint detection method, for example, based on an Orthogonal Matching Pursuit (OMP) algorithm, provides an iterative sequential recursive least squares (IORLS) algorithm based on user sparsity priori knowledge, which requires the sparsity of a known user, and in fact, the sparsity of the user should generally be unknown; then, a Structured Iterative Support Detection (SISD) algorithm using frame joint sparsity for user activity and multi-user joint detection is proposed, which exhibits better performance than an Iterative Support Detection (ISD) algorithm with single sparse multi-user detection and does not require knowledge of the sparsity of the users, however, the SISD algorithm does not utilize a priori information of the transmitted discrete symbols, which makes the joint detection result less accurate.
Disclosure of Invention
The technical problem to be solved by the invention is to provide a user activity and multi-user joint detection method, which is used for carrying out user activity and multi-user joint detection by using the transmitted prior information of discrete symbols under the condition that the user sparsity is unknown, and the joint detection effect is good.
The technical scheme adopted by the invention for solving the technical problems is as follows: a user activity and multi-user joint detection method is characterized by comprising the following steps:
step 1: in the uplink non-scheduling non-orthogonal multiple access system, only 1 base station with a single antenna is set on the base station side, and K users with the single antenna are set on the user side; in an uplink scheduling-free non-orthogonal multiple access system, considering channel coding factors, each user transmits symbols on J time slots, a base station receives signals on N subcarriers of each time slot, and the symbols transmitted by the kth user on the jth time slot are marked as
Figure BDA0002934193720000021
Record the signal received by the base station on the nth subcarrier of the jth time slot as
Figure BDA0002934193720000022
Figure BDA0002934193720000023
The description is as follows:
Figure BDA0002934193720000024
then, the column vector with dimension K x 1 formed by the symbols transmitted by K users on the j time slot is recorded as xj
Figure BDA0002934193720000025
Let X be [ X ] where X is a matrix of K × J dimensions formed by symbols transmitted by K users in J time slots1,...,xj,...,xJ](ii) a And a column vector with dimension Nx 1 formed by signals received by the base station on N subcarriers of the jth time slot is recorded as yj
Figure BDA0002934193720000026
yjThe description is as follows: y isj=Gxj+wjA matrix having dimension N × J formed by signals received by the base station on all subcarriers of J slots is denoted as Y, [ Y ═ J ═ Y1,...,yj,...,yJ]Y is described asY ═ GX + W; wherein K represents the number of users, K is more than or equal to 1, J represents the number of time slots, J is more than or equal to 1, N represents the number of subcarriers, N is more than or equal to 1, K is more than or equal to 1 and less than or equal to K, J is more than or equal to 1 and less than or equal to J, N is more than or equal to 1 and less than or equal to N, and if the kth user is active on the jth time slot, the kth user is active on the jth time slot
Figure BDA0002934193720000031
A denotes a set of all symbols of the M-ary quadrature amplitude modulation,
Figure BDA0002934193720000032
m is 2iCarry the system, i.e. M is 2iI is a positive integer, i is more than or equal to 1 and less than or equal to 10,
Figure BDA0002934193720000033
the 1 st symbol representing M-ary quadrature amplitude modulation,
Figure BDA0002934193720000034
the mth symbol representing M-ary quadrature amplitude modulation,
Figure BDA0002934193720000035
m-th symbol representing M-ary quadrature amplitude modulation, M being greater than or equal to 1 and less than or equal to M, if the kth user is inactive in the jth time slot
Figure BDA0002934193720000036
The number of the carbon atoms is zero,
Figure BDA0002934193720000037
representing the symbol transmitted by the 1 st user on the jth slot,
Figure BDA0002934193720000038
representing the symbol transmitted by the Kth user in the jth slot, hn,kRepresenting the channel gain, s, of the k-th user on the nth sub-carriern,kRepresents the nth component of the spreading sequence corresponding to the kth user, the spreading sequence having a length of N,
Figure BDA0002934193720000039
indicates the jth time slotThe noise on the nth sub-carrier of (a),
Figure BDA00029341937200000310
obeying mean value of 0 and precision of lambda, i.e. variance of lambda-1A complex Gaussian distribution of (i.e.
Figure BDA00029341937200000311
Figure BDA00029341937200000312
Represents a complex Gaussian distribution, [ 2 ]]TRepresenting transposes of vectors or matrices, x1A column vector of dimension K x 1, x representing the symbols transmitted by K users in the 1 st slotJA column vector of dimension K x 1 representing symbols transmitted by K users on the jth slot,
Figure BDA00029341937200000313
representing the signal received by the base station on the 1 st subcarrier of the jth slot,
Figure BDA00029341937200000314
representing the signal received by the base station on the Nth subcarrier of the jth time slot, y1A column vector of dimension Nx 1, y, representing the signal received by the base station on the N subcarriers of the 1 st slotJA column vector of dimension Nx 1, w, representing the signal received by the base station on the N subcarriers of the J-th slotjThe noise on the N sub-carriers representing the jth time slot constitutes an independent identically distributed additive complex Gaussian white noise vector with dimension Nx 1,
Figure BDA00029341937200000315
Figure BDA00029341937200000316
representing the noise on the 1 st subcarrier of the jth slot,
Figure BDA00029341937200000317
on the Nth subcarrier representing the jth time slotW denotes a noise matrix with dimension N × J formed by noise on all subcarriers of J slots, W ═ W1,...,wj,...,wJ],w1Independent identically distributed additive complex Gaussian white noise vector with dimension Nx 1, w representing noise contribution on N subcarriers of 1 st slotJRepresenting the additive complex Gaussian white noise vector with dimension Nx 1 formed by noise on N subcarriers of the J-th time slot, G representing an equivalent channel matrix with dimension Nx K, and G ═ G1,...,gk,...,gK],g 11 st column vector, G, representing GkThe k column vector, G, representing GKThe Kth column vector, G, representing Gk=[h1,ks1,k,...,hn,ksn,k,...,hN,ksN,k]T,h1,kDenotes the channel gain, h, of the kth user on the 1 st subcarrierN,kRepresenting the channel gain, s, of the k-th user on the Nth sub-carrier1,kRepresenting the 1 st component, s, of the spreading sequence corresponding to the kth userN,kAn nth component representing a spreading sequence corresponding to a kth user;
step 2: according to Bayes' theorem, the probability of X under the condition that Y is known is p (X | Y), p (X | Y) · p (Y | X) p (X), wherein the symbol ". varies" represents proportional to P (Y | X), and p (Y | X) represents the probability of Y under the condition that X is known,
Figure BDA0002934193720000041
c is an auxiliary matrix of dimension NxJ introduced, p (Y | C) represents the probability of Y under the condition that C is known, p (C | X) represents the probability of C under the condition that X is known,
Figure BDA0002934193720000042
is shown in
Figure BDA0002934193720000043
Under known conditions
Figure BDA0002934193720000044
The probability of (a) of (b) being,
Figure BDA0002934193720000045
Figure BDA0002934193720000046
representing variables
Figure BDA0002934193720000047
Obey mean value of
Figure BDA0002934193720000048
Variance is λ-1The probability density function of the complex gaussian distribution of (a),
Figure BDA0002934193720000049
is represented by xjUnder known conditions
Figure BDA00029341937200000410
The probability of (a) of (b) being,
Figure BDA00029341937200000411
delta () represents the dirac function, GnThe nth row of the G is represented,
Figure BDA00029341937200000412
auxiliary vector c with dimension N × 1jThe nth element in (1), i.e. the element in the nth row and jth column of C, CjIs the jth column vector in C, Cj=Gxj
Figure BDA00029341937200000413
p (X) represents the prior probability of X,
Figure BDA00029341937200000414
Figure BDA00029341937200000415
to represent
Figure BDA00029341937200000416
A priori probability of (a); then, rewriting p (X | Y) ocp (Y | X) p (X) into
Figure BDA00029341937200000417
Reissue to order
Figure BDA00029341937200000418
To represent
Figure BDA00029341937200000419
Order to
Figure BDA00029341937200000420
To represent
Figure BDA00029341937200000421
Order to
Figure BDA00029341937200000422
To represent
Figure BDA00029341937200000423
Will be provided with
Figure BDA00029341937200000424
Is re-expressed as
Figure BDA0002934193720000051
Wherein, with fA(B) Broad finger
Figure BDA0002934193720000052
Figure BDA0002934193720000053
fA(B) A in (A) represents a factor in a factor graph, B represents a variable related to the factor A,
Figure BDA0002934193720000054
represents
Figure BDA0002934193720000055
Finally according to
Figure BDA0002934193720000056
Intermediate variable andobtaining a factor graph model through the relationship of the factors;
and step 3: on the basis of the factor graph model, the combined detection is carried out on the user activity and multiple users, and the specific process is as follows:
step 3_ 1: will be provided with
Figure BDA0002934193720000057
Is recorded as the initial value of the mean value
Figure BDA0002934193720000058
Figure BDA0002934193720000059
Will be provided with
Figure BDA00029341937200000510
Is recorded as the initial value of the variance
Figure BDA00029341937200000511
Figure BDA00029341937200000512
And introducing intermediate variables
Figure BDA00029341937200000513
Will be provided with
Figure BDA00029341937200000514
Is recorded as
Figure BDA00029341937200000515
Figure BDA00029341937200000516
Let t represent the iteration number of the outer loop, and the initial value of t is 0; wherein p ismTo represent
Figure BDA00029341937200000517
Is composed of
Figure BDA00029341937200000518
Probability, sign "' is a modulo operation symbol,
Figure BDA00029341937200000519
merely as
Figure BDA00029341937200000520
A subscript of (a);
step 3_ 2: calculating a factor at the t-th iteration according to an approximate message passing algorithm
Figure BDA00029341937200000521
To a variable
Figure BDA00029341937200000522
The variance and mean of the backward message, correspondingly denoted as
Figure BDA00029341937200000523
And
Figure BDA00029341937200000524
Figure BDA00029341937200000525
Figure BDA00029341937200000526
wherein the symbol "→" represents the direction of message delivery, the symbol "| |" is a modulo operation symbol, Gn,kThe element representing the n-th row and k-th column of G, when t is 0
Figure BDA00029341937200000527
Is that
Figure BDA00029341937200000528
t > 0
Figure BDA00029341937200000529
At the t-th iteration
Figure BDA00029341937200000530
When t is 0
Figure BDA00029341937200000531
Is that
Figure BDA00029341937200000532
t > 0
Figure BDA00029341937200000533
At the t-th iteration
Figure BDA00029341937200000534
When t is 0
Figure BDA00029341937200000535
Is that
Figure BDA00029341937200000536
t > 0
Figure BDA00029341937200000537
Shown at the t-1 th iteration
Figure BDA00029341937200000538
A value of (d);
step 3_ 3: calculate all AND variables at the t-th iteration
Figure BDA00029341937200000539
The relevant factor being passed to the variable
Figure BDA00029341937200000540
The variance and mean of the message of (1), correspond to
Figure BDA0002934193720000061
And
Figure BDA0002934193720000062
Figure BDA0002934193720000063
Figure BDA0002934193720000064
step 3_ 4: the calculation is at the t-th iteration
Figure BDA0002934193720000065
Is given as
Figure BDA0002934193720000066
Figure BDA0002934193720000067
Step 3_ 5: calculate all AND variables at the t-th iteration
Figure BDA0002934193720000068
The relevant factor being passed to the variable
Figure BDA0002934193720000069
The variance and mean of the forward message, correspond to
Figure BDA00029341937200000610
And
Figure BDA00029341937200000611
Figure BDA00029341937200000612
Figure BDA00029341937200000613
wherein (C)HRepresents a conjugate transpose;
step 3_ 6: an intermediate vector r of dimension (K x J) x 1 is introduced,
Figure BDA00029341937200000614
then will be
Figure BDA00029341937200000615
Re-expressed as r ═ r1,...,rη,...,rL]T(ii) a Then for r ═ r1,...,rη,...,rL]TIntroduces a corresponding hidden variable of length Γ for each element in rηThe corresponding hidden variable introduced is denoted zη,zηIs a row vector with dimension 1 × Γ; will then be for r ═ r1,...,rη,...,rL]TThe hidden variable matrix with dimension L x gamma formed by the corresponding hidden variables introduced by all the elements in (A) is recorded as Z, Z is [ Z ═ Z1,...,zη,...,zL]T(ii) a Wherein, L is K multiplied by J,
Figure BDA00029341937200000616
Figure BDA00029341937200000617
denotes all AND variables at the t-th iteration
Figure BDA00029341937200000618
The relevant factor being passed to the variable
Figure BDA00029341937200000619
The average of the forward messages of (2),
Figure BDA00029341937200000620
representing the symbol transmitted by the 1 st user on the 1 st slot,
Figure BDA00029341937200000621
Figure BDA00029341937200000622
denotes all AND variables at the t-th iteration
Figure BDA00029341937200000623
The relevant factor being passed to the variable
Figure BDA00029341937200000624
The average of the forward messages of (2),
Figure BDA00029341937200000625
representing the symbol transmitted by the kth user on the 1 st slot,
Figure BDA00029341937200000626
Figure BDA00029341937200000627
denotes all AND variables at the t-th iteration
Figure BDA00029341937200000628
The relevant factor being passed to the variable
Figure BDA00029341937200000629
The average of the forward messages of (2),
Figure BDA00029341937200000630
representing the symbol transmitted by the 1 st user on the 2 nd slot,
Figure BDA00029341937200000631
Figure BDA00029341937200000632
denotes all AND variables at the t-th iteration
Figure BDA00029341937200000633
The relevant factor being passed to the variable
Figure BDA00029341937200000634
The average of the forward messages of (2),
Figure BDA00029341937200000635
representing the symbol transmitted by the kth user on the 2 nd slot,
Figure BDA0002934193720000071
Figure BDA0002934193720000072
denotes all AND variables at the t-th iteration
Figure BDA0002934193720000073
The relevant factor being passed to the variable
Figure BDA0002934193720000074
The average of the forward messages of (2),
Figure BDA0002934193720000075
representing the symbol transmitted by the 1 st user on the 3 rd slot,
Figure BDA0002934193720000076
Figure BDA0002934193720000077
denotes all AND variables at the t-th iteration
Figure BDA0002934193720000078
The relevant factor being passed to the variable
Figure BDA0002934193720000079
The average of the forward messages of (2),
Figure BDA00029341937200000710
representing the symbol transmitted by the kth user on the 3 rd slot,
Figure BDA00029341937200000711
Figure BDA00029341937200000712
denotes all AND variables at the t-th iteration
Figure BDA00029341937200000713
The relevant factor being passed to the variable
Figure BDA00029341937200000714
The average of the forward messages of (a),
Figure BDA00029341937200000715
represents the symbol transmitted by the Kth user on the J-th time slot, 1 is more than or equal to eta is less than or equal to L,
Figure BDA00029341937200000716
Figure BDA00029341937200000717
z1is shown for r1Corresponding hidden variable introduced, zLIs shown for rLThe corresponding hidden variable introduced, Γ ═ M + 1;
step 3_ 7: the joint probability density function of the vector r, the hidden variable matrix Z, the parameter σ, the parameter μ, and the parameter τ is denoted as p (r, Z, σ, μ, τ), p (r, Z, σ, μ, τ) p (Z | σ) p (σ) p (μ | τ) p (τ); wherein p (r | Z, μ, τ) represents the probability of r under the condition that Z, μ, and τ are known,
Figure BDA00029341937200000718
Figure BDA00029341937200000719
Φ is M +1, Φ is the total number of symbols in the set Δ', Γ Φ,
Figure BDA00029341937200000720
Figure BDA00029341937200000721
corresponding to the 1 st symbol, … …, the 1 st symbol in Δ
Figure BDA00029341937200000722
Symbol # … …, symbol # phi,
Figure BDA00029341937200000737
line η of Z
Figure BDA00029341937200000723
The elements of the column are,
Figure BDA00029341937200000724
has values of only 0 and 1, and the eta row vector Z of ZηWith only one 1 and the others all being 0,
Figure BDA00029341937200000725
represents the variable rηObey mean value of
Figure BDA00029341937200000726
Variance is tau-1In a complex Gaussian distribution of the probability density function of
Figure BDA00029341937200000727
Middle mu is the mean value
Figure BDA00029341937200000728
The parameter for scaling, τ, is the precision, p (Z | σ) represents the probability of Z with σ known,
Figure BDA00029341937200000729
Figure BDA00029341937200000730
is a distribution of a polynomial expression,
Figure BDA00029341937200000731
the second in a vector σ of length Φ
Figure BDA00029341937200000732
An element, σ represents a vector composed of Φ mixture coefficients of gaussian distribution, p (σ) represents a prior probability of σ,
Figure BDA00029341937200000733
Figure BDA00029341937200000734
is a dirichlet distribution and is,
Figure BDA00029341937200000735
is a parameter of p (sigma),
Figure BDA00029341937200000736
is a vector of length phi and,
Figure BDA0002934193720000081
β0is composed of
Figure BDA0002934193720000082
The elements (A) and (B) in (B),
Figure BDA0002934193720000083
is a normalization constant for p (σ), p (μ | τ) represents the probability of μ given τ is known,
Figure BDA0002934193720000084
Figure BDA0002934193720000085
representing the variable μ obeying to mean μ0Variance of (gamma)0τ)-1Is determined as a function of the probability density of the gaussian distribution of (a),
Figure BDA0002934193720000086
denotes a Gaussian distribution,. mu.0And gamma0All of which are hyper-parameters, p (τ) represents the prior probability of τ, p (τ) is Gam (τ | a)0,b0),Gam(τ|a0,b0) Denotes τ obedience parameter as a0And b0Gamma distribution of (a)0And b0Are all hyper-parameters;
step 3_ 8: according to a variational Bayes inference algorithm, a variational distribution is represented by q (), and the variational distribution of a hidden variable matrix Z, a parameter sigma, a parameter mu and a parameter tau is represented as q (Z, sigma, mu, tau), q (Z, sigma, mu, tau) is q (Z) q (sigma) q (mu, tau); wherein q (Z) represents a variation distribution of the hidden variable matrix Z,
Figure BDA0002934193720000087
Figure BDA0002934193720000088
is a distribution of a polynomial expression,
Figure BDA0002934193720000089
Figure BDA00029341937200000810
exp () represents an exponential function based on the natural base e, ln () represents a logarithmic function based on the natural base e, the symbol "|" is a modulo operation symbol,
Figure BDA00029341937200000811
Figure BDA00029341937200000812
according to
Figure BDA00029341937200000813
Calculated, E () represents expectation, q (sigma) represents variation distribution of parameter sigma,
Figure BDA00029341937200000814
Figure BDA00029341937200000815
is a dirichlet distribution and is,
Figure BDA00029341937200000816
is a parameter of q (sigma),
Figure BDA00029341937200000817
is a vector of length phi and,
Figure BDA00029341937200000818
beta' is
Figure BDA00029341937200000819
The elements (A) and (B) in (B),
Figure BDA00029341937200000820
is a normalization constant for q (sigma),
Figure BDA00029341937200000821
q (mu, tau) represents the variation distribution of the parameter mu and the parameter tau,
Figure BDA00029341937200000823
mu ', gamma', a 'and b' are all hyperparameters, and
Figure BDA00029341937200000822
Figure BDA0002934193720000091
a'=a0+Φ,
Figure BDA0002934193720000092
Figure BDA0002934193720000093
representing the variable μ obeying a mean of μ 'and a variance of (γ' τ)-1Is determined, Gam (τ | a ', b') denotes a Gamma distribution with τ obedience parameters a 'and b',
Figure BDA0002934193720000094
E(ln(τ))=ψ(a')-ψ(b'),
Figure BDA0002934193720000095
ψ () is a digamma function,
Figure BDA0002934193720000096
re () represents the value of the real part of the complex number ()*Represents the conjugate of a complex number;
step 3_ 9: let t 'represent the iteration number of the inner loop, and the initialized value of t' is 1;
step 3_ 10: calculate the value of β ' at the t ' iteration, denoted as β '(t')
Figure BDA0002934193720000097
And calculating the value of gamma ' at the t ' iteration, noted as gamma '(t')
Figure BDA0002934193720000098
Calculate the value of μ ' at the t ' iteration, denoted μ '(t')
Figure BDA0002934193720000099
Calculate the value of a ' at the t ' iteration, denoted as a '(t'),a'(t')=a0+ phi; calculate the value of b ' at the t ' iteration, denoted as b '(t')
Figure BDA00029341937200000910
Wherein, beta0Is greater than Φ, when t' is 1 and
Figure BDA00029341937200000911
time of flight
Figure BDA00029341937200000912
Equal to 0.5, when t' is 1 and
Figure BDA00029341937200000913
time of flight
Figure BDA00029341937200000914
Is equal to
Figure BDA00029341937200000915
When t' > 1
Figure BDA00029341937200000916
Indicated at the t' -1 th iteration
Figure BDA00029341937200000917
Value of (a), gamma0Is greater than or equal to 1000, mu0Is greater than or equal to 1, a0Is greater than or equal to 100, b0Is greater than 0 and less than or equal to 1;
step 3_ 11: the calculation is at the t' th iteration
Figure BDA00029341937200000918
Is given as
Figure BDA00029341937200000919
Figure BDA00029341937200000920
Wherein, the first and the second end of the pipe are connected with each other,
Figure BDA0002934193720000101
Figure BDA0002934193720000102
according to
Figure BDA0002934193720000103
The calculation formula is obtained by calculation;
step 3_ 12: judging whether the iteration number t' of the inner loop reaches the maximum iteration number t of the inner loopmaxIf yes, stopping the iterative process of the inner loop, and then executing the step 3_ 13; if not, let a0=a'(t'),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')T' +1, and then returning to step 3_10 to continue execution; wherein, tmax'≥2000,a0=a'(t'),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')The ' in t ' ═ t ' +1 is an assigned symbol;
step 3_ 13: judging whether the iteration number t of the outer loop reaches the maximum iteration number t of the outer loopmaxIf yes, stopping the iteration process of the outer loop, and executing the step 4; if not, obtaining a matrix
Figure BDA0002934193720000104
Figure BDA0002934193720000105
The eta line of
Figure BDA0002934193720000106
Column element of
Figure BDA0002934193720000107
Then let t be t +1, introduce a column vector of length phi
Figure BDA0002934193720000108
Figure BDA0002934193720000109
Order to
Figure BDA00029341937200001010
Figure BDA00029341937200001011
Is a column vector of dimension Lx 1, let
Figure BDA00029341937200001012
Column vector of dimension Lx 1
Figure BDA00029341937200001013
Conversion into a matrix of dimensions K J
Figure BDA00029341937200001014
Column vector of dimension Lx 1
Figure BDA00029341937200001015
Conversion into a matrix of dimensions K J
Figure BDA00029341937200001016
The conversion process is as follows: the 1 st column of the matrix of dimension K × J is the 1 st to Kth rows of the vector of dimension L × 1, the 2 nd column of the matrix of dimension K × J is the K +1 st to 2 Kth rows of the vector of dimension L × 1, the J th column of the matrix of dimension K × J is the Kx (J-1) +1 st to L th rows of the vector of dimension L × 1, so that
Figure BDA00029341937200001017
Is equal to the matrix
Figure BDA00029341937200001018
The value of the kth row and the jth column of (1), and
Figure BDA00029341937200001019
is equal to the matrix
Figure BDA00029341937200001020
The value of the jth row and jth column of the program code is returned to the step 3_2 to be continuously executed; wherein, tmax≥10,
Figure BDA00029341937200001021
Is shown at tmaxUnder' a number of iterations
Figure BDA00029341937200001022
The value of (a) is,
Figure BDA00029341937200001023
all the vectors are introduced intermediate vectors, the symbol "|" is a modulus operation symbol, and the symbol "═ in t + 1" ═ is an assignment symbol;
and 4, step 4: obtaining a matrix
Figure BDA00029341937200001024
Figure BDA00029341937200001025
Line n of (1)
Figure BDA00029341937200001026
Column element of
Figure BDA00029341937200001027
Is extracted from
Figure BDA00029341937200001028
The column numbers of the columns in which the maximum values are located in each row of (1) are arranged in the order of the row numbers of the rows in which the maximum values are located to form a column vector having a dimension of L × 1, which is denoted as
Figure BDA0002934193720000111
Figure BDA0002934193720000112
Will be provided with
Figure BDA0002934193720000113
Re-expressed as a matrix of dimension K J
Figure BDA0002934193720000114
Figure BDA0002934193720000115
Is the 1 st column vector of
Figure BDA0002934193720000116
Figure BDA0002934193720000117
Is the 2 nd column vector of
Figure BDA0002934193720000118
Figure BDA0002934193720000119
Is the J-th column vector of
Figure BDA00029341937200001110
Figure BDA00029341937200001111
The kth row and jth column of (A) elements are
Figure BDA00029341937200001112
If it is
Figure BDA00029341937200001113
Then the kth user is considered to be inactive in the jth time slot, and the multi-user detection result is 0; if it is
Figure BDA00029341937200001114
The k-th user is considered to be active on the j-th slot and multiple users are consideredThe detection result is the second in Δ
Figure BDA00029341937200001115
The number of the cells; wherein the content of the first and second substances,
Figure BDA00029341937200001116
is shown at tmaxUnder' a number of iterations
Figure BDA00029341937200001117
The value of (a) is,
Figure BDA00029341937200001118
corresponding representation
Figure BDA00029341937200001119
Column number … … of the column in which the maximum value in row 1 is located,
Figure BDA00029341937200001120
Column number of the column in which the maximum value in the K-th row of (1) is located,
Figure BDA00029341937200001121
Column number of the column in which the maximum value in the K +1 th row is located, … …,
Figure BDA00029341937200001122
Column number of the column in which the maximum value in the 2K-th row is located, … …,
Figure BDA00029341937200001123
Column No. … …, column No. of the maximum value in Kx (J-1) +1 line,
Figure BDA00029341937200001124
The column number of the column in which the maximum value in the lth row of (1) is located,
Figure BDA00029341937200001125
is a positive integer of 1 to phi,
Figure BDA00029341937200001126
compared with the prior art, the invention has the advantages that:
1) the method of the invention does not need to know the user sparsity in advance when carrying out multi-user detection, and is also an advantage of joint detection.
2) The method of the invention utilizes the prior information of the sent discrete symbols, mainly utilizes the variational Bayesian inference algorithm under the Bayesian framework, introduces the structured prior knowledge and then carries out the user activity and multi-user joint detection.
3) The method combines the variational Bayesian inference algorithm and the approximate message transfer algorithm, improves the calculation efficiency by utilizing the approximate message transfer algorithm, and improves the performance accuracy of the joint detection by combining the two algorithms.
Drawings
FIG. 1 is a block diagram of an overall implementation of the method of the present invention;
FIG. 2 is a simplified diagram of an uplink dispatch-free non-orthogonal multiple access system;
FIG. 3 is a schematic representation of a factorial map model in the method of the present invention;
fig. 4 shows that when the number of subcarriers is N equal to 100, the total number of users is K equal to 150, the number of slots is J equal to 7, and the maximum number of outer loop iterations t is used for transmitting a 4QAM signalmax15 'maximum iteration number of inner loop'maxWhen the number of active devices is 20 and 5000, comparing the change curve of the symbol error rate of the method (the position of the active user and the emission symbol are unknown) with the change curve of the signal-to-noise ratio of the Structured Iterative Support Detection (SISD) method;
fig. 5 shows that when the number of subcarriers is N-100, the total number of users is K-150, the number of slots is J-7, and the maximum number of outer loop iterations t is transmitted for 16QAM signalsmax15 'maximum iteration number of inner loop'maxWhen the number of active devices is 20 and 5000, comparing the change curve of the symbol error rate with the signal-to-noise ratio of the method (the position of the active user and the emission symbol are unknown) and the SISD (structured iterative support detection) method;
fig. 6 shows that when the number of subcarriers is N-100, the total number of users is K-150, the number of slots is J-7, and the maximum number of outer loop iterations t is transmitted for 16QAM signalsmax15 'maximum iteration number of inner loop'maxWhen the signal-to-noise ratio is 5000 and the signal-to-noise ratio is 10dB, the change curve of the symbol error rate of the method (the position of an active user and a transmitting symbol are unknown) and the change curve of the Structural Iterative Support Detection (SISD) along with the number of the active users are compared.
Detailed Description
The invention is described in further detail below with reference to the accompanying examples.
The general implementation block diagram of the method for jointly detecting the user activity and the multiple users provided by the invention is shown in fig. 1, and the method comprises the following steps:
step 1: as shown in fig. 2, in the uplink non-orthogonal multiple access system without scheduling, only 1 base station with a single antenna is set on the base station side, and K users with a single antenna are set on the user side; in an uplink scheduling-free non-orthogonal multiple access system, considering channel coding factors, each user transmits symbols on J time slots, a base station receives signals on N subcarriers of each time slot, and the symbol transmitted by the kth user on the jth time slot is marked as
Figure BDA0002934193720000121
Record the signal received by the base station on the nth subcarrier of the jth time slot as
Figure BDA0002934193720000122
Figure BDA0002934193720000123
The description is as follows:
Figure BDA0002934193720000124
then, the column vector with dimension K x 1 formed by the symbols transmitted by K users on the j time slot is recorded as xj
Figure BDA0002934193720000131
The matrix with dimension K multiplied by J formed by symbols transmitted by K users on J time slots is marked as X, X is [ X ═ J1,...,xj,...,xJ](ii) a And a column vector with dimension Nx 1 formed by signals received by the base station on N subcarriers of the jth time slot is recorded as yj
Figure BDA0002934193720000132
yjThe description is as follows: y isj=Gxj+wjA matrix having dimension N × J formed by signals received by the base station on all subcarriers of J slots is denoted as Y, [ Y ═ J ═ Y1,...,yj,...,yJ]Y is described as Y ═ GX + W; where K denotes the number of users, K is greater than or equal to 1, where K is 150, J denotes the number of time slots, J is greater than or equal to 1, J is 7 in this embodiment, N denotes the number of subcarriers, N is greater than or equal to 1, N is 100 in this embodiment, K is greater than or equal to 1 and less than or equal to K, J is greater than or equal to 1 and less than or equal to J, N is greater than or equal to 1 and less than or equal to N, and if the kth user is active in the jth time slot, then J is greater than or equal to 1 and less than or equal to N
Figure BDA0002934193720000133
A denotes a set of all symbols of the M-ary quadrature amplitude modulation,
Figure BDA0002934193720000134
m is 2iCarry the system, i.e. M is 2iI is a positive integer, i is more than or equal to 1 and less than or equal to 10, i is 10 at most because the current Quadrature Amplitude Modulation (QAM) reaches 1024,
Figure BDA0002934193720000135
the 1 st symbol representing M-ary quadrature amplitude modulation,
Figure BDA0002934193720000136
the mth symbol representing M-ary quadrature amplitude modulation,
Figure BDA0002934193720000137
m-th symbol representing M-ary quadrature amplitude modulation, M being greater than or equal to 1 and less than or equal to M, if the kth user is inactive in the jth time slot
Figure BDA0002934193720000138
The number of the carbon atoms is zero,
Figure BDA0002934193720000139
representing the symbol transmitted by the 1 st user on the jth slot,
Figure BDA00029341937200001310
representing the symbol transmitted by the kth user on the jth slot,
Figure BDA00029341937200001311
express that
Figure BDA00029341937200001312
Via a spreading sequence (the length of the spreading sequence is N) and a channel, plus
Figure BDA00029341937200001313
To obtain
Figure BDA00029341937200001314
H is therefore the spreading sequence and channel remain unchanged for all time slotsn,kRepresenting the channel gain, s, of the k-th user on the nth sub-carriern,kRepresents the nth component of the spreading sequence corresponding to the kth user, the spreading sequence having a length of N,
Figure BDA00029341937200001315
representing the noise on the nth subcarrier of the jth slot,
Figure BDA00029341937200001316
obeying mean value of 0 and precision of lambda, i.e. variance of lambda-1A complex Gaussian distribution of (i.e.
Figure BDA00029341937200001317
Figure BDA00029341937200001318
Represents the complex Gaussian scoreCloth, a]TRepresenting transposes of vectors or matrices, x1A column vector of dimension K x 1, x representing the symbols transmitted by K users in the 1 st slotJA column vector of dimension K x 1 representing symbols transmitted by K users on the jth slot,
Figure BDA00029341937200001319
representing the signal received by the base station on the 1 st subcarrier of the jth slot,
Figure BDA00029341937200001320
represents the signal received by the base station on the Nth subcarrier of the jth time slot, y1A column vector of dimension Nx 1, y, representing the signal received by the base station on the N subcarriers of the 1 st slotJA column vector of dimension Nx 1, w, representing the signal received by the base station on the N subcarriers of the J-th slotjThe noise on the N sub-carriers representing the jth time slot constitutes an independent identically distributed additive complex Gaussian white noise vector with dimension Nx 1,
Figure BDA0002934193720000141
Figure BDA0002934193720000142
representing the noise on the 1 st subcarrier of the jth slot,
Figure BDA0002934193720000143
denotes the noise on the nth subcarrier of the jth time slot, W denotes a noise matrix of dimension N × J formed by the noise on all subcarriers of the J time slots, W ═ W1,...,wj,...,wJ],w1Independent identically distributed additive complex Gaussian white noise vector with dimension Nx 1, w representing noise contribution on N subcarriers of 1 st slotJRepresenting the additive complex Gaussian white noise vector with dimension Nx 1 formed by noise on N subcarriers of the J-th time slot, G representing an equivalent channel matrix with dimension Nx K, and G ═ G1,...,gk,...,gK],g 11 st column vector, G, representing GkThe k column vector, G, representing GKThe kth column vector representing G,
Figure BDA0002934193720000144
h1,kdenotes the channel gain, h, of the kth user on the 1 st subcarrierN,kRepresents the channel gain, s, of the kth user on the Nth subcarrier1,kRepresenting the 1 st component, s, of the spreading sequence corresponding to the kth userN,kRepresenting the nth component of the spreading sequence corresponding to the kth user.
Step 2: according to Bayes' theorem, the probability of X under the condition that Y is known is p (X | Y), p (X | Y) · p (Y | X) p (X), wherein the symbol ". varies" represents proportional to P (Y | X), and p (Y | X) represents the probability of Y under the condition that X is known,
Figure BDA0002934193720000145
c is an auxiliary matrix of dimension NxJ introduced, p (Y | C) represents the probability of Y under the condition that C is known, p (C | X) represents the probability of C under the condition that X is known,
Figure BDA0002934193720000146
is shown in
Figure BDA0002934193720000147
Under known conditions
Figure BDA0002934193720000148
The probability of (a) of (b) being,
Figure BDA0002934193720000149
Figure BDA00029341937200001410
representing variables
Figure BDA00029341937200001411
Obey mean value of
Figure BDA00029341937200001412
Variance is λ-1The probability density function of the complex gaussian distribution of (a),
Figure BDA00029341937200001413
is represented by xjUnder known conditions
Figure BDA00029341937200001414
The probability of (a) of (b) being,
Figure BDA00029341937200001415
delta () represents the dirac function, GnThe nth row of the G is represented,
Figure BDA00029341937200001416
auxiliary vector c with dimension N × 1jThe nth element in (1), i.e. the element in the nth row and jth column of C, CjIs the jth column vector in C, Cj=Gxj
Figure BDA0002934193720000151
p (X) represents the prior probability of X,
Figure BDA0002934193720000152
Figure BDA0002934193720000153
to represent
Figure BDA0002934193720000154
A priori probability of (a); then, rewriting p (X | Y) ocp (Y | X) p (X) into
Figure BDA0002934193720000155
Reissue to
Figure BDA0002934193720000156
To represent
Figure BDA0002934193720000157
Order to
Figure BDA0002934193720000158
To represent
Figure BDA0002934193720000159
Order to
Figure BDA00029341937200001510
To represent
Figure BDA00029341937200001511
Will be provided with
Figure BDA00029341937200001512
Is re-expressed as
Figure BDA00029341937200001513
Wherein, with fA(B) Broad finger
Figure BDA00029341937200001514
Figure BDA00029341937200001515
Figure BDA00029341937200001516
fA(B) A in (A) represents a factor in a factor graph, B represents a variable related to the factor A,
Figure BDA00029341937200001517
represents
Figure BDA00029341937200001518
Finally according to
Figure BDA00029341937200001519
The relationship between the medium variable and the factor, and the factor graph model is obtained, as shown in fig. 3.
And step 3: on the basis of the factor graph model, the combined detection is carried out on the user activity and multiple users, and the specific process is as follows:
step 3_ 1: will be provided with
Figure BDA00029341937200001520
Beginning of mean value ofThe initialization value is recorded as
Figure BDA00029341937200001521
Figure BDA00029341937200001522
Will be provided with
Figure BDA00029341937200001523
Is recorded as the initial value of the variance
Figure BDA00029341937200001524
Figure BDA00029341937200001525
And introducing intermediate variables
Figure BDA00029341937200001526
Will be provided with
Figure BDA00029341937200001527
Is recorded as
Figure BDA00029341937200001528
Figure BDA00029341937200001529
Let t represent the iteration number of the outer loop, and the initial value of t is 0; wherein p ismTo represent
Figure BDA00029341937200001530
Is composed of
Figure BDA00029341937200001531
The symbol "|" is a modulo operation symbol,
Figure BDA00029341937200001532
merely as
Figure BDA00029341937200001533
Subscripts of (a).
Step 3_ 2: according to approximate message deliveryAlgorithm, calculating the factor at the t-th iteration
Figure BDA00029341937200001534
To a variable
Figure BDA00029341937200001535
The variance and mean of the backward message, correspond to
Figure BDA0002934193720000161
And
Figure BDA0002934193720000162
Figure BDA0002934193720000163
Figure BDA0002934193720000164
wherein the symbol "→" represents the direction of message delivery, the symbol "| |" is a modulo operation symbol, Gn,kThe element representing the n-th row and k-th column of G, when t is 0
Figure BDA0002934193720000165
Is that
Figure BDA0002934193720000166
t > 0
Figure BDA0002934193720000167
At the t-th iteration
Figure BDA0002934193720000168
When t is 0
Figure BDA0002934193720000169
Is that
Figure BDA00029341937200001610
t > 0
Figure BDA00029341937200001611
At the t-th iteration
Figure BDA00029341937200001612
When t is 0
Figure BDA00029341937200001613
Is that
Figure BDA00029341937200001614
t > 0
Figure BDA00029341937200001615
Shown at the t-1 th iteration
Figure BDA00029341937200001616
The value of (c).
Step 3_ 3: calculate all AND variables at the t-th iteration
Figure BDA00029341937200001617
The relevant factor being passed to the variable
Figure BDA00029341937200001618
The variance and mean of the messages (including forward and backward messages) of (1), are correspondingly denoted as
Figure BDA00029341937200001619
And
Figure BDA00029341937200001620
Figure BDA00029341937200001621
Figure BDA00029341937200001622
step 3_ 4: the calculation is at the t-th iteration
Figure BDA00029341937200001623
Is given as
Figure BDA00029341937200001624
Figure BDA00029341937200001625
Step 3_ 5: calculate all AND variables at the t-th iteration
Figure BDA00029341937200001626
The relevant factor being passed to the variable
Figure BDA00029341937200001627
The variance and mean of the forward message, correspond to
Figure BDA00029341937200001628
And
Figure BDA00029341937200001629
Figure BDA00029341937200001630
Figure BDA00029341937200001631
wherein (C)HRepresenting a conjugate transpose.
Step 3_ 6: an intermediate vector r of dimension (K x J) x 1 is introduced,
Figure BDA00029341937200001632
then will be
Figure BDA00029341937200001633
Re-expressed as r ═ r1,...,rη,...,rL]T(ii) a Then for r ═ r1,...,rη,...,rL]TIntroduces a corresponding hidden variable of length Γ for each element in rηThe corresponding hidden variable introduced is denoted zη,zηIs a row vector with dimension 1 × Γ; will then be for r ═ r1,...,rη,...,rL]TAll elements in (1)The hidden variable matrix with dimension L multiplied by gamma formed by the introduced corresponding hidden variables is marked as Z, and Z is [ Z ═ r1,...,zη,...,zL]T(ii) a Wherein, L is K multiplied by J,
Figure BDA0002934193720000171
Figure BDA0002934193720000172
denotes all AND variables at the t-th iteration
Figure BDA0002934193720000173
The relevant factor being passed to the variable
Figure BDA0002934193720000174
The average of the forward messages of (2),
Figure BDA0002934193720000175
representing the symbol transmitted by the 1 st user on the 1 st slot,
Figure BDA0002934193720000176
Figure BDA0002934193720000177
denotes all AND variables at the t-th iteration
Figure BDA0002934193720000178
The relevant factor being passed to the variable
Figure BDA0002934193720000179
The average of the forward messages of (2),
Figure BDA00029341937200001710
representing the symbol transmitted by the kth user on the 1 st slot,
Figure BDA00029341937200001711
Figure BDA00029341937200001712
denotes all AND variables at the t-th iteration
Figure BDA00029341937200001713
The relevant factor being passed to the variable
Figure BDA00029341937200001714
The average of the forward messages of (2),
Figure BDA00029341937200001715
representing the symbol transmitted by the 1 st user on the 2 nd slot,
Figure BDA00029341937200001716
Figure BDA00029341937200001717
denotes all AND variables at the t-th iteration
Figure BDA00029341937200001718
The relevant factor being passed to the variable
Figure BDA00029341937200001719
The average of the forward messages of (2),
Figure BDA00029341937200001720
representing the symbol transmitted by the kth user on the 2 nd slot,
Figure BDA00029341937200001721
Figure BDA00029341937200001722
denotes all AND variables at the t-th iteration
Figure BDA00029341937200001723
The relevant factor being passed to the variable
Figure BDA00029341937200001724
The average of the forward messages of (2),
Figure BDA00029341937200001725
representing the symbol transmitted by the 1 st user on the 3 rd slot,
Figure BDA00029341937200001726
Figure BDA00029341937200001727
denotes all AND variables at the t-th iteration
Figure BDA00029341937200001728
The relevant factor being passed to the variable
Figure BDA00029341937200001729
The average of the forward messages of (2),
Figure BDA00029341937200001730
representing the symbol transmitted by the kth user on the 3 rd slot,
Figure BDA00029341937200001731
Figure BDA00029341937200001732
denotes all AND variables at the t-th iteration
Figure BDA00029341937200001733
The relevant factor being passed to the variable
Figure BDA00029341937200001734
The average of the forward messages of (2),
Figure BDA00029341937200001735
represents the symbol transmitted by the Kth user on the J-th time slot, 1 is more than or equal to eta is less than or equal to L,
Figure BDA00029341937200001736
Figure BDA00029341937200001737
z1is shown for r1Corresponding hidden variables, z, introducedLIs shown for rLThe corresponding hidden variable introduced, Γ ═ M + 1.
Step 3_ 7: since the data distribution in the intermediate vector r is a gaussian mixture model (because there are Φ cases, that is, there are Φ gaussian distributions in the corresponding symbol data), the joint probability density function of the vector r, the hidden variable matrix Z, the parameter σ, the parameter μ, and the parameter τ is denoted as p (r, Z, σ, μ, τ), and p (r, Z, σ, μ, τ) is p (r | Z, μ, τ) p (Z | σ) p (σ) p (μ | τ) p (τ); wherein p (r | Z, μ, τ) represents the probability of r under the condition that Z, μ, and τ are known,
Figure BDA00029341937200001738
Figure BDA00029341937200001739
Φ is M +1, Φ is the total number of symbols in the set Δ', Γ Φ,
Figure BDA0002934193720000181
Figure BDA0002934193720000182
corresponding to the 1 st symbol, … …, the 1 st symbol in Δ
Figure BDA0002934193720000183
Symbol # … …, symbol # phi,
Figure BDA0002934193720000184
line η of Z
Figure BDA0002934193720000185
The elements of the column are,
Figure BDA0002934193720000186
has values of only 0 and 1, and the eta row vector Z of ZηWith only one 1 and the others all being 0,
Figure BDA0002934193720000187
represents the variable rηObey mean value of
Figure BDA0002934193720000188
Variance is tau-1Of a complex Gaussian distribution of probability density functions, in
Figure BDA0002934193720000189
Mu is mean value
Figure BDA00029341937200001810
The parameter for scaling, τ, is the precision, p (Z | σ) represents the probability of Z with σ known,
Figure BDA00029341937200001811
Figure BDA00029341937200001812
is a distribution of a polynomial expression,
Figure BDA00029341937200001813
the second in a vector σ of length Φ
Figure BDA00029341937200001814
The individual elements, σ represents a vector composed of Φ mixture coefficients of gaussian distribution, p (σ) represents a prior probability of σ, and the prior probability of the mixture coefficients follows a dirichlet distribution, so
Figure BDA00029341937200001815
Figure BDA00029341937200001816
Is a dirichlet distribution and is,
Figure BDA00029341937200001817
is a parameter of p (sigma),
Figure BDA00029341937200001818
is a vector of length phi and,
Figure BDA00029341937200001819
β0is composed of
Figure BDA00029341937200001820
The elements (A) and (B) in (B),
Figure BDA00029341937200001821
is a normalization constant for p (σ), p (μ | τ) represents the probability of μ given τ is known,
Figure BDA00029341937200001822
Figure BDA00029341937200001823
representing the variable μ obeying to mean μ0Variance of (gamma)0τ)-1Is determined as a function of the probability density of the gaussian distribution of (a),
Figure BDA00029341937200001824
denotes a Gaussian distribution,. mu.0And gamma0All of which are hyper-parameters, p (τ) represents the prior probability of τ, p (τ) is Gam (τ | a)0,b0),Gam(τ|a0,b0) Denotes τ obedience parameter as a0And b0Gamma distribution of (a)0And b0Are all hyper-parameters.
Step 3_ 8: according to a variational Bayes inference algorithm, a variational distribution is represented by q (), and the variational distribution of a hidden variable matrix Z, a parameter sigma, a parameter mu and a parameter tau is represented as q (Z, sigma, mu, tau), q (Z, sigma, mu, tau) is q (Z) q (sigma) q (mu, tau); wherein q (Z) represents a variation distribution of the hidden variable matrix Z,
Figure BDA00029341937200001825
Figure BDA00029341937200001826
is a distribution of a polynomial expression,
Figure BDA00029341937200001827
Figure BDA0002934193720000191
exp () denotes an exponential function based on a natural base e (e ═ 2.17 …), ln () denotes a logarithmic function based on a natural base e (e ═ 2.17 …), the symbol "|" is a modulo operation symbol,
Figure BDA0002934193720000192
Figure BDA0002934193720000193
according to
Figure BDA0002934193720000194
Calculated, pi is 3.14 …, E () represents expectation, q (σ) represents variation distribution of parameter σ,
Figure BDA0002934193720000195
Figure BDA0002934193720000196
is a dirichlet distribution and is,
Figure BDA0002934193720000197
is a parameter of q (sigma),
Figure BDA0002934193720000198
is a vector of length phi and,
Figure BDA0002934193720000199
beta' is
Figure BDA00029341937200001910
The elements (A) and (B) in (B),
Figure BDA00029341937200001911
is a normalization constant for q (sigma),
Figure BDA00029341937200001912
q (mu, tau) represents the variation distribution of the parameter mu and the parameter tau,
Figure BDA00029341937200001913
mu ', gamma', a 'and b' are hyper-parameters, and
Figure BDA00029341937200001914
Figure BDA00029341937200001915
a'=a0+Φ,
Figure BDA00029341937200001916
Figure BDA00029341937200001917
representing the variable μ obeying a mean of μ 'and a variance of (γ' τ)-1Is determined, Gam (τ | a ', b') denotes a Gamma distribution with τ obedience parameters a 'and b',
Figure BDA00029341937200001918
E(ln(τ))=ψ(a')-ψ(b'),
Figure BDA00029341937200001919
ψ () is a digamma function,
Figure BDA00029341937200001920
re () represents the value of the real part of the complex number ()*Representing the conjugate of a complex number.
Step 3_ 9: let t 'denote the number of iterations of the inner loop, the initialization value of t' being 1.
Step 3_ 10: calculate the value of β ' at the t ' iteration, denoted as β '(t')
Figure BDA00029341937200001921
And calculating the value of gamma ' at the t ' iteration, noted as gamma '(t')
Figure BDA0002934193720000201
Calculate value of μ ' at t ' iteration, denoted μ '(t')
Figure BDA0002934193720000202
Calculate the value of a ' at the t ' iteration, denoted as a '(t'),a'(t')=a0+ phi; calculate the value of b ' at the t ' iteration, denoted as b '(t')
Figure BDA0002934193720000203
Wherein, beta0Is greater than phi, in this example, beta is taken0Is equal to 20, when t' is equal to 1 and
Figure BDA0002934193720000204
time of flight
Figure BDA0002934193720000205
Equal to 0.5, when t' is 1 and
Figure BDA0002934193720000206
time of flight
Figure BDA0002934193720000207
Is equal to
Figure BDA0002934193720000208
When t' > 1
Figure BDA0002934193720000209
Indicated at the t' -1 th iteration
Figure BDA00029341937200002010
Value of (a), γ0Is greater than or equal to 1000, in this example, γ0Is equal to 1000, mu0Is greater than or equal to 1, in this example, μ0Is equal to 1.25, a0Is greater than or equal to 100, in this example, take a0Is equal to 100, b0Is greater than 0 and less than or equal to 1, in this example b0Equal to 1.
Step 3_ 11: the calculation is at the t' th iteration
Figure BDA00029341937200002011
Is given as
Figure BDA00029341937200002012
Figure BDA00029341937200002013
Wherein the content of the first and second substances,
Figure BDA00029341937200002014
Figure BDA00029341937200002015
according to
Figure BDA00029341937200002016
Is obtained by calculation.
Step 3_ 12: judging whether the iteration number t' of the inner loop reaches the maximum iteration number t of the inner loopmaxIf yes, stopping the iterative process of the inner loop, and then executing the step 3_ 13; if not, let a0=a'(t'),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')T' +1, and then returning to step 3_10 to continue execution; wherein, tmax'≥2000,a0=a'(t'),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')In t '═ t' +1, "═ is an assigned symbol.
Step 3_ 13: judging whether the iteration number t of the outer loop reaches the maximum iteration number t of the outer loopmaxIf yes, stopping the iteration process of the outer loop, and executing the step 4; if not, obtaining a matrix
Figure BDA0002934193720000211
Figure BDA0002934193720000212
The eta line of
Figure BDA0002934193720000213
Column element of
Figure BDA0002934193720000214
Then let t be t +1, introduce a column vector of length phi
Figure BDA0002934193720000215
Figure BDA0002934193720000216
Order to
Figure BDA0002934193720000217
Figure BDA0002934193720000218
Is a column vector of dimension Lx 1, let
Figure BDA0002934193720000219
Column vector of dimension Lx 1
Figure BDA00029341937200002110
Conversion into a matrix of dimensions K J
Figure BDA00029341937200002111
Column vector of dimension Lx 1
Figure BDA00029341937200002112
Conversion into a matrix of dimensions K J
Figure BDA00029341937200002113
The conversion process is as follows: the 1 st column of the matrix of dimension K × J is the 1 st to Kth rows of the vector of dimension L × 1, the 2 nd column of the matrix of dimension K × J is the K +1 st to 2 Kth rows of the vector of dimension L × 1, the J th column of the matrix of dimension K × J is the Kx (J-1) +1 st to L th rows of the vector of dimension L × 1, so that
Figure BDA00029341937200002114
Is equal to the matrix
Figure BDA00029341937200002115
The value of the kth row and the jth column of (1), and
Figure BDA00029341937200002116
is equal to the matrix
Figure BDA00029341937200002117
The value of the jth row and jth column of the program code is returned to the step 3_2 to be continuously executed; wherein, tmax≥10,
Figure BDA00029341937200002118
Is shown at the tmaxUnder' a number of iterations
Figure BDA00029341937200002119
The value of (a) is,
Figure BDA00029341937200002120
all the vectors are introduced intermediate vectors, the symbol "|" is a modulus operation symbol, and the symbol "═ in t + 1" ═ is an assignment symbol.
And 4, step 4: obtaining a matrix
Figure BDA00029341937200002121
The eta line of
Figure BDA00029341937200002122
Column element of
Figure BDA00029341937200002123
Extracting to obtain
Figure BDA00029341937200002124
The column numbers of the columns in which the maximum values are located in each row of (1) are arranged in the order of the row numbers of the rows in which the maximum values are located to form a column vector having a dimension of L × 1, which is denoted as
Figure BDA00029341937200002125
Figure BDA00029341937200002126
Will be provided with
Figure BDA00029341937200002127
Re-expressed as a matrix of dimension K J
Figure BDA00029341937200002128
Is the 1 st column vector of
Figure BDA00029341937200002129
Figure BDA00029341937200002130
Is the 2 nd column vector of
Figure BDA00029341937200002131
Figure BDA00029341937200002132
Is the J-th column vector of
Figure BDA00029341937200002133
Figure BDA00029341937200002134
The kth row and jth column of (A) elements are
Figure BDA00029341937200002135
If it is
Figure BDA00029341937200002136
Then the kth user is considered to be inactive in the jth time slot, and the multi-user detection result is 0; if it is
Figure BDA00029341937200002137
Then the kth user is considered to be active on the jth slot and the multi-user detection result is the th in Δ
Figure BDA00029341937200002138
The number of the cells; wherein the content of the first and second substances,
Figure BDA00029341937200002139
is shown at tmaxUnder' minor iteration
Figure BDA00029341937200002140
The value of (a) is,
Figure BDA00029341937200002141
corresponding representation
Figure BDA00029341937200002142
Column number … … of the column in which the maximum value in row 1 is located,
Figure BDA00029341937200002143
Column number of the column in which the maximum value in the K-th row of (1) is located,
Figure BDA00029341937200002144
Column number of the column in which the maximum value in the K +1 th row is located, … …,
Figure BDA0002934193720000221
Column number of the column in which the maximum value in the 2K-th row is located, … …,
Figure BDA0002934193720000222
Column No. … …, column No. of the maximum value in Kx (J-1) +1 line,
Figure BDA0002934193720000223
The column number of the column in which the maximum value in the lth row of (1) is located,
Figure BDA0002934193720000224
is a positive integer from 1 to phi,
Figure BDA0002934193720000225
the performance of the method of the invention is further illustrated by the following simulation.
FIG. 4The method sends a 4QAM (namely M is 4) signal, when the number of subcarriers is N is 100, the total number of users is K is 150, the number of time slots is J is 7, and the maximum iteration number t of an outer loop is givenmax15 'maximum iteration number of inner loop'maxWhen the number of active devices is 20 and 5000, the symbol error rate of the method (the position of the active user and the emission symbol are unknown) and the Structured Iterative Support Detection (SISD) of the invention are compared with the change curve of the signal-to-noise ratio. It can be seen from fig. 4 that, as the signal-to-noise ratio increases, the symbol error rate of the method of the present invention is significantly reduced compared with the structured iterative support detection method under the condition that the modulation mode is 4QAM, and the symbol error rate reaches 10 under the condition of high signal-to-noise ratio (10dB)-5And the extremely low symbol error rate shows that the detection performance of the method is good.
Fig. 5 shows that a 16QAM (i.e., M-16) signal is transmitted, when the number of subcarriers is N-100, the total number of users is K-150, the number of slots is J-7, and the maximum number of outer loop iterations tmax15 'maximum iteration number of inner loop'maxWhen the number of active devices is 20 and 5000, the symbol error rate of the method (the position of the active user and the emission symbol are unknown) and the Structured Iterative Support Detection (SISD) of the invention are compared with the change curve of the signal-to-noise ratio. It can be seen from fig. 5 that the symbol error rate of the method of the present invention is still reduced significantly in the case of the modulation mode being 16QAM as the signal-to-noise ratio increases; in addition, the comparison between fig. 4 and fig. 5 shows that the detection performance of the method of the present invention is better under different modulation modes.
Fig. 6 shows that when the number of subcarriers is N-100, the total number of users is K-150, the number of slots is J-7, and the maximum number of outer loop iterations t is transmitted in a 16QAM (i.e., M-16) signalmax15 'maximum iteration number of inner loop'maxWhen the signal-to-noise ratio is 5000 and the signal-to-noise ratio is 10dB, the change curve of the symbol error rate of the method (the position of an active user and a transmitting symbol are unknown) and the change curve of the Structured Iterative Support Detection (SISD) along with the number of the active users are compared. As can be seen from FIG. 6, when the number of active users increases, the instant messaging method is up to 30E although the number of active usersThe performance change is obvious within the range of 50, the detection performance is reduced only when the number of active users reaches 50, but the symbol error rate performance is still better compared with that of a structured iterative support detection method; in addition, the comparison between fig. 5 and fig. 6 shows that the detection performance of the method of the present invention is lower than that of the structured iterative support detection method under the same modulation mode and different conditions.

Claims (1)

1. A user activity and multi-user joint detection method is characterized by comprising the following steps:
step 1: in the uplink non-scheduling non-orthogonal multiple access system, only 1 base station with a single antenna is set on the base station side, and K users with the single antenna are set on the user side; in an uplink scheduling-free non-orthogonal multiple access system, considering channel coding factors, each user transmits symbols on J time slots, a base station receives signals on N subcarriers of each time slot, and the symbol transmitted by the kth user on the jth time slot is marked as
Figure FDA0002934193710000011
Record the signal received by the base station on the nth subcarrier of the jth time slot as
Figure FDA0002934193710000012
Figure FDA0002934193710000013
The description is as follows:
Figure FDA0002934193710000014
then, the column vector with dimension K x 1 formed by the symbols transmitted by K users on the j time slot is recorded as xj
Figure FDA0002934193710000015
The matrix with dimension K multiplied by J formed by symbols transmitted by K users on J time slots is marked as X, X is [ X ═ J1,...,xj,...,xJ](ii) a And placing the base station in the jth time slotThe column vector of dimension N × 1 formed by the signals received on the N subcarriers is denoted yj
Figure FDA0002934193710000016
yjThe description is as follows: y isj=Gxj+wjA matrix having dimension N × J formed by signals received by the base station on all subcarriers of J slots is denoted as Y, [ Y ═ J ═ Y1,...,yj,...,yJ]Y is described as Y ═ GX + W; wherein K represents the number of users, K is more than or equal to 1, J represents the number of time slots, J is more than or equal to 1, N represents the number of subcarriers, N is more than or equal to 1, K is more than or equal to 1 and less than or equal to K, J is more than or equal to 1 and less than or equal to J, N is more than or equal to 1 and less than or equal to N, and if the kth user is active on the jth time slot, the kth user is active on the jth time slot
Figure FDA0002934193710000017
A denotes a set of all symbols of the M-ary quadrature amplitude modulation,
Figure FDA0002934193710000018
m is 2iCarry the system, i.e. M is 2iI is a positive integer, i is more than or equal to 1 and less than or equal to 10,
Figure FDA0002934193710000019
the 1 st symbol representing M-ary quadrature amplitude modulation,
Figure FDA00029341937100000110
the mth symbol representing M-ary quadrature amplitude modulation,
Figure FDA00029341937100000111
m-th symbol representing M-ary quadrature amplitude modulation, M being greater than or equal to 1 and less than or equal to M, if the kth user is inactive in the jth time slot
Figure FDA00029341937100000112
The number of the carbon atoms is zero,
Figure FDA00029341937100000113
representing the symbol transmitted by the 1 st user on the jth slot,
Figure FDA00029341937100000114
indicating the symbol transmitted by the Kth user in the jth time slot, hn,kRepresenting the channel gain, s, of the k-th user on the nth sub-carriern,kRepresents the nth component of the spreading sequence corresponding to the kth user, the length of the spreading sequence being N,
Figure FDA00029341937100000115
representing the noise on the nth subcarrier of the jth slot,
Figure FDA00029341937100000116
obeying mean value of 0 and precision of lambda, i.e. variance of lambda-1A complex Gaussian distribution of (i.e.
Figure FDA00029341937100000117
Figure FDA0002934193710000021
Represents a complex Gaussian distribution, [ 2 ]]TRepresenting transposes of vectors or matrices, x1A column vector of dimension K x 1, x representing the symbols transmitted by K users in the 1 st slotJA column vector of dimension K x 1 representing symbols transmitted by K users on the jth slot,
Figure FDA0002934193710000022
representing the signal received by the base station on the 1 st subcarrier of the jth slot,
Figure FDA0002934193710000023
represents the signal received by the base station on the Nth subcarrier of the jth time slot, y1A column vector of dimension Nx 1, y, representing the signal received by the base station on the N subcarriers of the 1 st slotJRepresenting the signal structure received by the base station on the N subcarriers of the J-th time slotInto a column vector of dimension Nx 1, wjThe noise on the N sub-carriers representing the jth time slot constitutes an independent identically distributed additive complex Gaussian white noise vector with dimension Nx 1,
Figure FDA0002934193710000024
Figure FDA0002934193710000025
representing the noise on the 1 st subcarrier of the jth slot,
Figure FDA0002934193710000026
denotes the noise on the nth subcarrier of the jth time slot, W denotes a noise matrix of dimension N × J formed by the noise on all subcarriers of the J time slots, W ═ W1,...,wj,...,wJ],w1N x 1 independent identically distributed additive complex Gaussian white noise vector with dimension representing noise on N subcarriers of 1 st time slot, wJRepresenting the additive complex Gaussian white noise vector with dimension Nx 1 formed by noise on N subcarriers of the J-th time slot, G representing an equivalent channel matrix with dimension Nx K, and G ═ G1,...,gk,...,gK],g11 st column vector, G, representing GkThe k column vector, G, representing GKThe Kth column vector, G, representing Gk=[h1,ks1,k,...,hn,ksn,k,...,hN,ksN,k]T,h1,kDenotes the channel gain, h, of the kth user on the 1 st subcarrierN,kRepresenting the channel gain, s, of the k-th user on the Nth sub-carrier1,kRepresenting the 1 st component, s, of the spreading sequence corresponding to the kth userN,kAn nth component representing a spreading sequence corresponding to a kth user;
step 2: according to Bayes' theorem, the probability of X under the condition that Y is known is p (X | Y), p (X | Y) · p (Y | X) p (X), wherein the symbol ". varies" represents proportional to P (Y | X), and p (Y | X) represents the probability of Y under the condition that X is known,
Figure FDA0002934193710000027
c is an auxiliary matrix of dimension NxJ introduced, p (Y | C) represents the probability of Y under the condition that C is known, p (C | X) represents the probability of C under the condition that X is known,
Figure FDA0002934193710000028
is shown in
Figure FDA0002934193710000029
Under known conditions
Figure FDA00029341937100000210
The probability of (a) of (b) being,
Figure FDA0002934193710000031
Figure FDA0002934193710000032
representing variables
Figure FDA0002934193710000033
Obey mean value of
Figure FDA0002934193710000034
Variance of λ-1The probability density function of the complex gaussian distribution of (a),
Figure FDA0002934193710000035
is represented by xjUnder known conditions
Figure FDA0002934193710000036
The probability of (a) of (b) being,
Figure FDA0002934193710000037
delta () represents the dirac function, GnThe nth row of the G is represented,
Figure FDA0002934193710000038
auxiliary vector c with dimension N × 1jThe nth element in (1), i.e. the element in the nth row and the jth column of C, CjIs the jth column vector in C, Cj=Gxj
Figure FDA0002934193710000039
p (X) represents the prior probability of X,
Figure FDA00029341937100000310
Figure FDA00029341937100000311
to represent
Figure FDA00029341937100000312
A priori probability of (a); then, rewriting p (X | Y) ocp (Y | X) p (X) into
Figure FDA00029341937100000313
Reissue to order
Figure FDA00029341937100000314
To represent
Figure FDA00029341937100000315
Order to
Figure FDA00029341937100000316
To represent
Figure FDA00029341937100000317
Order to
Figure FDA00029341937100000318
To represent
Figure FDA00029341937100000319
Will be provided with
Figure FDA00029341937100000320
Is re-expressed as
Figure FDA00029341937100000321
Wherein, with fA(B) Broad finger
Figure FDA00029341937100000322
Figure FDA00029341937100000323
fA(B) A in (A) represents a factor in a factor graph, B represents a variable related to the factor A,
Figure FDA00029341937100000324
represents
Figure FDA00029341937100000325
Finally according to
Figure FDA00029341937100000326
Obtaining a factor graph model by the relation between the medium variable and the factor;
and step 3: on the basis of the factor graph model, the combined detection is carried out on the user activity and multiple users, and the specific process is as follows:
step 3_ 1: will be provided with
Figure FDA00029341937100000336
Is recorded as the initial value of the mean value
Figure FDA00029341937100000327
Figure FDA00029341937100000328
Will be provided with
Figure FDA00029341937100000329
Is recorded as the initial value of the variance
Figure FDA00029341937100000330
Figure FDA00029341937100000331
And introducing intermediate variables
Figure FDA00029341937100000332
Will be provided with
Figure FDA00029341937100000333
Is recorded as
Figure FDA00029341937100000334
Figure FDA00029341937100000335
Let t represent the iteration number of the outer loop, and the initial value of t is 0; wherein p ismTo represent
Figure FDA0002934193710000041
Is composed of
Figure FDA0002934193710000042
The symbol "|" is a modulo operation symbol,
Figure FDA0002934193710000043
merely as
Figure FDA0002934193710000044
A subscript of (a);
step 3_ 2: calculating the factor at the t-th iteration according to an approximate message passing algorithm
Figure FDA0002934193710000045
To a variable
Figure FDA0002934193710000046
Variance and mean of backward messages, correspondingIs marked as
Figure FDA0002934193710000047
And
Figure FDA0002934193710000048
Figure FDA0002934193710000049
Figure FDA00029341937100000410
wherein the symbol "→" represents the direction of message delivery, the symbol "| |" is a modulo operation symbol, Gn,kThe element representing the n-th row and k-th column of G, when t is 0
Figure FDA00029341937100000411
Is that
Figure FDA00029341937100000412
t > 0
Figure FDA00029341937100000413
At the t-th iteration
Figure FDA00029341937100000414
When t is 0
Figure FDA00029341937100000415
Is that
Figure FDA00029341937100000416
t > 0
Figure FDA00029341937100000417
At the t-th iteration
Figure FDA00029341937100000418
When t is 0
Figure FDA00029341937100000419
Is that
Figure FDA00029341937100000420
t > 0
Figure FDA00029341937100000421
Shown at the t-1 th iteration
Figure FDA00029341937100000422
A value of (d);
step 3_ 3: calculate all AND variables at the t-th iteration
Figure FDA00029341937100000423
The relevant factor being passed to the variable
Figure FDA00029341937100000424
The variance and mean of the message of (1), correspond to
Figure FDA00029341937100000425
And
Figure FDA00029341937100000426
Figure FDA00029341937100000427
step 3_ 4: the calculation is at the t-th iteration
Figure FDA00029341937100000428
Is given as
Figure FDA00029341937100000429
Figure FDA00029341937100000430
Step 3_ 5: calculate all AND variables at the t-th iteration
Figure FDA00029341937100000431
The relevant factor being passed to the variable
Figure FDA00029341937100000432
The variance and mean of the forward message, correspond to
Figure FDA00029341937100000433
And
Figure FDA00029341937100000434
Figure FDA00029341937100000435
Figure FDA00029341937100000436
wherein (C)HRepresents a conjugate transpose;
step 3_ 6: an intermediate vector r of dimension (K x J) x 1 is introduced,
Figure FDA00029341937100000437
then will be
Figure FDA00029341937100000438
Re-expressed as r ═ r1,...,rη,...,rL]T(ii) a Then for r ═ r1,...,rη,...,rL]TIntroduces a corresponding hidden variable of length Γ for each element in rηThe corresponding hidden variable introduced is denoted zη,zηIs a row vector with dimension 1 × Γ; will then be for r ═ r1,...,rη,...,rL]TThe hidden variable matrix with dimension L multiplied by Γ formed by corresponding hidden variables introduced by all elements in (1) is recorded as Z, Z is [ Z ═ Γ1,...,zη,...,zL]T(ii) a Wherein, L is K multiplied by J,
Figure FDA0002934193710000051
Figure FDA0002934193710000052
denotes all AND variables at the t-th iteration
Figure FDA0002934193710000053
The relevant factor being passed to the variable
Figure FDA0002934193710000054
The average of the forward messages of (2),
Figure FDA0002934193710000055
representing the symbol transmitted by the 1 st user on the 1 st slot,
Figure FDA0002934193710000056
Figure FDA0002934193710000057
denotes all AND variables at the t-th iteration
Figure FDA0002934193710000058
The relevant factor being passed to the variable
Figure FDA0002934193710000059
The average of the forward messages of (2),
Figure FDA00029341937100000510
representing the symbol transmitted by the kth user on the 1 st slot,
Figure FDA00029341937100000511
Figure FDA00029341937100000512
denotes all AND variables at the t-th iteration
Figure FDA00029341937100000513
The relevant factor being passed to the variable
Figure FDA00029341937100000514
The average of the forward messages of (2),
Figure FDA00029341937100000515
representing the symbol transmitted by the 1 st user on the 2 nd slot,
Figure FDA00029341937100000516
Figure FDA00029341937100000517
denotes all AND variables at the t-th iteration
Figure FDA00029341937100000518
The relevant factor being passed to the variable
Figure FDA00029341937100000519
The average of the forward messages of (2),
Figure FDA00029341937100000520
representing the symbol transmitted by the kth user on the 2 nd slot,
Figure FDA00029341937100000521
Figure FDA00029341937100000522
denotes all AND variables at the t-th iteration
Figure FDA00029341937100000523
The relevant factor being passed to the variable
Figure FDA00029341937100000524
The average of the forward messages of (2),
Figure FDA00029341937100000525
representing the symbol transmitted by the 1 st user on the 3 rd slot,
Figure FDA00029341937100000526
Figure FDA00029341937100000527
denotes all AND variables at the t-th iteration
Figure FDA00029341937100000537
The relevant factor being passed to the variable
Figure FDA00029341937100000528
The average of the forward messages of (2),
Figure FDA00029341937100000529
representing the symbol transmitted by the kth user on the 3 rd slot,
Figure FDA00029341937100000530
Figure FDA00029341937100000531
denotes all AND variables at the t-th iteration
Figure FDA00029341937100000532
The relevant factor being passed to the variable
Figure FDA00029341937100000533
The average of the forward messages of (2),
Figure FDA00029341937100000534
represents the symbol transmitted by the Kth user on the J-th time slot, 1 is more than or equal to eta is less than or equal to L,
Figure FDA00029341937100000535
z1is shown for r1Corresponding hidden variables, z, introducedLIs shown for rLThe corresponding hidden variable introduced, Γ ═ M + 1;
step 3_ 7: the joint probability density function of the vector r, the hidden variable matrix Z, the parameter σ, the parameter μ, and the parameter τ is denoted as p (r, Z, σ, μ, τ), p (r, Z, σ, μ, τ) p (Z | σ) p (σ) p (μ | τ) p (τ); wherein p (r | Z, μ, τ) represents the probability of r under the condition that Z, μ, and τ are known,
Figure FDA00029341937100000536
Φ is M +1, Φ is the total number of symbols in the set Δ', Γ Φ,
Figure FDA0002934193710000061
Figure FDA0002934193710000062
corresponding to the 1 st symbol, … …, the st symbol in Δ
Figure FDA0002934193710000063
Symbol # … …, symbol # phi,
Figure FDA0002934193710000064
line η of Z
Figure FDA0002934193710000065
The elements of the column are,
Figure FDA0002934193710000066
has values of only 0 and 1, and the eta row vector Z of ZηWith only one 1 and the others all being 0,
Figure FDA0002934193710000067
represents the variable rηObey mean value of
Figure FDA0002934193710000068
Variance is tau-1Of a complex Gaussian distribution of probability density functions, in
Figure FDA0002934193710000069
Mu is mean value
Figure FDA00029341937100000610
The parameter for scaling, τ, is the precision, p (Z | σ) represents the probability of Z with σ known,
Figure FDA00029341937100000611
is a distribution of a polynomial expression,
Figure FDA00029341937100000612
the second in a vector σ of length Φ
Figure FDA00029341937100000613
An element, σ denotes a vector composed of phi mixture coefficients of gaussian distributions, p (σ) denotes a prior probability of σ,
Figure FDA00029341937100000614
Figure FDA00029341937100000615
is a dirichlet distribution and is,
Figure FDA00029341937100000616
is a parameter of p (sigma),
Figure FDA00029341937100000617
is a vector of length phi and,
Figure FDA00029341937100000618
β0is composed of
Figure FDA00029341937100000619
The elements (A) and (B) in (B),
Figure FDA00029341937100000620
is a normalization constant for p (σ), p (μ | τ) represents the probability of μ given τ is known,
Figure FDA00029341937100000621
Figure FDA00029341937100000622
representing the variable μ obeying to mean μ0Variance of (gamma)0τ)-1Is determined as a function of the probability density of the gaussian distribution of (a),
Figure FDA00029341937100000623
denotes a Gaussian distribution,. mu.0And gamma0All of which are hyper-parameters, p (τ) represents the prior probability of τ, p (τ) is Gam (τ | a)0,b0),Gam(τ|a0,b0) Denotes τ obedience parameter as a0And b0Gamma distribution of (a)0And b0Are all hyper-parameters;
step 3_ 8: according to a variational Bayes inference algorithm, a variational distribution is represented by q (), and the variational distribution of a hidden variable matrix Z, a parameter sigma, a parameter mu and a parameter tau is represented as q (Z, sigma, mu, tau), q (Z, sigma, mu, tau) is q (Z) q (sigma) q (mu, tau); wherein q (Z) represents a variation distribution of the hidden variable matrix Z,
Figure FDA00029341937100000624
Figure FDA00029341937100000625
is a distribution of a polynomial expression,
Figure FDA00029341937100000626
Figure FDA0002934193710000071
exp () represents an exponential function based on the natural base e, ln () represents a logarithmic function based on the natural base e, the symbol "|" is a modulo operation symbol,
Figure FDA0002934193710000072
Figure FDA0002934193710000073
according to
Figure FDA0002934193710000074
Calculated, E () represents expectation, q (sigma) represents variation distribution of parameter sigma,
Figure FDA0002934193710000075
Figure FDA0002934193710000076
is a dirichlet distribution and is,
Figure FDA0002934193710000077
is a parameter of q (sigma),
Figure FDA0002934193710000078
is a vector of length phi and,
Figure FDA0002934193710000079
beta' is
Figure FDA00029341937100000710
The elements (A) and (B) in (B),
Figure FDA00029341937100000711
is a normalization constant for q (sigma),
Figure FDA00029341937100000712
q (mu, tau) represents the variation distribution of the parameter mu and the parameter tau,
Figure FDA00029341937100000713
mu ', gamma', a 'and b' are all hyperparameters, and
Figure FDA00029341937100000714
Figure FDA00029341937100000715
a'=a0+Φ,
Figure FDA00029341937100000716
Figure FDA00029341937100000717
representing the variable μ obeying a mean of μ 'and a variance of (γ' τ)-1Is determined, Gam (τ | a ', b') denotes a Gamma distribution with τ obedience parameters a 'and b',
Figure FDA00029341937100000718
E(ln(τ))=ψ(a')-ψ(b'),
Figure FDA00029341937100000719
ψ () is a digamma function,
Figure FDA00029341937100000720
re () represents the value of the real part of the complex number ()*Represents the conjugate of a complex number;
step 3_ 9: let t 'represent the iteration number of the inner loop, and the initialized value of t' is 1;
step 3_ 10: calculate the value of β ' at the t ' iteration, denoted as β '(t')
Figure FDA00029341937100000721
And calculating the value of gamma ' at the t ' iteration, noted as gamma '(t')
Figure FDA00029341937100000722
Calculate the value of μ ' at the t ' iteration, denoted μ '(t')
Figure FDA0002934193710000081
Calculate the value of a ' at the t ' iteration, denoted as a '(t'),a'(t')=a0+ phi; calculate the value of b ' at the t ' iteration, denoted as b '(t')
Figure FDA0002934193710000082
Wherein, beta0Is greater than Φ, when t' is 1 and
Figure FDA0002934193710000083
time of flight
Figure FDA0002934193710000084
Equal to 0.5, when t' is 1 and
Figure FDA0002934193710000085
time-piece
Figure FDA0002934193710000086
Is equal to
Figure FDA0002934193710000087
When t' > 1
Figure FDA0002934193710000088
Indicated at the t' -1 th iteration
Figure FDA0002934193710000089
Value of (a), γ0Is greater than or equal to 1000, mu0Is greater than or equal to 1, a0Is greater than or equal to 100, b0Is greater than 0 and less than or equal to 1;
step 3_ 11: the calculation is at the t' th iteration
Figure FDA00029341937100000810
Is given as
Figure FDA00029341937100000811
Figure FDA00029341937100000812
Wherein the content of the first and second substances,
Figure FDA00029341937100000813
Figure FDA00029341937100000814
according to
Figure FDA00029341937100000815
The calculation formula is obtained by calculation;
step 3_ 12: judging whether the iteration number t' of the inner loop reaches the maximum iteration number t of the inner loopmaxIf yes, stopping the iterative process of the inner loop, and then executing the step 3_ 13; if not, let a0=a'(t'),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')T' +1, and then returning to step 3_10 to continue execution; wherein, tmax'≥2000,a0=a'(t′),b0=b'(t'),μ0=μ'(t'),γ0=γ'(t'),β0=β'(t')The ' in t ' ═ t ' +1 is an assigned symbol;
step 3_ 13: judging whether the iteration number t of the outer loop reaches the maximum iteration number t of the outer loopmaxIf yes, stopping the iteration process of the outer loop, and executing the step 4; if not, obtaining a matrix
Figure FDA00029341937100000816
Figure FDA00029341937100000817
The eta line of
Figure FDA0002934193710000091
Column element of
Figure FDA0002934193710000092
Then let t be t +1, introduce a column vector of length phi
Figure FDA0002934193710000093
Figure FDA0002934193710000094
Order to
Figure FDA0002934193710000095
Figure FDA0002934193710000096
Is a column vector of dimension Lx 1, let
Figure FDA0002934193710000097
Column vector of dimension Lx 1
Figure FDA0002934193710000098
Conversion into a matrix of dimensions K J
Figure FDA0002934193710000099
Column vector of dimension Lx 1
Figure FDA00029341937100000910
Conversion into a matrix of dimensions K J
Figure FDA00029341937100000911
The conversion process is as follows: the 1 st column of the matrix of dimension K × J is the 1 st to Kth rows of the vector of dimension L × 1, the 2 nd column of the matrix of dimension K × J is the K +1 st to 2 Kth rows of the vector of dimension L × 1, the J th column of the matrix of dimension K × J is the Kx (J-1) +1 st to L th rows of the vector of dimension L × 1, so that
Figure FDA00029341937100000912
Is equal to the matrix
Figure FDA00029341937100000913
The value of the kth row and the jth column of (1), and
Figure FDA00029341937100000914
is equal to the matrix
Figure FDA00029341937100000915
The value of the jth row and jth column of the program code is returned to the step 3_2 to be continuously executed; wherein, tmax≥10,
Figure FDA00029341937100000916
Is shown at tmaxUnder' a number of iterations
Figure FDA00029341937100000917
The value of (a) is set to (b),
Figure FDA00029341937100000918
all the vectors are introduced intermediate vectors, the symbol "|" is a modulus operation symbol, and the symbol "═ in t + 1" ═ is an assignment symbol;
and 4, step 4: obtaining a matrix
Figure FDA00029341937100000919
Figure FDA00029341937100000920
The eta line of
Figure FDA00029341937100000921
Column element of
Figure FDA00029341937100000922
Extracting to obtain
Figure FDA00029341937100000923
The column numbers of the columns in which the L maximum values are arranged in the order of the row numbers of the rows in which the maximum values are arranged to form a column vector with dimension L × 1, which is written as
Figure FDA00029341937100000924
Figure FDA00029341937100000925
Will be provided with
Figure FDA00029341937100000926
Re-expressed as a matrix of dimension K J
Figure FDA00029341937100000927
Figure FDA00029341937100000928
Is the 1 st column vector of
Figure FDA00029341937100000929
Figure FDA00029341937100000930
Is the 2 nd column vector of
Figure FDA00029341937100000931
Figure FDA00029341937100000932
Is the J-th column vector of
Figure FDA00029341937100000933
Figure FDA00029341937100000934
The kth row and jth column of (A) elements are
Figure FDA00029341937100000935
If it is
Figure FDA00029341937100000936
Then the kth user is considered to be inactive in the jth time slot, and the multi-user detection result is 0; if it is
Figure FDA00029341937100000937
Then the k-th user is considered to be active on the j-th slot and the multi-user detection result is the th in delta
Figure FDA00029341937100000938
The number of the cells; wherein the content of the first and second substances,
Figure FDA00029341937100000939
is shown at tmaxUnder' a number of iterations
Figure FDA00029341937100000940
The value of (a) is,
Figure FDA00029341937100000941
corresponding representation
Figure FDA00029341937100000942
Column number … … of the column in which the maximum value in row 1 is located,
Figure FDA00029341937100000943
Column number of the column in which the maximum value in the K-th row of (1) is located,
Figure FDA00029341937100000944
Column number of the column in which the maximum value in the K +1 th row is located, … …,
Figure FDA00029341937100000945
Column number of the column in which the maximum value in the 2K-th row is located, … …,
Figure FDA0002934193710000101
Column No. … …, column No. of the maximum value in Kx (J-1) +1 line,
Figure FDA0002934193710000102
The column number of the column in which the maximum value in the lth row of (1) is located,
Figure FDA0002934193710000103
is a positive integer of 1 to phi,
Figure FDA0002934193710000104
CN202110154711.4A 2021-02-04 2021-02-04 User activity and multi-user joint detection method Active CN113067667B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202110154711.4A CN113067667B (en) 2021-02-04 2021-02-04 User activity and multi-user joint detection method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202110154711.4A CN113067667B (en) 2021-02-04 2021-02-04 User activity and multi-user joint detection method

Publications (2)

Publication Number Publication Date
CN113067667A CN113067667A (en) 2021-07-02
CN113067667B true CN113067667B (en) 2022-05-20

Family

ID=76558653

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202110154711.4A Active CN113067667B (en) 2021-02-04 2021-02-04 User activity and multi-user joint detection method

Country Status (1)

Country Link
CN (1) CN113067667B (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114584437B (en) * 2022-05-06 2022-07-01 北京理工大学 Semi-blind message detection method and device of single handshake protocol
CN116032317B (en) * 2023-01-09 2024-04-02 西南交通大学 Authorization-free combined active user and data detection method

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108540410A (en) * 2018-03-06 2018-09-14 东南大学 Exempt from the system combined any active ues detection of scheduled transmission and channel estimation methods
CN108566227A (en) * 2018-01-20 2018-09-21 西安交通大学 A kind of multi-user test method
CN110784286A (en) * 2019-11-01 2020-02-11 重庆邮电大学 Multi-user detection method of non-orthogonal multiple access system based on compressed sensing
CN112242861A (en) * 2020-09-01 2021-01-19 宁波大学 User activity and signal joint detection method of large-scale MIMO system

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7035354B2 (en) * 2000-12-08 2006-04-25 International Business Machine Corporation CDMA multi-user detection with a real symbol constellation
US9042493B2 (en) * 2012-11-27 2015-05-26 Samsung Electronics Co., Ltd. Method and apparatus for iteratively detecting and decoding signal in communication system with multiple-input and multiple-out (MIMO) channel

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108566227A (en) * 2018-01-20 2018-09-21 西安交通大学 A kind of multi-user test method
CN108540410A (en) * 2018-03-06 2018-09-14 东南大学 Exempt from the system combined any active ues detection of scheduled transmission and channel estimation methods
CN110784286A (en) * 2019-11-01 2020-02-11 重庆邮电大学 Multi-user detection method of non-orthogonal multiple access system based on compressed sensing
CN112242861A (en) * 2020-09-01 2021-01-19 宁波大学 User activity and signal joint detection method of large-scale MIMO system

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
Compressive Sensing based User Activity Detection;王元辰等;《IEEE》;20200528;全文 *
一种大规模MIMO 系统的联合用户活跃性和信号检测方法;宋晓群,金明,贾忠杰;《电信科学》;20201231;全文 *
一种联合信道估计与多用户检测的新型算法;陈发堂等;《南京邮电大学学报(自然科学版)》;20200615(第03期);全文 *

Also Published As

Publication number Publication date
CN113067667A (en) 2021-07-02

Similar Documents

Publication Publication Date Title
CN111698182B (en) Time-frequency blocking sparse channel estimation method based on compressed sensing
Yuan et al. Iterative receiver design for FTN signaling aided sparse code multiple access
Yuan et al. Iterative joint channel estimation, user activity tracking, and data detection for FTN-NOMA systems supporting random access
CN113067667B (en) User activity and multi-user joint detection method
Lee et al. Adaptive transmission scheduling in wireless networks for asynchronous federated learning
CN107276646B (en) Large-scale MIMO-OFDM uplink iteration detection method
CN109951214B (en) Signal detection method suitable for large-scale MIMO system
CN108111441A (en) Channel estimation methods based on variational Bayesian
Zhang et al. A low-complexity message passing detector for OTFS modulation with probability clipping
CN102006148B (en) Multiple-input multiple-output (MIMO) signal detection method based on breadth-first tree search
CN109474388B (en) Low-complexity MIMO-NOMA system signal detection method based on improved gradient projection method
CN108964725B (en) Sparse estimation method of channel parameters in time-varying large-scale MIMO network
CN108259397B (en) Large-scale MIMO system channel estimation method based on adaptive regularization subspace tracking compressed sensing algorithm
CN113067666B (en) User activity and multi-user joint detection method of NOMA system
CN108259398A (en) The channel estimation methods of COMPLEX MIXED model based on variational Bayesian
Wang et al. Joint Bayesian channel estimation and data detection for OTFS systems in LEO satellite communications
Jamali et al. A low-complexity recursive approach toward code-domain NOMA for massive communications
CN114205203B (en) OFDM-based satellite Internet of things large-scale access design method
US8675780B2 (en) Multiple input multiple output (MIMO) transmitted signal vector estimation employing Monte Carlo sampling techniques
CN114500322B (en) Method for detecting device activity and estimating channel under unauthorized large-scale access scene
CN114285523B (en) Multi-service-demand-oriented large-scale MTC (machine type communication) unlicensed multi-user detection method and system
CN113067668B (en) Method for performing activity and signal joint detection aiming at MMV model
Qiao et al. Unsourced massive access-based digital over-the-air computation for efficient federated edge learning
CN106789822B (en) Method and system for reducing peak-to-average power ratio of multi-user large-scale MIMO-OFDM system
Wang et al. On the performance of integrated orthogonal time frequency space framework based on WFRFT

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
TR01 Transfer of patent right

Effective date of registration: 20230918

Address after: Building B, Phase I, Qianhai Economic and Trade Center, China Merchants Group, No. 151 Zimao West Street, Nanshan Street, Qianhai Shenzhen-Hong Kong Cooperation Zone, Shenzhen, Guangdong Province, 518000, 2003

Patentee after: Shenzhen xinyuehui Network Technology Co.,Ltd.

Address before: 509 Kangrui Times Square, Keyuan Business Building, 39 Huarong Road, Gaofeng Community, Dalang Street, Longhua District, Shenzhen, Guangdong Province, 518000

Patentee before: Shenzhen lizhuan Technology Transfer Center Co.,Ltd.

Effective date of registration: 20230918

Address after: 509 Kangrui Times Square, Keyuan Business Building, 39 Huarong Road, Gaofeng Community, Dalang Street, Longhua District, Shenzhen, Guangdong Province, 518000

Patentee after: Shenzhen lizhuan Technology Transfer Center Co.,Ltd.

Address before: 315211, Fenghua Road, Jiangbei District, Zhejiang, Ningbo 818

Patentee before: Ningbo University

TR01 Transfer of patent right