- 年份
- 2017（1）
- 2014（1）
- 2011（1）
- 2009（2）
- 2008（2）
- 2007（2）
- 2006（1）
- 2005（1）
- 2004（1）
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)（10）
- 中国科学引文数据库(CSCD)（9）
- 北京大学中文核心期刊目录(北大核心)（7）
- 刊名
- 华东师范大学学报（自然科学版）（2）
- 计算机工程（2）
- 计算机工程与应用（2）
- 计算机应用与软件（2）
- 微型电脑应用（1）
- 计算机应用研究（1）
- 计算机技术与发展（1）
- 通信学报（1）
- 更多...
- 作者单位
- 华东师范大学（12）
- 上海大学（2）
- 上海交通大学（1）
- 杭州电子科技大学（1）
- 更多...
- 语种
- 汉语（12）
- 关键词
- 可生存性（2）
- 基于规则（2）
- 形式化方法（2）
- B语言（1）
- Lua（1）
- Pan-Sharpening（1）
- Petri-B网（1）
- Petri网（1）
- UML（1）
- 主动秘密共享（1）
- 更多...
- 作者
- 张桂戌（12）
- 张稳（2）
- 沈超敏（2）
- 刘磊（1）
- 周俊杰（1）
- 唐晓娜（1）
- 姜梦稚（1）
- 张善卿（1）
- 曹淼科（1）
- 李海刚（1）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 12 条结果
- 一种基于入侵容忍的可生存系统设计方案CSTPCD
- 普适计算中网络可生存性及系统设计北大核心CSCDCSTPCD
- 一种改进的基于规则的带权模糊推理算法北大核心CSCDCSTPCD摘要：给出了一种基于带权模糊Petri网的模糊推理算法,这种算法可以适用于一类基于规则的系统,即可以对该类系统的带权模糊Petri网模型进行相应的处理.对系统建立了知识表示的带权模糊Petri网模型,使用该算法可以确定用户给定的库所之间是否存在联系,即相应的命题之间是否存在因果关系,可以计算出命题的模糊真值.对具体的算例进行了分析并与已有的算法进行了比较,得出该算法的优点.
- 基于对象着色Petri网的UML模型研究摘要：UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量.对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法.通过引入事件托肯,改进了将UML模型转换为对象着包Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型.并用着色Petri网的方法和工具对模…查看全部>>
- 一种改进的三维网格凸度衡量方法北大核心CSCDCSTPCD
- 改进的基于规则的逆向模糊推理算法北大核心CSCDCSTPCD
- 基于Petri网和B语言集成的形式化方法
- 在动态语言Lua中支持契约式开发北大核心CSCDCSTPCD
- 一种新的基于压缩传感理论解决Pan-Sharpening问题的算法CSCDCSTPCD摘要：Pan-Sharpening问题是将高分辨率全色图像和低分辨率多光谱图像融合，重构出高分辨率多光谱图像的过程。压缩传感理论解决了相应目标函数的稀疏解问题（求解含有l0范数的极小化问题）。利用压缩传感理论，提出一种新的解决Pan-Sharpening问题的算法：以离散余弦变换矩阵作为字典进行重构。然后针对重构过程中产生的块效应、色彩偏差和洗涤效应等问题进行相应的处理。QuickBird卫星图像的实验结果表明…查看全部>>
- 局部熵驱动区域主动轮廓的局部化框架CSCDCSTPCD