一种形式化的学习过程建模_钟伟平
2017-03-19 11:45
对系统进行建模是一个采用表格化、图形化、公式化的方式，将系统的构成及其构成间的关系呈现给人们的
2022-10-21 13:48
针对现有三维（3D）场景建模方法普遍存在着业务耦合度高，复杂场景对象属性和特征描述能力不强、不丰富，不能很好地解决3D虚拟祭祀场景建模的问题，提出了基于一种形式化方法的
2019-01-02 14:13
一种服务网络拓扑结构的形式化描述方法_陈鹏
2017-03-14 17:10
计算和建模分析的传统方法，如数值计算方法和符号方法等，都存在计算不精确或者不完备等问题，高阶逻辑定理证明是验证系统正确的一种严密的形式化方法．在高阶逻辑证明工具HOL-Light中建立了几何代数系统的
2018-01-16 18:09
验证工作作为典型的形式化方法的工程化案例，应用了形式化方法的需求分析、建模与验证，由此验证了形式化方法的可行性与有效性。
2023-03-24 11:01
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算．因此，提出了一种名为S
2018-02-06 16:25
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL
2022-12-30 13:23
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化
2022-06-10 10:49
