期刊文献+
共找到51篇文章
< 1 2 3 >
每页显示 20 50 100
基于元学习及域自适应的生成式文本隐写分析方法
1
作者 李松斌 杜辉 王津港 《网络新媒体技术》 2024年第1期29-38,共10页
生成式文本隐写方法能够生成流畅、自然的隐写文本,给文本隐写分析带来了巨大挑战。当源域(训练文本)与目标域(测试文本)使用相同隐写算法,且在相同语料库下训练时,基于神经网络的文本隐写分析方法具有较好的检测性能。然而在实际应用中... 生成式文本隐写方法能够生成流畅、自然的隐写文本,给文本隐写分析带来了巨大挑战。当源域(训练文本)与目标域(测试文本)使用相同隐写算法,且在相同语料库下训练时,基于神经网络的文本隐写分析方法具有较好的检测性能。然而在实际应用中,我们无法预测待检测文本是采用何种隐写算法及在何种语料库下训练所生成,导致大多数基于神经网络的文本隐写分析方法难以实用。为解决这个问题,引入了元学习及域自适应的基本思想来提高隐写分析模型的泛化检测能力。我们采用预训练语言表示模型RoBERTa构建了一个词重要性语义编码模块,以充分提取文本语义特征。针对所得特征,提出了一个词间关联多尺度感知模块来关注由隐写导致的存在于相邻词与非相邻词之间的词间关系变化。实验结果表明,在多跨域场景下,该方法相较于现有文本隐写分析方法Fs-Stega检测准确率平均提高了9%。 展开更多
关键词 生成式文本隐写分析 跨域检测 域适应 少样本学习 元学习
下载PDF
一种基于运动矢量空间编码的HEVC信息隐藏方法 被引量:16
2
作者 李松斌 王凌睿 +1 位作者 刘鹏 黄永峰 《计算机学报》 EI CSCD 北大核心 2016年第7期1450-1463,共14页
HEVC(High Efficiency Video Coding)是ISO/IEC和ITU-T联合制定的最新的视频编码标准,该文提出了一种基于运动矢量空间编码的HEVC信息隐藏方法.文中首先给出了运动矢量空间的构建及编码方法,并定义了运动矢量集合与该空间中点的映射关系... HEVC(High Efficiency Video Coding)是ISO/IEC和ITU-T联合制定的最新的视频编码标准,该文提出了一种基于运动矢量空间编码的HEVC信息隐藏方法.文中首先给出了运动矢量空间的构建及编码方法,并定义了运动矢量集合与该空间中点的映射关系;其后,给出了通过修改运动矢量集合映射值进行信息隐藏的方法.文中的方法实现了在N个运动矢量分量中最多改变一个分量即可嵌入一个2 N+1进制数的效果,具有较高的嵌入效率.此外,文中的方法仅选择CTU(Coding Tree Unit)中尺寸最小的N/2个PU(Prediction Unit)的运动矢量作为嵌入载体,使得隐写所引入的视频附加失真进一步减小并提升了隐写的透明性.最后,通过实验证实了该文的方法可行且具有优良的性能,具有良好的应用前景;而且,该文通过构造虚拟空间进行信息隐藏,给出了一种提升视频信息隐藏算法嵌入效率的新途径. 展开更多
关键词 视频编码 HEVC 信息隐藏 运动矢量 空间编码
下载PDF
一种基于码字分布特性的G.729A压缩语音流隐写分析方法 被引量:4
3
作者 李松斌 孙东红 +1 位作者 袁键 黄永峰 《电子学报》 EI CAS CSCD 北大核心 2012年第4期842-846,共5页
有学者提出了一种在压缩语音编码过程中进行QIM(Quantization Index Modulation)隐写的方法.该方法可用于在G.729A压缩语音流中高隐蔽性地嵌入秘密信息,研究其隐写分析方法很有必要.本文首先分析了QIM隐写对G.729A码流造成的显著性特征... 有学者提出了一种在压缩语音编码过程中进行QIM(Quantization Index Modulation)隐写的方法.该方法可用于在G.729A压缩语音流中高隐蔽性地嵌入秘密信息,研究其隐写分析方法很有必要.本文首先分析了QIM隐写对G.729A码流造成的显著性特征变化,发现该种隐写将使码流中LPC滤波器的量化索引(码字)发生转移,并导致码字分布的不均衡性及相关性特性发生改变.本文设计了统计模型,实现了对码字分布特性的量化特征抽取;结合支持向量机,本文构造了用于隐写检测的集成分类器系统.实验结果显示本文方法能够在低于30ms的时间内,获得超过98%的检测准确率,实现了对QIM隐写的快速有效检测. 展开更多
关键词 信息隐藏 隐写分析 G.729A 量化索引调制 码字分布特性
下载PDF
基于码书关联网络的基音调制信息隐藏检测 被引量:6
4
作者 李松斌 贾已真 +1 位作者 付江云 戴琼兴 《计算机学报》 EI CSCD 北大核心 2014年第10期2107-2117,共11页
基音调制信息隐藏在进行基音预测时嵌入机密信息,可在低速率语音压缩编码过程中进行高隐蔽性的信息隐藏,文中试图对该种隐写进行检测.文中发现该种隐写将导致压缩语音流中相邻语音帧自适应码书的关联特性发生改变,文中以此为设计隐写分... 基音调制信息隐藏在进行基音预测时嵌入机密信息,可在低速率语音压缩编码过程中进行高隐蔽性的信息隐藏,文中试图对该种隐写进行检测.文中发现该种隐写将导致压缩语音流中相邻语音帧自适应码书的关联特性发生改变,文中以此为设计隐写分析算法的关键线索.为了量化该种关联特性,文中设计了码书关联网络模型并基于该模型得到了对隐写敏感的特征向量.最后,基于所得特征向量并结合SVM(Support Vector Machine,支持向量机)构建了隐写检测器.针对典型的低速率语音编码标准G.729以及G.723.1的实验表明,文中方法性能优于现有检测方法,实现了对基音调制信息隐藏的快速有效检测. 展开更多
关键词 隐写分析 低速率语音编码器 基音调制信息隐藏 码书关联网络 基音预测
下载PDF
基于统计模型及SVM的低速率语音编码QIM隐写检测 被引量:4
5
作者 李松斌 黄永峰 卢记仓 《计算机学报》 EI CSCD 北大核心 2013年第6期1168-1176,共9页
QIM(Quantization Index Modulation,量化索引调制)隐写在标量或矢量量化时嵌入机密信息,可在语音压缩编码过程中进行高隐蔽性的信息隐藏,文中试图对该种隐写进行检测.文中发现该种隐写将导致压缩语音流中的音素分布特性发生改变,提出... QIM(Quantization Index Modulation,量化索引调制)隐写在标量或矢量量化时嵌入机密信息,可在语音压缩编码过程中进行高隐蔽性的信息隐藏,文中试图对该种隐写进行检测.文中发现该种隐写将导致压缩语音流中的音素分布特性发生改变,提出了音素向量空间模型和音素状态转移模型对音素分布特性进行了量化表示.基于所得量化特征并结合SVM(Support Vector Machine,支持向量机)构建了隐写检测器.针对典型的低速率语音编码标准G.729以及G.723.1的实验表明,文中方法性能远优于现有检测方法,实现了对QIM隐写的快速准确检测. 展开更多
关键词 QIM隐写 隐写检测 低速率语音编码器 音素分布特性
下载PDF
一种基于整数DCT系数调制及N维魔方矩阵的H.264/AVC信息隐藏方法 被引量:2
6
作者 李松斌 付江云 +2 位作者 刘鹏 戴琼兴 邓浩江 《小型微型计算机系统》 CSCD 北大核心 2013年第10期2293-2297,共5页
针对H.264/AVC视频编码标准提出了一种基于整数DCT系数调制及N维魔方矩阵的信息隐藏方法,该方法通过构造N维魔方矩阵,最多仅需修改N个整数DCT系数中的一个即可实现一位2N+1进制数的嵌入.实验表明,当N取3时,本文提出的方法在嵌入效率方... 针对H.264/AVC视频编码标准提出了一种基于整数DCT系数调制及N维魔方矩阵的信息隐藏方法,该方法通过构造N维魔方矩阵,最多仅需修改N个整数DCT系数中的一个即可实现一位2N+1进制数的嵌入.实验表明,当N取3时,本文提出的方法在嵌入效率方面比现有方法提高了180%,同时在视频质量和码率方面本文方法有较大优势;并且,随着N的增大上述优势也趋于增强. 展开更多
关键词 信息隐藏 N维魔方矩阵 嵌入效率 H.264/AVC 整数DCT系数
下载PDF
基于关联网络模型的H.264/AVC运动矢量调制信息隐藏检测方法 被引量:3
7
作者 李松斌 杨洁 +1 位作者 刘鹏 王凌睿 《应用科学学报》 CAS CSCD 北大核心 2019年第5期663-672,共10页
H.264/AVC运动矢量信息隐藏方法具有较大的嵌入容量,同时对重建帧的视频质量引入的附加失真较小,是一种重要的H.264/AVC视频信息隐藏方法.针对该种信息隐藏方法提出了一种隐写分析方法.由于视频帧中物体的完整性和物体在帧间运动的连续... H.264/AVC运动矢量信息隐藏方法具有较大的嵌入容量,同时对重建帧的视频质量引入的附加失真较小,是一种重要的H.264/AVC视频信息隐藏方法.针对该种信息隐藏方法提出了一种隐写分析方法.由于视频帧中物体的完整性和物体在帧间运动的连续性,H.264/AVC时域及空域中相邻编码宏块的运动矢量存在一定的相关性.据此,建立了用于运动矢量隐写分析的时空相邻宏块运动矢量关联网络模型.通过对关联网络进行剪枝得到强相关网络,并对强相关网络中顶点之间的相关性进行了量化表示,从而提取了用于隐写分析的特征向量,结合支持向量机(support vector machine,SVM)构建了隐写检测器.实验表明,与现有的隐写分析算法相比,该文方法具有更好的检测性能,检测准确率均超过90%. 展开更多
关键词 H.264/AVC 视频信息隐藏 隐写分析 运动矢量 关联网络
下载PDF
面向流媒体服务的视频资料元数据模型 被引量:1
8
作者 李松斌 陈君 王劲林 《电信科学》 北大核心 2008年第11期41-46,共6页
本文在借鉴现有元数据标准的基础上给出了一个面向网络流媒体服务的视频资料元数据模型。为便于大规模视频信息的组织、管理与检索,模型引入了专辑、节目和视频对象3个不同粒度的视频资料描述子,对这些描述子定义了3个结构化的描述层次... 本文在借鉴现有元数据标准的基础上给出了一个面向网络流媒体服务的视频资料元数据模型。为便于大规模视频信息的组织、管理与检索,模型引入了专辑、节目和视频对象3个不同粒度的视频资料描述子,对这些描述子定义了3个结构化的描述层次,分别是背景信息描述层、内容信息描述层以及标引层。基于该模型,运营商可方便地创建各种类型的视频业务包,用户可根据视频内容以及视频对象间的关系进行多样化检索,并可为感兴趣的视频内容添加评论以及推荐相关信息。 展开更多
关键词 视频资料 元数据 XML SCHEMA 层次化组织
下载PDF
基于P6+BIM技术的超高层建筑施工进度管理方法 被引量:13
9
作者 李松斌 林强 《施工技术》 CAS 2020年第24期34-37,共4页
为解决超高层建筑因结构复杂、专业分包多、质量安全要求高导致工期难以控制的难题,分析并提出影响超高层建筑施工进度的主要因素及措施,通过创建建筑信息模型,采用P6+BIM技术进行项目进度管理,从技术和管理方面解决影响施工进度的主要... 为解决超高层建筑因结构复杂、专业分包多、质量安全要求高导致工期难以控制的难题,分析并提出影响超高层建筑施工进度的主要因素及措施,通过创建建筑信息模型,采用P6+BIM技术进行项目进度管理,从技术和管理方面解决影响施工进度的主要难题,最终确保项目工期满足合同要求。 展开更多
关键词 高层建筑 建筑信息模型 钢结构 P6技术 进度管理
下载PDF
超大面积港池深基坑截渗与降水分析 被引量:1
10
作者 李松斌 谢小明 肖莹萍 《水运工程》 北大核心 2015年第10期182-187,共6页
挖入式港池基坑往往具有面积大、开挖深度大、紧邻河海等特点,因此港池基坑的止降水难度大、风险高。卡塔尔多哈新港港池基坑为石灰岩上覆沉积砂层的双层强透水地层中的超大深基坑。本工程地下水控制设计采用嵌岩地下连续墙和深井降水... 挖入式港池基坑往往具有面积大、开挖深度大、紧邻河海等特点,因此港池基坑的止降水难度大、风险高。卡塔尔多哈新港港池基坑为石灰岩上覆沉积砂层的双层强透水地层中的超大深基坑。本工程地下水控制设计采用嵌岩地下连续墙和深井降水的组合方法。通过对地下连续墙内外水位实测资料的分析可知,其隔渗效果较差。地下连续墙在该工程中的功能仅体现在改变了其周边局部区域的渗流场。利用地下水模拟系统软件包GMS中的MODFLOW模块进行港池基坑局部片区的基坑降水计算,通过改变深井降水的各参数(包括抽水井数量、抽水量和井距)对深井降水进行优化设计,为类似工程的深基坑降水设计提供借鉴。 展开更多
关键词 挖入式港池 深基坑 降水 地下连续墙 深井
下载PDF
基于MPICH平台的多种群并行遗传算法 被引量:3
11
作者 李松斌 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期646-651,共6页
提出了一种基于集群系统的多种群并行遗传算法,在集群系统的软件开发环境MPICH上构建了多种群粗粒度并行遗传算法框架.采用全局迁移方式交换通信域中各子群体的个体信息,并通过模拟退火规则来确定迁移代频.利用该算法框架对一类优化问题... 提出了一种基于集群系统的多种群并行遗传算法,在集群系统的软件开发环境MPICH上构建了多种群粗粒度并行遗传算法框架.采用全局迁移方式交换通信域中各子群体的个体信息,并通过模拟退火规则来确定迁移代频.利用该算法框架对一类优化问题N维目标函数的最小值问题,给出了具体的实现方法.最后对该类问题的两个实例进行了测试,基于该实例的测试数据对论文提出的算法进行了性能分析.结果显示,算法具有线性加速比,而且解的精度随着并行进程数量的增多而提高. 展开更多
关键词 多种群 优化 并行遗传算法 MPICH
下载PDF
高坡缕石含量灰岩回填料工程适宜性 被引量:1
12
作者 李松斌 陈胜 梁小丛 《水运工程》 北大核心 2016年第4期154-159,共6页
室内试验表明,多哈新港码头灰岩回填料存在较高含量的坡缕石矿物,具有一定的膨胀性和分散性,且不能同时满足细粒含量小于15%、液限和塑性指数分别低于65%和35的设计要求,在技术规格书中属于不合格回填料。为合理利用这部分港池开... 室内试验表明,多哈新港码头灰岩回填料存在较高含量的坡缕石矿物,具有一定的膨胀性和分散性,且不能同时满足细粒含量小于15%、液限和塑性指数分别低于65%和35的设计要求,在技术规格书中属于不合格回填料。为合理利用这部分港池开挖料、减少弃土含量,重新提出回填料碾压处理后孔隙率应小于10%、且浸水饱和后体积变化量不应超过回填厚度1%的要求。通过对回填料试样进行颗分和液塑限试验、土的颗粒密度试验、室内击实试验、x射线衍射试验、膨胀率室内试验,建立了高坡缕石灰岩回填料膨胀性与细粒含量关系式,得出细粒含量小于45%的回填料能够满足工程使用的结论,并由室外大型浸水模型试验进行验证。但当细颗粒含量在20%~40%回填料使用时,还应考虑黏土矿物分散性影响。 展开更多
关键词 坡缕石 回填料 孔隙率 膨胀性
下载PDF
二次浇筑下钢混组合梁桥面板结合面受力分析及优化 被引量:4
13
作者 李松斌 张定马 刘国坤 《公路工程》 2021年第5期110-118,129,共10页
为明确钢混组合梁混凝土桥面板二次浇筑结合面性能并优化其受力特性,利用混凝土结合面剪切试验结果验证了数值模型计算方法的正确性,并通过试验及数值计算结果对比了一次浇筑与二次浇筑面结构受力性能差异,再结合工程实例对钢混组合梁... 为明确钢混组合梁混凝土桥面板二次浇筑结合面性能并优化其受力特性,利用混凝土结合面剪切试验结果验证了数值模型计算方法的正确性,并通过试验及数值计算结果对比了一次浇筑与二次浇筑面结构受力性能差异,再结合工程实例对钢混组合梁混凝土桥面板二次浇筑结合面受力特性加以分析,并给出改善方法。试验及计算结果表明,二次浇筑界面抗剪能力下降,开裂荷载及极限抗剪荷载降低,而植筋与开槽可有效提高混凝土结合面抗剪性能,对于钢混组合梁,其存在多种新旧混凝土结合面,其受力与施工工序关系紧密,可以采用部分构件调整工序加植筋的方式,对受力较大的关键部位即新旧混凝土结合面性能加以改善。 展开更多
关键词 桥梁工程 钢混组合梁 结合面 界面性能 FEM
下载PDF
北方地区低温条件下扭王字块的预制 被引量:1
14
作者 李松斌 陈盛兜 《中国港湾建设》 北大核心 2008年第1期52-55,共4页
低温条件下扭王字块预制的质量较常温下更加难以保证,松顶、气泡多和裂缝多等质量"常发病"经常困扰着工程技术人员。文章介绍了辽宁红沿河核电厂护岸工程低温条件下预制扭王字块的施工过程和持续改进的施工方法等,并对气泡、... 低温条件下扭王字块预制的质量较常温下更加难以保证,松顶、气泡多和裂缝多等质量"常发病"经常困扰着工程技术人员。文章介绍了辽宁红沿河核电厂护岸工程低温条件下预制扭王字块的施工过程和持续改进的施工方法等,并对气泡、裂缝等质量问题产生的原因作了分析总结,重点提出了在北方地区低温条件下扭王字块预制的主要工艺和质量控制要点及改进措施,供类似项目参考。 展开更多
关键词 扭王字块 低温 气泡 裂缝 质量控制措施
下载PDF
热带沙漠沿海气候区大体积混凝土配制及性能 被引量:1
15
作者 李松斌 梁小丛 《水运工程》 北大核心 2016年第2期28-32,共5页
依托多哈港实际工程,按照热带沙漠沿海气候区室内环境作用参数,针对C30、C40以及C50共3个强度等级混凝土的典型配比,利用温湿度交变箱模拟热带沙漠气候特点,研究温度和湿度对新拌混凝土坍落度、凝结时间以及重塑时间的影响,确立环境作... 依托多哈港实际工程,按照热带沙漠沿海气候区室内环境作用参数,针对C30、C40以及C50共3个强度等级混凝土的典型配比,利用温湿度交变箱模拟热带沙漠气候特点,研究温度和湿度对新拌混凝土坍落度、凝结时间以及重塑时间的影响,确立环境作用因素对新拌混凝土施工性能的影响规律,建立环境作用因素与新拌混凝土施工性能之间的函数关系,通过开展混凝土温度-应力试验来评价大体积混凝土在温度场和强约束边界条件共同作用下的混凝土的抗裂性,为热带沙漠沿海气候区大体积混凝土施工质量控制提供参考依据。 展开更多
关键词 大体积混凝土 沙漠气候 性能研究 坍落度
下载PDF
低速率语音码流中的码元替换信息隐藏检测 被引量:2
16
作者 李松斌 杨洁 蒋雨欣 《网络新媒体技术》 2017年第1期7-18,共12页
低速率语音码流中的码元替换信息隐藏选取编码压缩语音中的特定码元作为载体,可实现高嵌入率和较高隐蔽性的信息隐藏.本文提出了码元关联网络模型,既可以从空间角度描述并量化同一语音帧内不同码元的取值分布特性,又能从时间角度描述并... 低速率语音码流中的码元替换信息隐藏选取编码压缩语音中的特定码元作为载体,可实现高嵌入率和较高隐蔽性的信息隐藏.本文提出了码元关联网络模型,既可以从空间角度描述并量化同一语音帧内不同码元的取值分布特性,又能从时间角度描述并量化不同语音帧内同一码元的取值关联特性。进一步,基于码元关联网络构建高性能分类器,最终可高效地实现针对码元替换信息隐藏的隐写检测。在不同语音数据库来源和不同语音长度条件下的实验结果证明了本文方法的检测准确率优于现有的隐写检测算法,实现了快速有效地码元替换信息隐藏检测。 展开更多
关键词 隐写分析 信息隐藏 码元替换 码元关联网络 低速率语音编码器
下载PDF
一种低速率压缩语音通用隐写分析方法 被引量:1
17
作者 李松斌 刘鹏 +1 位作者 杨洁 晏黔东 《网络新媒体技术》 2019年第6期44-47,60,共5页
合成分析线性预测编码(AbS-LPC)广泛应用于多种低速率语音编码中,现有的AbS-LPC低速率压缩语音隐写检测方法针对特定类型的隐写方法而设计,泛化能力较弱。为此,本文提出了一种面向多类低速率压缩语音隐写的通用信息隐藏检测方法。由于Ab... 合成分析线性预测编码(AbS-LPC)广泛应用于多种低速率语音编码中,现有的AbS-LPC低速率压缩语音隐写检测方法针对特定类型的隐写方法而设计,泛化能力较弱。为此,本文提出了一种面向多类低速率压缩语音隐写的通用信息隐藏检测方法。由于AbS-LPC低速率压缩语音码流中的码元存在时空关联性,且所有AbS-LPC低速率压缩语音隐写方法本质上都是改变码元取值。因此,从码元的角度出发,基于贝叶斯推理实现多类低速率压缩语音隐写的通用隐写检测。实验结果证明本文方法具有很好的通用隐写检测效果。 展开更多
关键词 AbS-LPC 压缩语音 信息隐藏 隐写分析 贝叶斯网络
下载PDF
水工项目承包商施工索赔实践 被引量:1
18
作者 李松斌 严晓慧 《中国港湾建设》 北大核心 2011年第6期79-81,共3页
作为项目合同管理的重要组成部分,工程索赔是经常发生的,同时也贯穿于施工全过程。承包商必须充分认识到索赔工作的复杂性和特殊性,正确合理地进行实践操作。总结论述目前水工市场常出现的承包商向业主的索赔问题,以便施工企业在生产经... 作为项目合同管理的重要组成部分,工程索赔是经常发生的,同时也贯穿于施工全过程。承包商必须充分认识到索赔工作的复杂性和特殊性,正确合理地进行实践操作。总结论述目前水工市场常出现的承包商向业主的索赔问题,以便施工企业在生产经营中借鉴。 展开更多
关键词 水工项目 施工索赔 实践
下载PDF
一种基于双阈值法改进的镜头边界检测算法 被引量:3
19
作者 李松斌 李军 +1 位作者 王玲芳 王劲林 《微计算机应用》 2010年第7期11-16,共6页
提出了一种基于双阈值法改进的镜头边界检测算法。该方法的优势在于通过复检有效降低了突变镜头以及淡入淡出渐变镜头的误检率,同时该方法针对包含较多视频帧的镜头给出了一种进行溶解型渐变镜头检测的方法,有效地提高了溶解型渐变镜头... 提出了一种基于双阈值法改进的镜头边界检测算法。该方法的优势在于通过复检有效降低了突变镜头以及淡入淡出渐变镜头的误检率,同时该方法针对包含较多视频帧的镜头给出了一种进行溶解型渐变镜头检测的方法,有效地提高了溶解型渐变镜头的检出率。实验表明与原算法相比其查全率约提高了11%。 展开更多
关键词 镜头边界检测 帧间差异 淡入淡出 溶解
下载PDF
Gdel语言对现代软件工程方法的支持 被引量:1
20
作者 李松斌 赵致琢 李慧琪 《计算机时代》 2006年第11期1-3,共3页
文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件... 文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。 展开更多
关键词 Goedel语言 软件开发方法 模块系统 类型系统 延迟计算
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部