面向任务的工作流访问控制模型

在分析工作流对访问控制需求的基础上,提出了面向任务的工作流访问控制模型.该模型引入了授权任务概念,将执行任务需要的最小权限和执行任务的角色作为授权任务的属性,使角色和权限脱离关系.同时该模型定义了任务冲突关系,并在此基础上给出了动态授权约束规则,保证了组织安全策略的实施.面向任务的访问控制模型实现了授权流同工作流的同步,能够满足工作流访问控制对动态授权、最小权限和职责分离的要求.不同于已有的模型,该模型还通过角色和权限的分离解除了组织模型和工作流模型的耦合关系.     

抑制超低频振荡的水电多级频率控制参数优化

为有效抑制高水电占比西北电网的超低频振荡,针对缺乏同时研究调速系统和现场控制单元控制参数优化的现状,提出了一种抑制超低频振荡的水电多级频率控制参数优化方法。在建立系统多级频率控制模型的基础上,理论分析了抑制超低频振荡的控制参数安全域,在该安全域内以综合偏差绝对值与时间积分的乘积最小为目标,借助Matlab/Simulink平台通过粒子群算法优化了多级控制参数。基于PSCAD/EMTDC平台的时域仿真验证了抑制超低频振荡的水电多级频率控制参数理论分析和优化方法的有效性。     

空冷式多级热电制冷器性能综合分析

多级热电制冷器可提供更大的制冷温差,但制冷经济性能随级数增大而迅速降低.综合考虑热电材料各种内部效应与外部传热不可逆性,建立了空冷式多级热电制冷器的有限时间热力学模型,给出了制冷量和制冷系数的计算方法.为全面描述和分析多级热电制冷器性能,引入热力学完善度指标,并提出协调性能系数性能评价指标,分析了制冷器工作电流、热电臂横截面积与制冷温差对制冷量、制冷系数、热力学完善度和协调性能系数的影响.结果表明：当制冷温差为87℃时,电流分别为2.55 A和1.30 A时,热电臂横截面积分别为2.2 mm²和3.0 mm²时,制冷量和制冷系数分别达到最大值.综合考虑制冷能力与经济性,当电流为1.75 A时,可获得制冷量、耗功与制冷系数的最佳协调性能.     

MLC型NAND闪存中基于MI异构的Polar码优化

为了进一步提高多级单元(multi-level-cell, MLC)闪存的耐久度和可靠性,提出了一种MLC闪存信道中基于互信息量(mutual information, MI)异构的polar码优化方法.该方法利用对数似然比(log-likelihood ratio, LLR)分布在MLC闪存信道和AWGN(additive white Gaussian noise)信道中的差异性,以MI重新拟合LLR分布,得到在闪存信道下等效的标准方差,从而进行高密度存储系统中的polar码优化设计.随后,分析了不同的polar码构造法对多级存储单元的纠错性能影响,并与所提的构造方法进行比较.仿真结果表明该文优化方法优于AWGN信道下传统的构造方法,当编程/擦除(program-and-erase, PE)循环为21 000次时,与蒙特卡罗法相比其误码率(bit error rate, BER)性能提升2个数量级,且在BER为2×10^-5时可增加6 800次的编程/擦除循环.     

福州市鼓楼区小学教育资源空间可达性分析与评价

划片入学是教育部门缓解教育资源空间布局不均衡问题的重要解决办法。文章以福州市鼓楼区为例,运用改进的多级半径高斯两步移动搜寻法(MC2SFCA),对比划片入学前后小学资源空间可达性,分析划片入学政策是否改善了小学教育资源空间分布均衡性。结果显示:(1)福州市鼓楼区教育资源可达性东南区高、西北区低,城镇两极分化明显;街道内部可达性由中心向四周衰减,划片入学政策下的模型评价结果显示中心区高可达性区域面积大大减少,城镇间的可达性差距减小;(2)划片入学政策避免了大面积学区房炒作、优质教育资源供不应求以及教育资源冗余等问题,一定程度上改善了教育资源分布不均衡的现状。研究结果可为合理布局规划小学教育资源、制定划片入学政策提供参考。     

基于广义第二价格拍卖的多级带宽定价模型

在差异化服务机制的基础上,研究了互联网的多级带宽定价问题．通过导入广义第二价格拍卖,构造了基于差异化服务的互联网多级带宽定价模型．该模型能够有效地解决Internet拥塞问题,促进网络资源的合理利用．     

关于电信行业动态工作流系统的研究

首先介绍了工作流的相关概念、包括工作流的分类和工作流的动态修改规则,然后针对电信行业的业务特点,提出了电信工作流系统的初步设计以及相应的动态修改规则,实践证明该系统的设计思想是有意义的,并对同类系统的开发具有参考价值。     

高负荷轴流压气机喘振时叶片动应力

喘振是压气机中的一种气动失稳形式,破坏性极大.对某高负荷十级轴流压气机喘振过程中叶片的动应力变化开展了试验研究,结果表明喘振时叶片出口脉动静压首先突增,0.1 s后叶片动应变增长至最高值,叶片第二阶动应力已超过疲劳极限,使叶片产生了高周疲劳损伤,出口脉动静压存在与叶片第二阶频率及叶片通过频率相关的后行波/前行波分量,但...     

递归实现的对多级嵌套目录的删除算法

详细介绍了如何用VC完成的一个递归调用来实现一次清空学生的所有私有目录，它将有助于高校计算机的期末考试的准备以及教学管理。     

Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用

随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例