基于ConGolog并发语言面向角色的工作流建模

长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golog语言来定义 .本文提出了采用 Con Golog并发语言来描述工作流模型的方法 ,所建议的方法不仅使工作流模型具有严密的语义 ,并能对模型进行推理和验证     

嵌入式SATA存储系统的研究

新兴的SATA技术为高速、便携、高性价比的嵌入式硬盘存储系统的研制提供了保障。将SATA2.5协议写到Virtex-5FPGA内部,通过GTP收发器实现高速串行数据传输与存储,可以突破PCI接口的瓶颈,使系统具备高速、实时、便携和海量存储等特点。     

YT16拖式压实机动力参数的多目标优化

对拖式压实机工作轮下落阶段进行运动分析,建立冲击轮动力参数的多目标优化模型,以水平速度变化率最小和垂直速度变化率最大为两追求目标,运用多目标优化方法中的线性加权和法对其进行优化处理,化多目标优化问题为单目标优化问题,并运用单目标优化方法中的约束随机方向搜索法解得的最优解即为该多目标优化问题的有效解,使得优化后的冲击轮动力性能在水平方向和垂直方向上均有较大的改善.     

基于行波原理的直流输电线路过渡电阻在线测量

直流输电线路发生故障后,在通过行波故障测距装置获得故障点位置信息的基础上,若还能进一步了解故障点过渡电阻的信息,并由此推断故障性质和故障原因,对故障快速查找和修复是极为有利的.在分析直流输电线路故障暂态行波产生机理和传播特性的基础上,提出基于行波原理的直流输电线路过渡电阻在线测量方法,即利用故障初始行波浪涌幅值的过渡电阻初始值测量法、利用正向行波浪涌及其在故障点反射波之间幅值关系的过渡电阻中间值测量法、利用线路两端故障电压和电流的过渡电阻稳态值测量法.仿真分析表明所提出的直流输电线路过渡电阻在线测量方法是可行的,并且具有较高的测量精度.     

宽带平坦增益混合型光纤放大器的设计

针对密集波分复用系统各信道的在线平坦光放大这一光通信研究中的关键课题,提出了基于掺铒光纤放大器和分布式拉曼光纤放大器的混合结构光纤放大器,并进行了结构参数的优化设计。仿真结果表明,用所设计的混合结构光纤放大器获得了覆盖C+L光通信窗口1 530~1 630 nm信号的平坦增益和低噪声,在密集波分复用光通信系统中有重要应用价值。     

哈尔滨市25路公交车发车间隔的优化

公交调度是公交企业运营管理的核心内容,对公交调度优化方法进行研究是提高运营调度水平、增强公交吸引力的关键.阐述乘客满意度、乘客舒适度和企业满意度的调查方法及黄金分隔求解法,并通过对哈尔滨市25路的交通调查,运用基于乘客与企业满意度的模型对发车间隔进行优化,运用黄金分隔法进行建模求解,确定发车时刻表,为优化公交调度提供依...     

经济型直流电机PWM闭环调速系统设计

介绍了以廉价单片机AT89C2051为核心的直流电机PWM调速系统的原理 ,给出了一种PWM信号发生器实用电路 ,以及直流电机速度闭环控制的软件实现方法     

铅银和铅银镧合金作为正极板栅的性质研究

用交流阻抗(EIS)、线性扫描(LSV)、循环伏安(CV)、动电位阻抗法(ACV)研究铅银和铅银镧合金作为正极板栅的性质.结果发现:Ag的添加可能除低正极氧超电势,增加正极的析氧量;La则可能抑制氧气的析出.并且Ag、La的添加可抑制阳极Pb(II)膜的生长,改善深放电时铅合金上所形成的阳极Pb(II)膜的阻抗特性,抑制铅的阳极腐蚀.     

旅行商问题优化解之间关系的分析

旅行商问题是经典的组合优化NP难题之一,学术界一直致力于建立在合理的计算时间内精确或近似求解问题的算法.近似算法常求得的高质量近似优化解与全局最优解之间边交集不为空,建立了两者之间及与全局最优解之间的特定关系,通过数学分析建立量化关系模型,利用实验确立模型中相关参数的先验概率.据此建立的随机TSP裁减过程大幅度裁减问题的求解规模;在求解过程中亦能高概率确定属于全局最优解的边,以提高问题求解效率和质量.     

求解Job Shop问题的改进遗传算法

通过对JobShop问题的研究,基于工件的编码方式提出了一种新的活动化解码算法.该算法主动寻找后续工件提前加工,不仅节省了存储空间,而且提高了解码效率.并对遗传算子进行了改进,采用一种基于模式交叉的交叉算子,防止非法解的产生,同时将变异算子与局部搜索结合起来.最后采用典型算例对改进算法进行仿真试验,结果表明,改进的算法提高了效率,具有一定的实用价值.