一种形式化的构件模型框架

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。     

企事业MIS系统构件化开发研究

为了解决MIS系统开发中出现的许多问题,提出了一种开发企事业MIS系统的有效方法,即以过程建模为先导,以构架建造为中心,以构件组装为基础的企事业MIS系统构件化开发方法,为实现构架建模和系统组装,开发了可视化MIS构架建模环境——VAME,实现了对构架模型的可视化定义与建模、构架模型的实例化、构架实例的静态分析、系统的组装与生成以及构架模型库和构架实例库的管理维护,并详细阐述了该方法的过程和特点。     

高空摄影测量在三维场景虚拟建模中的应用研究

利用无人机航空摄影测量快速高效获取城市三维信息已经成为当前三维城市建模技术研究和工程应用的热点.高空摄影测量是一种利用航高1.5 km以上无人机搭载长焦距拍摄系统、高效采集地面测绘数据的新技术，在城市三维建模中崭露头角.该文采用300 mm焦距的数字航拍系统搭载高空航行器完成湖北省孝感市汉川市垌塚镇老观湖村高空拍摄与测量，标定相机后提取空间点三维信息；根据数字航拍系统拍摄的影像与测量数据在三维虚拟场景中制作DEM模型，完成三维模型定向，为模型框架添加纹理，最终得到完整的三维场景虚拟模型.测试结果显示：最低拍摄分辨率不低于9.6 cm,空间点三维信息提取误差在1%以下，是一种高质量、低误差的三维建模方法，可为构建城市三维虚拟模型提供一种新的途径.     

无闭轨Lienard系统的8种新轨线结构

考虑了无闭轨Lienard系统轨线的拓扑分类问题,在先前结论的基础上,找出了无闭轨Lienard系统的8种新的可能存在的轨线结构,证明了该系统共有72种可能的轨线结构.     

基于面向对象思想的虚拟场景漫游研究

基于面向对象的基本思想,用3DSMAX作为建模工具,进行模型优化和渲染,以室内场景为虚拟漫游场景,采用行为交互模块实现了虚拟场景漫游系统和系统的人机交互。     

嵌入式构件系统Pcanel平台上的构件行为控制

通过为普通构件或构件群添加接口控制构件的方法实现了构件行为运行时的动态控制和配置,对构件系统性能和安全性等非功能性问题提出解决方案,最后通过构件框架组合实现了与原构件系统的兼容.     

基于构件的动态配置应用框架设计与实现

以软件复用为背景, 对基于构件的软件开发和应用框架技术进行了研究.为使基于构件的软件开发更具灵活性与适应性,基于.NET平台设计并实现了一种基于构件的动态配置应用框架.该框架把"依赖注入"思想封装为一个构件,通过该构件可以灵活便捷的加载其他构件,不必关心其他构件复杂的内部实现,并且可以动态更新,加载构件而不必重新编译系统.最后举例介绍了一个应用实例以说明相应的系统开发流程.该技术思想在实际应用中取得了良好效果.     

基于SolidWorks的组合夹具构件自动建模方法

为解决组合夹具典型功能结构的设计经验重用问题,提出了一种在三维绘图软件SolidWorks平台上、基于装配约束方程的构件自动建模方法．文中分析了构件自动建模原理、构件模板建立方法、装配参数方程提取、参数方程语义分析以及参数驱动方法．在此基础上建立了组合夹具构件库系统,给出了构件应用实例,从而解决了构件自动建模中的难点．为夹具的自动装配和自动设计奠定了基础。     

地铁直流牵引供电系统框架保护与轨电位之间的匹配关系

地铁直流牵引系统框架保护是供电系统的重要保护,该文对地铁供电系统的框架保护及轨电位装置进行了介绍,分析地铁直流牵引供电系统框架保护及轨电位限制装置的工作原理,根据广州地铁三号线的整定值设置,分析框架保护与轨电位限制整定值之间的匹配关系,随着地铁运营日期的延长,轨电位会发生变化,因此,通过调整和日常的维护校验,能有效地防范保护框架的误动作,进一步阐述框架保护与轨电位限制装置之间配合的重要性。     

