IEEE 802.15.4网络的IPv6报头压缩研究

研究IETF草案在IEEE 802.15.4网络进行IPv6分组的传输的基础上,提出了一种基于IEEE 802.15.4网络的IPv6报头压缩方案.通过修改适配层帧格式及使用路由标识符,该方案的压缩报头比草案的压缩报头小7个字节,并且它兼容现有IETF草案.在实验平台上的测试结果表明,使用本方案能够延长节点生存期.     

Rapid growth and sterility of growth hormone gene transgenic triploid carp

Triploid carp (100%) with 150 (3n=150) chromosomes were obtained by crossing the females of improved tetraploid hybrids (♀, 4n=200) of red crucian carp (♀)×common carp (♂) with the males of diploid yellow river carp (♂, 2n=100). The crosses yielded transgenic triploid carp (positive triploid fish, 44.2% of the progeny) and non-transgenic triploid carp (negative triploid fish). Histological examination of the gonads of 24-month-old positive triploid fish suggested they were sterile and the fish were not able to produce mature gametes during the breeding season. Morphologically, both the positive and negative triploid fish were similar. They had a spindle-shaped, laterally compressed, steel grey body with two pairs of barbells. Most of the quantifiable traits of the triploid carp were intermediate between those of the two parents. The positive and negative triploid fish were raised in the same pond for 2 years. The mean body weight of the positive triploid fish was 2.3 times higher than the negative triploid fish. The weight of the largest positive triploid fish was 2.91 times higher than that of the largest negative triploid fish. Thus, we produced fast-growing transgenic triploid carp that have a reduced ecological risk because of their inability to mate and produce progeny.     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。     

宽带认知无线电网络分布式协作压缩频谱感知算法

针对宽带认知无线电网络中压缩频谱感知算法在低信噪比环境下频谱检测性能下降的问题,提出了一种基于高斯过程的分布式压缩频谱感知(PBCS)算法.首先应用层次化的正态分布概率模型来表示压缩频谱的重构,然后各个认知无线电用户交换模型参数并结合本地的压缩采样数据进行压缩频谱感知.有别于其他直接融合频谱感知结果或检测数据的协作式算法,PBCS算法通过模型参数融合来进行协作,能有效减小信噪比低的协作用户的影响,从而提高算法的抗噪性.仿真结果表明,PBCS算法可以在-5dB的信噪比条件下达到检测概率大于0.9、误检概率为0.1的频谱检测性能.     

采用非结构网格的IDEAL算法实现及定压边界条件处理

在非结构网格系统中采用有限容积法对不可压N-S方程进行了离散,其中对流项采用二阶迎风格式,扩散项采用超松弛校正格式.通过修正的动量插值格式构造了压力方程,利用IDEAL算法处理压力与速度的耦合.利用Taylor展式导出了邻近边界内节点的压力计算公式,进而将边界静压引入到压力方程的迭代计算中,确保了边界信息向内部区域的有效传递.根据质量守恒定律分别导出了压力入口和出口边界的速度计算公式,结合伯努利定律给出了总压边界的处理方法.通过压力驱动管内层流、三通管层流以及浮力驱动流等几个典型算例对文中方法进行了考核,并将计算结果与文献中的基准解和实验值进行了对比.结果表明,不管是静压边界还是总压边界,采用该处理方法均能获得令人满意的结果,尤其对于大空间自然对流问题,可以在保证精度的前提下节省大量的存储空间和运算时间.     

一类带时滞的Duffing方程概周期解的存在性

运用压缩映射原理,研究如下非自治系统:x″(t)+cx′(t)-a(t)x(t)+b(t)x(″)(t-k(t))=p(t)的概周期解的存在唯一性,并给出其概周期解存在且唯一的充分条件.所得结果推广了冯春华的主要结果及ZhouQiyuan等的有关结果.     

他只是一个代码……

史蒂文斯一觉醒来,发现自己正坐在一辆飞驰的列车上,对面那名女子正在和他说话。史蒂文斯十分奇怪,因为他记忆中的自己,是一名美国空军飞行员,此时应该正在阿富汗执行任务。而现在,他不知道自己为什么会在这辆列车上,而且也不知道自己姓甚名谁。正当他疑惑之际,列车突然发生了爆炸,他和整个车厢的乘客     

中介坐标-动量表象的性质及应用

利用有序算符内的积分技术通过构造高斯型积分推导出了转动的光场正交分量λ (Q)+v(P)的本征态|x>λ,v,以此为基组构成了介于坐标表象和动量表象之间的一类新表象.利用该表象求解了算符exp[-f(λ (Q)+v(P))2]和(λ(Q)+v(P))n的正规积,并构造了一个新的幺正算符,将该算符作用到真空态上即可产生一个新的量子光学压缩态.     

基于低代码开发范式的Web Service生成方法

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。     

Banach空间二阶非线性脉冲积分微分方程边值问题解的存在性

利用Darbo不动点定理．讨论了二阶非线性脉冲积分微分方程的边值问题,在较弱的条件下得到广解的存在性。