博士生教育规模推演:2012-2025年中国为例

基于博士生教育链式反应规律,提出由历史数据估算学位授予率和退出率的方法,给出以实际或预测的指导教师、招生规模为输入,推演在学规模、学位授予规模的方法。以中国为例,实现“十四五”期间指导教师、招生、在学规模和学位授予规模的综合定量分析,数据表明:新时代“稳定规模”到“稳步扩大”调控已完成;“十四五”末博士学位年度授予规模有望突破10万,从而超过NCES传统统计口径下美国学术类博士学位数。建议重点改革指导教师选聘和直博招生方式,探索专业学位博士生培养模式,深入开展基于数理方法的规律研究并提出政策建议,推动博士生教育高质量发展,提升创新人才自主培养能力。

扫描速度对1 μm连续激光清除不同颜色聚乙烯薄膜的影响特性研究

本研究基于热传导理论,结合扫描速度,建立了1 μm连续激光扫描清除聚乙烯薄膜的三维物理模型,开展了1 μm连续激光扫描清除聚乙烯薄膜的数值模拟与实验研究,获得了聚乙烯薄膜的温度分布规律和烧蚀形貌变化。分析聚乙烯薄膜的清除速度区间以及对应的清除速率,进一步得到了不同颜色聚乙烯薄膜的最佳清除参数。研究结果表明:当激光功率密度一定时,激光扫描速度对聚乙烯薄膜的清除速率具有显著影响,随着扫描速度的提高,聚乙烯薄膜的清除速率逐渐增大。在保证扫描过程中不产生明火的条件下,激光功率密度800 W/cm2时蓝色、粉色、紫色、绿色、黄色和红色聚乙烯薄膜的最佳清除速度分别为6.8 mm/s、3.9 mm/s、1.4 mm/s、1.3 mm/s、0.3 mm/s、0.3 mm/s。

ABCA1基因R1587K多态性与冠心病遗传易感性的系统评价

目的：探讨三磷酸腺苷结合盒转运蛋白A1（ATP binding casette transporter A1,ABCA1）基因R1587K多态性与冠状动脉粥样硬化性心脏病（coronary heart disease,CHD）遗传易感性的关系。方法：计算机检索Pub Med、Web of Science、中国学术期刊全文数据库（CNKI）、万方数据库和维普数据库,检索时间截止2014年7月,获取有关ABCA1基因R1587K多态性与冠心病遗传易感性的病例-对照研究。以OR值及其95%CI为效应指标,运用Stata 11.0软件在异质、同质、显性和隐性遗传模式下进行Meta分析。结果：共纳入5个研究（实验组2 032例和对照11 492例）。Meta分析结果显示ABCA1基因R1587K多态性与冠心病遗传易感性在异质和显性遗传模式下均存在明显的统计学意义（异质模式：OR=1.140,95%CI=1.028-1.266,POR=0.014;显性模式：OR=1.124,95%CI=1.017-1.243,POR=0.022）;按种族进行亚组分析其结果显示该遗传易感性在高加索人群中较显著。结论：ABCA1基因R1587K多态性可能与高加索人群冠心病遗传易感性有关,需开展更多高质量、大样本的随机对照试验加以验证。

有限元-有限差分法二维波动逆时偏移初探

提出了采用有限元有限差分实现二维波动方程的逆时偏移算法。该方法在空间上 ,联合采用有限元法和有限差分法 ;对于地表 (水平 )方向 ,使用有限元法进行离散 ,将原方程转化为一个一维 (深度和时间 )问题的方程组 ;在深度和时间方向上 ,采用有限差分法来求解。介绍了算法的基本原理 ,给出了计算实例并与使用F K(频率波数 )域相移法、频率空间域有限差分法的结果进行了比较。与采用有限元的偏移方法相比 ,本方法可以节省大量内存 ;与采用有限差分的偏移方法相比 ,可以在一定程度上提高计算精度。

利用P波层间时差确定裂缝性地层的各向异性参数

地下定向裂缝是低渗透率油气藏油气储集、运移的通道，对油气的开采有着重要的意义。本文研究了层间时差沿方位的变化规律，给出了层间时差与裂缝性地层各向异性参数的关系；以此为基础，在彼此相交呈45°角的4条二维P波测线的CDP道集上，拾取层间时差，求得各向异性参数，并由此对地下裂缝的发育及分布作出判断。模型研究表明，利用本方法能够较精确地获得地下裂缝性地层的各向异性参数。文中还讨论了将层间时差方法应用于实际常规二维、三维P波资料的可能情况。

服务“一带一路”建设提升研究生国际化培养水平

分析了"一带一路"建设对高水平人才培养的需求,指出"一带一路"战略凸显了巨大的"人才鸿沟"问题,研究生国际化培养面临着培养理念、支持网络、项目定位和经费方面的挑战。介绍了清华大学打造支持网络,建设"中国文化"和"国际实践"两个课堂,聚焦"研究型人才、领导型人才、工程实践人才"一体培养的"一个网络、两个课堂、三类人才"研究生国际化培养实践探索。提出应从战略高度推动研究生国际化培养,通过理念更新、制度建设促进项目转型,并给出提升生源质量、促进学生交流和注重质量保障等打造可持续发展的研究生国际化培养体系的工作建议。

多内部调制参数相关的CCD高温计测量能力评估理论及实验验证

基于像元输出信号强度与目标温度的积分关系,定义并构建了温度分辨率在不同内部调制参数下的评估模型。结合标定实验进行数值模拟,讨论了增益和gamma调制参数对CCD系统温度分辨率的影响。并开展调制参数对温度分辨率影响的理论验证性实验,得到了在不同增益和gamma调制参数影响下的304不锈钢和黄铜的温度分辨率情况。通过实验与模拟结果的对比分析,总结了两种内部调制参数对温度分辨率的影响效果。完善了CCD温度测量理论体系,同时也为CCD测温系统在不同条件下的参数选择提供了理论指导。

