智慧物理系统及其建模与仿真框架

智慧物理系统(cPs)是一个综合计算、通讯和控制的多维复杂系统.首先分析了智慧物理系统的特点以及对现有分布式建模与仿真技术的挑战,进而提出了一种扩展的HLA建模与仿真框架.讨论了四方面新技术,即基于MDA的建模技术,基于协同本体的知识融合技术,资源管理联邦技术,以及互配RTI技术.该框架将目前的HLA的单层结构扩展为双层结构,即资源联邦层与应用联邦层.它实现了基于MDA实现CPS的语义建模,支持多联邦的协同并发运行,以松耦合集成的方式实现大规模、异构CPS的建模与仿真.     

基于SAML改进的单点登录模型研究

针对安全断言标记语言(SAML)的不足,提出了基于站群的会话有效期的概念,设计了主题在线反查协议、定点注销协议和重复登录限制办法,解决了跨域单点登录问题,给出了数据同步策略,实现了源站点和各目标站点之间的松耦合关系,支持可分可合式的系统集成,便于集成历史遗留系统。基于该方案架构的系统已经在我国某大型国有银行中被推广使用,应用结果表明,降低了系统管理成本及用户操作复杂度,提高了生产效率和安全性,满足了企业需要。     

基于多层本体方法的信息集成研究

针对动态信息源间的语义异构问题,通过对现有基于本体的信息集成方法的分析,从消除信息源动态变化的影响和支持异构信息源集成的角度出发,建立包括全局本体层、领域本体层和局部本体层的多层本体集成方法。多层本体方法简化了全局本体的构建,能够集成领域视角不同的动态信息源并支持现有本体的重用,为大规模异构信息源的集成提供了可行的解决方案。     

语音动力学系统的神经网络建模方法研究

人工神经网络(ANN)方法是非线性动力学系统 建模的有效方法．本文针对多层ANN结构,运用递推预报误差(RPE)算法对离散非线性动力学 系统进行了建模研究,并将之运用于语音非线性动力学系统的动态建模,估计出了语音非线 性动力学系统稳态吸引子的维数,为了解语音和实用化的语音识别提供了良好的基础．     

自动生产单元的无死锁调度策略

本文针对一类无中间缓冲区的自动生产单元,提出了一种基于遗传算法的调度方法;为了保证由遗传运算生成的调度策略能满足所要求的约束条件,在适应度计算中添加了惩罚项以避免搜索过程收敛于不可行解;仿真实例证明了本文中的方法不仅能够得到可行的调度策略,而且能够使得系统达到较好的性能指标.     

奥运调度问题模型转换及优化研究

本文研究了奥运会调度问题的模型转换和优化. (1)时间区间约束是奥运会调度问题的关键约束, 本文建立了一种时间区间模型语言以描述这个调度问题. (2)奥运会调度问题是一个约束满足问题, 考虑其本质复杂性, 本文通过柔化决赛时间约束将约束满足问题转化为约束优化问题. (3)约束优化模型中, 项由场地约束关联起来, 如果去掉场地约束, 各项则是相互独立的. 因而本文通过松弛场地约束将约束优化问题分解为若干子问题. 全局优化解通过调整拉格朗日乘子获得. (4)为了调整拉格朗日乘子, 本文研究了变直径次梯度投影算法, 此算法不依赖于任何先验知识收敛, 本文给出了收敛效率. 仿真结果说明了算法的收敛性, 显示出变直径次梯度投影算法与简化算法在性能上的差别, 并且表明原约束满足问题的相变现象可以通过变直径次梯度投影算法获得正的对偶值的概率和首次获得正的对偶值的时间来识别.     

数据库表中流水号触发器的研究

在信息系统的数据库表中用流水号做主键可以提高效率。选择创建触发器来完成流水号的自动增加一方面能够回滚，另一方面流水号可以是数字型、字符型和字符串型，分别适合数据记录增量大和增量小的数据表、流水号需要左填充的数据表。测试表明，该文提出的方法是可行的、有效的。     

基于Jini/MA的分布式动态服务发现和协商的研究

通过基于网络的仪器设备远程操作,可以显著提高贵重资源的利用率。文章针对目前远程操作中存在的问题,提出了基于Jini和MA的分布式动态服务发现和协商,介绍了设计原理、系统框架、设备的服务化封装以及移动Agent的具体实现设计等。文章的原型系统在211工程项目——高校仪器设备和优质资源共享系统的子项目——数字化设备远程操作与监控中进行了初步的使用。     

基于多视图—嵌套本体映射的高层体系结构语义互操作

针对高层体系结构分布式仿真互操作难以克服语义冲突的不足,研究并提出基于多视图—嵌套本体映射的高层体系结构语义互操作方法。对现有高层体系结构/联邦对象模型机制进行改进,定义了嵌套本体、多视图—嵌套本体和嵌套本体平面化等概念,阐述了多视图—嵌套本体映射框架和映射算法流程,并介绍了支持语义互操作的中间件技术。该方法可以有效支撑仿真模型与仿真模型间的语义互操作,提高分布式仿真的智能化水平。通过仿真实例,建立了一个典型复杂产品——高速动车组的分布式仿真系统,检验了方法的可行性和有效性。     

三峡工程基础化灌加固浆材及工艺试验研究

针对三峡工程基础化学灌浆加固的需要,比较了几种典型的环氧树脂浆材的物理力学性能,着重研究了表面活性剂的作用和土层预渗改性对浆液渗透性能的影响,并根据化灌浆液渗入土层的机理分析,提出了有效的灌浆处理方法。