nebel 最近的时间轴更新 nebel 最近的时间轴更新 |
nebelV2EX 第 18205 号会员，加入于 2012-03-16 11:07:12 +08:00 |
nebel 最近回复了
69 天前 回复了 Fnll 创建的主题 › 求职 › = =、有需要天赋树点歪的前端开发吗 (Rust+Flutter+React) |
目前主要基于 C++以及 electron 做软件
69 天前 回复了 Fnll 创建的主题 › 求职 › = =、有需要天赋树点歪的前端开发吗 (Rust+Flutter+React) |
上海的岗位考虑么，可以看下这个 https://v2ex.com/t/877139 ，有兴趣加微信
69 天前 回复了 snowdenwang 创建的主题 › 求职 › 六年老前端有公司要吗 |
已加 V
113 天前 回复了 bzlksxs 创建的主题 › 程序员 › lvgljs，用 JS 来写 lvgl UI |
请问，可以加下微信么 tenero
谢谢~~
谢谢~~
117 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] [实习生] 基于模型的系统工程的产品开发 |
118 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] [实习生] 基于模型的系统工程的产品开发 |
158 天前 回复了 nebel 创建的主题 › 酷工作 › [上海-招聘] C++工程师、前端全栈开发 |
158 天前 回复了 nebel 创建的主题 › 酷工作 › [上海-招聘] C++工程师、前端全栈开发 |
@cwaken
不同于常规的互联网领域，在工业领域，系统研发工程有套理论体系，MBSE （ Model Base Systems Engineering ）基于模型的系统工程。
简要的解释：
(A)- MBSE 工业领域，强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真，以及最终基于工具生成可信的代码。
(B)- 这里的每个环节包括：需求、系统架构设计、详细设计等，每个环节目前在领域里都已有相关的工具去做(A)所述的功能。
(C)这些过程都是通过基于理论实现工具化的方式去实现的。
目前我们是针对其中环节做相关的工具，C++目前主要用来实现相关的理论模型的实现的落地，比如，静态变量的分析、形式化验证等等。
C++实现的东西，以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具，最终的模型是调用 dll/Wasm 做静态变量分析，形式化验证的执行。
不同于常规的互联网领域，在工业领域，系统研发工程有套理论体系，MBSE （ Model Base Systems Engineering ）基于模型的系统工程。
简要的解释：
(A)- MBSE 工业领域，强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真，以及最终基于工具生成可信的代码。
(B)- 这里的每个环节包括：需求、系统架构设计、详细设计等，每个环节目前在领域里都已有相关的工具去做(A)所述的功能。
(C)这些过程都是通过基于理论实现工具化的方式去实现的。
目前我们是针对其中环节做相关的工具，C++目前主要用来实现相关的理论模型的实现的落地，比如，静态变量的分析、形式化验证等等。
C++实现的东西，以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具，最终的模型是调用 dll/Wasm 做静态变量分析，形式化验证的执行。
189 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] C++工程师、前端全栈开发 |
欢迎投递 ~~~
Select Language