任务模型及MCTL系统中存储结构的研究

给出了超大规模数字集成电路形式验证的任务流集合和任务模型 ,并以任务模型为基础提出了验证新方法MCTL .建立任务流集合以及相关的存储结构 ,是MCTL实现的关键 .为此 ,本文确定了一组基本功能算子与约束条件存储结构 ,这种存储结构既可以节省空间和时间 。

美国出口管制从关键技术到新兴和基础技术的演变分析

[目的/意义]随着2018年《出口管制改革法》的生效实施,美国政府进一步扩大技术出口管制的范围,新兴和基础技术作为法案重点受到广泛关注。[方法/过程]追根溯源,新兴和基础技术与关键技术的识别和管制有诸多关联。在梳理现代美国出口管制演变的过程中,理清美国技术出口管制的目的和对象,从1979年法案的关键技术,再到21世纪初的颠覆性技术威胁,直至如今的新兴和基础技术,美国技术出口管制的出发点都是为维护其国家安全利益,打压主要竞争对手,维持其科技领域和军事实力的绝对优势。[结果/结论]面对技术引进和技术合作的巨大压力,中国高技术产业发展的关键路径就是掌握自主可控的关键技术。在此基础上,从构建情报体系,加强技术研发支持,吸引外资参与,寻求外部支持以及普及企业合规提出应对美国技术出口管制的五项建议。

在5/3运动补偿时间提升中的运动相关编码

对基于5／3运动补偿时间提升的可伸缩视频编码中运动矢量编码及不相连像素处理进行了改进。为了提高低码率时5／3提升滤波的性能，提出了运动矢量的压缩表示方法，使得真正编码的运动矢量总数不超过每个原始帧一个。对于基于块匹配的运动补偿产生的不相连像素，根据三帧变换单元的像素的不同连接状态设计了不同的运动处理模式。实验结果表明，该文提出的方法其性能优于Haar提升滤波0．3～0．7dB，在中高码率时与H264／AVC也是可以比较的。

MCT1在犊牛消化道的分布以及SCFA对MCT1表达的影响

短链脂肪酸(SCFAs)是由纤维素性饮食在瘤胃内发酵产生的乙酸、丙酸、丁酸以及戊酸等组成的混合物。SCFA对维持反刍动物的能量平衡至关重要,目前对SCFA的吸收机制和影响因素至今尚不清楚,本试验主要研究一元羧酸转运蛋白(monocarboxylate/proton cotransporter isoform 1,MCT1)在犊牛消化道内的分布及SCFA对MCT1表达的影响。运用免疫印迹Western blot和实时荧光定量PCR检测MCT1在犊牛消化道内的分布和表达;在体外试验中,体外添加一定比例的SCFA(乙酸、丙酸和丁酸的混合物)处理犊牛原代瘤胃上皮细胞,检测SCFA对MCT1表达水平的影响。结果显示:MCT1在整个消化道内均有分布,并且在瘤胃内的表达水平显著高于其他部位(P<0.01);体外处理的瘤胃上皮细胞,正常组MCT1的表达水平显著高于(P<0.05)SARA组。结果表明:正常水平的SCFA能够促进MCT1的表达和转运能力,而过量的SCFA抑制MCT1的表达和转运能力。