解决哲学家进餐问题陷入死锁状态的系统改造方案分析

通过对“哲学家进餐问题”的讨论,提出了解决计算机系统死锁的若干行之有效的方案,并给出了相应的实现代码.为解决并发进程同步问题提供了参考.     

关于高校教学管理的几点思考

本文阐述了当前在高校教学管理中存在教学管理思想落后，对教学管理不够重视，缺乏对教学管理的创新等问题。在经过了深入的思考和总结之后，提出高校教学管理改革的方向和对策。     

基于生命周期的新能源汽车的评价研究

目前全世界都面临能源紧缺、碳排放过度和空气污染的问题,这给汽车行业的发展提出新的课题,大力发展新能源汽车是解决上述问题的一个重要措施。本文论述了新能源汽车产生的背景、发展新能源汽车对中国的意义及必然性,介绍了基于生命周期的汽车能耗、排放和经济分析,并对北京新能源汽车市场进行了可行性分析。     

谈在施工中钢筋混凝土灌注桩的应用

在桥梁工程的建筑场地,浅层土质在无法满足变形和承载力要求,且不适合采取地基处理措施的时候,则需要考虑以坚实土层或者岩层作持力层的桩基方案.     

地层水力压裂中的应力强度因子

本文根据弹性断裂力学的叠加原理,建立了地应力场和流体压力作用下水力压裂中孔边轴对称裂纹尖端应力强度因子K_1的近似解析表达式。这些近似公式在工程意义上是相当精确的,与可以获得的数值结果的比较表明其相对误差仅百分之几,为水力压裂中破裂压力的断裂力学方法预测和裂缝扩展过程的模拟提供了快速、简单且相当精确的方法。     

细胞群体连续切片图象中任意个体的计算机三维重建

研究了细胞群体连续切片图象中任意个体的计算机三维重建及显示，并给出了相应的实现算法。该算法是基于同一物体截面在连续切片图象中的－阶归－化矩相似描述，用模式识别的方法确定同一物体的截面及用虚拟矩形窗口技术提取任意个体的所有截面，采用截面重建显示法实现任意个体的重建显示，理论分析和实验研究均证实了该算法的可行性和实用性．     

2 1/2维的消隐算法

本文提出了一种2 1/2维的消隐算法,用来消去在绘制大比例尺工程地形图过程中出现的地物符号与地物符号、地物符号与等高线相交而产生的隐线,使得大比例尺工程地形图的绘制能够在全自动的情形下方便地进行,避免了人工干预。     

大学生心理健康教育初探

大学生心理健康教育应遵循心理发展和保健的原则，重在滋润心灵、启迪智慧、丰富人生。对大学生心理问题，心理健康教育和心理咨询工作应以科学冷静的态度予以关注，适时、适当地进行帮助和指导。心理健康教育的模式应在教育和指导的基础上，面向全体学生，为学生心理健康发展服务，使学生获得科学正确的理性观念，培育和养成良好的行为方式和习惯。     

八元数方阵的表示方阵应用

文章考察八元数方阵。用它的表示方阵构造了伴随方阵,讨论了八元数满秩方阵的性质,并将域上的Cayley-Hamilton定理推广到Cayley代数上。     

用于信息流分析的信息流树结构

在根据系统源代码进行隐通道搜索的分析方法基础上,针对目前隐通道搜索方法仍然采用人工分析系统中的语句信息流所带来的工作量巨大问题,将已提出的较为简单的高级语言语句信息流规则加以扩展,依据扩展得到的语句信息流规则,构造出一种可以描述并记录语句信息流且易于实现的二叉树结构——信息流树,给出自动分析信息流的遍历信息流树算法,并以自行开发的VISTA空间数据库系统中的一段源代码为例,通过构造并遍历其信息流树,说明用信息流树描述信息流并进行信息流分析的有效性和正确性．