【61170304】希尔伯特空间以及矩阵理论在HOL4中的形式化国家自然基金项目

希尔伯特空间以及矩阵理论在HOL4中的形式化

项目批准号： 61170304

批准年份： 2011

学科分类： F0201.计算机科学的基础理论

项目负责人：施智平

资助类别：面上项目

负责人职称：教授

依托单位：首都师范大学

资助金额： 52万元

关键词： HOL4;线性变换;形式化验证;矩阵理论;高阶逻辑证明器

起止时间： 2012-01-01到2015-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	ROS中XML-RPC协议实现的形式化验证	期刊论文	施智平*\|关永\|李勇坚\|魏洪兴.\|
2	Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4	会议论文
3	Formalization of Matrix Theory in HOL4	期刊论文	Kang Xinan\|Guan Yong\|Zhang Jie\|Song Xiaoyu\|
4	矩阵变换理论在HOL4中的形式化	期刊论文	康西楠\|施智平\|叶世伟\|关永\|
5	Formalization of the Complex Number Theory in HOL4	期刊论文	YONG GUAN\|XIAOYU SONG\|MINHUA WU\|JIE ZHANG\|
6	用LTL模型检验的方法验证SpaceWire检错机制	期刊论文	李晓娟\|施智平\|张杰\|华伟\|
7	Model checking for spacewire error detection module	会议论文	Li Xiaojuan\|Shi Zhiping\|Zhang Jie\|Hua Wei\|
8	Gauge积分在HOL4中的形式化	期刊论文	关永\|张杰\|赵春娜\|叶世伟\|
9	运用定理证明的形式化方法验证SpaceWire编码电路	期刊论文	关永\|吴敏华\|张杰\|施智平\|
10	The Gauge Integral Theory in HOL4	期刊论文	Guan Yong\|Ye Shiwei\|Zhang Jie\|Wei Hongxing\|
11	The Formalization of Discrete Fourier Transform in HOL	期刊论文	Yupeng Zhang\|Yong Guan\|Liming Li\|Jie Zhang\|
12	Formal verification for spacewire communication protocol based on environment state machine	会议论文
13	GJK算法的一种特殊情形的形式化验证和应用	期刊论文	叶世伟\|李晓娟\|张杰\|魏洪兴\|
14	On the model checking of the spacewire link interface	期刊论文	Guan Yong\|Shi Zhiping\|Zhang Jie\|Dong Lingling\|
15	SpaceWire形式化验证和SpaceFibre 的样机研制	奖励
16	Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory	期刊论文	Minhua Wu\|Yong Guan\|Jie Zhang\|Hongxing Wei\|
17	Formal verification for spacewire data flow control using model checking	会议论文	Guan Yong\|Shi Zhiping\|Zhang Jie\|Dong Lingling\|
18	Formal verification of a collision-free algorithm of dual-arm robot in HOL4	会议论文
19	函数矩阵理论在HOL4中的形式化	期刊论文	金声震\|张杰\|叶世伟\|李晓娟\|
20	Formal Verification for SpaceWire Decoding by Appling Theorem Proving	会议论文
21	SpaceWire译码电路在HOL4中的形式化验证	期刊论文	关永\|李黎明\|赵春娜\|张杰\|
22	拉普拉斯变换微积分性质在HOL4中的形式化	期刊论文	李晓娟\|施智平\|王瑞\|叶世伟\|
23	Formalization of Function Matrix Theory in HOL	期刊论文	Guan Yong\|Ye Shiwei\|Zhang Jie\|Wei Hongxing\|
24	基于假设保证的SpaceWire总线链路接口的组合验证	期刊论文	关永\|施智平\|张杰\|董玲玲\|
25	Gauge积分在HOL4中的形式化	期刊论文	关永\|张杰\|赵春娜\|叶世伟\|
26	实数二项式系数在HOL4中的形式化	期刊论文	关永\|施智平\|李晓娟\|叶世伟\|
27	函数矩阵理论在HOL4中的形式化	期刊论文	金声震\|张杰\|叶世伟\|李晓娟\|
28	连续傅里叶变换基础理论的高阶逻辑形式化	期刊论文	李晓娟\|关永\|叶世伟\|张杰\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享