基于Petri网的填土路基施工过程的建模与研究

将填土路基施工过程系统分解为相互关联的子对象系统，分别用Petri网对子对象系统建立分级子模型，然后再将子模型系统作为变迁元素嵌入到道路施工的主网络模型中去，从而获得整个道路施工系统的Petri网模型.     

三维集成图像技术及其在发展三维电视上的应用

集成图像技术是一种通过微透镜阵列来记录和显示全真的三维场景的三维图像技术。在众多三维图像技术中，这一技术十分有前景应用于三维电视的研制和开发中。本文对集成图像系统及它在三维电视工业中的应用给予了详细的描述。     

锚网锚索支护技术在综采工作面大断面切眼的应用

根据现场工程地质条件调查分析、岩石物理力学特性和复合顶板大断面综采切眼围岩力学变形机制及其转化研究，提出了复合顶板综采工作面巷道锚网锚索耦舍支护设计方案。施工结果证明其在技术上是可行的，安全上是可靠的，经济上是合理的。     

岩石分形节理光弹实验与数值模拟研究

从分形几何的观点出发，根据岩石结构面具有统计自相似特征，采用Mandelbrot-Weierstrass函数在聚碳酸脂板人为生成不同分维的分形曲线来模拟岩石节理不同的粗糙度，对该试样进行了一系列单压和压剪光弹实验。运用ANSYS系统，通过对模拟分形节理实验过程的数值模拟，研究了定量刻划节理粗糙性的分维对应力场分布变化的影响，并与光弹实验结果作了对比分析。研究表明，数值模拟结果与光弹实验结果有较好的一致。     

露天矿三维可视化矿床地质模型的建立

基于裁剪曲面和不规则多边形，建立了露天矿三维可视化矿床地质模型，这个模型是由地质界面模型和地表面模型组合而成的。地质界面模型是由煤层的顶底板插值曲面经煤层边界和断层曲面裁剪而成的，地表面模型是对原始地表数据和矿坑数据进行三角剖分得到的三角形网格。根据露天矿的开采特点，实现了对模型的自动维护和更新，形成了动态的露天矿三维可视化矿床地质模型。     

FIPA合同网协议的一种改进方案

针对FIPA合同网协议的一个典型扩展协议CNCP提出增设阈值的改进方案．因为无论Agent同时参与几项招标，最终它只能与其中某一个任务发起者建立正式合同关系，所以在确保Agent可在绝大多数情况下获得至少一个任务执行权的前提下，对参与招标的Agent一方设置合适的阈值，限定其同时处理的cfp的数量，可以为参与者一方减少大量不必要的计算消耗，降低任务被低效执行或最终得不到执行的风险，从而对系统整体性能的提升有所裨益．     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

GPS网的优化设计

文章介绍了GPS网的设计指标 ,提高GPS网精度的方法 ,布设GPS网时起算点的选取与分布 ,高程拟合法适用范围     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为．蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息，解决传统网络安全技术对未知入侵攻击无能为力的难题，直接或间接地提高系统网络安全性能。深入研究了蜜罐技术的高级实现形式蜜网系统．对比了业务型和研究型两种蜜网系统．并通过有限自动机形式化模拟了业务蜜网系统，描述了其状态转换过程，为业务蜜网系统的行为描述和结构设计提供了理论依据和论证。     

可编程控制器在供热网中的应用

论述了可编程序控制器的工作原理及结构，结合实际分析了它具体的工作过程，介绍了可编程序控制器在供热网中热力站本地控制器、便携式流量计等方面的应用，指出了利用可编程PLC实时、多任务的特点对热力站进行调控的效果。