检索结果-南通市图书馆

基于有限迁移系统的线性时态逻辑的计量化方法

在线全文

学校读者我要写书评

暂无评论

模糊系统与数学 2012年第5期26卷 30-35页

作者：时慧娴王国俊陕西师范大学数学研究所陕西西安710062

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离... 详细信息

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。

关键词：线性时态逻辑迁移系统满足度离散时间马尔可夫链逻辑度量空间

在线全文

学校读者我要写书评

暂无评论

加权迁移系统线性时间属性及其安全性检测

计算机应用 2014年第5期34卷 1413-1417页

作者：林运国福建农林大学计算机与信息学院福州350002

针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它... 详细信息

针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它们的关系;然后重点研究了加权安全性,通过加权自动机和闭包给出了加权正则安全性;最后基于加权有穷自动机,建立了加权正则安全性的检测方法。检测过程结合半环和形式幂级数,构造了加权迁移系统和加权有穷自动机的乘积系统,将加权安全性检测问题转化为验证乘积系统的不变性,给出了加权正则安全性检测的算法和复杂度。实例结果表明,所提的方法能够对加权迁移系统的安全性进行检测。

关键词：迁移系统线性时间属性模型检测安全性半环

在线全文

学校读者我要写书评

暂无评论

论写作教学的迁移系统

黑龙江高教研究 1996年第3期14卷 46-50页

作者：祝兆炬浙江绍兴大学

论写作教学的迁移系统祝兆炬知识传授和能力训练，是高校进行一般课程教学的双轨；两者关系：相互依存、相互促进、并行不悻。但是，写作教学情况特殊，它是一门应用技术课，而不是基础理论课，诚如《基础写作概论》①在前言部分指出的... 详细信息

论写作教学的迁移系统祝兆炬知识传授和能力训练，是高校进行一般课程教学的双轨；两者关系：相互依存、相互促进、并行不悻。但是，写作教学情况特殊，它是一门应用技术课，而不是基础理论课，诚如《基础写作概论》①在前言部分指出的那样：“写作是一门以书面语言为其表...

关键词：写作教学迁移系统知识迁移写作能力迁移能量教师 “用” 写作课 “举一反三” 写作原理

在线全文

学校读者我要写书评

暂无评论

基于迁移系统分析的线性混成系统安全验证

计算机工程与应用 2013年第4期49卷 58-64,76页

作者：蒋慧卜磊李宣东南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理... 详细信息

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。

关键词：线性混成自动机迁移系统安全性验证不变式生成

在线全文

学校读者我要写书评

暂无评论

具反射边界条件的板模型迁移系统的临界性

绍兴文理学院学报 2001年第8期24卷 1-6页

作者：汪文珑绍兴文理学院数学系浙江绍兴312000

研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分算子的主本征值(即临界参数)的性质,并获得了系统处于次临界状态的条件以及使系统处于临界状态的板厚度的... 详细信息

研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分算子的主本征值(即临界参数)的性质,并获得了系统处于次临界状态的条件以及使系统处于临界状态的板厚度的存在性.

关键词：迁移系统临界解紧算子半非支柱算子

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

论写作教学的迁移系统

绍兴文理学院学报（哲学社会科学版） 1992年第4期12卷 14-19页

作者：祝兆炬

知识传授和能力训练,是进行一般课程教学的双轨,两者关系:相互依存、相互促进、并行不悖。但是,写作教学情况特殊,它是一门应用技术课,而不是基础理论课,诚如《基础写作》在前言部分所指出的那样:“写作是一门以书面语言为其表达形式,... 详细信息

知识传授和能力训练,是进行一般课程教学的双轨,两者关系:相互依存、相互促进、并行不悖。但是,写作教学情况特殊,它是一门应用技术课,而不是基础理论课,诚如《基础写作》在前言部分所指出的那样:“写作是一门以书面语言为其表达形式,具有训练性质的智能——技能的课程,它是为培养学生的写作能力,提高人们的写作水平服务的。”因此,写作教学不应双轨并进,而应以能力训练为主,将知识迁移为能力。

关键词：写作教学迁移系统知识迁移写作能力引导学生教师相互依存知识传授培养学生能力训练

板模型具广义周期边界条件的迁移系统的临界解

在线全文

学校读者我要写书评

暂无评论

上饶师范学院学报 1995年第6期18卷 11+5-11页

作者：汪文珑温忠上饶师专数学系江西省外贸学校

研究板几何具广义周期边界条件的迁移系统的临界解，使用泛涵分析方法，特别是Ｌ￣ｐ空间上的线性算子理论，１≤ｐ＜＋∞，证明了相在的Ｂｏｌｔｚｍａｎｎ积分算子主本征值（临界参数）的性质。获得了迁移系统处于次临界和超临界状态... 详细信息

研究板几何具广义周期边界条件的迁移系统的临界解，使用泛涵分析方法，特别是Ｌ￣ｐ空间上的线性算子理论，１≤ｐ＜＋∞，证明了相在的Ｂｏｌｔｚｍａｎｎ积分算子主本征值（临界参数）的性质。获得了迁移系统处于次临界和超临界状态的条件，并证明了临界解的存在性。

关键词：迁移系统临界解紧算子弱紧算子半非支柱算子

在线全文

学校读者我要写书评

暂无评论

基于混合云架构的电厂运行数据并行迁移系统

电子设计工程 2023年第2期31卷 126-129,134页

作者：黄伟王小波乔蓓蓓大唐富平热电有限公司陕西富平711799

传统的电厂运行数据并行迁移系统存在数据迁移速率低的问题,导致系统延迟较高,因此设计了基于混合云架构的电厂运行数据并行迁移系统。在硬件方面,设计了电路模块、单片机模块、传感器模块与处理模块,单片机采用ADN7632,以光敏传感器、... 详细信息

传统的电厂运行数据并行迁移系统存在数据迁移速率低的问题,导致系统延迟较高,因此设计了基于混合云架构的电厂运行数据并行迁移系统。在硬件方面,设计了电路模块、单片机模块、传感器模块与处理模块,单片机采用ADN7632,以光敏传感器、红外传感器、霍尔传感器组合成传感器模块,利用STN5349完成相关信息处理。同时引入混合云架构设计系统软件,通过原始运行数据转换与迁移、数据同步、并行迁移完成软件设计。实验结果表明,该系统的数据迁移速率更高,系统延迟符合电厂的实际要求,具有更高的应用价值。

关键词：混合云架构电厂运行数据并行迁移迁移系统

在线全文

学校读者我要写书评

暂无评论

足球运动员迁移系统研究

辽宁体育科技 2017年第2期39卷 9-13页

作者：栗元辉郑州升达经贸管理学院体育系河南新郑451191

对英国、南美、南欧等几个主要的足球运动员迁移系统进行分析,结合足球运动员迁移的历史数据和最新的联赛球员迁移数据,进一步证实了足球运动员迁移系统的运行机制,同时揭示了英格兰作为世界顶级足球联赛赖以发展壮大的体制机制问题,以... 详细信息

对英国、南美、南欧等几个主要的足球运动员迁移系统进行分析,结合足球运动员迁移的历史数据和最新的联赛球员迁移数据,进一步证实了足球运动员迁移系统的运行机制,同时揭示了英格兰作为世界顶级足球联赛赖以发展壮大的体制机制问题,以期为中超联赛的改革发展提供参考。

关键词：足球运动员迁移系统