确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

多专家交互式的有线数字电视项目风险分担模型

有线数字电视项目风险分担评价是有线数字电视风险管理中的基础性问题.由于目前国内有线数字电视项目的公益性和探索性,国内有线电视项目风险分担评价需要采取多人交互式的评价过程,论文提出了一种多领域专家交互式的有线数字电视项目的风险分担模型,并且证明了该模型在交互过程中的收敛性,最后给出了一个计算示例.     

英语教材的多样性及灵活运用

随着高等教育的发展,学生结构的多元化已经成为教学过程中必须考虑的要素之一。在大学英语教学过程中,如何充分利用教材以适应不同层次学生的实际需要,就成为了影响英语教学的一个重要因素。为了解决这个问题,达到充分利用各种教材为英语教学服务的目的,本文分析了教材结构的多样化,并就如何充分、灵活地利用多样化教材提出了相关改进方法。     

基于智能检测的DNA序列载体片段清除工具

针对传统DNA载体检测和清除工具的不足,实现一种基于智能检测的DNA载体检测新工具.该工具的核心思想是无需预先给定克隆载体序列模版、剪接位点和克隆适配片段等信息,通过建立从载体出现概率到序列权重的映射,把载体片段的检测转化为求给定序列中具有最大权重的k个不重叠相交的子序列问题,并且引入了罚函数控制避免对载体序列的过度清除.实验结果表明该工具能显著提高载体清除的效率和准确性,在超长序列处理的时候更稳定、错误率更低.     

阅读教学三"品味"

叶老曾说：“阅读教学要相机引导学生进行’品味”，而新课标更强调教师将品赏体悟的权利还给学生。因此，作为语文教师，不能以备课的全面、讲授的精细自得，而应该授学生以渔，放手让他们走好阅读的全程，使之于读中自解，于品中自悟，于味中自得。品味，说起来简单，做起来未必简单。要解决好这个问题，应当首先找到关键，找到着力点。     

分布式卫星系统协作任务分配模型及优化算法

面向未来分布式卫星系统(DSS)自主协作运行模式,对DSS任务优化分配问题进行了分析和建模.在此基础上给出任务组的概念,并利用集覆盖理论将任务分配问题转化为集覆盖问题.从而引入MAS理论中的合同网协议,以系统完成任务目标的总耗能最少为原则,加入限定卫星可回应子任务数的约束后,提出了一种基于合同网的严格启发式的优化算法对分配模型进行求解.同时,证明了算法搜索结果的上确界;分析了算法的收敛性和时间复杂度.该算法具有分布性,搜索空间缩减快,适合于中小规模的任务分配.     

让语文在诗意中穿行

种一颗"诗"的种子在学生的心田,让语文在诗意中穿行,学生就会收获更多的诗意语文的快乐和幸福!     

属性约简中的近似问题研究

现有相对约简实际上只是在保持所关心范畴的下近似不变的前提下对属性进行约简,这对于不协调信息系统来说,可能会使所关心范畴的上近似变大,从而使其近似精度减小,导致有用信息的丢失.为此,针对属性约简中的近似问题进行了研究,引入近似相对约简概念,利用近似相对约简替代现有相对约简来处理不协调信息系统,以克服现有相对约简在不协调信息系统中所带来的缺陷.同时,证明了在协调信息系统下,条件属性集相对决策属性集的近似相对约简和相对约简是等价的,并提出了一种基于近似相对约简的简便属性约简算法.     

预制装配式圆竹结构房屋的试验与应用

选用我国丰富的毛竹作为结构材料,对圆竹的主要物理力学指标进行了试验与分析.研究结果表明,圆竹的基本力学指标高于TC13级针叶木材,可以作为结构材料使用.设计了几种圆竹构件和结构的金属连接件,基本实现了圆竹构件加工的标准化和施工的预制化.设计了基于墙板模数的圆竹墙体单元,并对2片墙体进行了抗侧力试验,圆竹墙体的抗侧力性能与U型连接件密切相关,抗侧向能力约为同类型轻型木结构墙体的65%.进行了3个圆竹屋架的静载试验,结果表明屋架的极限承载力由变形控制,平均值为12.3kN.根据试验结果和木结构设计规范,设计和建造了一个约50m2的预制装配式圆竹房屋示范建筑,验证了该技术的可行性和适用性.示范建筑已使用3年多,目前状况良好.