自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(8)
  • 收藏
  • 关注

翻译 大型数据库分析-R语言

先看一下R能干什么df <- mtcars?mtcarsnames(df)head(df)nrow(df)summary(df)hist(df$hp)plot(df$hp,df$qsec)cor(df$hp,df$qsec)cor(df$cyl,df$qsec)df$hpPerCyl <- df$hp/df$cyldf[order(df$hpPerCyl),]head(df[order

2015-11-18 00:08:46 725

翻译 数据库应用-E commerce管理

本节主要目的1.复习 2.区分视图和物理存储 3.物理设计的替换基本概念schema-Evolution:在数据库还处于工作状态良好的情况下,修改数据库的Schemas Sparsity:关系表中得信息很稀疏,即含有大量的NULL值E-Commerce数据存储中常见的问题1.属性过多 2.sparsity,NULL值使数据虚胖 3.schema-Evolution经常发生 4.访问数据库

2015-11-17 02:07:31 503

翻译 数据库应用-Datalog

Relational Algebra数据库系统中引入的relational algebra并不多,大部分可由多个基本的operation结合而来 minimal Relational algebra:Ω=π,σ,⋈,β,∪,−\Omega=\pi ,\sigma,\bowtie,\beta,\cup,-安全访问(sichere Anfragen)所谓安全访问,就是指无论在何种数据库状态(Daten

2015-11-17 01:48:39 2893 1

翻译 数据库应用-View

主要内容1.视图(View,Sicht)的概念 2.View的转换 3.数据库中得权限 4. 5.统计学的数据库View的优点和缺点优点: 1.简化了数据库的访问 2.使数据库结构化//秩三层结构 3.数据库改变不影响View(logische Datenunabhaengigkeit)//这算优点吗?? 4.数据保护 缺点: 1.会自动更改访问操作//把你针对View的操作,该

2015-11-17 01:46:33 532

翻译 形式系统(Formale System)-SAT问题

什么是SAT问题所谓SAT问题就是可实现性问题(Erfuellbarkeitsproblem)。即已知一个Formel F∈For0\in For0,问是否存在一个解释(Interpretation) I 使得valI(F)=Tval_I (F)=T 同时SAT问题也是一个NP完备性问题。也就是说假如存在一个确定的在多项式时间内完成的用于判定一个Formel是否可实现的的算法,那么同时也就可以得到

2015-11-17 01:23:28 1253

翻译 网络通信(Telematik)-传输层协议(Transportprotokoll)2

网络阻塞(Stau im Internet)网路中传输的数据包过多,导致超出网路的承受能力。简单的队列管理Router: 当router的Puffer满了,那么下一个到达的数据包将被直接扔掉 发送者(Sendeinstanz): 设置重传计数器(Retransmission Timer),当时间到了则从新发送数据包 问题:同步 大量不同TCP连接的数据包会几乎同时被扔了积极的队列管理基本措

2015-11-02 03:17:51 788

翻译 网络通信(Telematik)-传输层协议(Transportprotokolle)1

一点补充知识包(Paket)包是网络数据的传输单位,他由目标数据和辅助信息组合而成: head(Kopf)目标数据(Nutzdaten)supplement(Anhand)\begin{array}{c|c|}\hline\text{head(Kopf)}&\text{目标数据(Nutzdaten)}&\text{supplement(Anhand)}\\\hline\end{array

2015-11-01 21:50:14 670

翻译 Formal System-范式(Normalformen)

动机(Motivation)主要目的是证明Formel的可实现(Erfüllbar) 一般的方法: 1.真值表 2.等价转化 但是随之Atom的数量增大,上述方法的效率则越加低。//真值表的数量将呈现指数增长 于是我们想到的方法就是非等价转化,比如用P3代替P1∧P2P_3 代替P_1 \land P_2 为了更好的了解algorithm,需要先看一下什么是范式,具体的algorithm

2015-11-01 07:05:37 874

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除