西南地区公共图书馆服务体系建设的现状与思考

本文以西南地区公共图书馆建设的现状为基点,借鉴国外公共图书馆的服务体制与经验,结合国内发达地区公共图书馆的服务与实践,对西南地区公共图书服馆务的基本问题、基本素质、服务与管理等方面的内容进行调查与分析,并提出相关存在的问题与解决策略,为西南地区图书馆服务体系的完善提供参考。

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.

一种用于字节码程序模块化验证的逻辑系统

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点,造成了抽象控制栈复杂、控制流结构信息不足,因而字节码程序的"模块化验证"依然是一个巨大的挑战,并没有得到有效解决.将FPCC(foundationalproof-carryingcode)方法引入中间表示字节码,借鉴汇编程序的验证方法.设计出一种逻辑系统,给出字节码程序运行环境BCM(ByteCodemachine)的逻辑系统CBP(certifyingbytecodeprogram)定义,完成系统的合理性证明和一组代表性实例程序的模块化证明,并实现机器自动检查.该工作为字节码验证提供一种良好的解决方案,同时也向着构造证明保持编译器环境迈出了坚实的一步,还可以为广泛使用的基于虚拟机复杂网络应用程序的深刻理解和深入分析提供理论帮助.

“编译原理专题训练”课程介绍

"编译原理专题训练"是清华大学为计算机科学与技术系本科生开设的实践类限选课,旨在提高学生的实践能力。课程首次将开放源代码软件GCC和Open64作为实验框架引入实践教学,引导学生参与大型开源软件开发和维护活动,基于具有工业水准的真实软件开展实践。本文重点介绍了该课程在我校开设的基本情况,以期给大家更多的启示。

基于共生理论的高校数字化教学资源共享策略研究

根据共生理论的相关视角,分析共生理论对高校数字化教学资源共享的影响,结合高校数字化资源共享的现状,提出共生理论在高校数字资源共享中应用的途径,同时找出不同高校间数字化教学资源共享共生过程中存在的问题,并提出高校间数字化资源共享共生策略。

区域公共图书馆的评估与思考——以西南地区为考察点

本文通过对西南地区区域公共图书馆的基本现状进行调查分析,结合西南地区特点,根据区域公共图书馆的基本特性,借鉴发达地区公共图书馆建设的体制与经验,提出西南地区各类公共图书馆建设体制上存在的问题和建议,促进公共图书馆的和谐服务。

论中国马克思主义对独立自主思想的解读

独立自主是中国共产党在领导革命和建设过程中逐渐形成并被实践所证明的正确指导原则,是毛泽东思想活的灵魂。随着改革开放的深入,世界政治多极化和经济一体化的加强,邓小平同志和江泽民同志在领导社会主义现代化建设过程中,不但继承和实践这一根本原则,而且赋予独立自主丰富的内涵。学习探讨独立自主思想,对于我国改革开放和维护世界和平具有伟大的理论和实践意义。

基于TL494的逆变电源系统环路设计

介绍了一种基于TL494芯片、可应用于移动设备的高性能逆变电源。重点研究了一种能应用在通用PWM控制芯片上的新颖逆变电源环路反馈和补偿方案。该方案采用两级反馈,利用电流叠加原理,设计了电压采样、电流求和的反馈环路。在系统的成本、功耗、稳定性及失真度方面均得到改进。测试结果表明,该电路具有良好的性能。在30V额定输入电压、15Ω负载下,总环路增益为27dB,效率为92%,失真度约为1%。

同步数据流语言可信编译器的构造

同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作.

微波消解法在测定饲料Hg、As含量中的应用

文章采用了微波完全消解和水浴部分消解两种方式对同一批饲料样品进行前处理,用原子荧光光度计测定饲料中的Hg、As含量。通过对检测结果的对比发现微波消解的效果要好于水浴消解。该检测方法的Hg检出限为0.0825mg/kg,As为0.265 mg/kg。并对微波消解条件的选择进行了深入的探讨。

基于J2EE的企业信息平台的设计与实现

简要地介绍了Sun公司提出的J2EE的企业平台架构，以赤峰市富龙集团企业信息平台构架为例，探讨了基于J2EE的企业信息平台架构机理，并重点分析讨论了信息平台中的消息中心和规则库的设计与实现。

OpenGL技术在地震数据可视化中的应用

Open GL(Open Graphics Library)是近年发展起来的一个性能卓越的应用编程接口 (API) ,它已经成为三维图形设计的工业标准。随着计算机软硬件水平的不断提高 ,可视化技术在地震数据处理与解释工作中的地位也日益突出。本文探讨了利用 Open

基于MgO：APLN的1．57μm／3．84μm连续波内腔多光参量振荡器研究

报道了一种基于MgO:APLN实现1.57μm和3.84μm跨周期参量光连续输出的内腔抽运多光参量振荡器.采用1064 nm谐振腔与多光参量振荡腔折叠型复合结构,综合考虑高功率抽运下谐振腔的热稳定性及多光参量振荡过程的光斑模式匹配,通过对两个子腔谐振结构的数值模拟分析,确定了最佳腔型参数.在此基础上,进一步研究了谐振参量光透过率对振荡阈值、抽运光下转换效率、输出功率稳定性的影响,最终实现了3.13 W的1.57μm和0.85 W的3.84μm参量光输出,对应斜效率为6.8%和1.9%,输出功率稳定性分别达到了1.8%和3%.