一种基于有限频率特性数据的高阶等容惯性时滞对象辨识策略的研究

提出了一种基于有限频率特性数据辨识高阶等容时滞对象模型传递函数的策略,仅依据有限的3个频率点频率特性数据,就能够对高阶等容时滞对象模型传递函数进行完全辨识。另外还具有算法简单,且易于实现的特点,具有较高的辨识精度和较强的抗干扰性。仿真实验研究验证了该方法的有效性。     

面向工艺分工规划的多目标蚁群算法

为解决计算机辅助工艺规划中工艺分工的优化问题,提出一种基于多目标蚁群算法的工艺分工路线优化算法.在引入逻辑加工路线、逻辑制造单元、物理制造单元、可执行加工路线等概念基础上建立工艺分工规划过程模型.在过程模型中,运用多目标蚁群算法对物理制造单元集合实现优化.在求解过程中,以加工时间和所耗成本为目标函数,在求解空间中对物理制造单元进行遍历,最终寻找到最优化的可执行加工路线.通过实例验证了该方法的可行性和有效性.     

基于规范化工作流网建模的模型验证方法

在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.     

基于模态参数与改进萤火虫算法的结构模型修正

：为尽可能提高结构模型修正的准确性和有效性,提出一种基于模态参数和改进萤火虫算法的有限元模型修正方法. 该方法基于结构模态参数构造目标函数,使用本文提出的改进萤火虫算法进行优化求解,并通过桁架模型数值仿真将改进算法同原始萤火虫算法、遗传算法和粒子群算法进行对比,结果显示：使用改进的萤火虫算法得到的最优解更接近实际值,且离散性低,验证了改进算法求解的准确性和优越性. 最后通过六自由度剪切框架损伤识别模型试验验证了该方法在求解结构有限元模型修正问题上的准确性和有效性.     

纯滞后系统的灰色预测控制

本文针对具有纯滞后的系统的控制,采用了一种基于 GM(1,1)模型的灰色预测控制算法。这种新型控制器的主要优点是不需要掌握关于被控对象模型结构的先验信息,并具有计算简单、自适应性强等特点,是一种通用控制器。数值仿真及结果对比验证了该算法的有效性。     

基于空间正交曲率信息的三维曲线重构方法分析

面向高性能飞行器结构形态主动监测研究背景,以光纤光栅柔性细杆机敏结构为研究模型对象,侧重于空间正交曲率信息的三维曲线重构方法分析和研究.在简述基于正交分布式光纤光栅传感阵列曲率检测原理基础上,进行空间三维曲线重构方法分析,并给出了详细的算法过程和实现步骤,同时进行了离散曲率连续化方法分析;基于V isual C++开发平台及OpenGL技术,针对方法研究结果与算法分析过程,开发可视化仿真实验环境进行了实验分析与验证,基于3种离散曲率连续化方法进行图形重构效果对比;实验分析结果不仅表明了3维重构方法与实现过程的有效性,而且获得了离散曲率连续化方法上的相关有益结果.     

微观仿真车道变换模型研究

利用模糊逻辑方法刻划建立在驾驶员知识和经验基础上的主观判断过程，设计了模糊推断的语言规则和基于模糊逻辑的车道变换算法，构建了微观交通流仿真的车道变换模型．采用不同流量条件下车辆换道次数的观测值与模拟值进行比较，验证了模型的有效性．     

基于继承机制的文档管理方法在项目管理系统中的应用

文章提出了利用计算机编程语言C++中类的3种继承机制的思想,对项目文档进行继承式管理;根据实际项目管理系统的开发需求,采用语义数据模型化技术——IDEF1X方法构建数据信息模型,实现了项目文档管理过程的逻辑集成;采用Web 3层结构程序设计的方法,应用到实际项目全生命周期管理系统中,验证了上述理论的可行性和有效性.     

基于频响函数的模型修正方法

提出了一种新的基于频响函数的模型修正方法.该方法不但避免了模态分析过程,以设计参数为修正对象,而且不需要将有限元模型的频响函数与实验测得的频响函数进行匹配,仅需要少量实测的频响函数数据即可完成模型修正过程.通过桁架结构的模型修正算例表明,采用该模型修正方法在噪声的干扰下仍然能够获得理想的修正结果,证明了方法的有效性.     

带约束多项式权重LPV模型辨识算法

