真正重要的工具吗?当然不是底层技术。
这是一个超现实的时刻。我坐在会议室在波特兰听一个小组会议正式的方法。主题是讨论这一事实没有足够的本科生的教育形式方法和算法验证方法。
你可以读到面板在这里。问答会,点了正式的方法停止时被称为正式的方法达到主流应用。这是我几年前当人们问为什么正式技术似乎从来没有得到任何地方。我给他们的例子,都采用了正式——等价性检查,时钟域交叉,X传播…当它解决了一个行业问题获得一个名字它解决相关问题。侧向令我印象深刻的是,当相同的人的评论表明正式的方式来解决这个明显的失败是不允许人们叫它正式的技术,但庆祝内部技术的算法,使其解决方案成为可能。
错了你能怎么解释我的原始声明和一个错误的解决问题的方法!答案应该是简单的。业内第一没人关心底层技术用于解决一个问题。他们关心存在一个解决方案,它提供了必要的ROI的工业工具价值和创造这些工具行业解决问题的一个更好的方法比过去。有人关心模拟器的工作方式吗?不,他们关心的使他们的模型运行,这样他们就可以看看它的表现。他们关心算法驱动他们正式XYZ工具?不。我从来没有听说大学应该教人们如何模拟器的工作。它是无关紧要的,除了那些可能感兴趣的实现模拟器。
利用正式的技术工具,然而,当这些工具发布造物主想宣传的最后一件事就是底层技术,驱动解决方案的一部分。这个行业不关心。他们想要的解决方案,他们想要为他们做一份工作,他们想要一个积极的ROI。其他一切都无关紧要。
所以,也许我应该更具体,当我做报表,并确保没有误解的方法。关于这个问题的正式社会应该做些什么?花更多的时间研究如何应用行业的技术来解决问题。当然,需要研究新的和改进的算法,但是直到他们用来解决行业问题…嗯…完全学术,没有人除了学术界将关心他们。
|
|
|
|
|
|
|
|
|
|
留下一个回复