检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于同步网的BPEL建模和验证

系统仿真学报 2007年第A1期19卷 97-100页

作者：徐春香屈婉玲王捍贫黄雨袁崇义北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室北京100871

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验... 详细信息

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。

关键词： Web服务组合 BPEL 建模验证同步网 WSL_net

在线全文

学校读者我要写书评

暂无评论

高超声速飞行器再入段的动力学建模与仿真

系统仿真学报 2009年第2期21卷 534-537页

作者：李菁菁任章黎科峰张庆振刘存佳北京航空航天大学

高超声速飞行器的动力学建模对于进行控制系统的设计和仿真来说是非常重要的。与传统的飞行器相比,由于其飞行的速度和高度跨度大、变化快,高超声速飞行器的飞行动力学特性相当复杂。为了研究高超声速飞行器的一些本质的动力学特性,选... 详细信息

高超声速飞行器的动力学建模对于进行控制系统的设计和仿真来说是非常重要的。与传统的飞行器相比,由于其飞行的速度和高度跨度大、变化快,高超声速飞行器的飞行动力学特性相当复杂。为了研究高超声速飞行器的一些本质的动力学特性,选择再入段进行分析,建立了再入段的高超声速动力学模型。利用风洞实验数据,建立了空气动力学数据库,并且对模型进行了不确定性分析。在模型的基础上,讨论了高超声速飞行器再入段的控制系统的设计方法。最后,在MATLAB/SIMULNK中进行了控制系统仿真,仿真结果表明在60公里到着陆点控制系统能够很好地控制动力学模型跟踪制导指令。

关键词：动力学建模高超声速飞行器再入段空气动力学数据库控制系统仿真

A Hybrid GA-based Scheduling Method for Static Segment in FlexRay Systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A Hybrid GA-based Scheduling Method for Static Segment in Fl...

2010 Chinese control and Decision Conference

作者： Shan Ding~1,Xiaona Yin~2,Hongming Xu~1,Shi Zhang~1 1.College of Information Science and Engineering,Northeastern University,Shenyang 110004 2.Huawei Technologies Co.,Ltd,beijing 100085,china

＜正＞FlexRay provides a communication infrastructure for future generation high-speed control applications in vehicle such as advanced powertrain,chassis,and by-wire *** FlexRay,the static segment is based on Time Division Multiple Access（TDMA） to achieve distributed control ***,scheduling of the static segment is critical for an efficient FlexRay-based system *** this paper,the bin-packing algorithm and the hybrid genetic algorithm basing on bin-packing algorithm are *** have computed the response times of all the tasks and messages in the system so that the message can be transmitted successfully before the *** the finally,we compare bin-packing algorithm, genetic algorithm and hybrid genetic algorithm to verify the validity of the hybrid genetic algorithm through a test of Automotive Safety System.

关键词： FlexRay systems Hybrid genetic algorithm Real-timing scheduling

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

飞控系统数字鲁棒控制器双自由度设计及仿真

航天控制 1999年第2期17卷 35-43页

作者：张国峰王行仁胡晓光北京航空航天大学自动控制系北京控制仪器研究所

在深入研究Ｈ∞控制基础上，提出了离散系统一类扰动前馈问题，基于Ｈ∞全信息控制问题，给出并证明了控制器的参数化描述公式。在此基础上，提出了离散双自由度系统的Ｈ∞设计方法。在这一类问题中，相应标准离散Ｈ∞设计中的第二个离... 详细信息

在深入研究Ｈ∞控制基础上，提出了离散系统一类扰动前馈问题，基于Ｈ∞全信息控制问题，给出并证明了控制器的参数化描述公式。在此基础上，提出了离散双自由度系统的Ｈ∞设计方法。在这一类问题中，相应标准离散Ｈ∞设计中的第二个离散代数Ｒｉｃｃａｔｉ方程不再需要求解。且系统即具有良好的性能又具有很好的鲁棒稳定性。以此方法对一飞控系统进行了详尽的设计和仿真，得到了非常满意的结果。