面向SOA架构分布式系统的会话交互建模及其安全验证

研究了SOA架构分布式系统在基于社区的Web服务动态会话交互的安全性,提出了一种基于形式化规格说明的Web服务组合行为建模和验证框架.基于OWL-S描述的若干个Web服务的组合和交互的安全性保障问题,构建了一种基于WS-Trust和WS-Secure Conversation规格的安全会话验证方法.该方法首先将Web服务组合行为建模为带有标签的迁移系统AKTS来描述服务的观察行为;进而将安全会话约束翻译为DPDL公式即将SOA系统的会话安全性验证问题规约为保障安全会话约束的前提下的Web服务组合行为的满足性问题;最后通过经典算法在有效时间内得到该满足性问题的验证.该框架为基于SOA架构的分布式系统的交互安全提供了理论支持和保障,在安全关键的分布式系统设计阶段及早发现安全隐患,节约了开发成本、提高了系统安全性.     

具有约束条件的均衡规划问题的微分方程方法

提出了具有不等式约束的均衡规划问题,运用该均衡规划问题的拉格朗日函数和投影算子将具有不等式约束的均衡规划问题转化为方程组.进一步,应用所得到的方程组建立了具有控制过程的微分方程系统,并证明了具有控制过程的微分方程系统的解的聚点是具有不等式约束的均衡规划问题的解.最后,给出了2个具有不等式约束的均衡规划问题的数值算例,并分别运用具有控制过程的微分方程系统对其进行求解,描绘了每个算例的微分方程系统的解的轨迹图,从图中可以明显地观察到具有控制过程的微分方程系统的解的轨迹收敛于均衡规划问题的解,从而说明了微分方程方法求解具有不等式约束的均衡规划问题的可行性和有效性.     

Quasi-Geostrophic方程经典解的爆破准则

考虑Quasi-Geostrophic方程,以经典解沿流线小时间的表现,给出Quasi-Geostrophic方程经典解沿流线爆破的一个充分条件.方法是从Quasi-Geostrophic方程推出一个解的梯度长度的倒数沿流线的微分不等式,从而推出结论.手法与结果都类似于Chae关于3维不可压Euler方程组经典解的爆破工作.该结果对进一步研究Quasi-Geostrophic方程相关问题,有一定的启示作用.     

一类有界三次Kolmogorov型系统在赤道上的拓扑结构

证明了齐三次项互素时有界的三次Kolmogorov型系统在赤道上孤立奇点附近轨线的分布情况有且仅有4种.     

城市轨道交通网络系统的面向对象体系建模

介绍了面向对象建模技术,运用面向对象方法对城市轨道交通网络系统进行类的识别与定义,对城市轨道交通网络系统中类的关联、继承及聚集等关系进行分析,在此基础上分析了城市轨道交通网络系统中对象间交互关系,明确了交互行为.最后实现了面向对象的城市轨道交通网络系统的对象建模、动态建模和功能建模.     

基于变分自动编码器的车辆轨迹预测研究

针对轨迹预测中车辆与周边车辆、道路几何之间交互关系建模不充分,以及车辆轨迹多模态建模不完整等一系列问题,提出了一种基于变分自动编码器的车辆轨迹预测方法。首先,通过长短时记忆网络从原始数据中提取轨迹数据与车道信息的语义特征;其次,引入多头注意力机制,采用两个单独的注意力模块分别建立车辆与车辆交互模型及车辆与道路交互模型,能够更好地反映周边车辆与道路几何对车辆轨迹的交互影响,得到丰富的场景上下文信息;接着利用变分自动编码器对车辆轨迹多模态建模,捕捉轨迹预测的随机性质以生成合理的未来轨迹分布;最后从分布中多次重复采样以生成多条可能的未来轨迹。通过搭建实验平台和使用Argoverse自然驾驶数据集进行测试,改进后的预测方法在平均位移误差和最终位移误差指标下的数值分别为1.03和1.51,预测精度上相较于其他3种预测方法,分别提升了45%、46%、32%;实验结果表明：预测方法可以有效地改善车辆与周边车辆、道路几何之间交互关系建模不充分,以及车辆轨迹多模态建模不完整等问题,预测精度提高,总体预测性能良好。     

