搜索结果: 1-9 共查到“知识工程 t-模”相关记录9条 . 查询时间(0.228 秒)
网络安全建模辅助工具试运行絮语（图）
网络安全 建模工具 试运行 知识工程
2023/11/18
网络安全建模辅助工具运行概念试验版今天上线和朋友们见面了，这是由安天技术委员会威胁建模兴趣小组开发的在线服务的WEB工具，通过PC浏览器访问mbsse.antiy.cn，可以使用修订已经发布的网络安全模型，也可以建立自己的模型，可以支持工作组间的共享，由于人力所限，目前我们仅完善了对Chrome内核浏览器系统的支持。我们希望在可以期许的未来，给网安建模工作提供一个可用便利的软件支撑环境。但之所以称...
基于三角模的直觉模糊综合评判模型
三角模 直觉模糊综合评判 直觉模糊评判矩阵
2009/7/16
针对建立在∨（取大）－∧（取小）复合运算基础上的模糊综合评判模型只考虑突出因素而导致一些信息丢失的问题，构建了基于三角模算子的直觉模糊综合评判模型。三角模算子组兼顾了权重分配和单因素评价的隶属度，把各因素的作用均衡平均，并充分考虑其次要因素的作用，因此该模型可以使评判结果更具客观性和可信度。通过实例结果分析，验证了模型的正确性和有效性。
基于Petri网的知识空间建模方法与学习路径控制
知识空间 学习状态 学习路径
2009/6/24
对学生学习路径的控制和学习状态的了解在自主学习系统中是一个重要的问题，本文以知识空间理论为基础建立了学习状态空间，并通过Petri网对该学习状态空间进行了建模，利用Petri网实现了学习状态空间中所有可能的学习路径控制和学生学习状态的了解，在此模型中学生可以利用Petri网的变迁实现自由的学习控制，并通过Petri网库所标识来了解学生的学习状态，达到个性化学习路径的目的。
一种新的模态归结
2007/12/28
本文首先给出了一种标准子句的定义, 在其基础上定义了命题模态逻辑系统S5的子句集的可归结形式.证明了任意模态S5子句集不可满足的充要条件为在其可归结形式上可归结出空子句.
面向服务的本体元建模理论与方法研究
本体与元建模 有序性 互操作性 本体元建模体系结构 服务应用模式SCDI
2007/12/27
为实现互联网上异种异构的复杂信息资源有序化组织和互操作性服务与共享的目标，文章研究了语义服务的元计算问题，提出了本体元建模理论和方法.首先定义了本体UML承诺、提倡本体UML表达，给出了本体的元机制；论述了元建模中的“元”概念，给出了元层次停止准则、模型转换机制；然后提出了本体建模和MOF元模型设施相融合的体系结构，给出了以用户为中心的复杂信息资源服务应用模式SCDI，为本体元建模方法的体系化提供...
本文将作者提出的高效的命题模态D逻辑的标记模态归结方法推广到了命题模态逻辑K,K4,D4,T,S4系统,建立了上述命题模态逻辑的标记归结形式系统MRK,MRK4,MRD4,MRT,MRS4.并用转换子句模式的方法,借助于标记模态归结对命题模态D逻辑的可靠性结果,证明了标记模态归结系统MRK,MRK4, MRD4,MRT,MRS4分别关于命题模态逻辑K,K4,D4,T,S4的可靠性.进而得到了它们的...
常微分方程组的演化建模
演化建模 常微分方程组 遗传算法 遗传程序设计
2007/12/26
利用演化算法的自适应、自组织、自学习的特性,设计了遗传程序设计与遗传算法相嵌套的常微分方程组混合演化建模算法,以遗传程序设计优化模型结构,以遗传算法优化模型参数,首次实现了常微分方程组建模过程自动化并可进行有效的预测.数值实验表明:采用这种算法能在较短的运行时间和较小的演化代数内搜索到多个较优的常微分方程组模型,而且应用所建模型得到的预测结果与已知的常微分方程组的精确解能很好地吻合.