期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
Anisotropic Liouville theorem for the three-dimensional stationary tropical climate model
1
作者 ZHANG Wenbin ZHANG Yong WU Jiachen 《中山大学学报(自然科学版)(中英文)》 北大核心 2025年第4期102-108,共7页
The central trinomial coefficient T_(n)denotes the coefficient of x^(n)in the expansion of(1+x+x^(2))^(n).We prove a congruence related to the sums of the central trinomial coefficient and the central binomial coeffic... The central trinomial coefficient T_(n)denotes the coefficient of x^(n)in the expansion of(1+x+x^(2))^(n).We prove a congruence related to the sums of the central trinomial coefficient and the central binomial coefficient,which was conjectured by Z.-W.Sun. 展开更多
关键词 supercongruences central trinomial coefficients central binomial coefficients Fermat quotient Legendre symbol
在线阅读 下载PDF
循环ALCN-Tbox具有模型的条件 被引量:13
2
作者 曹发生 余泉 +1 位作者 王驹 蒋运承 《计算机学报》 EI CSCD 北大核心 2008年第1期16-23,共8页
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone... 分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件. 展开更多
关键词 循环ALCN—Tbox NAME SYMBOL 最小不动点模型 最大不动点模型 Tbox单调
在线阅读 下载PDF
SAL框架下的安全协议分析技术研究
3
作者 李超 董荣胜 郭云川 《计算机科学》 CSCD 北大核心 2006年第B12期40-43,共4页
SAL是一种新的结合模型检验和定理证明技术的分析框架。它使用一种过渡性的中间语言将不同验证工具统一在其框架之中,以便保证安全协议的验证不会顾此失彼。本文对基于SAL框架下的安全协议分析技术进行了研究,介绍了SAL中间语言描述... SAL是一种新的结合模型检验和定理证明技术的分析框架。它使用一种过渡性的中间语言将不同验证工具统一在其框架之中,以便保证安全协议的验证不会顾此失彼。本文对基于SAL框架下的安全协议分析技术进行了研究,介绍了SAL中间语言描述安全协议的方法,包括消息项中协议主体、入侵者、现时值、公私密钥、对称密钥、加密、解密、DH问题等的描述,协议规则与性质的描述,给出了在SAL下刻画入侵者模型和建立通信模型的一般方法,并以经典的NSPK协议为例,找到了一个已知的认证性攻击。 展开更多
关键词 SAL(Symbolic ANALYSIS Laboratory) 模型检验 定理证明 安全协议 NSPK协议
在线阅读 下载PDF
常用学龄前儿童视力表检查概述 被引量:8
4
作者 宋磊 胡建民 《中华实验眼科杂志》 CAS CSCD 北大核心 2018年第3期231-235,共5页
学龄前期是儿童视力发育的重要阶段,视觉问题会影响儿童的正常视觉发育,降低儿童的生活质量和日常活动能力,所以对学龄前儿童进行视力检查十分必要。视力表检查作为一种重要的视功能检查方法,可以用来早期筛查儿童的眼病。临床上用... 学龄前期是儿童视力发育的重要阶段,视觉问题会影响儿童的正常视觉发育,降低儿童的生活质量和日常活动能力,所以对学龄前儿童进行视力检查十分必要。视力表检查作为一种重要的视功能检查方法,可以用来早期筛查儿童的眼病。临床上用于3~6岁学龄前儿童视力检查的视力表种类众多,包括E字形视力表、字母视力表和图形视力表等。本文介绍了视力表的设计原理及常用视标类型,列举了几种常用于检查儿童视力的视力表,包括国际标准视力表、标准对数视力表、Snellen视力表、ETDRS视力表、HOTV视力表和Lea Symbols视力表等,并分析了几种视力表在学龄前儿童中的比较研究。根据儿童的年龄、视力发育规律、检查配合程度以及临床需要来选择合适的视力表检查方法能早期发现各种视觉障碍并实施早期干预,提高儿童眼病的防治水平。 展开更多
关键词 学龄前儿童 视力表 LEA Symbols视力表
在线阅读 下载PDF
Carrier frequency and symbol rate estimation based on cyclic spectrum 被引量:5
5
作者 CAO Sisi ZHANG Weiyan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2020年第1期37-44,共8页
Carrier frequency and symbol rate estimation are the main contents of parameter estimation,which is the basis of modulation recognition and further processing of signals especially in non-cooperative communication.Wit... Carrier frequency and symbol rate estimation are the main contents of parameter estimation,which is the basis of modulation recognition and further processing of signals especially in non-cooperative communication.With the development of wireless communication,the signal transmission environment has become increasingly bad,causing more difficulties in parameter estimation.It is well known that the signal cycle spectrum is robust to noises and signal parameters are closely related.In practice,it is impossible to calculate the cyclic spectrum of infinite length data signals.When using finite length data to obtain a cycle spectrum,the truncation noise is induced,resulting in interference.It is necessary to overcome the influence of noises in order to improve the detection ability of discrete spectral lines.An improved method of the discrete spectral line extraction algorithm is proposed by reflecting the amplitude advantage of discrete spectral lines through salient features of continuous noises in discrete spectral line neighborhood. 展开更多
关键词 digital modulation signal carrier frequency symbol rate cyclic spectrum noise control
在线阅读 下载PDF
Angle estimation for bistatic MIMO radar with unknown mutual coupling based on three-way compressive sensing 被引量:4
6
作者 Xinhai Wang Gong Zhang +2 位作者 Fangqing Wen De Ben Wenbo Liu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2017年第2期257-266,共10页
The problem of angle estimation for bistatic multiple-input multiple-output radar in the present of unknown mutual coupling (MC) is investigated, and a three-way compressive sensing (TWCS) estimation algorithm is deve... The problem of angle estimation for bistatic multiple-input multiple-output radar in the present of unknown mutual coupling (MC) is investigated, and a three-way compressive sensing (TWCS) estimation algorithm is developed. To exploit the inherent multi-dimensional structure of received data, a trilinear tensor model is firstly formulated. Then the de-coupling operation is followed. Thereafter, the high-order singular value decomposition is applied to compress the high dimensional tensor to a much smaller one. The estimation of the compressed direction matrices are linked to the compressed trilinear model, and finally two over-complete dictionaries are constructed for angle estimation. Also, Cramer-Rao bounds for angle and MC estimation are derived. The proposed TWCS algorithm is effective from the perspective of estimation accuracy as well as the computational complexity, and it can achieve automatically paired angle estimation. Simulation results show that the proposed method has much better estimation accuracy than the existing algorithms in the low signal-to-noise ratio scenario, and its estimation performance is very close to the parallel factor analysis (PARAFAC) algorithm at the high SNR regions. © 2017 Beijing Institute of Aerospace Information. 展开更多
关键词 Channel estimation Codes (symbols) Compressed sensing Cramer Rao bounds Feedback control MIMO radar MIMO systems Radar Radar signal processing Signal reconstruction Singular value decomposition Telecommunication repeaters TENSORS
在线阅读 下载PDF
The Symbolic Significance of the Rose in A Rose for Emily 被引量:2
7
作者 刘琳 《兰州大学学报(社会科学版)》 CSSCI 北大核心 2010年第F00期126-128,共3页
A Rose for Emily is one of the masterpieces of William Falkner.This paper intends to analyze the symbolic meaning of the rose,and the relationship between the rose and Emily, trying to provide people a thorough unders... A Rose for Emily is one of the masterpieces of William Falkner.This paper intends to analyze the symbolic meaning of the rose,and the relationship between the rose and Emily, trying to provide people a thorough understanding of the theme and the heroine's personality. 展开更多
关键词 William Falkner A Rose for Emily ROSE EMILY SYMBOLISM tragic love south tradition
在线阅读 下载PDF
Building fire zone model with symbolic mathematics
8
作者 武红梅 郜冶 周允基 《Journal of Central South University》 SCIE EI CAS 2009年第S1期224-229,共6页
To apply the fire modelling for the fire engineer with symbolic mathematics,the key equations of a zone model were demonstrated. There were thirteen variables with nine constraints,so only four ordinary differential e... To apply the fire modelling for the fire engineer with symbolic mathematics,the key equations of a zone model were demonstrated. There were thirteen variables with nine constraints,so only four ordinary differential equations (ODEs) were required to solve. A typical fire modelling with two-room structure was studied. Accordingly,the source terms included in the ODEs were simplified and modelled,and the fourth Runge-Kutta method was used to solve the ordinary differential equations (ODEs) with symbolic mathematics. Then a zone model could be used with symbolic mathematics. It is proposed that symbolic mathematics is possible for use by fire engineer. 展开更多
关键词 ZONE MODEL FIRE SYMBOLIC MATHEMATICS FIRE ENGINEERING
在线阅读 下载PDF
Joint channel estimation and symbol detection for space-time block code
9
作者 单淑伟 罗汉文 宋文涛 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第3期266-269,共4页
The simplified joint channel estimation and symbol detection based on the EM (expectation-maximization) algorithm for space-time block code (STBC) are proposed. By assuming channel to be invariant within only one STBC... The simplified joint channel estimation and symbol detection based on the EM (expectation-maximization) algorithm for space-time block code (STBC) are proposed. By assuming channel to be invariant within only one STBC word and utilizing the orthogonal structure of STBC, the computational complexity and cost of this algorithm are both very low, so it is very suitable to implementation in real systems. 展开更多
关键词 space-time block code expectation-maximization algorithm channel estimation symbol detection.
在线阅读 下载PDF
Phase-domain blind estimation of symbol duration based on Haar wavelet transform
10
作者 Zhenmiao Deng Yu Liu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2010年第3期375-381,共7页
A phase-domain blind estimator of symbol duration based on Haar wavelet transform(HWT) is proposed.It can estimate the symbol duration of phase modulated signals,such as M-ary phase-shift keying(MPSK) signals and ... A phase-domain blind estimator of symbol duration based on Haar wavelet transform(HWT) is proposed.It can estimate the symbol duration of phase modulated signals,such as M-ary phase-shift keying(MPSK) signals and polyphase coded signals.The closed form of the spectrum of HWT is derived.Theoretical analysis shows the frequency of the first spectral peak is equal to the symbol rate,which is the reciprocal of symbol duration.Thus the symbol duration can be extracted from the spectrum.Subsequently,the optimum wavelet scale is determined according to the maximum output signal to noise ratio(OSNR) criterion.MAT-LAB simulations show that this algorithm can blindly estimate the symbol duration without any prior knowledge.This estimator need not estimate the carrier frequency and has the characteristics of low computation complexity and high accuracy. 展开更多
关键词 symbol duration M-ary phase-shift keying(MPSK) polyphase coded signal Haar wavelet.
在线阅读 下载PDF
Symbols detection for frequency-selective V-BLAST OFDM systems
11
作者 WuXiaojun LiXing WangJilong 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第2期418-425,共8页
As the combining form of the orthogonal frequency-division multiplexing (OFDM) technique and the vertical Bell Labs layered space-time (V-BLAST) architecture, the V-BLAST OFDM system can better meet the demand of next... As the combining form of the orthogonal frequency-division multiplexing (OFDM) technique and the vertical Bell Labs layered space-time (V-BLAST) architecture, the V-BLAST OFDM system can better meet the demand of next-generation (NextG) broadband mobile wireless multimedia communications. The symbols detection problem of the V-BLAST OFDM system is investigated under the frequency-selective fading environment. The joint space-frequency demultiplexing operation is proposed in the V-BLAST OFDM system. Successively, one novel half-rate rotational invariance joint space-frequency coding scheme for the V-BLAST OFDM system is proposed. By elegantly exploiting the above rotational invariance property, we derive one direct symbols detection scheme without knowing channels state information (CSI) for the frequency-selective V-BLAST OFDM system. Extensive simulation results demonstrate the validity of the novel half-rate rotational invariance joint space-frequency coding scheme and the performance of the direct symbols detection scheme. 展开更多
关键词 orthogonal frequency-division multiplexing vertical Bell Labs layered space-time architecture symbols detection frequency-selective fading joint space-frequency demultiplexing rotational invariance joint space-frequency coding.
在线阅读 下载PDF
自编程序用计算机做练习
12
作者 方征宇 《化学教学》 CAS 北大核心 1989年第5期49-50,共2页
化学中的元素符号、原子序数、电子排布式较难学,难记。我设计了以下这段程序,由计算机出题目,学生进行回答,并由计算机判断正误,给出成绩和评语,达到强化这知识单元的目的。
关键词 自编程序 电子排布 PRINT 知识单元 NEXT SYMBOL ATOMIC Number Configuration READ
在线阅读 下载PDF
美国诗人罗伯特,佛洛斯特和他的“补墙”一诗中的象征意义
13
作者 李青青 《陕西科技大学学报(自然科学版)》 1996年第2期139-143,共5页
美国诗人罗伯特,佛洛斯特和他的“补墙”一诗中的象征意义李青青(外语教研室)AMERICANPOETROBERTFROSTANDTHESYMBOLISMINHISPOEM"MENDINGWALL"¥LiQingingA... 美国诗人罗伯特,佛洛斯特和他的“补墙”一诗中的象征意义李青青(外语教研室)AMERICANPOETROBERTFROSTANDTHESYMBOLISMINHISPOEM"MENDINGWALL"¥LiQingingAbstract:Thepapero... 展开更多
关键词 SYMBOLS walls RHYTHMS of colloquial SPEECH
在线阅读 下载PDF
The Suggestive Effects of Symbolism ——Writing Skills In Sister Carrie
14
作者 HT5SS]Yang Lili 1 Bai Limei 2 (1 Zhangye Normal College, Zhangye,734000 2.Northwest Normal University, Lanzhou, 730070, China) 《兰州大学学报(社会科学版)》 CSSCI 北大核心 2000年第S1期60-63,共4页
This article gives a brief analysis of an illustration of symbolism-one of Theodore Dreiser’s writing skills applied in his Sister Carrie. The application of symbolism provides some suggestive effects to this nov... This article gives a brief analysis of an illustration of symbolism-one of Theodore Dreiser’s writing skills applied in his Sister Carrie. The application of symbolism provides some suggestive effects to this novel, that is, it helps to establish the elements, reveal the reality and strengthen the themes, portray characters and buttress the concept, heighten the impact, etc. 展开更多
关键词 Dreiser Sister Carrie symbolism
在线阅读 下载PDF
Performance of M-QAM, M-DPSK and M-PSK with MRC diversity in a Nakagami-m fading channel
15
作者 Alam S.M.Shamsul Alam Choi GoangSeog 《Journal of Central South University》 SCIE EI CAS 2014年第4期1347-1352,共6页
The nature of a wireless communication channel is very unpredictable. To design a good communication link, it is required to know the statistical model of the channel accurately. The average symbol error probability(A... The nature of a wireless communication channel is very unpredictable. To design a good communication link, it is required to know the statistical model of the channel accurately. The average symbol error probability(ASER) was analyzed for different modulation schemes. A unified analytical framework was presented to obtain closed-form solutions for calculating the ASER of M-ary differential phase-shift keying(M-DPSK), coherent M-ary phase-shift keying(M-PSK), and quadrature amplitude modulation(QAM) over single or multiple Nakagami-m fading channels. Moreover, the ASER was estimated and evaluated by using the maximal ratio-combining(MRC) diversity technique. Simulation results show that an error rate of the fading channel typically depends on Nakagami parameters(m), space diversity(N), and symbol rate(M). A comparison between M-PSK, M-DPSK, and M-QAM modulation schemes was shown, and the results prove that M-ary QAM(M-QAM) demonstrates better performance compared to M-DPSK and M-PSK under all fading and non-fading conditions. 展开更多
关键词 M-ary differential phase-shift keying(M-DPSK) M-ary phase shift keying(M-PSK) Nakagami-m fading channel probability density function(PDF) symbol error rate(SER) M-ary quadrature amplitude modulation(M-QAM)
在线阅读 下载PDF
Quantitative Electrophilicity Measures
16
作者 GONZáLEZ Marco Martínez CáRDENAS Carlos +4 位作者 RODRíGUEZ Juan I. LIU Shubin HEIDAR-ZADEH Farnaz MIRANDA-QUINTANA Ramón Alain AYERS Paul W. 《物理化学学报》 SCIE CAS CSCD 北大核心 2018年第6期662-674,共13页
Quantitative correlation of several theoretical electrophilicity measures over different families of organic compounds are examined relative to the experimental values of Mayr et al.Notably,the ability to predict thes... Quantitative correlation of several theoretical electrophilicity measures over different families of organic compounds are examined relative to the experimental values of Mayr et al.Notably,the ability to predict these values accurately will help to elucidate the reactivity and selectivity trends observed in charge-transfer reactions.A crucial advantage of this theoretical approach is that itprovides this information without the need of experiments,which are often demanding and time-consuming.Here,two different types of electrophilicity measures were analyzed.First,models derived from conceptual density functional theory(c-DFT),including Parr's original proposal and further generalizations of this index,are investigated.For instance,the approaches of Gázquez et al.and Chamorro et al.are considered,whereby it is possible to distinguish between processes in which a molecule gains or loses electrons.Further,we also explored two novel electrophilicity definitions.On one hand,the potential of environmental perturbations to affect electron incorporation into a system is analyzed in terms of recent developments in c-DFT.These studies highlight the importance of considering the molecular surroundings when a consistent description of chemical reactivity is needed.On the other hand,we test a new definition of electrophilicity that is free from inconsistencies(so-called thermodynamic electrophilicity).This approach is based on Parr's pioneering insights,though it corrects issues present in the standard working expression for the calculation of electrophilicity.Additionally,we use machine-learning tools(i.e.,symbolic regression)to identify the models that best fit the experimental values.In this way,the best possible description of the electrophilicity values in terms of different electronic structure quantities is obtained.Overall,this straightforward approach enables one to obtain good correlations between the theoretical and experimental quantities by using the simple,yet powerful,interpretative advantage of c-DFT methods.In general,we observed that the correlations found at the HF/6-31 G(d)level of theory are of semi-quantitative value.To obtain more accurate results,we showed that working with families of compounds with similar functional groups is indispensable. 展开更多
关键词 Electrophilicity Conceptual density functional theory Symbolic regression Genetic programming Grammatical evolution
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部