个性化驾驶人驾驶行为操纵模式建模方法

根据个体驾驶人完成一个具体驾驶行为的驾驶操纵动作具有一定内聚性、时序性和个性化的机理,构建了基于有向图的驾驶人驾驶行为操纵模式的建模方法。根据获取的个体驾驶人在不同驾驶行为下的驾驶操作动作数据,并利用MATLAB仿真软件设计驾驶人驾驶行为操纵模式建模与仿真系统,对启动和超车2种典型驾驶行为下的驾驶操作动作数据进行测试。测试结果表明：基于有向图的建模方法可以实现驾驶人个性化驾驶行为的有序驾驶操纵动作建模。研究为驾驶安全辅助系统驾驶人驾驶行为的驾驶操纵底层上预防和干预危险驾驶行为提供支撑。     

Chen''s系统混沌行为负反馈控制

研究了Chen’s系统的非线性动力学行为及稳定性 ,采用负反馈控制方法对Chen’s系统的混沌行为进行控制 ,把该系统控制到指定的平衡态和希望的振荡周期轨道上 .并对控制方法的混沌控制过程进行理论分析与数值研究 ,得到了一致的结果 .     

基于有限退化结构的多态组合导航系统可靠性

组合导航系统（ Integrated Navigation System ,INS）广泛用于航空航天、海洋探索等领域,因其工作环境、系统构成的复杂性等因素,系统从正常工作到完全失效会经历各种退化状态,进而增加系统可靠性分析难度。将有限退化结构(Finite Degradation Structures,FDS)方法应用于多态组合导航系统可靠性分析。首先,参考故障模式与影响分析（ Failure Mode and Effect Analysis,FMEA）方法将组件的故障模式转化为状态空间;其次,利用抽象运算得到组件状态和系统状态的关联关系,建立组合导航系统的FDS模型;然后,进行系统临界场景分析和可靠性指标计算,得出系统状态的发生概率、组件状态的敏感性,找到系统的薄弱环节、系统完全失效前的退化边界;最后,根据结果指导制定系统维护策略、预防系统风险发生方案等可靠性决策。     

Efficient Similarity Search Based on Semantic Trajectories in Road Networks

In recent years, a few researches focus on the similarity measure of semantic trajectories in road networks, since semantic trajectories in road networks have smaller volumes, higher qualities and can better reflect user behaviors. However, these works do not further discuss how to efficiently search similar trajectories. Thus, to implement an efficient similarity search, we design an index called SIET based on the structures of road networks. Then, we propose a novel algorithm called SSN-BF to search similar trajectories efficiently by using best-first strategy. At last, we take the experimental evaluations on real dataset and prove the efficiency of our algorithm.     

导弹拦截的混杂对策系统建模研究

导弹拦截系统中既存在轨迹的连续变化过程,也存在策略的选择问题,单独采用微分对策和事件对策均无法有效描述该系统的混杂特性.将该过程看作一类混杂系统,提出一种导弹拦截过程(missile interception process, MIP)的混杂对策建模方法.基于混杂随机时延Petri网(hybrid stochastic timed Petri net, HSTPN)建立导弹拦截事件对策模型,结合导弹飞行过程的动力学模型建立拦截过程的微分对策模型;以“民兵Ⅲ”导弹作为进攻弹,对MIP的混杂过程进行实例仿真.结果证明,采用混杂对策建立的导弹拦截混杂描述方案,既可以较好地描述导弹轨迹的连续变化过程,也可以描述策略的选择问题.