摘要：可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。

摘要：高校校园网中的FTP服务资源共享平台面临支撑较大规模数据的并发访问的压力,论文基于LVS负载均衡技术整合和改进现有网络技术,设计三层结构服务器集群的FTP服务资源共享平台,并依托某高校实例予以实现,经对平台性能的相关参数测评表明:设计实现的平台方案优于实施前的方案,对促进有限资源条件下的高效资源共享平台构建技术发展具有实际意义。

摘要：本文在国家"十五"攻关课题《妇女更年期综合征中医证治规律研究》所取得的成果数据库上,设计采用三层架构技术并基于互联网构建的绝经综合征中医证治规律的数据挖掘模型与系统框架,克服目前中医证候规律研究中普遍存在的技术单一和临床专家对挖掘结果评估权不足的问题,以此实现专家在线进行绝经综合征中医证治规律研究;提供在线新案例添加功能,使数据库能不断充实扩大为中医海量数据,为有关医生提供在线证治指导服务。

摘要：在有限资源情况下,FTP服务资源共享平台仅凭多个独立的服务器无法承担访问量、数据容量、网络流量等快速增长所需要的运算需求,采用最小连接调度(LVS)策略设计并实现了改进的最小链接负载均衡调度算法,在通过增加备用调度服务器方法设计的调度服务器冗余资源共享平台中评测传输速度、负载用户数和磁盘读取速度等方面的性能,结果表明文中设计的资源共享平台性能有显著提高,这对促进有限资源条件下的高效资源共享平台构建技术发展具有实际意义.

摘要：克服目前中医证候规律研究中普遍存在的技术单一和临床专家对挖掘结果评估权不足的问题。在国家"十五"课题研究所取得的成果数据库基础上,采用设计的封装多种挖掘算法、能给用户提供算法参数值与约束条件修改权的半开放式挖掘模型组,进行绝经综合征的中医症状与中医证候关系规则的挖掘研究。以此挖掘出与临床结论基本一致的关系规则,使其能够为广大临床医生提供证治指导服务。

摘要：提升职业教育质量是在经济社会发展转型背景下的职业教育改革发展的重要目标。以台湾地区施行的OBE教育范式,展开先进职业教育理念本土化研究,以图通过分析高职工科类专业各教学因子对提高学生品质的影响,得出评估学习产出的指标定义,期许能将学习产出定义成可操作化和具体化的内容,并制定出施行OBE教育范式的毕业生的知识、能力和职业素养等评价内容,为高职院校工科类专业课程体系改革与创新人才培养模式的转型发展提供参考。

摘要：阐述了我国目前加工型、鲜食型番木瓜品种的收集及选育应用情况,种子及种质圃、超低温、组织培养等番木瓜种质保存技术研究进展,传统杂交选育、引种驯化、诱变育种、细胞工程育种、基因工程育种、分子标记辅助育种等番木瓜育种技术研究进展。提出了超干贮存可作为番木瓜种子保存技术的一个研究方向,传统杂交育种可与多倍体育种及太空育种、分子模块设计育种等育种新技术相结合。

摘要：语法学习是英语学习的重要基础,然而当今国内的语法教学存在着“学用分离”的现象,输入与输出严重脱节,学生的输出能力(包括但不限于写作能力、口语能力)有待提高。为了解决上述问题,本文以虚拟语气为例,通过应用产出导向法的“学用一体”教学理念,遵循“驱动-促成-评价”的教学流程,进行相应的英语语法教学设计,以期促进学生语法知识的内化、应用能力的形成以及输出能力的提高。

摘要：现行高等学校土木工程本科指导性专业规范明确土木工程是建筑、岩土、地下建筑、桥梁、隧道、道路、铁路、矿山建筑、港口等工程的统称,宽口径大土木专业对学生厚基础、强能力提出了相应的目标。学科竞赛是支撑人才培养目标的重要内容之一。本文分析了以学科知识为背景的全国大学生结构设计大赛、全国周培源大学生力学竞赛的主要内容,宽口径土木工程专业学生可参加的中国"互联网+"大学生创新创业大赛、全国大学生工程训练综合能力训练等综合类竞赛的主要内容,提出了增强学生创新思维与创新能力培养的学科竞赛体系构建的实施路径。

摘要：提出了搭建校企合作平台,在课程设计、专业实习、毕业实习与毕业设计等实践环节实施双导师的路径与方法。通过双导师教学模式,使学生在人才培养方案规定的时间内,既接受了基本知识、基本理论的教育,又获得了职业训练,丰富了感性认识,培养了实践能力,适应了工程行业需求,有利于缩短学生的就业适应期和提高就业适应能力。