张晋津

作品数：10被引量：2H指数：1
导出分析报告
供职机构：南京审计大学更多>>
发文主题：互模拟进程代数精化模态逻辑反馈控制更多>>
发文领域：自动化与计算机技术理学文化科学更多>>
发文期刊：《计算机技术与发展》《控制理论与应用》《电子世界》《计算机科学与探索》更多>>
所获基金：国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于机器学习的股票价格预测
《中文科技期刊数据库（全文版）经济管理》2023年第3期184-188,共5页杨智慧 张晋津 
股市的波动会影响到社会经济生活的方方面面。因此,有效地预测股票价格的变化趋势,不仅影响投资者的收益,而且具有巨大的经济和社会价值。但是,股市的变化受多种因素的影响,很难准确预测。早期的股票研究理论认为,交易数据对未来的预测...
关键词：随机森林 决策树 ADABOOST 股票价格预测 
并发加权μ-演算的一致性内插被引量：1
《计算机技术与发展》2018年第11期22-25,29,共5页余寒 张晋津 
国家自然科学基金(61602249)
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim. G. Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效建模。对CWC进行了研究,给出了CWC的语法并阐述了CWC的标记...
关键词：μ-演算 互模拟量词 并发 加权 轮替树自动机 ω展开 一致性内插 
n-精化与n-互模拟之间相关问题的研究
《计算机技术与发展》2018年第4期46-49,共4页施晓静 张晋津 
国家自然科学基金(11426136;60973045);江苏省高校自然科学基金(61602249)
n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,...
关键词：n-精化 n-互模拟 翻译函数 相对化 
n-精化关系及其相关研究
《电子世界》2017年第2期193-194,共2页施晓静 邢惠丽 张晋津 
国家自然科学基金Nos.11426136;60973045;江苏省高校自然科学基金No.61602249~~
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。
关键词：n-精化 n-互模拟 n-精化模态逻辑 
CLT含递归算子的最大前同余性
《计算机技术与发展》2016年第9期143-148,共6页邓鹏辉 张晋津 
国家自然科学基金资助项目(11426136;60973045);江苏省高校自然科学基金(13KJB520012)
进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing(CLT)语义及相关的测试前序ㄈ用于...
关键词：进程代数 must-testing语义 精化关系 递归算子 最大前同余 
May测试语义前同余性的研究
《电子世界》2016年第7期101-102,共2页邓鹏辉 张晋津 
国家自然科学基金(编号:11426136;60973045);江苏省高校自然科学基金(编号:13KJB520012)
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余...
关键词：进程代数 并发行为 may-testing语义 前同余性 
CLT树型指称语义的研究
《电子世界》2016年第6期137-139,共3页邓鹏辉 张晋津 
国家自然科学基金11426136;60973045;江苏省高校自然科学基金13KJB520012
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的...
关键词：进程代数 并发行为 must-testing语义 指称语义 标准型 
直觉主义计算树逻辑中的安全性和活性被引量：1
《计算机科学与探索》2016年第2期163-172,共10页鲍秋霜 张晋津 
国家自然科学基金Nos.11426136;60973045;江苏省高校自然科学基金No.13KJB520012~~
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻...
关键词：直觉主义 计算树逻辑 安全性 活性 分解定理 
带扰动控制系统的形式化设计
《控制理论与应用》2015年第2期178-186,共9页张晋津 张严 朱朝晖 
国家自然科学基金项目(11426136;60973045);江苏省自然科学基金项目(BK20130735);江苏省高校自然科学基金项目(13KJB520012;13KJB520011)资助~~
利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化...
关键词：反馈控制 控制系统设计 带扰动控制系统 时序逻辑 有限抽象 
浅谈在编译原理教学中知识意义的建构
《教育教学论坛》2014年第50期208-209,共2页张晋津 
在编译原理的教学中,不仅仅应当注重正规式、上下文无关文法等描述文法规则的概念及相关判定算法,更重要的是培养学生根据规则给出判定算法的能力。后者在传统教学中主要通过知识传授灌输的方法实现,但效果欠佳。这种能力的培养需要在...
关键词：编译原理 知识意义 建构主义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部