软件安全分析的有穷自动机模型

目的 为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证.方法 软件安全分析验证法与形式化建模方法.结果 提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA).在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图.首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA.结论 为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例.     

一种基于本体的支持QoS的Web服务组合方法

引入本体ontology来描述web服务,对语言网格中的语言服务进行形式化描述,形成一个规范与标准,并重点结合服务质量指标QoS进行服务组合,以提高语言网格中组合服务的质量.实验结果表明,该方法能更好满足用户的需求.     

入侵植物三裂叶蟛蜞菊叶片叶绿素荧光对温度的响应

选取入侵植物三裂叶蟛蜞菊（Wedelia trilobata）及其本地近缘种蟛蜞菊（Wedelia chinensis）为实验材料,以叶绿素荧光影像仪研究整株植物在零上低温（10℃）和室温（25℃）条件下,强光（1700μmo1·m^-2·s^-1）诱导叶片的叶绿素荧光的特性,探讨入侵种三裂叶蟛蜞菊对强光及温度的响应特性和生态适应性．结果表明,室温强光处理5h后三裂叶蟛蜞菊PSⅡ最大光能转化效率（■／R）、PSⅡ实际光化学量子产量（趾埘）、表观光合电子传递速率（ETR）的下降幅度均显著小于本地种蟛蜞菊,而在低温强光处理5h后三裂叶蟛蜞菊的Fv／Fm、Yield、ETR降低幅度显著高于本地种蟛蜞菊．研究结果初步表明,三裂叶蟛蜞菊对室温强光适应性强,而对低温强光则较敏感．这一结果暗示外来入侵种三裂叶蟛蜞菊可能较适应我国南方热带亚热带地区的高温强光气候,而向北方地区进一步扩散有可能受到低温等环境因子的限制．     

教师资格考试背景下 高职师范专业课程体系改革 ——以抚顺职业技术学院数学教育专业为例

国家教师资格考试制度改革背景下,师范院校的教师和学生面临着新的压力和挑战。为提升高职师范生培养质量,使其更好地适应国家教师资格考试,以抚顺职业技术学院数学教育专业为例,通过分析国家教师资格考试科目三初中数学试卷和相关课程,探讨存在的问题,并提出构建核心课程体系,包含数学学科知识模块、教学知识模块、教学实践模块等,为高职师范专业课程体系建设提供参考和借鉴.     

优化牵引式抓斗卸船机钢丝绳使用安全经济性的分析

介绍牵引式抓斗卸船机钢丝绳的使用现状,提出优化钢丝绳维护及改进对策,提高牵引式抓斗卸船机钢丝绳使用的安全性及经济性。     

一类疾病额外死亡率存在的传染病模型

对一类疾病额外死亡率存在的两种群相互竞争的非自治Ｓ（易感者）－Ⅰ（染病者）－Ｓ（易感者）传染病模型进行了研究。发现了无疾病额外死亡率存在两种群持续生存的条件下，若引入疾病额外死亡率，则两种群可能依然持续生存，也可能一种群持续生存，另一种群绝灭。但是，两种群不可能同时绝灭，并且在两种群共存的情况下，讨论了周期解的存在性与全局渐近稳定性。     

强光下入侵植物三裂叶蟛蜞菊叶片叶绿素荧光对低温及室温的响应

选取入侵植物三裂叶蟛蜞菊（Wedelia trilobata）及其本地近缘种蟛蜞菊（Wedelia chinensis）为实验材料，以叶绿素荧光影像仪研究整株植物在零上低温（10℃）和室温（25℃）条件下，强光（1700molm-2s-1）诱导叶片的叶绿素荧光的特性，探讨入侵种三裂叶蟛蜞菊对强光及温度的响应特性和生态适应性.结果表明，室温强光处理5 h后三裂叶蟛蜞菊PSⅡ最大光能转化效率（Fv/Fm）、PSⅡ实际光化学量子产量（Yield）、表观光合电子传递速率（ETR）的下降幅度均显著小于本地种蟛蜞菊，而在低温强光处理5 h后三裂叶蟛蜞菊的Fv/Fm、Yield、ETR降低幅度显著高于本地种蟛蜞菊.本文结果初步表明，三裂叶蟛蜞菊对室温强光适应性强，而对低温强光则较敏感.这一结果暗示外来入侵种三裂叶蟛蜞菊可能较适应我国南方热带亚热带地区的高温强光气候，而向北方地区进一步扩散有可能受到低温等环境因子的限制.     

唐鱼野生种群和养殖群体的形态差异分析

2006-2007年,对从化市唐鱼资源进行了野外普查,共发现唐鱼自然栖息地8处,目前仅存在5处(另外3处破坏).本实验测量了5个地点的野生唐鱼种群与1个养殖群体形态度量性状和框架结构参数,采用逐步判别法对它们进行形态综合分析.结果表明:①在传统可量性状方面,5个野生种群和1个养殖群体在体高/体长、头长/体长比、尾柄长/体长比以及尾柄高/尾柄长比几方面差异极显著(P<0.01);②应用框架结构分别对唐鱼的养殖群体与5个野生种群共190尾标本的12个可量性状进行主成分分析,发现唐鱼野生种群与养殖群体在外部形态的整体大小上有明显的差异,并用判别分析对主成分分析结果的正确性进行了验证.     

狭长密闭空间高硫天然气泄漏组合控制效果研究

为研究底板排气、通风及挡烟垂壁对狭长密闭空间高硫天然气泄漏控制效果,利用ANSYS Fluent 19.2软件模拟多种工况下硫化氢摩尔含量为5%的高硫天然气持续泄漏60 s后硫化氢及甲烷分布特征。分析底板排气速度、通风风速及挡烟垂壁下垂高度对泄漏高硫天然气分布影响规律。结果表明：增设挡烟垂壁使泄漏高硫天然气形成涡流,挡烟垂壁下垂高度应设置为0.5 m;当底板排气速度为4.0 m/s,采用0.63 m/s通风能将泄漏高硫天然气限制在泄漏口所在挡烟垂壁区间,为最优组合;通风及底板排气系统能在高硫天然气云团表面形成空气膜,可防止高硫天然气大范围扩散。     

因特网上专利信息资源的分布及其检索与利用

介绍了专利信息资源在因特网上的分布情况及其检索流程、方法,探讨了专利信息资源在经济、技术和法律方面的应用。