一种访问权限管理的格模型

描述了一种以格为基础的访问控制模型,与访问对象相关的访问权限用格的结点表示,访问权限的变化映射在格上成为一个结点到另一个结点的变换。在这种模型中,访问控制策略实时更新的并发控制算法简单且易于实现。在并发环境中,多个主体读写数据和修改访问控制策略并互相影响时,可直接应用文中的模型与算法。     

多处理器固定优先级算法的可调度性分析

针对多处理器实时调度中的固定优先级(FP)调度算法,提出了一种改进的可调度性判定方法。引入Baruah的最早截止期优先(EDF)窗口分析框架,将高优先级任务带入作业的最大数量限定为m-1(m为处理器个数),进而对任务的干涉上界进行重新界定,并由此得到一个更加紧密的可调度性判定充分条件。仿真实验结果表明,该方法增加了通过判定任务集的数量,体现出更优的可调度判定性能。     

嵌入式实时软件的任务构造

基于模型的设计方法能缩小从软件功能模型到任务模型的差距。用模型转换的方法构造实时任务,从软件设计模型的组件变换为进程/线程可执行的任务。该方法适用于嵌入式软件设计。在模型中考虑时序一致性的问题,绝对时序一致性能保证数据的有效期,相对时序一致性能保证数据的可用性。     

多处理器全局单调比率的可调度性分析

针对全局单调比率(RM)调度的多处理器系统中最高优先级任务数量少于处理器数量时,Bertogna等给出的最坏情况计算任务受到的干涉过于悲观,证明了任务受到最高优先级任务的干涉不会出现最坏情况,它受到非最高优先级任务干涉仍可能出现最坏情况。分析得出了任务受到最高优先级任务干涉的最大可能值,由此得到了一个更紧的可调度性判断条件。实验结果表明,提出的方法提高了判为可调度的任务集数量。     

中文分词中组合型切分歧义的消解研究

针对中文自动分词中组合型歧义消解难的问题,提出了一种新的切分算法来对组合型歧义字段进行消歧。该算法首先自动从训练语料中提取歧义字段的上下文信息来建立规则库,然后利用C-SVM模型结合规则对组合型歧义字段进行歧义消解。最后以1998年1月《人民日报》语料中出现的组合型歧义字段进行训练和测试,实验显示消歧的平均准确率达89.33%。     

液压轮胎定型硫化机液压系统设计与仿真

液压轮胎定型硫化机是轮胎生产制造的关键设备。针对液压轮胎定型硫化机重载、高精度以及高可靠性的要求,对轮胎定型硫化机液压系统进行研究,在此基础上设计轮胎定型硫化机液压系统回路。液压站采用平均流量法进行节能设计。在数学模型基础上,对液压系统的准确性、快速性和启动性能进行仿真分析。现场使用结果验证了设计和仿真的正确性和有效性。     

访问权限实时更新的模型与实现

为了保证在动态环境下信息系统的安全性，需要一个良好的访问控制模型，对访问控制策略的实时变化立即作出反映，并采取必要的措施。描述了一种支持访问权限实时更新的访问控制模型和实现，并进行了并发性分析。在这种模型中，访问权限实时更新的并发控制算法简单且易于实现。在并发环境中，多个主体读写数据和修改访问控制策略并互相影响时，可直接应用该模型与算法。     

基于RBAC的权限管理在ASP.NET MVC2中的设计与实现

基于角色的访问控制RBAC是一种方便、安全、高效的访问控制机制。使用ASP.NETMVC2的Route Handler技术实现RBAC模型,简化用户权限管理,提高管理效率,提高系统开发效率,减少代码冗余,便于系统维护。     

基于数据有效期的实时调度设计

提出了一种基于模型的实时调度设计方法,利用生产者-消费者模型解决约束条件下的SCADA系统实时调度问题。设计者可根据应用需求中的数据有效期及估算的任务计算时间,通过提出的模型计算出其他实时调度的参数,给出约束条件,并进行可调度分析。提出的方法也可用于设计有确定时间要求的实时嵌入式软件。     

CCRF与规则相结合的中文机构名识别

针对复杂机构名难以识别的问题,提出一种CCRF与规则相结合的识别方法。以CCRF为基础,利用特征融合设计特征模板,融合相应有效规则库,为复杂机构名识别提供决策。对1998年1月的《人民日报》语料库进行开放测试,实验结果显示,机构名识别的准确率为89.92%,召回率为91.41%,F1值为90.66%。