张亮
- 作品数：21 被引量：149H指数：8
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学金属学及工艺更多>>
- 基于Petri网的工作流模式研究被引量：29
- 2006年
- 为了满足企业对过程模型描述能力的需求,提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上,应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步,消耗库所负责移除多余的标记,带标记的库所实现对变迁触发序列的控制;设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式,从基本到复杂,都映射到相应的Petri网上。最后,通过一个集成制造过程模型的实例,说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。
- 张亮姚淑珍
- 关键词：企业过程建模PETRI网工作流
- 永磁偏置磁轴承三电平PWM开关功放的研究被引量：13
- 2006年
- 针对永磁偏置的磁轴承开关功放需要实现低纹波的问题,提出了一种新颖的三电平PWM控制方法,并给出了具体实现电路。通过三电平与传统的两电平PWM开关功放的对比实验验证了该方案的可行性。
- 张亮房建成
- 关键词：开关功放三电平电流纹波
- Ti对Nb基合金高温抗氧化性能的影响被引量：6
- 2014年
- 采用热重分析(TG)、X射线衍射(XRD)、透射电镜(TEM)及能谱分析(EDS)等方法,研究Nb-Si-Ti(15%~26%,摩尔分数)-Hf-Al-Cr多元合金、Nb-Ti(0~50%)二元合金在1250℃大气中的高温氧化行为。通过Ti含量变化对合金氧化产物种类及氧化物PBR值的影响,探讨Ti含量对Nb基合金高温抗氧化性能的作用。结果表明:随着Ti含量的增加,合金的高温氧化产物从Nb2O5、Ti2Nb10O29、TiNb2O7和TiO2依次过渡。通过计算发现:Nb基合金的氧化产物Nb2O5、Ti2Nb10O29、TiNb2O7及TiO2的PBR值随着Ti含量的升高依次减小。氧化产物PBR值的下降,可以有效地降低Nb基合金氧化膜的生长应力、提高氧化膜的完整性、增大氧化膜的失效周期,提高Nb基合金的高温抗氧化性能。
- 姜惠仁牛莉叶席文君马文帅张亮
- 关键词：高温合金高温抗氧化性能
- 基于Petri网的分层工作流模型研究
- 为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描...
- 张亮姚淑珍
- 关键词：PETRI网工作流工作流模型
- 文献传递
- 基于Petri网的企业过程模型的BPEL实现
- 为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BP...
- 姚淑珍张亮
- 关键词：企业过程建模PETRI网
- 文献传递
- 一种新的面向用户的工作流模型被引量：4
- 2006年
- 为满足企业用户对工作流模型的描述能力和分析能力的要求,提出了一种新的面向用户的工作流描述模型———工作流描述网。该描述网可直接支持所有的工作流模式,特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式;通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;基于Petri网,通过增加控制变量,及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后,通过实例说明了如何对各种复杂流程进行建模和分析。
- 张亮姚淑珍
- 关键词：PETRI网工作流模型
- iOS应用开发课程设计与实践
- 2021年
- 针对目前国内iOS应用开发课程教学存在的问题,分析国外顶级高校同类课程的教学情况,结合"新工科"建设要求,以培养学生复杂工程实现能力为目标,提出一种从基础的Swift程序设计到进阶的iOS APP开发,再到高阶的移动创新实践的层次化教学内容设计模式,探讨iOS应用开发教学与学生系统能力培养之间的关系,介绍启发式案例教学实践。
- 张亮
- 关键词：移动应用开发
- 基于“两性一度”的Swift语言综合实验设计
- 2022年
- 在“金课”建设背景下,针对Swift程序设计实践课程教学中存在的问题,提出具体的“金课”建设思路,以iOS App“2048”实验为例,从实验内容、实验过程、实验报告、实验考核、实验设计5方面详细阐述如何围绕“两性一度”标准设计移动应用开发类课程的综合实验,并给出具体实施方案,最后通过统计近3年该课程教学情况相关数据,说明该教学实例的教学效果。
- 张亮
- 电磁轴承开关功放的谐波模型仿真与实验研究被引量：13
- 2007年
- 电磁轴承开关功率放大器本质是非线性系统,通常在对电磁轴承控制系统进行分析时,将电磁轴承开关功放的模型等效为一阶惯性环节的线性模型。由于线性模型不能反映开关功放实际特性,其精度将直接影响磁轴承控制系统稳定性分析。该文对电磁轴承脉宽调制型开关功放,基于谐波平衡原理,建立电磁轴承开关功放的线性化谐波模型。利用该模型对电磁轴承开关功放的特性进行仿真,并将仿真结果同应用SIMULINK中的电力系统工具箱(PSB)建立开关功放模型的仿真结果以及实验结果进行比较,结果基本吻合,验证了所提出的谐波建模方法的正确性和有效性,从而为电磁轴承开关功放的特性分析提供了一种可行的研究方法。
- 张亮房建成
- 关键词：电磁轴承开关功率放大器脉宽调制谐波模型仿真
- 基于Petri网化简技术的工作流模型正确性研究被引量：8
- 2007年
- 为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下,给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法,从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。
- 张亮姚淑珍
- 关键词：PETRI网工作流化简技术
