中村正木 0001
人员信息
附属： 日本富山县立大学 隶属关系（前）： 日本金泽大学 隶属关系（前）： 日本高级科学技术研究所
其他同名人员
优化列表
2020年–今天
2024 
[公元14年] 金松崎 , 坂原一郎（Kazutoshi Sakakibara） , 中村正木 , 渡边真也 :
基于MIP技术的大邻域局部搜索方法用于多约束的大规模加工调度。 J.超级计算机。 80 ( 9 ) : 12297-12312 ( 2024 ) 2023 【c21】 王一凡 , 中村正木 , 坂原一郎（Kazutoshi Sakakibara） , 小仓由纪 :
通过OTS/CafeOBJ方法（S）对自动车辆控制系统进行形式化规范和验证。 塞克 2023 : 363-366 2022 [j13] 中村正木 , Shuki Higashi公司 , 坂原一郎（Kazutoshi Sakakibara） , 绪方和弘 :
使用OTS/CafeOBJ方法规范和验证多任务实时系统。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 105安 ( 5 ) : 823-832 ( 2022 ) [公元20年] 北原由纪夫 , 中村正木 , 坂原一郎（Kazutoshi Sakakibara） :
利用统计模型检验对多车电梯系统控制策略进行形式化验证的研究。 ICMLC公司 2022 : 118-193 [第19条] 小谷修吾 , 中村正木 , 坂原一郎（Kazutoshi Sakakibara） , 达佐·莫托约希（Tatsuo Motoyoshi） , 细川庆介 :
使用实际事故和相关数据的形式化概念分析预测交通事故。 ICMLC公司 2022 : 209-214 [第18条] Kodai铃木 , 坂原一郎（Kazutoshi Sakakibara） , 中村正木 , 素古鲁·西诺达（Suguru Shinoda） , 浅野雅久 :
蛋白质溶解度预测的机器学习。 ICMLC公司 2022 : 237-241 [第17条] 金松崎 , 坂原一郎（Kazutoshi Sakakibara） , 中村正木 :
基于MIP的多约束大规模优化问题的大邻域局部搜索方法：在加工调度中的应用。 ICMLC公司 2022 : 242-247 [c16] 井原达也 , 中村正木 , 坂原一郎（Kazutoshi Sakakibara） :
使用OTS/CafeOBJ方法对Lim-Jeong-Park-Lee自动车辆控制协议进行形式验证。 塞克 2022 : 574-579 2021 [公元12年] 中村正木 , 坂原一郎（Kazutoshi Sakakibara） , 大村由纪（Yuki Okura） , 绪方和弘 :
OTS/CafeOBJ方法对多任务混合系统的形式化验证。 国际期刊软件。 工程知识。 工程师。 31 ( 11&12 ) : 1541-1559 ( 2021 ) [第15条] 中村正木 , 坂原一郎（Kazutoshi Sakakibara） , 大村由纪（Yuki Okura） , 绪方和弘 :
通过OTS/CafeOBJ方法对多任务混合系统进行形式化验证。 塞克 2021 : 114-119 2020 [公元11年] 丹尼尔·盖纳 
, 中村正木 , 绪方和弘 , Kokichi Futatsugi公司 :
通过合并推出的终止稳定性和充分完整性。 西奥。 计算。 科学。 848 : 82-105 ( 2020 ) [第14条] 中村正木 , Shuki Higashi公司 , 坂原一郎（Kazutoshi Sakakibara） , 绪方和弘 :
使用OTS/CafeOBJ方法对Fischer实时互斥协议进行形式化验证。 SICE公司 2020 : 1210-1215 [i2] 中村正木 , 坂原一郎（Kazutoshi Sakakibara） , 绪方和弘 :
OTS/CafeOBJ方法中多任务混合系统的规范描述和验证。 CoRR公司 abs/2010.15280 ( 2020 )
2010 – 2019
2019 [第13条] 中村正木 , 坂原一郎（Kazutoshi Sakakibara） :
自主车辆组控制器的形式化验证和数学优化。 MoDELS（伴侣） 2019 : 732-733 2017 [公元10年] 中村正木 :
前言。 IEICE传输。 信息系统。 100-D型 ( 6 ) : 1157 ( 2017 ) [第12条] 森良美（Ryusei Mori） , 中村正木 :
通过规范翻译从OTS/CafeOBJ规范自动生成测试用例。 ICST研讨会 2017 : 403-404 2016 [第11条] 中村正木 :
CafeOBJ重写规范生成测试用例的初步研究。 GCCE公司 2016 : 1-2 2015 [公元9年] 中村正木 :
前言。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 98-A型 ( 2 ) : 611 ( 2015 ) [第10条] 中村正木 , 丹尼尔·盖因 , 绪方和弘 , Kokichi Futatsugi公司 :
证明基于构造函数的代数规格说明的充分完备性。 CSA/切割 2015 : 15-21 【c9】 中村正木 , 熊岛明 , Tomoji Toriyama公司 , Ninomiya先生 , 福本正彦（Noriyuki Fukumoto） , Yuuki Aiboshi公司 :
坐立运动中压力中心和支撑座的可视化系统。 GCCE公司 2015 : 502-503 2014 【c8】 中村正木 , 绪方和弘 , Kokichi Futatsugi公司 :
OBJ规范的终止、合流和充分完整性的增量证明。 规范、代数和软件 2014 : 92-109 2013 【c7】 熊岛明 , 中村正木 , Tomoji Toriyama公司 , 大岛纯一 , 中川光子 , 野村忠道 :
护士指点呼叫检测系统的初步结果。 APCHI公司 2013 : 192-194 [i1] 阿拉·I·埃尔·纳沙尔 , 中村正木 :
要并行化或不并行化，会出现错误问题。 CoRR公司 abs/1311.0728 ( 2013 ) 2011 [j8] 张敏（音） , 绪方和弘 , 中村正木 :
利用工具支持将状态机从等式理论转换为重写理论。 IEICE传输。 信息系统。 94天 ( 5 ) : 976-988 ( 2011 ) 2010 [j7] 中村正木 , 绪方和弘 , Kokichi Futatsugi公司 :
术语重写系统中操作符号的可简化性及其在行为规范中的应用。 J.塞姆。 计算。 45 ( 5 ) : 551-573 ( 2010 ) 【c6】 张敏（音） , 绪方和弘 , 中村正木 :
状态机从等式理论到重写理论的规范化翻译。 ICFEM公司 2010 : 678-693
2000 – 2009
2009 [j6] 中村正木 , 高弘正野 :
根据OTS/CafeOBJ方法中的证明分数生成不变量属性的测试用例。 IEICE传输。 信息系统。 92天 ( 5 ) : 1012-1021 ( 2009 ) [j5] 中村正木 , 绪方和弘 , Kokichi Futatsugi公司 :
用户定义的按需匹配。 IEICE传输。 信息系统。 92天 ( 7 ) : 1401-1411 ( 2009 ) 2008 【j4】 中村正木 , 孔伟强 , 绪方和弘 , 二谷浩一 :
从行为规范到重写规范的规范翻译。 IEICE传输。 信息系统。 91天 ( 5 ) : 1492-1503 ( 2008 ) 2007 [j3] 中野正弘 , 绪方和弘 , 中村正木 , Kokichi Futatsugi公司 :
CrÈme：行为规范的自动不变量验证程序。 国际期刊软件。 工程知识。 工程师。 17 ( 6 ) : 783-804 ( 2007 ) 【c5】 中村正木 , Kokichi Futatsugi公司 :
代数规范语言中的等式谓词。 ICTAC公司 2007 : 381-395 2006 [注2] 中村正木 , 渡边雅弘 , Kokichi Futatsugi公司 :
强制性编程语言的行为规范。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 89安 ( 6 ) : 1558-1565 ( 2006 ) [j1] 库萨卡里（Keiichirou Kusakari） , 中村正木 , 富山义彦 :
关联交换重写系统的消元变换。 J.汽车。 原因。 37 ( 三 ) : 205-229 ( 2006 ) 【c4】 中野正弘 , 绪方和弘 , 中村正木 , Kokichi Futatsugi公司 :
自动化行为规范的不变量验证。 QSIC公司 2006 : 49-56 2005 【c3】 绪方和弘 , 中野正弘 , 中村正木 , Kokichi Futatsugi公司 :
巧克力/SMV：从CafeOBJ到SMV的翻译。 PDCAT公司 2005 : 416-420 2000 【c2】 中村正木 , 绪方和弘 :
具有和不具有按需标志的头部范式的评估策略。 WRLA公司 2000 : 212-228
1990 – 1999
1999 [c1] Kusakari先生 , 中村正木 , 富山义彦 :
参数筛选转换。 PPDP（PPDP） 1999 : 47-61
合著者索引