针对复杂工业非线性系统建模难度大、精度低等问题,基于多模型插值的变参数线性(LPV)模型辨识算法,提出双工作点变量条件下的带约束多项式权重函数结构及其参数寻优策略,以有效降低非线性系统辨识的难度并充分保证所建模型的全局稳定性.以高纯度分馏塔这一典型非线性工业过程为研究对象进行LPV模型建模与仿真,获得了较好的输出和阶跃响应曲线拟合结果,验证了LPV模型能够充分反映非线性系统的运行特性以及所提算法的有效性和实用性.     

基于业务规则的事件驱动建模方法

为使企业信息系统的分析与设计能有效管理业务逻辑的高度复杂性,适应业务环境的易变性,该文在结构化分析与面向对象设计方法的基础上提出一种复合型的业务过程建模方法。其指导思想是将事件驱动的业务规则作为贯穿建模过程的主线,同时引入业务对象的参考模型,能更深刻地揭示系统内部组成单元的动态交互特性,并增加对象识别与提炼的规范性。此外,还运用分布式对象技术和组件技术规划了企业应用程序与业务对象的运行模式。由于业务知识被作为可更改的规则封装在分布式对象服务器的内部,从而可为信息系统的重构和再配置提供有力支持。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

Approach for workflow modeling using π-calculus

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workilow models using ~-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS ( Labeled Transition Semantics) semantics of π-calculus. The main advantage of the worktlow model‘s formal semantic is that it allows for verification of the model‘s properties, such as deadlock-free and normal termination. Moreover, the equivalence of worktlow models can be checked thlx)ugh weak bisimulation theorem in the π-caleulus, thus facilitating the optimizationof business processes.     

Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy

In this paper,we propose a Multi-granularity Spatial Access Control(MSAC) model,in which multigranularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do.To analyze and detect these conflicts,we first analyze the conflict types with respect to the relationship among the policy rules,and then formalize the conflicts by template matrices.We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set.Lastly,we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets.The results show that the algorithm can detect all the formalized conflicts.Moreover,the algorithm's efficiency is more influenced by the spatial object granularity than the size of the rule set.     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

河口海岸模型验证方法及其性能比较研究

模型验证是河口海岸模型建立和应用的关键步骤,传统的方法包括主观评价、可视化技术、误差估计及统计检验等量化方法,但各种验证方法的性能优劣尚无明确的结论。为探讨各种方法的性能,本文对常用的几种量化方法的性能进行比较,并提出了一种基于统计检验的定量的模型验证方法。研究表明:即使在模型数据的误差明显时,Skill、相关系数和决定系数也可能保持较大的值,因此使用这些量化指标进行模型验证需谨慎。相对于绝对误差、均方根误差、Skill等常用量化指标,统计检验法既能有效地量化模型模拟的误差,亦能有效减小模拟结果中的异常值对整体模拟效果的影响。由于误差分布的原因,统计检验方法不适用于往复流的流向验证。     

一种基于灰度投影的电子稳像改进方法

  电子稳像算法是一种快速有效的处理抖动图像的方法,当对基于灰度投影的电子稳像算法进行研究时,遇到一种在需要稳像的图像中存在运动物体的常见现象,在这种情况下投影稳像算法会产生错稳的现象。为了解决算法中存在的这一问题,该文针对这种常见现象做了详细的分析,并提出了一种方法对灰度投影稳像算法进行了改进。通过实例分析和实验验证,该方法可以很好的解决图像中存在运动物体时发生的错稳情况。     

协同服务模型及其在电子商务中的应用

针对协同服务的结构关系和特点,研究了协同服务模型,将协同服务模型分为内部服务模型和外部服务模型,此方法中可以较好地保护协同服务的内部信息.给出了基于随机Petri网的电子商务背景下企业协同服务中几种最具有代表性的内部服务模型到外部服务模型之间的转化定理及相应的证明.将该模型分析方法应用于电子商务下单流程分析之中,数值计算结果说明了该方法的有效性.     

结构光三维成像技术研究进展

结构光三维成像技术作为一种主动非接触式成像技术,不但可以保存物体的三维空间信息,而且可以完整地复现物体的空间三维图像.该技术在高精度、高分辨率复原物体轮廓方面有着重要的意义.该文综述了基于不同结构光的3种成像方法,重点介绍了基于面结构光的成像方法及其关键技术,最后对结构光三维成像技术进行了总结和展望.