| 查看: 331 | 回复: 1 | |||
[交流]
【求助】硕士：可信软件已有1人参与
|
|
各位前辈，关于可信软件我有如下问题要请教： （1）可信软件国内研究如何？ （2）可信软件研究是否只在逻辑推理、验证的理论研究； （3）对于硕士研究生研究的意义在哪里？ |
回复此楼» 猜你喜欢
Bioresource Technology期刊，第一次返修的时候被退回好几次了
已经有6人回复
-
2025冷门绝学什么时候出结果
已经有4人回复
-
真诚求助：手里的省社科项目结项要求主持人一篇中文核心，有什么渠道能发核心吗
已经有8人回复
-
寻求一种能扛住强氧化性腐蚀性的容器密封件
已经有5人回复
-
论文投稿，期刊推荐
已经有6人回复
-
请问哪里可以有青B申请的本子可以借鉴一下。
已经有4人回复
-
孩子确诊有中度注意力缺陷
已经有14人回复
-
请问下大家为什么这个铃木偶联几乎不反应呢
已经有5人回复
-
请问有评职称，把科研教学业绩算分排序的高校吗
已经有5人回复
-
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
【交流】【有奖参与】来分析版的虫友，请大家介绍一下自己的研究方向^_^
已经有61人回复
帝国学者
木虫 (著名写手)
- 应助: 0 (幼儿园)
- 金币: 2439.1
- 散金: 290
- 帖子: 1281
- 在线: 261.4小时
- 虫号: 465155
- 注册: 2007-11-22
- 性别: GG
- 专业: 计算机软件
★
小木虫(金币+0.5):给个红包，谢谢回帖交流
小木虫(金币+0.5):给个红包，谢谢回帖交流
|
（1）国家自然科学基金、863、973投入巨大，研究成果已经有不少，但依然存在许多难题未解决（具体参见可信软件基础研究重大研究计划近两年的申请指南），且成果间集成性有待验证；可信软件本身的理论发展不足，多是老酒装新瓶。 （2）可信性测试、可信性需求分析、可信性度量与评估等，可信软件基础理论与方法还有很多。逻辑推理和形式化验证成为热点，主要是因为国内掌控可信软件研究方向的几个院士，多是做此方向出身。 （3）对于硕士生，建议结合横向课题开展研究，或者结合理论研究的成果开发一些工具。如果仅仅做理论研究或一些简单的仿真验证对以后就业没太大帮助 |
2楼2010-12-22 13:41:13