高职院校《高频电子线路》课程教学模式改革

针对高职院校《高频电子线路》课程特点,结合实际教学条件,开发出基于工作过程的课程教学体系,充分发挥以学生为主体、以教师为主导的作用,从而促进教学效果的提升,从教学内容安排、课堂教学实施、课程考核模式三个方面加以阐述.     

RPVC纱窗异型材定型模的设计

介绍ＲＰＶＣ纱窗异型材模具中定型模的设计及生产制造方法，该设计已通过实际生产检验。     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

An approximate analytical solution to the ultrafiltration profile in a hemodialysis process between parallel porous plates

In a hemodialysis process, the blood that runs through straight channels exchanges substances with the dialysate through a semi-permeable membrane. The waste products, such as urea and creatinine, are therefore removed from the plasma by the membrane. In the analysis of this process, determination of the ultra-filtration profile along the porous membrane surface remains a difficult problem. In this work, an analytical solution to the derivation of such a profile was detailed, and the feasibility of this solution was discussed. The ultra-filtration profile was found to be in a cosine shape.     

高纯元素合成磺化汞及其单晶的生长

研究了“真空冷指升华法”制备高纯碘（I2）；采用“三温区汽相合成法”将高纯汞（Hg)与高纯碘合成碘化汞（HgI2);α-HgI2单晶的“三温区定点成核法”的汽相生长，分析讨论了温度场对晶体生长的影响，实验结果表明：汞与碘合成时对碘源区，汞源区，碘化汞沉积区分别设置成不同的合适温度，在合成时碘的量比按化学配比的计算值过量5％左右，且在长晶时对原料进行碘处理的方法能确保HgI2的纯度及汞与碘的最佳化学比，长晶时源区温度在125－126℃，长晶区温度在111－112℃，源区与长晶区的温度梯度为1℃/cm，这样在生工安瓿中所形成的温度场对晶体的生长是比较适宜的。     

Revisit the K-segment of the Southeast Indian Ridge for new evidence of hydrothermal plumes

During the first leg of a Chinese research cruise to the Southeast Indian Ridge (SEIR) in 2007, we revisited the K-segment of the SEIR and observed a water column turbidity anomaly at a CTD cast station. This station was located ~400 m from a dredge site on a plume anomaly detected in 1996 by US scientists. The characteristics of the turbidity anomaly detected in our survey are different from those observed 11 years previously, implying that either the detected anomalies have distinct and different plume sources or the robustness of the plume has changed in the intervening time. In addition, turbidity anomalies were observed at two localities on the K-segment in a deep tow-yo profile. If these two anomalies are not connected, the plume incidence calculated would be about 0.28, larger than the predicted value of 0.25 for a 65 mm/a spreading rate. This increase in plume incidence on the K-segment seems to be related to the influence of the St. Paul-Amsterdam hotspot, located about 300 km to the northwest.     

用X射线线形精炼法分析纳米晶体的微观结构

利用广角 X射线衍射仪 ,采用单线傅氏线形精炼分析法 ,研究不同制备方法及不同处理条件的纳米晶体的晶粒大小和微观畸变     

英语自主学习档案与合同的作用和功能

自主学习是当前深受欢迎的一种语言学习方式,全世界人们以不同的方法和形式利用自主语言学习体系来学习语言。介绍了几种自主语言学习体系的构成以及它们的维护和管理模式。通过分析建立自主学习档案与合同的作用和功能,提出并强调了使用它们的丛要性,从而探索一种能促进英语语言学习的有效方法和新模式。     

凸轮型线的优化设计

针对高速汽油机顶置凸轮轴的设计，建立了高次方多项式描述动力凸轮特性的数学模型，并给出了相关系数的计算公式，最后根据数学模型对一台汽油机的凸轮型线进行了优化．     

开发AND并行性的一种方法

本文提出了开发逻辑程序AND并行性的一种方法。这种方法不用对变量加注,可以缩短执行时间,简单而有效。