人工智能 软件形式化 模型检测
smallgyy
这个作者很懒,什么都没留下…
展开
-
Artificial Intelligence: Foundations of Computational Agents--英文原版
本书网站http://www.artint.info/index.htmlArtificial Intelligence: Foundations of Computational Agents, Cambridge University Press, 2010, is a book about the science of artificial intelligence (AI)原创 2013-05-26 16:00:48 · 2073 阅读 · 0 评论 -
UML 的形式化描述语义【转】
UML 的形式化描述语义【转】1 引言动软件开发方法的发展, 建模语言如UML 的语义问题引起关注。人们广泛认为具有清晰严格的语义的建模语言才能用来进行严格的建模。因此,虽然在UML 的形式化语义方面已经开展了很多研究工作,但依然存在许多尚未解决的问题。本文提出一种新的方法来定义建模语言的形式化语义。我们将此方法应用于定义UML 的类图、交互图和状态图的语义,并以此为理转载 2014-01-08 19:58:22 · 2855 阅读 · 0 评论 -
让时态逻辑“搬家” ——伯努利 吴鹤龄【转】
1996年度的图灵奖授予了一位以色列学 者,著名的以色列魏茨曼学院(Weizmann Institute of Science,位于圣城耶 路撒冷西北约50公里的雷霍沃特)应用数学系教授艾米尔·伯努利(Amir Pnueli),以彰显他把时态逻辑引入计算机科学所做的贡 献。伯努利于1967年在魏茨曼学院获应用数 学博士学位,后留校任教。他的主要研究方向是时态逻辑或叫 时序逻辑(tempor转载 2014-01-02 11:11:15 · 1636 阅读 · 0 评论 -
模型&技术&方法&机制【http://blog.sina.com.cn/s/blog_5420e0000101hy7o.html】
1.模型1)定义 模型是所研究的系统、过程、事物或概念的一种表达形式,也可指根据实验、图样放大或缩小而制作的样品,一般用于展览或实验或铸造机器零件等用的模子。 人们依据研究的特定目的,在一定的假设条件下,再现原型(antetype)客体的结构、功能、属性、关系、过程等本质特征的物质形式或思维形式; 2)系统建模 对研究的实体进行必要的简化,并用适当的变现形式或规则把它的主要转载 2014-01-02 10:46:00 · 3722 阅读 · 0 评论 -
常用符号及读法【转】
常用数学输入符号: ≈ ≡ ≠ = ≤≥ < > ≮ ≯ ∷ ± + - × ÷ / ∫ ∮ ∝ ∞ ∧ ∨ ∑ ∏ ∪ ∩ ∈ ∵ ∴ ⊥ ‖ ∠ ⌒ ≌ ∽ √ () 【】 {} Ⅰ Ⅱ ⊕ ⊙∥α β γ δ ε ζ η θ大写 小写 英文注音 国际音标注音中文注音 Α α alpha alfa 阿耳法 Β β beta beta 贝塔 Γ γ gamma转载 2014-01-02 10:50:03 · 11109 阅读 · 0 评论 -
DAG(有向无环图) ------应用
DAG是tree的泛化,也是ploy tree的泛化 In graph theory, polytree is a name for an oriented tree; that is, a polytree is a directed graph formed by giving a direction to each edge of a tree, forming an orienta转载 2013-05-30 08:51:49 · 3672 阅读 · 0 评论 -
人工智能培训笔记(1)
机器学习步骤(使用tensorflow框架)1 数据获取2 数据预处理3 构建模型4 定义损失函数5 选择合适的方法(优化函数)进行最小化(优化)损失函数6 训练模型7 验证测试模型8 保存模型(tesorflow中的session对象)常用的神经网络1 深度神经网络DNN---手写数字识别2 卷积神经网络CNN---(卷积--特征提取和降维处理, ...原创 2019-07-24 16:28:34 · 614 阅读 · 0 评论