量子密码安全性研究

本文介绍了量子密码协议安全性证明的三种模型,并据此针对光源、有源光学调制器件、无源光学调制器件和探测器的非理想特性,分别度量了实际量子密钥分配系统和理想量子密钥分配协议之间的差异,并针对各种实际器件的非理想性,分析了实际量子密钥分配系统安全性存在的问题以及可能存在的攻击方案.在综合介绍国内外量子密钥分配安全性相关工作进展的同时,着重对当前的主流设备无关及半设备无关量子密码方案进行了分析阐述.     

基于空间自适应和混合损失对抗网络的乳腺肿块图像分割方法

在乳腺癌筛查的计算机辅助诊断过程中,乳腺肿块的精确分割至关重要.然而,乳腺肿块在X光成像中与背景灰度接近、形状不规则,使得精确分割面临很大挑战.为进一步提升分割性能,提出一种基于空间自适应和混合损失对抗网络的乳腺肿块分割新方法.首先,提出可分离卷积U-Net模型作为对抗网络中的生成器,以减少参数量和计算量;然后,在判别网络中添加空间自适应归一化层来获取分割掩码中蕴含的语义信息;最后,综合考虑类别不平衡、语义一致性等因素的影响,提出一种融合对抗损失、分割损失和感知损失的混合损失函数以提升模型学习效果.实验结果表明,新方法在INbreast和CBIS-DDSM两个乳腺分割公开数据集中分别取得99.35%和99.72%的准确率,以及81.27%和82.01%的集合相似度,获得优于现有方法的分割性能.     

人类白细胞抗原HLA—DP，DQ，DR在新疆哈萨克族食管癌中的表达及意义

探讨人类白细胞抗原（HLA—DP,DQ,DR）在新疆哈萨克族食管鳞癌发生发展中的表达及其临床意义。采用免疫组织化学技术链霉素-过氧化物酶（S-P）法检测66例新疆哈萨克族食管鳞癌和28例正常食管粘膜组织（癌旁正常组织）中HLA—DP,DQ,DR抗原的表达。新疆哈族食管鳞癌组织中HLA—DP,DQ,DR抗原的阳性表达率为36．4％,高于正常对照组的7．1％（χ^2=8．389,P〈0．05）;HLA—DP,DQ,DR抗原在食管癌中的表达与患者的年龄、性别、肿瘤生长部位、淋巴转移、分化程度无相关性。HLA—DP,DQ,DR的表达与新疆哈族食管鳞癌的发生发展密切相关。     

渐江稳定性定理的推广

本文对非自治微分方程组解的渐近稳定性进行了研究,绐出了渐近稳定性的充分条件,并对某时刻的吸引域进行了估计,推广了阎醒民和陈绍著文章的结果。     

面向混合内存体系结构的模拟器

提出了一种基于全系统模拟器gem5的混合内存系统模拟器的构建方法.构建混合内存系统模拟器时,首先在gemg5中添加一层混合内存控制器结构,然后引入NVMain中的新型非易失性内存模型与gem5原生DRAM内存模型一起挂接到新添加的混合内存控制器上.实验结果表明,该方法能够实现构建混合内存系统模拟器的目标.     

GRP在DBASEⅢ下直接绘图的一个应用

文章围绕在 DBASEⅢ 下直接绘图这个问题讲述了什么是 GRP 虚拟图形设备,在DBASEⅢ 下怎样通过给出的公式计算 GRP 命令参数,以及怎样表示它们。怎样用DBASEⅢ 语句在图形上标注数字,怎样在 DBASEⅢ 下使用GRP绘图。     

从交通运输与能源的关系论优先发展铁路运输的依据和对策

本文以交通运输与能源的关系为出发点,论述交通运输体系的建立必须符合本国的国情和能源结构。我国能源结构以煤炭为主,而铁路能以煤和其它能源为动力,具有综合利用能源的优势,因此,大力发展我国铁路运输是国民经济加快发展的需要。     

熔模铸造双相不锈钢铸件缺陷分析及解决措施

针对铸件容易产生的充型不完整和产生气孔的缺陷,采用熔模铸造法试制双相不锈钢铸件.结果表明,通过控制金属液出炉温度和模壳温度并在铸件凝固时强化冷却,能防止上述缺陷的产生.应用试制工艺生产的铸件外观质量良好.     

技术后进国家需要对企业进行R&D资助吗?——基于技术模仿与技术跨越的争论

后进国在技术发展战略的选择中面临着是按照后发优势进行技术引进与模仿还是走自主创新路径的抉择,但不论何种路径都离不开企业进行大量的RD投资。由于RD固有的市场失灵,导致了政府需要进行RD干预。对于技术后进国而言,要打破技术模仿的发展路径,突破技术引进的路径闭锁,政府RD资助具有了不可替代的重要作用。     

基于语义元模型的装备体系结构建模方法

根据以数据为中心的体系结构建模思路,提出了一种装备体系结构语义模型--语义装备体系。首先在DoDAF元模型(DoDAF meta-model,DM2)基础上提出语义元模型,定义了装备体系结构的概念基础类及关联关系,给出了由类、关系、属性和实例构建四元组的本体描述框架;其次基于语义元模型构建了作战视图本体模型、系统视图本体模型、能力视图本体模型,明确了体系组成要素在各视图中的定义、关系和属性的形式化描述;最后以海战场预警探测系统为例进行了实例研究,验证了方法的可行性。