一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

一个新的数论函数及其均值计算

定义了一个新的Smarandache函数,采用归纳、猜测、组合等方法求出均值A(N,n)的精确计算公式,推广和加强了相关结果.     

面向连续变量量子密钥分发的多边型LDPC码设计与性能分析

为满足连续变量量子密钥分发(continuous-variable quantum key distribution, CV-QKD)应用场景中对高性能低密度奇偶校验(low density parity check, LDPC)码的需求,提出了针对一类具有3种边类型且部分变量节点度为1的多边型LDPC(multi-edge type LDPC, MET-LDPC)码的设计方法。通过掩模到需要的度分布的方式设计左上角矩阵;采用基于多路径外在信息度(extrinsic message degree, EMD)策略的渐进边增长(progressive edge growth, PEG)算法设计左下角矩阵;将各部分矩阵组合在一起完成MET-LDPC码的设计。仿真结果表明,采用掩模加PEG算法设计的MET-LDPC码比单独用PEG算法设计的MET-LDPC码性能更优。     

主成分回归的主成分选择准则

结合回归自变量选择的Cp准则及平均残差平方和准则，讨论了利用主成分回归时如何选择主成分可在一定程度上避免人为性，提出了两个准则，以供实际应用时参考。     

一类线性变换的核分解问题

在一个多项式可分解为多个互质的多项式的基础上 ,对一类线性变换的核分解问题了研究 ,进一步阐明了它在线性空间分解中的应用     

基于卫星通信系统的多元RC-LDPC信息安全传输算法

基于卫星通信的信息传输极易通过无线信道被非法接收,导致信息泄露,因此本文在现有物理层安全研究的基础上,提出一种多元速率兼容低密度奇偶校验(rate compatible low density parity check,RC-LDPC)码的星地信道编码方法,并应用在自适应调制编码(adaptive modulation...     

风车的（模,整）和数

给出了风车图wnm（m≥3,m≠4,5,7,9）的一组整和标号,证明了风车图wnm（m≥3,m≠4,5,7,9）是整和图,并且进一步说明了wnm（m≥6,m≠7,9）是模和标号.     

Smarandache kn数列与除数和函数的混合均值

对任意整数1≤k≤9,如果数列{a(k,n)}中的每一个数都可以分成两部分,使得第二部分是第一部分的k倍,则该数列称作Smarandache kn数字数列.利用初等及组合方法研究Smaran-dache kn数字数列及除数和函数的混合均值性质,并给出一个有趣的渐近公式.     

除数和函数对Smarandache k次补数的混合均值

利用初等数论和解析数论方法研究了除数和函数复合函数与k次补数Ak(n)复合函数σ(A)k(n)的混合均值问题,给出一个有趣的渐近公式.     

无线寻呼接收机POCSAG码的软件译码

本文提出一种利用查表法纠错和检验法检错来对ＰＯＣＳＡＧ码中的ＢＣＨ（３１，２１）译码的方法，给出可纠两个错及检３个以上错的一航方法，也给出了纠１２个借检２个错的简单方法，提出的方法特别适用于寻呼接收用软件译码，工程应用证明正确无误。