软件定义汽车，那谁来定义软件？

Ooops, Data read error for 3721197, Try new one ( 读取异常, 请尝试搜索关键词 ) ....

-loading-

听音频 🔊 . 看视频 🎦

... 2024-04-17 10:50 .. 因为当时我们的开发似乎没有什么明确的需求，只是想到哪做到哪。
    其实在此之前看到过一篇mathwork高级应用工程师董淑成的文章，是关于MBD（基于模型的开发）开发的，里面讲到汽车的“V”流程开发，讲到了系统需求、软件需求，如何进行单元测试、集成测试以及如何形成开发工作的闭环反馈。
    展开来说，如果你的团队完全是严格按照“V”进行正向开发的话，当系统需求分析没有完成或没有通过集体评审的话，是无法进行系统架构设计的。
    但是，实际中真的是这样吗？当然不是，这种完全一步一个脚印，按部就班的开发过程在实际中几乎是不存在的，受到项目周期的约束和版本快速迭代的压力，很多工作往往都是同步进行，交叉开展的。
    举个例子：当系统工程师把系统需求分析搞完并编写出初版“***系统需求文档”时，即便这个时候文档并未完成评审和释放，架构师也可以开始进行架构设计了，在后面需求评审中如有某些变化架构设 .. UfqiNews ↓ 0

... 07-01 14:05 , 865 , 178 ..
哥德尔定理1924年，18岁的哥德尔入读维也纳大学，修读理论物理与基础数学.
    1926年在汉斯·哈恩的引荐下参加维也纳学派的讨论会，研讨会的主题是罗素的《数理哲学导论》，把哥德尔的兴趣从数论拉向了数理逻辑.
    罗素在《数学原理》阐述的全部数学都可以用一个形式逻辑系统表示，以及罗素的学生维特根斯坦在《逻辑哲学论》中强调的在语言内言说语言的问题，影响了年轻的哥德尔.
     1928年，希尔伯特和阿克曼的《数理逻辑原理》出版，明确提出一阶逻辑的完备性问题，此时哥德尔正处于博士阶段，就选择这个题目作为其博士论文.
    1929年哥德尔证明了一阶逻辑的完备性[9]，1930年就此获得博士学位.
     一阶逻辑（哥德尔论文当时称受限函数演算）的完备性是指该逻辑系统能够表示的任何一个有效的公式，都可以从公理出发通过有限步骤推导出来.
    一致性则是指所导出的有效公式不相互矛盾.
    & ... 电脑前传(3)：逻辑-3 ⟶

... 08-09 01:57 , 3051 , 173 ..
（接续）（6）人的一生，漫长且匆忙，一个人从出生到少年初长成，差不多有20年左右时间是被动接受父母和社会的安排的，无论是价值观还是生活轨迹.
    而一旦踏入社会，无论经济上和思想上就必须切断与父母的维系纽带了，不管你准备好与否，你都必须接受，无非是主动还是被动接受.


　　1991年，距离国家领导人南巡还有一年的时间，国家经济还处于三年整顿时期，政治经济气氛都处于一种沉闷状态.
    由于两年前的风波，那几届大学毕业生都被强制分配到基层工作，接受社会教育.
    那年的八月，22岁的我独自来到本省的一家汽车制造厂报到，在跟厂长简单交谈了十多分钟后，厂长按照政府的要求把我分配到了车间先锻炼半年.
    车间的工作跟我在大学实习期间并没有太大的差异，因为是临时锻炼，厂里也没要求非要完成多少任务指标，我跟着一位师傅，做他的下手，配合他做一些力所能及的事情.
    下班后，我经常跟厂里的一些年轻人混在一起，嘻哈玩乐，这样不觉地一个月就过去了，我记得第一个月发下来的工资不到100元，大概是80几元，还不到我在大学一 ... 知天命48岁人生成败-4 ⟶