国家自然科学基金(61021004)

作品数：23被引量：51H指数：4
导出分析报告
相关作者：陈良育曾振柄陈仪香周纬陈光喜更多>>
相关机构：华东师范大学桂林电子工业学院安徽工程大学更多>>
相关期刊：《Chinese Physics Letters》《Chinese Annals of Mathematics,Series B》《图学学报》《Science China(Information Sciences)》更多>>
相关主题：EXACT_SOLUTIONSBASEDEQUATIONSYMMETRY藏文字符识别更多>>
相关领域：理学自动化与计算机技术机械工程农业科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems被引量：3
《Science China(Information Sciences)》2015年第5期29-44,共16页WANG FuTian LIU Xiao YANG Yun 
supported by National Natural Science Foundation of China(Grant Nos.61300042,61021004);Australian Research Council(Grant No.LP0990393);Fundamental Research Funds for the Central Universities,Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry,and Shanghai Knowledge Service Platform Project(Grant No.ZF1213)
On-time completion is an important temporal QoS （Quality of Service） dimension and one of the fundamental requirements for high-confidence workflow systems. In recent years, a workflow temporal verifica- tion framew...
关键词：workflow system workflow temporal verification temporal checkpoint selection business workflow scientific workflow quality of service 
Exact safety verification of hybrid systems using sums-of-squares representation被引量：1
《Science China(Information Sciences)》2014年第5期16-28,共13页LIN Wang WU Min YANG ZhengFeng ZENG ZhenBing 
supported in part by National Natural Science Foundation of China(Grant Nos.61021004,91118007,10801052,10901055);Fundamental Research Funds for the Central Universities(Grant No.78210043);NKBRPC(Grant No.2011CB302802);Scientific Research Project of The Graduate School of East China Normal University(Grant No.CX2011009)
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A...
关键词：Symbolic computation semidefinite programming safety verification invariant generation 
Nonlocal symmetry, optimal systems, and explicit solutions of the mKdV equation被引量：2
《Chinese Physics B》2014年第1期49-54,共6页辛祥鹏 苗倩 陈勇 
Project supported by the National Natural Science Foundation of China(Grant Nos.11075055 and 11275072);the Innovative Research Team Program of the National Natural Science Foundation of China(Grant No.61021004);the National High Technology Research and Development Program of China(Grant No.2011AA010101);the Shanghai Knowledge Service Platform for Trustworthy Internet of Things,China(Grant No.ZF1213)
The nonlocal symmetry of the mKdV equation is obtained from the known Lax pair; it is successfully localized to Lie point symmetries in the enlarged space by introducing suitable auxiliary dependent variables. For the...
关键词：nonlocal symmetry optimal system prolonged system explicit solutions 
怎样用八段圆弧画一个与给定椭圆偏差最小的曲线?被引量：1
《数学的实践与认识》2013年第23期175-181,共7页曾振柄 陈明雁 
国家自然科学基金(61021004);上海市重点学科项目(B412)
通过分析传统的八心圆椭圆近似作图的误差,从曲线最佳逼近的角度出发,给出一种偏差接近最小、且容易用尺规作图完成的新画法.研究结果,可以应用到数控机床加工之中.
关键词：椭圆画法 圆弧 曲线逼近 八心圆画法 
Parallel computation of determinants of matrices with multivariate polynomial entries被引量：2
《Science China(Information Sciences)》2013年第11期154-169,共16页CHEN LiangYu ZENG ZhenBing 
supported by National Natural Science Foundation of China(Grant No.61021004);Specialized Research Fund for the Doctoral Program of Higher Education(Grant Nos.20110076110010,20110076120015);Shanghai Municipal Natural Science Foundation(Grant No.11ZR1411500);Innovation Program of Shanghai Municipal Education Commission(Grant No.11ZZ37);Shanghai Leading Academic Discipline Project(Grant No.B412);Fundamental Research Funds for the Central Universities(Grant No.78210152)
In this paper we present an extension to the work of Bjorck et al. for computing the determinants of matrices with univariate or bivariate polynomials as entries to multivariate case. The algorithm supports parallel c...
关键词：DETERMINANT INTERPOLATION parallel algorithm 
A Method to Construct the Nonlocal Symmetries of Nonlinear Evolution Equations被引量：1
《Chinese Physics Letters》2013年第10期5-8,共4页XIN Xiang-Peng CHEN Yong 
Supported by the National Natural Science Foundation of China under Grant Nos 11075055 and 11275072;the Innovative Research Team Program of the National Natural Science Foundation of China(No 61021004);the National High-Technology Research and Development Program of China(No 2011AA010101);Shanghai Knowledge Service Platform for Trustworthy Internet of Things(No ZF1213)。
A method is proposed to seek the nonlocal symmetries of nonlinear evolution equations.The validity and advantages of the proposed method are illustrated by the applications to the Boussinesq equation,the coupled Korte...
关键词：EQUATIONS EQUATION EQUATION 
实时系统规范语言STeC的Maude重写系统被引量：2
《计算机工程》2013年第10期57-62,67,共7页栾天骄 陈仪香 王江涛 
国家"973"计划基金资助项目(2011CB302802);国家"863"计划基金资助项目(2011AA010101);国家自然科学基金资助项目(61021004)
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将...
关键词：实时系统 实时系统的规范语言 重写逻辑 形式化分析 时空一致性 操作语义 
Requirements monitoring for Internetware:an interaction based approach被引量：3
《Science China(Information Sciences)》2013年第8期85-99,共15页CHEN XiaoHong LIU Jing LIU Zhiming 
supported by National Natural Science Foundation of China for Young Scholars (Grant No.61202104);Doctoral Fund of Ministry of Education of China (Grant No.20120076120016);National Basic Research Program of China (973 Program) (Grant No. 2009CB320702);National Natural Science Foundation of China(Grant Nos. 61170084,91118008);Creative Team of National Natural Science Foundation (Grant No. 61021004);Shanghai Knowledge Service Platform (Grant No. ZF1213);Opening Fund of Top Key Discipline of Computer Software and Theory in Zhejiang Provincial Colleges at Zhejiang Normal University;National High-tech R&D Program of China (863 Program) (Grant No. 2011AA010101)
The behavior of an Internetware system, which is running in a dymamic and open environment,is likely to deviate from its original requirements specification. In this paper, we propose an interaction based requirements...
关键词：INTERNETWARE environment entity requirements monitoring environment based requirements de-scription INTERACTION 
A symmetry-preserving difference scheme for high dimensional nonlinear evolution equations
《Chinese Physics B》2013年第6期99-104,共6页辛祥鹏 陈勇 王云虎 
supported by the National Natural Science Foundation of China (Grant Nos. 11075055 and 11275072);the Innovative Research Team Program of the National Natural Science Foundation of China (Grant No. 61021004);National High Technology Research and Development Program of China (Grant No. 2011AA010101);the Leading Academic Discipline Project of Shanghai (Grant No. B412);the Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20120076110024);the Shanghai Knowledge Service Platform Project (Grant No. ZF1213)
In this paper, a procedure for constructing discrete models of the high dimensional nonlinear evolution equanons is presented. In order to construct the difference model, with the aid of the potential system of the or...
关键词：symmetry-preserving potential systems difference equation Lie point symmetry 
Can the Polynomial Based Key Predistribution Scheme Be Used Many Times in One Wireless Sensor Network Key Establishment Protocol?
《Journal of Shanghai Jiaotong university(Science)》2013年第3期376-384,共9页许丽卿 陈豪 
the NSFC Danish National Research Foundation and National Science Foundation of China Joint Grant (No. 11061130539);the National Natural Science Foundation of China (No. 61021004)
Key establishment is the basic step for the wireless sensor network （WSN） security. The polynomial based key predistribution scheme of Blom and Blundo et al. has been the basic ingredient for the key establishment f...
关键词：polynomial based key predistribution scheme generalized Blom-Blundo et al. key predistribution scheme clustered wireless sensor network （WSN） 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部