基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

混凝土搅拌站卸水问题分析及几点实用技术

根据水对混凝土生产过程的重要性,本文针对性分析了混凝土搅拌站生产时在水的添加过程中应注意的问题,并提供几点实用技术用于提高设备使用性能。     

Windows 2000安全漏洞及其解决建议

主要针对Windows 2000操作系统本身以及作为网络操作系统所存在的安全隐患，讨论了其比较典型和重大的安全漏洞，并给出对这些漏洞的解决建议。为基于Windows 2000的服务器和工作站的网络安全建议提供了参考。     

基于XML的电子病历界面生成器的研究

随着社会的发展，医疗行业正受到越来越多人的关注，电子病历作为医院信息系统的重要组成部分，其建立和发展成为必然的趋势。本文主要介绍了电子病历的人机界面自动生成器模型的设计和实现。由于XML内容显示方面的优越性和数据存储特性，我们选用XML语言描述数据结构。实验证明，提出的模型较为合理。     

智能监控系统中的人群密度检测

人群密度检测是数字图像处理研究的热门领域,在现代社会的应用越来越广泛,可以用于人群密集场所,比如:超市、学校等,用来帮助和提醒管理人员及时处理突发情况。本文采用基于纹理特征的人群密度估计算法,首先提取出灰度共生矩阵的5个特征值组成训练样本矩阵,然后再使用支持向量机进行分类。实验结果表明,人群密度检测结果比较准确。     

英语单词的故事教学法

在课堂上采用故事教学法讲授英语单词,有利于激发学生学习英语的兴趣,易于教师搞好师生互动,从而达到加强课堂授课效果提高学生英语成绩。     

正常麻醉犬动脉血和脑脊液酸碱电解质关系的初步分析

３０只健康麻醉犬动脉血和脑脊液（ＣＳＦ）酸碱变量及主要电解质检测结果分析发现：ＣＳＦｐＨ、［Ｋ~＋］＜ｐＨａ和［Ｋ~＋］_ａ，相互之间相关显著，其回归方程分别为ＣＳＦｐＨ＝０．４７７×ｐＨａ＋３．７８，ＣＳＦ［Ｋ~＋］＝０．４１８×［Ｋ~＋］_ａ＋１．１２。ＣＳＦＰＣＯ２、［Ｃｌ~－］、［乳酸］［Ｌａｃｔ］＞ＰａＣＯ２、［Ｃｌ－］_ａ和［Ｌａｃｔ］_ａ，相互之间相关显著。其回归方程分别为ＣＳＦＰＣＯ２＝０．５６４×ＰａＣＯ２＋３．５３２５，ＣＳＦ［Ｃｌ~－］＝０．５×［Ｃｌ~－］_ａ＋７６．７，ＣＳＦ［Ｌａｃｔ］＋０．９５×［Ｌａｃｔ］_ａ＋１．０。ＣＳＦ［ＨＣＯ_３~－］与ＣＳＦＰＣＯ２相关显著，回归方程为ＣＳＦ［ＨＣＯ_３~－］＝１．８９８×ＣＳＦＰＣＯ２＋１０．６。     

矩阵的特征值和特征向量的应用研究

通过对n阶矩阵的特征值和特征向量的研究,针对n阶矩阵的特征值和特征向量的应用进行了3个方面的探讨,并给出了相关命题的证明及相应的例题.     

Shooman模型及其应用研究

Shooman模型用于软件开发的测试阶段,利用测试中的统计数据推测错误的产生频度,以估算软件可靠性,从而控制软件的质量.对Shooman模型公式进行推导,得到快速估算程序中固有错误总量的公式,并举例说明其应用.     

从个人收入有限非均等到共同富裕

个人收入非均等是一个实证性概念。它反映的是经济发展过程中人与人、各利益群体之间收入存在差异的现象。共同富裕则是我国经济体制改革和社会主义建设所要实现的目标,也是社会主义经济的本质特征。实现这二者转换的关键,是能够通过有限非均等促进效率的提高。在中国,首先把收入差距、提高效率、共同富裕联系起来研究的,是邓小平同志。