基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

利用铋酸盐光纤高非线性效应实现40Gb/s全光3R再整形

该文研究的重点是全光3R再生技术中的再整形方法。研究了一个利用光纤的非线性的基于交叉相位调制与自相位调制的40Gb/s归零信号的再整形方法。文中使用软件Optisystem 3.0分别对基于高非线性光纤中的自相位调制和交叉相位调制实现再整形,并进行了仿真实验。该文提出的方案整形后得到的3R再生信号的质量得到了大幅改善。     

基于自注意力机制模拟实体信息的实体关系抽取

在信息抽取领域,从非结构化文本中抽取实体关系是一项基础且重要的任务,且面临实体重叠和模型误差累积等挑战.本文以关系为导向,提出一种改进的实体关系联合抽取方法.该方法将实体关系抽取任务分为关系抽取与实体抽取两个子任务.在关系抽取任务上采用自注意力机制关注词与词之间的重要程度从而模拟实体信息,并使用平均池化来表征整个句子信息;在实体抽取任务上结合关系信息使用条件随机场识别该关系下的实体对.本模型不仅能够利用存在关系必定存在实体对的思想解决实体对重叠问题,还能够在训练过程中利用数据集中已知的关系使实体抽取模块不依赖于关系抽取模块的结果来训练,从而在训练阶段避免误差累积.最后,在WebNLG和NYT公开数据集上验证了该模型的有效性.     

Linux课程群建设研究

分析目前Linux相关课程教学面临的机遇与挑战,并在对国内外大学的Linux相关课程教学情况进行分析比较的基础上,提出"普通高校Linux课程群"建设目标和思路,并详细介绍了湖北民族学院在Linux课程群建设的实践情况和取得的效果。     

基于互斥角色约束的SSOD策略实现研究

静态职责分离（SSOD）是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束（2-2 SMER）实现最简单的SSOD策略（2-n SSOD）是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策略的充分条件,此充分条件和现有研究相比具有更弱的约束力,支持更灵活的权限分配。进一步给出了实现2-n SSOD策略的授权管理操作规则,以确保权限的动态管理始终满足此充分条件,维持系统对2-n SSOD策略的满足状态。最后,通过应用实例说明了实现2-n SSOD策略方法的有效性和可行性     

小浪底水库支流倒灌与淤积形态模型试验

利用小浪底水库实体模型开展水库拦沙后期运用方式长系列年试验,对争议较大的库区支流倒灌及其淤积形态问题进行重点分析。结果表明:库区最大支流畛水河口门狭窄且库容较大,拦门沙问题最为突出,其纵坡面形态与设计有一定的差别;支流年淤积量与当年大于2600 m3/s流量时段的总水量有较好的相关性;通过优化水库运用方式可较长时期保持动态三角洲淤积形态,有利于支流库容的有效利用;水库干流河床处于动平衡状态时,支流河床仍然会逐渐淤积抬升而使得干支流淤积面高差趋于减少。     

加筋土边坡稳定性分析

基于强度折减法和重力增加法分别对未加筋边坡和加筋边坡进行了有限元数值分析,并与Bishop法进行了对比,验证了将这两种方法应用于加筋土边坡计算的可行性。通过对工程实例的计算分析,建议对于未加筋边坡将坡内点的水平位移急剧变化作为边坡处于临界破坏状态的判别标准;而对于加筋土边坡,将塑性区从坡脚至坡顶贯通作为临界破坏状态的判别标准。     

考虑退货为决策变量相关函数的易逝品协调模型

在零售市场中,来自顾客的产品退货是一个普遍现象,它的产生同时影响着生产商与销售商,进而影响整个供应链系统.本文假设顾客退货量是市场需求以及零售价等决策变量的相关函数,在单周期供应链中考虑线性需求情形下的定价模型和最优订货策略,并给出了模拟算例.     

中国古代舞蹈服饰的功能演变及文化内涵

针对中国古代舞蹈服饰的演变和发展,分析舞蹈服饰在不同社会阶段的功能属性以及不同历史时期舞者的社会角色和服饰文化内涵.研究发现,中国古代舞蹈服饰在特定时期打破了服饰流行自上而下的传统模式,对古代服制形成有重要的影响.     

含砷铜烧渣中回收金的研究

含砷铜烧渣用SNO助剂处理2h～3h后,在选择条件下进行常规氰化浸出,可使烧渣的金品位从6.5g/t下降至0.5g/t以下;一些烧渣经细磨或加入少量助浸剂,可使烧渣中金品位从3.2g/t下降到0.3g/t～0.5g/t范围,有较好的经济效益。