上海昆虫博物馆长足寄蝇族鉴定名录(双翅目:寄蝇科)

整理了上海昆虫博物馆馆藏采自全国14个省、自治区的167号长足寄蝇族标本,形态分类鉴定出该族5属19种(包括7待定种);其中发现3中国新纪录种:斑特西寄蝇Trixa conspersa(Harris, 1776),核特西寄蝇T.pyrenaica Villeneuve, 1928和东方迪内寄蝇Dinera orientalis Zhang et Shima, 2006;增补了8个种的省级新分布地.     

自适应码率QC-LDPC码编码器的FPGA实现

准循环低密度奇偶校验码(QC-LDPC codes)相比其他的LDPc码具有简单的编码结构,拥有较好的应用前景.通过构造校验矩阵设计了不同码率和不同帧长的具有系统结构的QC-LDPC码,并分析了这些码的性能,随后将编码过程分阶段引入主从控制模块及复用基本SRAA组,设计了变码率和变帧长的编码器,并用Verilog HDL语言在Spartan 3 3s1500fg676芯片上实现了编码器的设计.综合报告表明:在使用适中的硬件资源情况下,系统最大频率达到了174.856 MHz,能满足高速编码的要求.     

汇编语言程序相似性检测混合算法

根据汇编语言自身的特点,提出了结合属性计数和结构度量技术的相似性检测混合算法.在该方法中,将程序段的数目、子程序定义和调用的次数、循环指令loop出现的次数、转移指令出现的次数作为结构信息,73个使用频率较高的关键字作为属性信息.在从汇编语言程序中提取这些信息后,利用卡方检验来判断2个程序的相似性.实验结果表明,从混合...     

新词语中词语模模标研究

从2006-2008年的新词语中统计出具有模型化特征的词语365条,所用词语模84个,其模标由49个类词缀和35个标记语素(词)组成。对本源性模标的选择,常注重其文字的视知觉效果、修辞意义、经济性原则等;而他源性模标,有的是本土语言空缺的产物,有的是与本土元素完美结合的外来词语。     

不动点定理在锥度量空间的推广

把度量空间的不动点定理推广到锥度量空间,得到了不动点定理在新的度量空间的一些有用的新结论.     

基于软核结构的软件复杂性分析与度量

针对大规模软件的复杂性难以度量和控制,以致严重影响了软件质量的问题,提出了一种基于软件基础结构的软件复杂性度量方法.通过对软核结构的提取和扩展操作,对软件结构中节点的继承深度进行了分析,从继承关系的角度对软件结构的复杂性进行度量.根据节点的继承深度与入度的关系,提出一种软件结构缺陷的检测方法,该方法可以在软件设计阶段及时检测出软件结构中的缺陷,以减少日后软件测试与维护的开销.     

浅析两种软件体系结构的安全风险评估方法

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统和产品线开发中的关键技术。体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策。本文针对体系结构本身的安全性风险这个问题,简单分析了两种风险评估的方法——基于UML的软件安全风险分析和基于概率影响图的软件体系安全风险分析。     

关于紧覆盖s,π映射的一个定理

建立了度量空间的紧覆盖s,π映像的内在特征.     

QC-LDPC码在OFDM-IDMA系统中的性能研究

为了寻求一个从多址接入技术、调制技术到纠错编码方案等方面,满足下一代无线移动通信高速率、高可靠性需求的整系统解决方案,设计了一种新的基于准循环的LDPC(quasi cyclic low density parity check codes,QC-LDPC)编码的OFDM-IDMA(orthogonal frequen...     

一种基于种子生长的匹配算法

立体匹配是三维重建的重要组成部分,被广泛用于数字城市、虚拟现实等领域中.提出了一种基于种子生长的匹配点扩散算法.首先用SIFT算法提取图像间对应的特征点并将其做为种子点,对种子点在其领域范围进行区域传播匹配.接着将生长得到稠密匹配点经重采样转换为准稠密匹配点.最后再用对称对极点距离法去除误匹配得到整幅图像上均匀分布的精...