基于BP神经网络的气囊点火算法模型

通过建立完整的车体-乘员-约束系统仿真分析模型,将BP神经网络模块嵌入到仿真分析流程中,在产品开发阶段实现了气囊点火算法的验证。本算法模型在对网络进行训练的基础上,以不同碰撞速度的正面刚性墙碰撞分析模型为研究对象,建立了车体加速度与乘员位移之间的数学模型,实现了随机输入车体加速度曲线即可获取乘员位移曲线,计算结果与仿真分析结果吻合,为进一步研究气囊点火优化算法奠定了基础。     

一种改进的双向singleton弧相容算法

在现有相容性算法研究的基础上,提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2,并给出了其正确性和完备性证明。该算法与原有算法BiSAC-1具有相同的化简问题能力,但BiSAC-2能够减少弧相容维护的次数,避免冗余约束传播过程的产生,从而可以快速地到达稳定点,进而实现高效的目的。对随机约束满足问题的测试结果表明,算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势。     

工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型

针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model).该模型基于传统的RBAC模型,提出了基于动态角色分配的条件化RBAC方法,定义了基于多权角色的工作流系统访问授权新概念,并针对多个角色和多个用户协同激活任务的序约束问题,给出了基于令牌的序约束算法和基于加权角色综合的序约束算法,讨论了一个基于规则的职责分离约束建模方法,并给出了改进的规则一致性检验算法.     

基于PKI技术的PMI的研究与实现

身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两种提交方式,即“推”模式和“拉”模式,并在此模型的基础上给出了该系统的实现,最后给出了该系统的一个应用实例。实践证明,该系统提供了一个较好的解决方案和实现,基本上能够满足大型应用(上百万用户)的用户需求。     

联机分析处理中的非规则维建模

预聚集技术通过预先计算并保存原始数据上的查询结果以实现联机分析处理系统的快速查询响应能力．然而，在实际应用中，许多非规则维的结构难以使用传统多维模型进行建模，从而影响了预聚集技术的使用．为此，基于子级别到父级别的部分映射定义级别之间的部分序关系，进而提出了一个支持非覆盖、非映上等非规则雏中维级别关系建模的维模型．同时，在维模型基础上，定义了支持非规则维的立方体模型以及典型的联机分析处理操作．多维模型与关系模式的转换定义和实例分析证明了该多维模型可以实现对各种非规则维的建模支持，保证了预聚集技术在联机分析处理中的使用．     

非二元约束满足问题求解

在约束满足问题(CSP)的研究中，大部分工作集中在二元约束，但处理实际问题时，常常会遇到非二元约束的情况．该文在概要地讨论了两类求解非二元约束问题方法的基础上，研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法，并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法，以典型例子给出了实现系统的运行结果．     

因果知识的表示和推理

本文介绍了因果推理的两个主要应用：预测行为的间接结果，找出给定事实的真正原因，指出了用逻辑描述的因果关系在解决这两个问题中存在的不足。本文也简单地介绍了J．Pearl提出的因果推理方法，该方法的基本思想是把因果推理看成是一种“计算模式”，而这种把智能归结为“计算模式”的想法正是认知科学中的核心思想。本文最后比较了基于逻辑的方法和基于认知科学的方法实现智能的区别，指出了因果推理应该在认知科学的框架内得到解决。     

WebGIS中间件在采油工程中的开发与应用

本文针对基于WebGIS的地理信息系统开发难度大,开发出的系统不稳定等问题,提出采用WebGIS中间件技术,并应用于采油工程信息可视化系统中,取得了良好的效果.实践表明,WebGIS中间件可以无缝地嵌入到Web页中,实现网络环境下的GIS应用系统,一方面降低了系统的复杂度,加快了开发速度,另一方面也可以降低成本,增强可维护性.     

基于布尔剪枝的多值广义量词Tableau推理规则简化方法

Tableau作为自动推理的有效方法之一在许多领域中有重要的应用．该文作者在已提出的布尔剪枝方法基础上，对含广义量词（交和并）规则的简化方法进行研究，建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法．通过实例分析，对简化前后结果对比表明，改进后的Tableau方法，在推理效率上有很大的提高．     

基于语义tableau的一阶逻辑自动定理证明

自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统都是以推理系统为其核心部分,其中的tableau方法,由于具有通用性、直观性及易于计算机实现等特点,至今成为重要的自动推理方法之一。在tableau方法基础上,讨论了一阶逻辑中的自动定理证明理论,提出使用模型存在定理证明其可靠性和完备性的方法。同时也给出了带等词tableau方法的证明过程。