外加圆弧保护装置在单晶硅生产中的应用

单晶硅棒在生产完毕后,出炉前的温度大约在200℃,由于高温的存在,晶棒在受到外界磕碰或其他异常时会掉落,造成严重的经济损失和人员伤害,使得晶棒卸取过程变得十分危险,在生产中采用活叶的保护框来对整个过程进行监护,避免掉棒产生的损失与人员伤害。     

矩形空气静压导轨气浮垫性能的数值分析

采用有限差分法对一种新结构气浮垫的压力场进行了数值仿真分析.通过理论分析对气浮垫气膜压力分布和承载能力进行了研究,采用网格重叠和网格拼接技术划分网格,并对气体润滑状态控制方程和弹性薄板变形的控制方程进行了耦合计算,得到气浮垫的承载力和刚度.理论计算结果表明:在气体压力的作用下,环形弹性薄板产生弹性变形,引起节流面积和均...     

石油工程类特色专业留学生国际化课程体系的构建

本研究基于以石油天然气工程教育为特色的西安石油大学来华留学生教育为范例,深入研究和探讨了行业来华留学生人才培养课程体系建设工作,研究提出行业来华留学生教育应建立和完善适应石油工程国际化人才培养的课程体系,着力解决当前工程教育来华留学生课程设置中存在的突出问题,构建特色鲜明、符合国际化人才培养目标、满足国际需求的石油行业来华留学生人才培养模式。     

韩国高等教育发展策略对我国的启示

韩国在高等教育领域取得的成就与韩国政府历来实施的教育政策和改革措施息息相关,包括改革管理体制,制订中长期战略发展规划,加大政府经费投入,提倡大学多样化和个性化,提高大学办学自主权等,可供我国大学借鉴。     

信息网络安全的法学定义研究--从技术视角向法律思维的转换

在信息网络中活动的主体有各自不同的利益诉求，进而会形成“多元的安全观”，这种多元的安全观所带来的矛盾不可能为技术所解决。因此解决信息网络安全问题，必须从技术视角向法律思维转换，看到信息网络安全是一种正当利益得到保障、不具备正当性的行为遭到禁止的状态。既有分析框架中的“数据安全”和“内容安全”的二分模式，也因其技术视角所导致的缺陷而存在修正的必要。     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

网络交易安全呼唤立法保障《电子签名法(草案)》述评

2004年3月24日,在温家宝总理主持的国务院常务会议上,<电子签名法(草案)>获得原则通过,随即被提交全国人大讨论.第十届全国人大常委会分别于4月2日、6月21日,对该草案进行了两次审议.2004年8月28日,<电子签名法>由中华人民共和国第十届全国人民代表大会常务委员会第十一次会议通过.     

含气率对长圆管内气液两相流流场特性的影响

为了解决不同工况下长圆管径向支撑承载力及其稳定性的问题,采用有限体积法,对长圆管内不同含气率的气液两相流的流场特性进行了数值计算。基于流体力学基本理论与多相流理论,完成了长圆管内气液两相流湍流流动形态的瞬态追踪,并计算了不同含气率的流场分布对管道内壁产生的流场作用力。结果表明:随着流动的进行,当气相流体加入液相流体时,气相流体作用于液相流体表面形成波浪,且含气率越大,气相流体对液相流体的作用越强,当含气率α50%时,液相流体的流动效应被逐渐减弱,流动形态转变为层状流,管壁受到的流场作用力减小。     

弹性均压槽空气静压轴承静特性的影响因素分析

为了研究影响弹性均压槽空气静压轴承静态特性的因素,基于气固耦合原理,建立弹性均压槽空气静压轴承的耦合控制方程,采用有限差分对控制方程进行离散求解,分别研究供气压力、均压槽宽度和节流孔直径对弹性均压槽空气静压轴承静态特性的影响。结果表明:供气压力、均压槽宽度和节流孔直径对弹性均压槽空气静压轴承承载力和刚度的影响较大,供气压力越大,轴承的承载力和刚度也越大,但刚度最大时的工作气膜间隙越小;均压槽宽度越大,轴承刚度最大时的工作气膜间隙越大;节流孔直径越小,轴承刚度越大。实验结果和理论计算结果基本一致,验证了数学模型和理论方法的正确性。     

基于形式语言B的一种新的时态规约方案

提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达“过去”、“现在”、“稳定”、“跳变”等时态概念。定义了时间类型、“现在”以及与时间有关的变量的宏操作等抽象机,这些抽象机已经通过B工具的一致性验证。可以在实时系统的B形式化规约中直接使用。