MDD应用于RIA的建模研究

分析RIA技术的特征,研究如何将MDD（模型驱动开发）应用在RIA领域当中,即针对WebML做扩展并模型化RIA应用,完成开发的建模阶段,最后以库存管理系统（IMS）为例给出示意图。     

BNs-OLS-SARIMA对城市短时交通流的预测*

通过在目标路口构建贝叶斯交通网（BNs）,并对与此交通网相关的交通流建立非平稳季节（SARIMA）模型,采用最小二乘法（OLS）取得相应模型的最佳权重组合,对缺失数据下的城市道路短时交通流进行预测。使用重庆市某路口的交通流数据对模型进行检测,通过多种预测指标对结果进行对比分析,结果表明BNs-OLS-SARIMA把交通流的网络结构与其周期性结合在一起,对短时交通流有良好的预测效果。     

主机系统安全实时风险量化评估方法的研究

为了评价主机系统的安全风险变化,建立了一个描述主机安全状态的隐马尔可夫模型.利用该模型计算主机处于被攻击状态的概率,分析了影响攻击执行过程的因素,提出了一种计算攻击成功概率的方法,并最终计算主机系统的风险指数.该方法可以动态获取主机系统的风险态势曲线,有利于指导安全管理人员调整安全策略.     

模块化免疫神经网络平衡态检测模型*

基于神经网络原理、免疫系统和遗传算法的相关机理,构造了一个网络安全平衡器。该平衡器建立了抗原与抗体平衡态检测的数学模型、抗原与抗体的促进和抑制函数,提出了安全平衡态的概念,给出了抗原与抗体浓度的计算公式和模块化多层分类处理模型,利用促进、抑制函数和遗传算法适应度函数使已受攻击的网络再次达到一种新的安全平衡状态,这为网络安全提供了一个新的途径。理论证明网络安全方案是有效的。     

一个新的基于口令的密钥协商协议

以不经意多项式计算作为核心组件,提出了一个基于口令的密钥协商协议PSKA-I,该协议能够抵抗字典攻击但只能工作于认证模型。为解决协议PSKA-I这一缺陷,根据BCK安全模型设计了消息传输认证器,将协议PSKA-I转换为非认证模型中的安全协议PSKA-Ⅱ。上述协议口令的安全性由不经意多项式计算予以保证。与GL协议相比,该协议的通信及计算复杂度明显降低。     

分层可信计算平台模型的研究与实现*

提出了一种基于现有计算机网络的可信计算平台模型。该模型充分利用了现有的计算机及其网络平台的通用性,将现有的计算平台分层逻辑化为不同的信任层,不仅降低了可信计算平台模型实施的难度,而且提高了其灵活性、扩展性和效率;同时该模型从客户端系统的引导阶段出发构建完整的可信链,保证了可信计算平台的安全性;此外该模型解决了现有的可信计算平台的方向性和系统输入未知性的问题。原型系统实现的结果表明,由于系统中所有计算机及其网络构成统一的可信计算平台,使信任的传递从用户到用户,进而实现真正的对于用户体验的可信计算。     

T-S模糊控制方法在生物流化床系统中的应用

针对生物流化床污水处理系统的非线性、时滞、时变等问题,提出采用T-S模糊控制方法,将复杂的非线性系统模糊化为局部线性模型,并引入积分环节,降低T-S模糊控制器维数,简化规则.最后,通过实验进行理论验证.实验结果表明,该方法可行且有效.     

一类燃烧模型方程组的整体经典解

燃烧模型是拟线性双曲方程组中一类重要的物理模型.考虑燃烧模型方程组的Cauchy问题,利用特征线和局部经典解延拓的方法证明了经典解的整体存在性.     

基于流水线装配生产率问题的Spreadsheet仿真模型

在流水线生产中,由于两工序间存储空间有限,前序工人与后续工人之间相互影响.为了研究流水线中存储空间对生产率的影响,提高流水线工人生产率,本文利用Spreadsheet建立仿真模型,通过仿真模拟,研究分析流水线生产中两工序之间没有存储空间时及增加存储空间后对生产效率的影响.为解决流水线装配问题提供一种新的方法.     

基于统计的中文机构名实体识别的研究

针对中文机构名实体的识别提出了利用隐马尔科夫统计模型的方法.同时,在此方法的基础上通过构建一元模型来补充识别那些缩写的和没有核心词的机构名,弥补了单一统计模型在机构名实体识别中的不足.实验证明二者相结合的方法能获得较高的准确率和召回率,具有可行性.