Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范可实现性决策的证明系统
基本信息
- 批准号:16K00010
- 负责人:
- 金额:$ 2.91万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2016
- 资助国家:日本
- 起止时间:2016-04-01 至 2020-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Packet Reachability Verification in OpenFlow Networks
OpenFlow 网络中的数据包可达性验证
- DOI:10.1145/3384544.3384573
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Yoshiura Noriaki;Sugiyama Keigo
- 通讯作者:Sugiyama Keigo
A Method of Collecting the IP Addresses of Hidden Server in Tor Networks
一种收集Tor网络中隐藏服务器IP地址的方法
- DOI:10.1145/3384544.3384589
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Yoshiura Noriaki;Koizumi Kento
- 通讯作者:Koizumi Kento
利用者のネットワーク機器を監視する監視装置との通信品質を改善する移動ロボット制御手法
提高与监控用户网络设备的监控设备的通信质量的移动机器人控制方法
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:小川康一;吉浦紀晃
- 通讯作者:吉浦紀晃
Development of a Support System to Resolve Network Troubles by Mobile Robots
开发移动机器人解决网络问题的支持系统
- DOI:
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:Kohichi Ogawa;Noriaki Yoshiura
- 通讯作者:Noriaki Yoshiura
The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.
时态逻辑的语法限制与反应式系统规范的属性之间的关系。
- DOI:
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Liu Shuxin;Noriaki Yoshiura;Hiroshi Umeo;Noriaki Yoshiura
- 通讯作者:Noriaki Yoshiura
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Yoshiura Noriaki其他文献
A Class of Four-state FSSP Solutions - Recent Developments -
一类四态 FSSP 解决方案 - 最新进展 -
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Yoshiura Noriaki;Iida Kaichiro;H. Umeo;H. umeo - 通讯作者:
H. umeo
A new class of the smallest four-state partial FSSP solutions for one-dimensional ring cellular automata
一维环形元胞自动机的一类新型最小四态部分 FSSP 解
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Yoshiura Noriaki;Sugiyama Keigo;H. Umeo and N. Kamikawa - 通讯作者:
H. Umeo and N. Kamikawa
Synchronization Problem in Cellular Automata
元胞自动机中的同步问题
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Yoshiura Noriaki;Iida Kaichiro;H. Umeo - 通讯作者:
H. Umeo
Yoshiura Noriaki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
DNA-タンパク質間相互作用を介したタンパク質ポリマーのプログラム合成
通过 DNA-蛋白质相互作用编程合成蛋白质聚合物
- 批准号:
22K19110 - 财政年份:2022
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
高度にアリール化された芳香族化合物群のプログラム合成
高度芳基化芳香族化合物的程序合成
- 批准号:
16J05036 - 财政年份:2016
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for JSPS Fellows
擬天然物の翻訳プログラム合成と薬剤探索
伪天然产物翻译程序合成与药物发现
- 批准号:
21241051 - 财政年份:2009
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
コントロール・オペレータの計算系とプログラム合成
控制算子计算系统及程序综合
- 批准号:
11780213 - 财政年份:1999
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
- 批准号:
09780264 - 财政年份:1997
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
- 批准号:
08780236 - 财政年份:1996
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
- 批准号:
07780217 - 财政年份:1995
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
- 批准号:
06780224 - 财政年份:1994
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
- 批准号:
05780220 - 财政年份:1993
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
属性文法におけるプログラム合成/変換技法の研究
属性语法中的程序合成/转换技术研究
- 批准号:
04750307 - 财政年份:1992
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)