基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

堆栈溢出攻击的分析及防范

堆栈溢出（Stack overflow)攻击是当前攻击计算机的一种常用手段，首先对各种类型的堆栈溢出漏洞和攻击手段进行分析，然后针对这些漏洞讨论已有的各种预防攻击的办法，最后提出了一种利用动态修改堆栈空间和静态植入二进制代码的方法来实现对于堆栈的保护，分析结果表明，由于所监控的函数本身对效率的要求不高，同时被系统调用的次数不多，所插入的代码一方面很好地防御了通常的堆栈溢出攻击，另一方面对于整个程序的效率也几乎没有任何影响，而且对于新发现的具有安全漏洞的函数，只要将其加入监控函数列表，就可以使整个程序的架构保持不变，为以后的扩展带来方便。     

航空发动机全飞行包线小偏差动态数学模型

针对某涡扇发动机电子调节器仅在最大和加力状态工作这一特点，根据大气条件和发动机调节规律，提出将飞行包线划分为83个区域，对每个区域用“质心”点参数代替区域及其边界点参数的飞行包线小偏差方法。通过对某涡扇发动机全飞行包线的数字仿真，结果证明该方法对建立全飞行包线发动机动态方程有效。     

基于B/S模式的网上话费查询系统的设计

介绍了目前较流行的两种查询系统的开发平台模式-客户机/服务器（C/S）和浏览器/服务器模式（B/S），引出了动态网页的概念，通过对几种动态网页技术的比较，提出了运用微软公司的ASP开发动态，交互的基于Web的话费查询系统，并通过简单的实例，介绍了ASP和Oracle数据库集成的方法。     

最简点预测动态矩阵控制器的性能分析

定义了线性系统脉冲响应模型的相对误差和模型失配时的最小鲁棒指数，并在此基础上分析了各种拍控制器的性能，指出动态矩阵控制所能达到的性能的极限，为动态矩阵控制设计提供指导。     

两国产业保护非合作博弈分析

该文在产业保护的研究背景基础上 ,建立了两阶段动态博弈模型 ,用博弈论方法研究两国与两国产业在谈判贸易保护政策中的均衡 .然后 ,分析了关税、补贴手段对产业内销量和出口量 ,以及对市场价格和市场需求量的影响 .结果表明 ,在文中假设条件下 ,产业的内销量与他国的关税无关 ,产业的出口量与本国的关税也无关 .只有当满足某一特殊条件时 ,本国关税才使本国市场需求扩大 .     

筒式液阻减振器动态特性模拟分析技术的发展

为总结和分析汽车筒式液阻减振器的各类建模方法,将各类减振器模型归纳为物理参数模型、等效参数化模型以及非参数化模型等,分别阐述了其基本原理和关键问题。油液与弹性结构之间的非线性动力学耦合是物理参数建模方法的难点,采用结构有限元分析、计算流体动力学和流固耦合动力学等方法能够有效提高模型精度并减少对实验测试的依赖程度;等效参数化模型使用较少的模型参数,关键在于物理元件及其力学特性参数的选取;以恢复力曲线方法为代表的非参数化建模方法改进了减振器特性的传统表达方式,其难点是如何提高实验测试数据的利用率。建议中国应加强相关的理论探讨和应用研究。     

基于网络新技术的非线性编辑网的设计和开发

目前非线性编辑网在节目制作和播出中已较常见，大都采用成本较高的FC与以太网结合的双网结构。本文提出了一种使用端口串径和宽带聚集等新技术的方案，较好的解决了网络带宽和载量平衡等问题，经济实用，并自主建设了我台的新闻非编网络，运行一年多，工作稳定可靠。     

基于三角形二叉树的地表模型动态简化算法

多分辨率模型简化技术是实现复杂模型交互式可视化的有效手段。为实现地形漫游 ,提出基于三角形二叉树的地形网格模型动态简化算法 ,实现了与视点相关的连续多分辨率简化及快速动态绘制。算法利用三角形二叉树结构记录三角形的分裂和合并关系 ,在预处理中计算出数据点的误差值 ,绘制时根据与视点相关的各参数确定需保留的数据点集 ,基于二叉树进行三角形的分裂和合并操作 ,动态修改需要绘制的三角形链表 ,得到所需分辨率下的近似网格模型。实验表明该简化算法简单有效、易于实现 ,支持对地形模型的交互式快速绘制     

基于Linux平台招商项目管理系统的设计与实现

用PHP、MySQL，Apache Web Server在Linux平台上组建网站招商项目管理系统，介绍为构建系统而实现的动态生成HTML文件，以及相应的后台数据库的交互式动态查询和远程维护等关键技术。