一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

基于AutoCAD实体造型的铸件网格剖分程序

以ＡｕｔｏＣＡＤＲ１２实体造型模块（ＡＭＥ）为图形输入工作平台，研究了ＡＭＥ提供的六种基本实体的ＤＸＦ文件数据格式，开发出铸件实体有限差分网格剖分程序，并举出实例．     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

基于PC的虚拟现实系统开发平台——PCVRS

介绍了一个基于ＰＣ的虚拟现实系统开发平台ＰＣＶＲＳ，对比国外同类系统，具体分析了ＰＣＶＲＳ在交互功能和开放性方面的特点，在交互功能方面，ＰＣＶＲＳ扩充了Ｐｉｃｋ＆Ｐｌａｙ的交互方式，增加了语音通道，实现了多通道交互，在开放性方面，ＰＣＶＲＳ采用Ｉｎｔｅｒｎｅｔ上流行的虚拟现实造型语言ＶＲＭＬ作为系统的基本造型语言，并设计了一个抽象的造型数据格式作为向三维场景提供数据的统一接口，最后，通过对基于该平     

水-岩体系质量传输模拟

文章介绍了水－岩体系质量传输模拟的基本原理和步骤并给出了一个应用实例。该方法以（地下水）径流途径上任意两点间化学组分及氧化还原状态变化为基础，确立质量传输模型并对其求解，从而揭示一定空间范围内水－岩土之间物质交换的内在过程和数量关系。水－岩土体系质量传输模拟在岩土中污染物的迁移转化、岩土化学淋滤、地下水水质的形成与演化及热水成矿等众多研究领域具有重要意义。     

两相闭式热虹吸管的集总参数模型研究

通过分析无芯网的两相闭式热虹吸管（简称为ＴＰＣＴ）的传热机理，提出了正常工况下ＴＰＣＴ的集总参数模型，并利用现有的热管内部传热的经验关系式，对ＴＰＣＴ在不同热负荷、不同冷却速率以及不同工质种类条件下的温度分布和动态响应特性进行了数值模拟计算．结果表明该模型简明可行     

基于格点场数据的沙尘暴双预报模型

为提高沙尘暴预报的准确率，以描述大气环流形式的物理场格点数据作为建模样本，采用自组织神经网络对物理格点场数据样本进行聚类，构建出由大规模阵列式数据格式表示的建模样本的低维特征，再用模糊神经网络综合建模样本的一般性规律，用非典型样本进行二次建模以反映建模样本的特殊性，并设计隶属度调整方案对一般性和特殊性进行协调，由此形成兼顾建模样本一般性和特殊性的双预报模型．测试结果表明，基于特征提取方案的双预报模型体系使沙尘暴预报准确率达到80．4％．     

基于行为模型算法的入侵检测技术研究

在分析现有的入侵检测技术的基础上，提出基于行为模型的入侵检测技术．通过学习模式和检测模式来分析行为模型算法．本文从URI检测、客户请求的数据检测及访问顺序检测这3个部分来阐述基于行为模型的入侵检测技术的检测原理．经过测试，行为模型算法对现有的攻击（如SQL注入攻击、跨站脚码攻击、隐藏域攻击）能起到有效的防御；对现今未发现的攻击行为，在它出现后可以通过学习、建模也能进行很好的检测．     

数控机床热补偿中温度变量的选择与建模

叙述了一种在机床热补偿过程中,利用多元统计分析中的聚类分析方法对温度变量进行初步筛选,然后利用逐步回归方法获得最优模型的方法.对一台车削加工中心温度测量的变量进行了选择,并且利用逐步回归方法得到了补偿模型.结果表明,这种建模方法,不但很好地避免了温度测点的相互影响,保证了模型精度,而且节省了工作量和成本.     

平面二包环面蜗轮的特征建模

在环面蜗杆螺旋线解析几何方程的建模和平面包络环面蜗杆三维实体构建的基础上，分析讨论了平面二次包络环面蜗轮的几何特征，应用蜗杆特征模型，采用有限次数逻辑运算逼近方法完成平面二次包络环面蜗轮实体构建，实现了平面二次包络环面蜗轮副传动的组建．该方法简洁实用，三维实体具有真实的运动型面，能为数控加工提供精确的坐标参数，也能为平面二次包络环面蜗轮副传动的性能优化提供有用的研究方法．