关键词：飞行控制系统鲁棒控制仿真双自由度设计

在线全文

学校读者我要写书评

暂无评论

永磁同步电动机调速系统的矢量控制仿真

微特电机 2004年第1期32卷 24-25,28页

作者：颜南明马晓军臧克茂装甲兵工程学院北京100072

从矢量控制下的PMSM工作原理出发 ,利用MATLAB/SIMULINK仿真平台建立了整个调速系统的仿真模型并进行仿真和分析 ,给出仿真结果。通过实验 ,验证了模型的正确性。

关键词：永磁同步电动机调速系统矢量控制仿真转矩电流励磁电流

基于策略适应性的安全Linux操作系统研究与实现

在线全文

学校读者我要写书评

暂无评论

装备指挥技术学院学报 2002年第6期13卷 69-72页

作者：王春雷张建伟装备指挥技术学院研究生处，北京101416 装备指挥技术学院电子工程系，北京101416

安全操作系统的研究和开发是当前信息安全研究领域的重点和难点.安全策略及其适应性是安全操作系统的关键.介绍安全策略的概念和分类;根据策略适应性的要求,在分析Linux内核机制的基础上,设计并实现一种新的安全Linux操作系统强制访问... 详细信息

安全操作系统的研究和开发是当前信息安全研究领域的重点和难点.安全策略及其适应性是安全操作系统的关键.介绍安全策略的概念和分类;根据策略适应性的要求,在分析Linux内核机制的基础上,设计并实现一种新的安全Linux操作系统强制访问控制实现模型,给出系统的体系结构和运行机制;分析了该模型的特点和性能.

关键词：安全策略适应性安全操作系统 Linux

在线全文

学校读者我要写书评

暂无评论

一种基于受限语言解释器的CAD可视化仿真

系统仿真学报 2004年第11期16卷 2547-2551页

作者：蒋珂尹大力汪国平北京大学计算机系人机交互及多媒体实验室北京100871

生产流程的过程仿真,可以通过可视化方式发现生产设计中的缺陷。本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。根据可复用的微指令集和受限语言的特点,我们依照不同逻辑... 详细信息

生产流程的过程仿真,可以通过可视化方式发现生产设计中的缺陷。本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。根据可复用的微指令集和受限语言的特点,我们依照不同逻辑控制条件设计的解释器系统结构简单,易于实现,使系统具有一定的通用性和灵活性。通过实例表明,本文设计的基于受限语言解释器的系统可以满足具有一定复杂度的生产流程的可视化仿真。

关键词：受限语言解释器 CAD 可视化仿真微指令集

在线全文

学校读者我要写书评

暂无评论

钢球磨中储式制粉系统智能解耦控制仿真系统

系统仿真学报 2002年第10期14卷 1340-1343页

作者：岳恒周晓杰王昕柴天佑白焰东北大学自动化研究中心沈阳110004 华北电力大学自动化系北京102206

钢球磨中储式制粉系统具有多变量强耦合、非线性以及生产工况变化大的特性,其自动控制问题一直是控制界关注的热点问题。本文建立了钢球磨中储式制粉系统智能解耦控制仿真系统。该软件集成了钢球磨中储式制粉系统的仿真模型以及针对钢... 详细信息

钢球磨中储式制粉系统具有多变量强耦合、非线性以及生产工况变化大的特性,其自动控制问题一直是控制界关注的热点问题。本文建立了钢球磨中储式制粉系统智能解耦控制仿真系统。该软件集成了钢球磨中储式制粉系统的仿真模型以及针对钢球磨中储式制粉系统而设计的多变量智能解耦控制技术,为钢球磨中储式制粉系统自动控制问题的深入研究提供了有力的实验工具。

关键词：钢球磨中储式制粉系统智能解耦控制仿真系统仿真模型火力发电厂

On local control strategies for groups of mobile autonomous agents

在线全文

学校读者我要写书评

暂无评论

On local control strategies for groups of mobile autonomous ...