如何安全创建TSR程序

ＴＳＲ程序是一个性能优良的高级用户软件不可缺少的功能，是我们实现多任务的重要手段。但使用不当容易造成系统崩溃。本文分析运行ＴＳＲ存在的问题，并提出了解决的方法。参２。     

FINITE ELEMENT APPROXIMATION USING A GRADED MESH ON DOMAINS WITH REENTRANT CORNERS

Finite element approximation of the elliptic operator on a non-convexdomain composed of rectangles is considered using a graded mesh.Some errorestimates and error expansion are presented.     

铁氮化合物Ising模型的相变研究

在考虑最近邻相互作用下,对类Fe4N结构的混自旋Ising模型,采用平均场理论,推导出系统的磁矩和自由能公式,并利用数值计算方法,给出了系统的磁化曲线和相图。发现了非常丰富的相变现象,特别是一级相变现象和重入现象,较全面地分析了系统的相变规律。     

滤波器湍流模型在超空化流动计算中的应用评价

对滤波器湍流模型(FBM)在超空化流动计算中的应用进行分析和评价.在CFX软件中,分别采用FBM模型和标准κ-ε模型对Hydronautics翼形的超空化流动进行模拟,结合水洞实验结果从空泡形态和流场结构两方面对两种模型的计算结果作对比分析.结果表明,FBM模型对空泡形态和空泡尺度的模拟更符合实际.FBM模型可以捕捉超空化流动中较大尺度的涡团结构,并能更清晰地模拟出空化区尾部涡团交替脱落的非定常细节,同时.FBM模型对超空化流动中反向射流现象的模拟更敏感.     

带重入约束的双集束型晶圆制造设备调度算法

为了有效解决集束型晶圆制造设备群加工过程中存在的重入调度问题,构建了带重入约束的双集束型晶圆制造设备调度算法.首先分析了双集束型晶圆制造设备中重入约束特征.在此基础上,建立调度问题域,并以系统加工周期最小为目标,建立调度模型.采用分解策略,将双集束型晶圆制造设备调度问题分解成单个设备调度问题,并提出了一种全新的机械手调度顺序搜索的启发式算法.最后对调度算法进行仿真实验分析,结果表明该算法是有效的.     

一种增强Linux实时性能的技术

在对Linux核心进行分析的基础上，深入研究了Linux操作系统的不可切换性和实时信号的延迟性，提出了一种增强Linux操作系统实时性能的技术方案。     

再入式无源环形谐振腔光纤角速度传感器

为研制高灵敏度且环长度更短的光纤角速度传感器 (FORS) ,对采用低相干长度光源、无源环形谐振腔以及高性能反射镜的新型再入式光纤角速度传感器 (RPR- FORS)进行了理论分析与实验研究。分析了无源环形谐振腔中定向耦合器的透过率、环形谐振腔的透过率与测量灵敏度的关系。通过采用机械方式改变反射系数的方法验证了反射镜在RPR- FORS中的作用 ;进行了相位调制器插入环形谐振腔内与插入环形谐振腔和反射镜之间的对比实验 ,证明了两种调制方式具有相同的效果。同时在初步实验中获得了角速度敏感信号。这种 RPR- FORS为集成化的角速度传感器奠定了理论和实验基础     

基于PN的可重入医学检测调度系统优化研究

基于一类具有可重入特点的医学检测过程的设备调度问题,研究了具有约束条件的优化解.首先分析了调度约束条件和优化目标,建立了其Petri Networks(PN)形式化模型,并分析了其规则调度系统的稳定性和其他性能.然后利用PN模型和调度约束条件解出调度可行解结合对医学检测部分工序要求连续的基础上建立时间约束矩阵,对可行解进一步优化,最终得到满足所有约束条件的优化可行解.通过对实际医学检测系统的实例分析和CPN Tools仿真,结果表明所建立的模型和方法的有效性.     

表面凹腔中气泡核的稳定性分析

系统地分析了气泡核在表面凹腔内的生长和收缩过程，通过对气泡核平衡机理的探讨，获得了修正的稳定性判据，进而研究沸腾起始及空腔钝化的条件．首次讨论了气泡核稳定性曲线的滞后效应，并建立了一种定量分析模式，以分析气泡核的稳定性行为．     

L形区域特征值问题的九点差分近似的误差估计与高精度校正法

讨论了L型区域Laplace算子的各个特征函数在凹点邻域的性态，得到九点差分格式的各个近似特征值的误差估计，并证明了除第一特征值外，其余特征值皆可使用已有的校正法取得更高的精度。所得结果不仅更正了对L型区域第一特征值的渐进展开之猜想，而且解决了其数值解为何是振荡的这一难题。