期刊文献+
共找到112篇文章
< 1 2 6 >
每页显示 20 50 100
隐含于《民法典》的政策:规范表达及体系展开
1
作者 张平华 董媛媛 《河南社会科学》 北大核心 2025年第4期92-104,共13页
《民法典》第十条将国家政策逐出裁判依据之列,但其条文在不同程度上体现或导向政策。梳理政策在法典制定和实施中的功能,隐含于法典中的政策将浮出水面。隐含于《民法典》的政策可界定为经转化进入民法规范、指导立法和司法及作为民法... 《民法典》第十条将国家政策逐出裁判依据之列,但其条文在不同程度上体现或导向政策。梳理政策在法典制定和实施中的功能,隐含于法典中的政策将浮出水面。隐含于《民法典》的政策可界定为经转化进入民法规范、指导立法和司法及作为民法解释之来源的规范性文件。该政策所在民法条文为政策的规范表达。按照民法与政策的互动轨迹,政策的规范表达分为引入型和转致型两类。引入型表达包括直接规定政策术语和转化政策目标的规范表达,转致型表达可细分为直接转致和间接转致两类表达。政策在其规范表达条文的制定中作为立法指针。经引入或转致进入法典后,政策融入立法目的,为目的解释提供参考,并充当民法规范的要素。 展开更多
关键词 《民法典》 政策 规范表达 类型 法律适用
在线阅读 下载PDF
融合多粒度代码特征和孤立森林算法的配置类型识别
2
作者 刘源 刘大伟 +1 位作者 张玉秀 吴明磊 《计算机工程与应用》 北大核心 2025年第13期185-199,共15页
“高内聚、低耦合”设计原则的普及应用,使得代码中通常存在着专门管理配置选项或配置方法的特殊类型,称为配置类型。配置类型有助于研究人员从属性角度和行为角度增进对配置机制的理解,并为配置错误处理技术提供必要的选项集合以及选... “高内聚、低耦合”设计原则的普及应用,使得代码中通常存在着专门管理配置选项或配置方法的特殊类型,称为配置类型。配置类型有助于研究人员从属性角度和行为角度增进对配置机制的理解,并为配置错误处理技术提供必要的选项集合以及选项数据流信息。然而,配置类型研究尚不充分,其识别仍依赖于人工检索。提出一种融合多粒度代码特征和孤立森林算法的配置类型识别方法。基于10个具有代表性的开源软件,手动构建配置类型数据集,通过实证调研配置类型的分布、分类和识别影响因素,总结得到9个调研结果,用于指导配置类型识别。基于调研结果,选取覆盖代码词汇、结构、语义和语法信息的4个类型级粗粒度特征和3个方法级细粒度特征,并为每个特征设计量化算法。考虑到配置类型存在样本类别分布不平衡问题,将识别问题转化为异常检测问题,利用孤立森林算法推荐配置类型,同时设计启发规则减少误报数量。在5个评估软件上的实验结果表明,该方法能识别出每个软件的配置类型,平均精度均值为0.86,平均时间开销为21min,已初步具备代替人工识别的能力。 展开更多
关键词 软件配置 配置类型识别 实证调研 多粒度代码特征 孤立森林 配置方法
在线阅读 下载PDF
基于完备循环差集的type-Ⅱ QC-LDPC码的构造
3
作者 黄胜 宋静 袁建国 《系统工程与电子技术》 EI CSCD 北大核心 2018年第11期2586-2590,共5页
针对当前type-Ⅱ的准循环低密度奇偶校验(quasi-cyclic low-density parity check,QC-LDPC)码中仅含有权重为2的循环置换矩阵而引入短环,导致迭代译码性能下降的问题,基于完备循环差集给出了近似双对角结构的type-ⅡQC-LDPC码的设计方法... 针对当前type-Ⅱ的准循环低密度奇偶校验(quasi-cyclic low-density parity check,QC-LDPC)码中仅含有权重为2的循环置换矩阵而引入短环,导致迭代译码性能下降的问题,基于完备循环差集给出了近似双对角结构的type-ⅡQC-LDPC码的设计方法,该方法构造的奇偶校验矩阵由零矩阵,权重为1的循环单位阵和权重为2的循环矩阵组成,不但围长至少为8,而且还保留了type-ⅡQC-LDPC码具有更高最小距离上界的优点,从而使译码时可快速收敛。仿真结果表明:构造的type-ⅡQC-LDPC码在加性高斯白噪声(additive white Gauss noise,AWGN)信道下,采用和积(sum-product algorithm,SPA)译码时,码字无明显的错误平层且具有良好的纠错性能。 展开更多
关键词 type-Ⅱ准循环低密度奇偶校验码 完备循环差集 围长 最小距离
在线阅读 下载PDF
面向MPEG Type-1视频编码器的UMHexagonS算法
4
作者 李芍 陈建文 何芸 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第9期1150-1156,共7页
针对Type-1视频编码平台中的帧间预测仅有全搜索算法,从而计算复杂度很高的问题,提出了改进的UMHexa-gonS快速搜索算法.该算法采用了UMHexagonS算法的框架,针对该算法在参考帧数目和编码模式受限的条件下,建立了一种起始位置运动矢量预... 针对Type-1视频编码平台中的帧间预测仅有全搜索算法,从而计算复杂度很高的问题,提出了改进的UMHexa-gonS快速搜索算法.该算法采用了UMHexagonS算法的框架,针对该算法在参考帧数目和编码模式受限的条件下,建立了一种起始位置运动矢量预测模型;同时,为了解决UMHexagonS算法中第2类提前截止阈值计算不准确而导致编码性能下降的问题,提出了利用空间相关性的阈值修正方式.在Type-1平台中的实验结果表明,该算法的搜索精度较高,并且能够较好地适应不同序列的纹理特性.相比于全搜索算法,平均节省97%以上的时间,同时编码效率下降控制在平均0.032 dB以内.得出结论:改进的算法能够提升编码效率,同时节省平均运动搜索时间. 展开更多
关键词 网络视频编码 UMHEXAGONS 帧间预测 快速运动搜索 视频编码
在线阅读 下载PDF
基于完备循环差集的大围长Type-Ⅱ QC-LDPC码的构造 被引量:1
5
作者 袁建国 李媛媛 +2 位作者 敖翔 庞宇 林金朝 《系统工程与电子技术》 EI CSCD 北大核心 2017年第11期2587-2591,共5页
针对当前type-Ⅱ准循环低密度奇偶校验(quasi-cyclic low-density parity-check,QC-LDPC)码的校验矩阵中存在权重为2的循环矩阵(weight-2circulant matrices,W2CM)导致Tanner图更容易产生短环,从而影响迭代译码收敛性的问题,基于完备循... 针对当前type-Ⅱ准循环低密度奇偶校验(quasi-cyclic low-density parity-check,QC-LDPC)码的校验矩阵中存在权重为2的循环矩阵(weight-2circulant matrices,W2CM)导致Tanner图更容易产生短环,从而影响迭代译码收敛性的问题,基于完备循环差集(cyclic difference sets,CDS)提出了一种围长为8的type-ⅡQC-LDPC码的新颖构造方法。该方法构造的校验矩阵由权重为0的零矩阵、权重为1的循环置换矩阵和W2CM组成,保留了type-ⅡQC-LDPC码的具有更高最小距离上界的优点,改善了码的纠错性能;且Tanner图中无4、6环的出现,译码时具有较快的收敛速度。仿真结果表明:所构造的围长为8的type-ⅡQC-LDPC码在加性高斯白噪声信道下采用和积算法迭代译码时具有较好的纠错性能且无错误平层现象。 展开更多
关键词 type-Ⅱ准循环低密度奇偶校验码 完备循环差集 围长 最小距离
在线阅读 下载PDF
气阴两虚夹瘀型2型糖尿病患者外周血LncRNA TUG 1与血管病变标志因子的相关性 被引量:1
6
作者 倪英群 李居一 +5 位作者 黄日龙 刘光菊 陈文娟 余丹丹 丁雷 方朝晖 《辽宁中医杂志》 北大核心 2024年第5期23-25,共3页
目的 分析气阴两虚夹瘀型2型糖尿病患者外周血长链非编码RNA牛磺酸调节基因1(long non-coding RNA taurine regulatory gene 1,LncRNA TUG1)与血管病变因子的相关性。方法 随机选取该院内分泌科住院的气阴两虚夹瘀型2型糖尿病患者50例... 目的 分析气阴两虚夹瘀型2型糖尿病患者外周血长链非编码RNA牛磺酸调节基因1(long non-coding RNA taurine regulatory gene 1,LncRNA TUG1)与血管病变因子的相关性。方法 随机选取该院内分泌科住院的气阴两虚夹瘀型2型糖尿病患者50例作为观察组,另选取46例健康体检者作为健康对照组。检测餐后2 h血糖(2-hour postprandial blood glucose, 2 h PG)、空腹血糖(fasting plasma glucose, FPG)、糖化血红蛋白(glycosylated hemoglobin, HbA1c)、内皮素(endothelin, ET)、一氧化氮(nitric oxide, NO)水平及LncRNA TUG1表达;经Pearson线性相关分析,血清LncRNA TUG1与ET、NO、HbA1c、血糖指标的相关性。结果 与健康对照组比较,气阴两虚夹瘀型2型糖尿病患者LncRNA TUG1、HbA1c、FPG、2 h PG、ET水平明显升高(P<0.01),NO水平明显降低(P<0.01),差异具有统计学意义。Pearson相关性分析显示,LncRNA TUG1与NO水平呈显著负相关(P<0.01);与ET、HbA1c、FPG、2 h PG水平呈显著正相关(P<0.01)。结论 气阴两虚夹瘀型2型糖尿病患者外周血LncRNA TUG1高表达,与HbA1c、ET、血糖呈正相关,与NO水平呈负相关,与血管病变标志因子关系密切,存在一定的相关性,可作为潜在预测指标。 展开更多
关键词 2型糖尿病 长链非编码RNA牛磺酸调节基因1 血管病变 气阴两虚夹瘀型
在线阅读 下载PDF
基于类型辅助引导的代码注释生成模型
7
作者 刘利 吕韦岑 汪洋 《无线电通信技术》 北大核心 2024年第4期807-814,共8页
代码注释生成方法通常基于结构-序列(Structure-Sequence, Struct2Seq)框架,但忽略了代码注释的类型信息,例如操作符、字符串等。由于类型信息之间的层次具有依赖性,将类型信息引入已有的Struct2Seq框架并不适用。为了解决上述问题,提... 代码注释生成方法通常基于结构-序列(Structure-Sequence, Struct2Seq)框架,但忽略了代码注释的类型信息,例如操作符、字符串等。由于类型信息之间的层次具有依赖性,将类型信息引入已有的Struct2Seq框架并不适用。为了解决上述问题,提出一种基于类型辅助引导的代码注释生成(Code Comment Generation based on Type-assisted Guidance, CCG-TG)模型,将源代码视为带有类型信息的n元树。该模型包含一个关联类型编码器和一个限制类型解码器,可以对源代码进行自适应总结。此外,提出一种多级强化学习(Multi-level Reinforcement Learning, MRL)方法来优化所提模型的训练过程。在多个数据集上进行实验,与多种基准模型对比,证明所提CCG-TG模型在所有评价指标上的性能最优。 展开更多
关键词 代码注释生成 类型信息 结构序列框架 类型辅助引导 强化学习
在线阅读 下载PDF
参芪复方对糖尿病GK大鼠肝脏组织mRNA、lncRNA表达谱的影响
8
作者 刘桠 张翕宇 +2 位作者 谢春光 徐刚 彭思涵 《中华中医药学刊》 CAS 北大核心 2024年第1期46-51,I0008-I0012,共11页
目的应用全转录组测序与实时聚合酶链锁反应(Real-time polymerase chain reaction,RT-qPCR)技术,探索参芪复方调控糖尿病GK大鼠肝脏信使RNA(messenger RNA,mRNA)、长链非编码RNA(long non-coding RNA,lncRNA)表达谱的机制研究。方法采... 目的应用全转录组测序与实时聚合酶链锁反应(Real-time polymerase chain reaction,RT-qPCR)技术,探索参芪复方调控糖尿病GK大鼠肝脏信使RNA(messenger RNA,mRNA)、长链非编码RNA(long non-coding RNA,lncRNA)表达谱的机制研究。方法采用高脂高糖饲料建立2型糖尿病模型,将GK大鼠随机分为模型组、参芪复方组和西药组。另将10只Wistar大鼠设为空白组,予普通饲料喂养。参芪复方组大鼠予参芪复方浸膏灌胃,西药组予西格列汀混悬液灌胃,模型组及空白组灌服生理盐水。干预12周,每周检测空腹血糖(fasting blood glucose,FBG)。运用HE染色法观察大鼠肝脏组织病理形态,在空白组、模型组和参芪复方组中每组随机选取4只大鼠进行全转录组测序,构建mRNA、lncRNA差异表达谱,分析差异基因生物学功能,并进行RT-qPCR验证。结果与空白组相比,糖尿病GK大鼠FBG显著升高(P<0.05),模型组大鼠肝脏可见肝细胞排列紊乱,边界模糊,出现弥漫空泡状改变,呈中度脂肪变性,伴见炎性浸润、弥漫水肿;与模型组相比,参芪复方组大鼠FBG在12周时明显降低(P<0.05),肝脏组织排列较整齐,脂质沉积、细胞水肿及炎细胞浸润明显减轻。全转录组结果显示,与空白组相比,模型组大鼠mRNA、lncRNA表达谱存在显著差异,决定了糖尿病大鼠生理病理上的差异表现。参芪复方可广泛调控mRNA、lncRNA的差异表达,富集分析显示参芪复方通过调控多条内分泌系统及代谢过程相关信号通路改善糖尿病,包括胰岛素分泌、非酒精性脂肪性肝病、胆固醇代谢、鞘脂代谢、胰岛素抵抗等信号通路。RT-qPCR结果显示,基因Irf1、Trim30、Tmcc3、Insig1与转录组结果一致,转录组准确性较高。结论参芪复方发挥调节血糖及改善肝脏脂质沉积、水肿的作用,可能与广泛调控mRNA、lncRNA的差异表达有关。 展开更多
关键词 参芪复方 2型糖尿病 长链非编码RNA(lncRNA) 信使RNA(mRNA)
在线阅读 下载PDF
一种快速响应的超灵敏仿生压力电子皮肤
9
作者 李育文 刘平 +3 位作者 胡秋生 吴顺哥 刘彩霞 黄英 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2024年第5期649-654,711,共7页
文章首先通过仿人体指纹脊状结构,基于改性多壁碳纳米管填充紫外固化胶制备导电复合材料,借助丝网印刷制作具有规则裂纹结构的柔性压力传感单元;然后通过仿生物体的神经元信息传输方式,设计基于异步编码的总线式电路结构;最后通过将所... 文章首先通过仿人体指纹脊状结构,基于改性多壁碳纳米管填充紫外固化胶制备导电复合材料,借助丝网印刷制作具有规则裂纹结构的柔性压力传感单元;然后通过仿生物体的神经元信息传输方式,设计基于异步编码的总线式电路结构;最后通过将所设计的电路系统结构与传感单元相结合,得到一种快速响应的超灵敏仿生压力电子皮肤。结果表明,通过引入仿生表皮结构,所设计的柔性压力传感单元具有高灵敏系数(1914.701)、快速响应(52 ms)和高稳定性的特点。基于异步编码设计的串行-并行信号传输模式可有效提升信息传输速度,显著提升电子皮肤信息感知的实时性,此外,仿神经元信号传输模式使得电子皮肤只要信息传输通道不受到破坏,仍能保留完整的传感功能。 展开更多
关键词 电子皮肤 超灵敏 电阻式 异步编码 可扩展
在线阅读 下载PDF
一种基于编码单元快速划分的VVC帧内编码方法
10
作者 钟辉 陆宇 +1 位作者 殷海兵 黄晓峰 《电信科学》 北大核心 2024年第8期23-33,共11页
相比于高效视频编码(high efficiency video coding,HEVC)标准,新一代编码标准多功能视频编码(versatile video coding,VVC)引入了很多新的技术,其中包括四叉树(quadtree,QT)和多类型树(multi-type tree,MTT)划分,MTT划分由HEVC中的QT... 相比于高效视频编码(high efficiency video coding,HEVC)标准,新一代编码标准多功能视频编码(versatile video coding,VVC)引入了很多新的技术,其中包括四叉树(quadtree,QT)和多类型树(multi-type tree,MTT)划分,MTT划分由HEVC中的QT划分延伸而来。新划分方法提高了压缩效率,但导致编码时间急剧增加。为了降低编码复杂度,提出了一种结合深度学习方法和MTT方向早期判决的快速帧内编码算法。首先使用轻量级的卷积神经网络(convolutional neural network,CNN)对QT和部分MTT进行预测划分,其余MTT则采用提前预测MTT划分方向的方法作进一步的优化。实验结果表明,所提方法能够大幅降低编码复杂度,相比于原始编码器的编码时间减少了74.3%,且只有3.3%的码率损失,性能优于对比的方法。 展开更多
关键词 VVC 帧内编码 卷积神经网络 快速编码 四叉树 多类型树
在线阅读 下载PDF
2022年广西林草湿地图斑监测底图处理方法
11
作者 梁艳芬 《林业调查规划》 2024年第4期7-11,共5页
森林、草原、湿地图斑监测底图的完善是2022年森林、草原、湿地图斑监测工作的基础和前提。针对国家下发的监测底图存在的共性问题和广西地方管理的需要,提出监测底图处理思路和手段。根据广西2022年林草湿图斑监测工作操作细则要求,基... 森林、草原、湿地图斑监测底图的完善是2022年森林、草原、湿地图斑监测工作的基础和前提。针对国家下发的监测底图存在的共性问题和广西地方管理的需要,提出监测底图处理思路和手段。根据广西2022年林草湿图斑监测工作操作细则要求,基于ArcEngine二次开发技术开发辅助处理插件,实现不同调查单位监测底图统一处理。 展开更多
关键词 林草湿监测 监测底图 地类代码转换 ArcEngine二次开发 字段属性补充
在线阅读 下载PDF
基于Polar码的ElGamal型公钥密码体制
12
作者 刘冰 吴旭聃 聂艇 《计算机应用研究》 CSCD 北大核心 2024年第1期254-259,271,共7页
在量子计算技术飞速发展的时代背景下,为了满足密码应用的安全需求,提出了一种基于Polar码的ElGamal型公钥密码体制。采用Polar码为基于纠错码ElGamal型公钥密码体制中的公开码,利用SC译码算法进行译码,并对方案的译码失败概率和安全性... 在量子计算技术飞速发展的时代背景下,为了满足密码应用的安全需求,提出了一种基于Polar码的ElGamal型公钥密码体制。采用Polar码为基于纠错码ElGamal型公钥密码体制中的公开码,利用SC译码算法进行译码,并对方案的译码失败概率和安全性进行了分析。结果表明算法具有较高的传信率,选取的参数满足信息集译码复杂度和译码失败概率的要求,且算法满足IND-CPA安全性。 展开更多
关键词 公钥密码 ElGamal型体制 Polar码 SC译码算法
在线阅读 下载PDF
基于改进准循环码的FPGA抗辐射容错方法
13
作者 陈夏楠 赵亮 《探测与控制学报》 CSCD 北大核心 2024年第5期80-86,共7页
针对SRAM型FPGA在辐射环境中易受高能粒子影响发生单粒子多位翻转的问题,提出一种基于改进位交织技术的(16,8)准循环码抗单粒子多位翻转容错方法。在分析FPGA的典型多位翻转错误图样的基础上,采用软容错中的错误检测与纠正思想将传统的(... 针对SRAM型FPGA在辐射环境中易受高能粒子影响发生单粒子多位翻转的问题,提出一种基于改进位交织技术的(16,8)准循环码抗单粒子多位翻转容错方法。在分析FPGA的典型多位翻转错误图样的基础上,采用软容错中的错误检测与纠正思想将传统的(16,8)准循环码和改进位交织技术相结合来提高编解码的软容错能力。仿真和硬件平台试验表明,该方法可以实现对FPGA中由于单粒子效应所导致的至多五位突发错误的纠正和两位随机错误的检测,同时具有编解码不额外增加冗余位、实现简单和容错能力强的特点,为增强SRAM型FPGA在应用过程中的抗单粒子翻转能力、提高相关系统的辐照可靠性提供了可行途径。 展开更多
关键词 SRAM型FPGA 单粒子多位翻转 改进准循环码 错误检测与纠正
在线阅读 下载PDF
面向多类型干扰的验证码目标识别算法研究
14
作者 程瑶 龚奥 王玉菡 《重庆理工大学学报(自然科学)》 CAS 北大核心 2024年第10期156-160,共5页
验证码是一种用来区分计算机与人类的技术,以避免出现自动化程序自动注册、登录、恶意投票、恶意尝试密码等安全问题。而验证码识别技术研究可以使人们及时发现和改正验证码的缺点,对加强网络安全性有着重要的意义。通过对验证码识别算... 验证码是一种用来区分计算机与人类的技术,以避免出现自动化程序自动注册、登录、恶意投票、恶意尝试密码等安全问题。而验证码识别技术研究可以使人们及时发现和改正验证码的缺点,对加强网络安全性有着重要的意义。通过对验证码识别算法的研究,设计了验证码识别系统,分别以模板匹配、Hu不变矩和深度学习3种算法对验证码图像进行处理识别,最终对带有多类型干扰的验证码分别得到识别结果。结果表明,前2种验证码算法的识别准确率分别为60.3%、66.0%,而基于深度学习算法中2种形式的识别准确率分别为87.7%和95.58%,尤其在线干扰和混合干扰等复杂干扰方面,识别准确率的提高尤为突出,表现出深度学习算法应用于多类型干扰验证码识别的可行性。 展开更多
关键词 验证码 图像处理 多类型干扰 识别算法 深度学习
在线阅读 下载PDF
光通信系统中前向纠错(FEC)码型的理论分析 被引量:3
15
作者 袁建国 李秋俊 +1 位作者 刘宇 叶文伟 《压电与声光》 CAS CSCD 北大核心 2009年第2期198-201,共4页
对适用于光通信系统中前向纠错(FEC)码型的构造原则、应用选择及纠错性能等方面进行了理论分析,提出了光通信系统中FEC码型的主要构造原则。对光通信系统中带内FEC码型与带外FEC码型的纠错性能进行了仿真分析与比较分析。分析表明,带内... 对适用于光通信系统中前向纠错(FEC)码型的构造原则、应用选择及纠错性能等方面进行了理论分析,提出了光通信系统中FEC码型的主要构造原则。对光通信系统中带内FEC码型与带外FEC码型的纠错性能进行了仿真分析与比较分析。分析表明,带内FEC码型与带外FEC码型的纠错性能都有限,因而有必要研究具有更强纠错性能的超强FEC码型,以便适应光通信系统日益发展的要求。 展开更多
关键词 前向纠错(FEC)码 码型构造原则 带内FEC码型 带外FEC码型 光通信系统
在线阅读 下载PDF
Cobol到Java翻译中的数据类型转换方法 被引量:4
16
作者 石学林 张兆庆 武成岗 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期336-342,共7页
将Cobol代码迁移到新的平台,如Java是减轻Cobol代码维护负担的一个有效方法·怎样将Cobol数据平滑迁移到新平台则是必须解决的基本问题之一·以前的大部分研究工作都直接将Cobol数据映射到现代程序设计语言中的基本数据类型,比... 将Cobol代码迁移到新的平台,如Java是减轻Cobol代码维护负担的一个有效方法·怎样将Cobol数据平滑迁移到新平台则是必须解决的基本问题之一·以前的大部分研究工作都直接将Cobol数据映射到现代程序设计语言中的基本数据类型,比如int,float等·但是,这种简单映射并不能保持原来的Cobol语义,从而导致目标码并不能与原来的代码运行一致·首先利用数据抽象技术对Cobol数据进行初步建模,在此基础上进一步提出了一个纯Java的功能等价的封装方法,可以有效地将Cobol数据描述映射到Java类型系统·该方法已经在一个Cobol2Java翻译系统———C2J翻译器中得到实现,并且应用于一个近400万行的真实银行商用系统·实验结果表明,此方法可以在保持功能等价的情况下,将Cobol数据无需手工干预地迁移到Java平台· 展开更多
关键词 Cob012Java 遗产代码 数据类型迁移 数据封装 代码维护
在线阅读 下载PDF
奇异数据类型的编译支持 被引量:1
17
作者 胡定磊 陈书明 刘春林 《计算机工程》 CAS CSCD 北大核心 2007年第3期29-31,共3页
专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP... 专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP编译器中实现对奇异数据类型的处理的方法,包括对含有奇异数据类型的中间代码的注释、调度依赖关系的计算、寄存器分配的改进。该类方法对编译器的改动相对较小,效率较高。 展开更多
关键词 数据类型 代码注释 数据依赖关系 寄存器分配 编译器
在线阅读 下载PDF
环F4+vF4上的Gray映射 被引量:3
18
作者 王冬银 朱士信 施敏加 《计算机工程与设计》 CSCD 北大核心 2008年第7期1758-1759,1784,共3页
定义了从F4+vF4到子环F4和F2+vF2上的两个线性Gray映射和,并证明这两个Gray映射都是保持正交性不变的;进一步定义了环F4+vF4上的Lee-重量和Euclidean-重量,并证明Gray映射φ和ψ是保持Lee距离不变的;最后给出了(F4+vF4)n,(F2+vF2)2n、(F... 定义了从F4+vF4到子环F4和F2+vF2上的两个线性Gray映射和,并证明这两个Gray映射都是保持正交性不变的;进一步定义了环F4+vF4上的Lee-重量和Euclidean-重量,并证明Gray映射φ和ψ是保持Lee距离不变的;最后给出了(F4+vF4)n,(F2+vF2)2n、(F4)2n和(F2)4n相互之间的关系图。 展开更多
关键词 有限环 格雷映射 类型Ⅱ码 自对偶码 线性码
在线阅读 下载PDF
一种构造代码安全性证明的方法 被引量:6
19
作者 郭宇 陈意云 林春晓 《软件学报》 EI CSCD 北大核心 2008年第10期2720-2727,共8页
提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在... 提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现. 展开更多
关键词 类型理论 软件安全 携带证明的代码 程序验证 类型化汇编语言
在线阅读 下载PDF
汶川地震路基震害分析及对抗震规范改进的启示 被引量:48
20
作者 姚令侃 冯俊德 杨明 《西南交通大学学报》 EI CSCD 北大核心 2009年第3期301-311,共11页
利用汶川地震的大批近场实震资料,对促进铁路、公路抗震设计规范的发展具有重要的科学意义和应用价值.对汶川地震近场区路基震害进行了调查,主要以2005年竣工的都江堰至映秀的三级公路为例,分析了路堤工程、路肩墙和路堑墙的震害模式.... 利用汶川地震的大批近场实震资料,对促进铁路、公路抗震设计规范的发展具有重要的科学意义和应用价值.对汶川地震近场区路基震害进行了调查,主要以2005年竣工的都江堰至映秀的三级公路为例,分析了路堤工程、路肩墙和路堑墙的震害模式.研究表明:在常用支挡工程类型中,桩板式挡墙的抗震性能最优,其次为混凝土挡墙,浆砌片石挡墙最差;按现行铁路抗震设计规范,对汶川地震9~10度烈度区的挡土墙进行了稳定性检算,抗滑动稳定安全系数的计算结果与宏观震害情况基本一致;土工格栅加固措施可有效地提高路堤工程的抗震能力.此外,从对现行规范技术框架进行延展和更新2个层面,论述了汶川地震对路基工程抗震设计规范发展的推动作用,并特别指出,汶川地震9度以上近场地震资料以及高等级公路中新型支挡工程、路堤加固工程的实震资料,提供了填补现行规范空白的罕有条件. 展开更多
关键词 路基工程 汶川地震 抗震规范 震害模式
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部