实验A——ADFA的可判定性
- 格式:docx
- 大小:311.27 KB
- 文档页数:7
【验证与探究类实验】1、探究实验的基本程序:提出问题——作出假设——设计实验——进行试验——收集证据——得出结论——交流评价2、变量:1)自变量:实验中由实验者操纵的因素或条件。
◇通常题目要求探究或验证什么,“什么”即为自变量。
如:“探究温度对唾液淀粉酶活性的影响”实验中,为自变量。
2)因变量:由自变量而引起的变化结果。
如:“探究温度对唾液淀粉酶活性的影响”实验中,为因变量。
(因变量一般不能直接体现出来,因此就要确定相应的观测指标)(二者之间是前因后果的关系)3)无关变量:实验中除自变量外的影响实验结果与现象的因素或条件。
如:“探究温度对α-淀粉酶活性的影响”实验中,等为无关变量。
【在设置对照实验时,除了自变量外,一般要做到:①生物材料相同(所用材料的数量、质量、长度、体积、来源和生理状况等方面要尽量相同)植物:一般描述为长势正常且相同的同种植株动物:一般描述为健康状况相同,体重大致相似(有的实验还要求年龄、性别等,例如生长激素、性激素作用的研究)种子:一般描述为大小一致、饱满程度相同、活的同种②实验所用的器具和装置要相同,实验的试剂要相同(包括成份、浓度、体积、量等)③条件控制要适宜且相同(如温度、光照强度等都要一致)3、遵循原则:1)科学性原则:①实验原理的科学性②明确实验要求和目的,确定实验思路科学性③实验材料选择的科学性④设计实验步骤要合理⑤实验结果的科学性2)单一变量原则和等量原则:单一变量原则和等量原则是完全统一的,只不过强调的侧面不同,单一变量原则强调的是自变量的单一性,即实验组和对照组相比只能有一个变量;而等量性原则强调的是除了自变量之外的一切对实验结果有影响的无关变量必须严格控制在适宜条件下的等量即相同,以平衡和消除无关变量对结果的影响.3)对照原则:即实验中设立对照组,使实验结果具有说服力。
通常,一个实验总分为实验组和对照组。
实验组,是接受自变量处理的对象组。
对照组,是不接受自变量处理的对象组。
实验维生素A的定性实验一、目的要求进一步了解维生素A的性质,掌握其定性检验方法。
二、实验原理维生素A主要来自动物性食品,以动物的肝脏、乳制品及鱼肝油中含量最多,属于脂溶性维生素,在氯仿溶液中可与三氯化锑生成不稳定的蓝色,称为Carr –Price反应。
在一定的浓度范围内产生蓝色的深浅与维生素A的浓度成正比,此反应常用作维生素A的定性检验,也可做定量测定。
三、实验器材试管和试管架、滴管、吸量管(1 mL、2 mL各1支)。
鱼肝油(市售)、植物油。
四、实验试剂1.精馏氯仿:用蒸馏水洗涤市售氯仿2~3次,加一些煅烧过的碳酸钠或无水硫酸钠进行干燥,并在暗色烧瓶中蒸馏。
2.三氯化锑–氯仿饱和溶液:用少量精馏氯仿反复洗涤三氯化锑,直到氯仿不再显色为止。
再将三氯化锑放在干燥器中,用硫酸干燥。
用干燥的三氯化锑和精馏氯仿配制饱和溶液。
3.醋酸酐五、操作步骤1.取2支干燥洁净的试管,分别加入鱼肝油、植物油各2滴,再各加氯仿0.5 mL和醋酸酐2滴。
摇匀后,再各逐滴加入三氯化锑-氯仿饱和溶液1~2 mL 摇匀,注意观察两管溶液颜色变化。
2.取1支干燥洁净的试管,加蒸馏水1滴,然后加入三氯化锑-氯仿饱和溶液1~2 mL摇匀,再加入鱼肝油2滴,观察有无颜色反应。
六、注意事项1.加完试剂后,摇匀过程中就开始观察溶液颜色的变化,一般是先呈土红色再变为褐色,最后变成蓝色,且变化迅速。
2.为防止反应形成的蓝色过快褪色,可将三氯化锑-氯仿溶液在冰水中预冷。
3.所使用的试剂和器材必须绝对干燥以免三氯化锑水解而影响实验效果。
4.凡接触过三氯化锑的玻璃器皿先用10% 盐酸洗涤后,再用水冲洗。
七、问题与思考1.本实验中所用的试剂、器材为什么必须绝对干燥?。
ADF检验摘⾃:⼀、简介在ARMA/ARIMA这样的⾃回归模型中,模型对时间序列数据的平稳是有要求的,因此,需要对数据或者数据的n阶差分进⾏平稳检验,⽽⼀种常见的⽅法就是ADF检验,即单位根检验⼆、平稳随机过程在数学中,平稳随机过程(Stationary random process)或者严平稳随机过程,⼜称狭义平稳过程,是在固定时间和位置的概率分布与所有时间和位置的概率分布相同的随机过程:即随机过程的统计特性不随时间的推移⽽变化。
这样,数学期望和⽅差这些参数也不随时间和位置变化平稳在理论上⼜严平稳和宽平稳两种,在实际应⽤上宽平稳使⽤较多。
宽平稳的数学定义为:给定⼆阶矩过程(⼆阶矩存在)X(t),t属于T,如果X(t),的均值函数u(t)是常数,相关函数R(t1,t2)=f(t2-t1)即相关函数只与时间间隔相关,则称为宽平稳过程。
严平稳定义:给定随机过程X(t),t属于T,其有限纬分布组为F(x1, x2,.... xn, t1, t2,...., tn), t1,t2,....tn属于T,对任意n任意的t1, t2, ...., tn属于T,任意满⾜t1+h, t2+h, .... tn+h,称此过程严平稳。
简单点说严平稳是⼀种条件⽐较苛刻的平稳性定义,它认为只有当序列所有的统计性质都不会随着时间的推移⽽发⽣变化时,该序列才能被认为平稳。
⼀般关系严平稳条件⽐宽平稳条件苛刻,通常情况下,低阶矩存在的严平稳成⽴,⽽宽平稳序列不能反推严平稳成⽴。
三、单位根检验单位根检验是指检验序列中是否存在单位根,因为存在单位根就是⾮平稳时间序列了。
单位根就是指单位根过程,可以证明,序列中存在单位根过程就不平稳。
迪基-福勒检验(Dickey-Fuller test)和扩展迪基-福勒检验可以测试⼀个⾃回归模型是否存在单位根。
《α-淀粉酶的固定化与淀粉水解作用的检测》实验方案第二实验班一组组长:张金昌组员:胡建军、朱恩梅、石仙竹、谢娟丽、李昀奕、郭天天2013.10.15α-淀粉酶的固定化与淀粉水解作用的检测一、实验背景资料:1、酶:活细胞产生的具有催化作用的有机物,其中绝大多数酶是蛋白质;具有高效性、专一性,同时,也有高度不稳定性,因为绝大多数酶的本质是蛋白质,凡是能使蛋白质变性的因素,如高温、高压、强酸、强碱等都会使酶丧失活性。
2、酶促反应:指由酶作为催化剂进行催化的化学反应;3、α-淀粉酶:为枯草杆菌的α-淀粉酶,其作用的最适PH为5.5~7.5,最适温度为50~70℃。
广泛分布于动物(唾液、胰脏等)、植物(麦芽、山萮菜)及微生物。
此酶既作用于直链淀粉,亦作用于支链淀粉,其特征是引起底物溶液粘度的急剧下降和碘反应的消失,最终产物在分解直链淀粉时以麦芽糖为主,此外,还有麦芽三糖及少量葡萄糖;在分解支链淀粉时,除麦芽糖、葡萄糖外,还生成分支部分具有α-1,6-键的α-极限糊精。
4、固定化酶:借助于物理和化学的方法把酶束缚在一定的空间内并仍具有催化活性的酶制剂。
酶更适合采用化学结合和物理吸附法固定化。
吸附法是酶分子吸附于水不溶性的载体上,它的优点是操作简便,条件温和,不会引起酶变性或失活,且载体廉价易得,可以反复使用。
5、吸附剂:常用的吸附剂有活性炭、氧化铝、硅藻土、多孔陶瓷、多孔玻璃等。
活性炭:活性炭是一种多孔性的含炭物质, 它具有高度发达的孔隙构造, 是一种极优良的吸附剂, 每克活性炭的吸附面积更相当于八个网球埸之多. 而其吸附作用是藉由物理性吸附力与化学性吸附力达成. 其組成物质除了炭元素外,尚含有少量的氢、氮、氧及灰份,其結构则为炭形成六环物堆积而成。
由于六环炭的不规则排列,造成了活性炭多微孔体积及高表面积的特性。
硅胶:硅胶是由硅酸凝胶mSiO2·nH2O适当脱水而成的颗粒大小不同的多孔物质。
具有开放的多孔结构,比表面(单位质量的表面积)很大,能吸附许多物质,是一种很好的干燥剂、吸附剂和催化剂载体。
定义概念题目:第三章:1. 图灵机:是一种精确的通用计算机模型,能模拟实际计算机的所有计算行为,它的核心是转移函数δ,它说明了机器如何从一个格局走到下一个格局。
对于图灵机,δ的形式如下:Q×Γ→Q×Γ{L,R},图灵机是一个7元组(Q,∑,Γ,δ,q 0,q accept,q reject).其中Q,∑,Γ都是有穷集合,并且1)Q是状态集;2)∑是输入字母表,不包括特殊空白符号凵,3)Γ是带字母表,其中凵∈Г,∑∈Г4)δ2. 格局:图灵机的计算过程中,当前状态,当前内容和读写头当前位置组合在一起。
例如:1011q701111:当前状态q7,当前读写头位置在第二个0上。
定义3.2 如果一个语言能被某一个图灵机识别,则称该语言是图灵可识别的(递归可枚举语言)定义3.2 如果一个语言能被某一个图灵机判定,则称该语言是图灵可判定的简称可判定的(递归语言)3.图灵机的变形:多带图灵机、非确定型图灵机、枚举器。
每个4.枚举器:他是图灵机的一种变形,是带有打印机的图灵机,图灵机把打印机当作输出设备,从而可以打印串,每当图灵机想在打印序列中增加一个串时,就把此串送到打印机。
一个语言是图灵可识别的,当且仅当有枚举器枚举它。
5.图灵机的术语:形式化描述,实现描述,高水平描述。
第四章:1.可判定的语言有:(A DFA、A NFA、A REX、E DFA、EQ DFA 是正则语言)、(A CFG、E CFG 是上下无关语言)❶每个上下文无关语言都是可判定的。
2.不可判定的语言有::EQ CFG、A TM 、停机问题、HALT TM 、E TM、REGULAR TM 、EQ TM 、 E LBA 、ALL CFG 、PCPA TM ={<M,ω>|M是TM,ω是串,M接受ω}是不可判定的。
证明:假设证A TM 是可判定的,下面将由之导出矛盾。
设H是A TM 的判定器。
令M是一个TM,ω是一个串。
第4节 PP 单位根检验法与ADF 单位根检验法DF 检验要求模型的随机扰动项t ε独立同分布。
但在实际应用中这一条件往往不能满足(如上一节中的有关例子)。
一般来说,如果估计模型的DW 值偏离2较大,表明随机扰动项是序列相关的,在这种情况下使用DF 检验可能会导致偏误,需要寻找新的检验方法。
本节我们将介绍在随机扰动项服从一般平稳过程的情况下,检验单位根的PP 检验法和ADF 检验法。
一、 PP (Phillips&Perron )检验首先考虑上一节情形二中扰动项为一平稳过程的单位根检验。
假设数据由(真实过程)φφ∑∞t t -1t t t j t -j j =0y =ρy +u ,u =(B)ε=ε (1) 产生,其中{}t ε独立同分布,∞<==2)(,0)(σεεt t D E 。
∑∞==0)(j j j B B ϕϕ,其中B 为滞后算子,其系数满足条件∞<∑∞=0j j j ϕ。
在回归模型t t t u y y ++=-1ρα中检验假设:0;1:0==αρH与DF 检验(情形二)一样,模型参数的OLS 估计为:⎪⎪⎭⎫ ⎝⎛⎪⎪⎭⎫ ⎝⎛=⎪⎪⎭⎫ ⎝⎛∑∑∑∑∑-----t t t t t t y y y y y y N 112111ˆˆρα 在1,0:0==ραH 成立时,上式可改写为:1121111t t t t t t ˆT y u ˆy y y u αρ-----⎛⎫⎛⎫⎛⎫= ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭∑∑∑∑∑ 以矩阵()12A diag T ,T =左乘上式两端,得()123122321111121111112211111t t t t t t t t t t t t ˆTyu T A A A ˆy yy u T T y T u T y u T y T y αρ------------------⎧⎫⎧⎫⎛⎫⎛⎫⎛⎫⎪⎪⎪⎪= ⎪ ⎪ ⎪⎨⎬⎨⎬⎪ ⎪ ⎪-⎪⎪⎪⎪⎝⎭⎝⎭⎝⎭⎩⎭⎩⎭⎛⎫⎛⎫⎪= ⎪ ⎪⎪⎝⎭⎝⎭∑∑∑∑∑∑∑∑∑∑利用有关单位根过程的极限分布(参见第2节),可得()12110221122000111112L W ()W (r )dr ˆT ˆT [W ()]W (r )dr W (r )dr λλαρλγλλ-⎛⎫⎛⎫⎛⎫⎪ ⎪−−→ ⎪ ⎪ ⎪ ⎪-- ⎪ ⎪⎝⎭⎝⎭⎝⎭⎰⎰⎰ 其中)1(σϕλ=,∑∞==0220s sϕσγ。
实验五激活剂、抑制剂、温度及PH对酶活性的影响一、目的要求通过实验加深对酶性质的认识,了解测定α-淀粉酶活力的方法。
二、实验原理酶是生物体内具有催化作用的蛋白质,通常称为生物催化剂。
酶催化的反应称为酶促反应。
生物催化剂催化生化反应时具有:催化效率好、有高度的专一性、反应条件温和、催化活力与辅基,辅酶,金属离子有关等特点。
For personal use only in study and research; not for commercial use能提高酶活力的物质,称为激活剂。
激活剂对酶的作用有一定的选择性,其种类多为无机离子和简单的有机化合物。
使酶的活力中心的化学性质发生变化,导致酶的催化作用受抑制或丧失的物质称为酶抑制剂。
氯离子为唾液淀粉酶的激活剂,铜离子为其抑制剂。
应注意的是激活剂和抑制剂不是绝对的,有些物质在低浓度时为某种酶的激活剂,而在高浓度时则为该酶的抑制剂。
如氯化钠达到约30%浓度时可抑制唾液淀粉酶的活性。
酶促反应中,反应速度达到最大值时的温度和PH值称为某种酶作用时的最适温度和PH值。
温度对酶反应的影响是双重的:一方面随着温度的增加,反应速度也增加,直至最大反应速度为止;另一方面随着温度的不断升高,而使酶逐步变性从而使反应速度降低。
同样,反应中某一PH范围内酶活力可达最高,在最适PH的两侧活性骤然下降,其变化趋势呈钟形曲线变化。
食品级α-淀粉酶是一种由微生物发酵生产而制备的微生物酶制剂,主要由枯草芽孢杆菌、黑曲霉、米曲霉等微生物产生。
但不同菌株产生的酶在耐热性、酶促反应的最适温度、PH、对淀粉的水解程度,以及产物的性质等均有差异。
α-淀粉酶属水解酶,作为生物催化剂可随机作用于直链淀粉分子内部的α-1,4糖苷键,迅速地将直链淀粉分子切割为短链的糊精或寡糖,使淀粉的粘度迅速下降,淀粉与碘的反应逐渐消失,这种作用称为液化作用,生产上又称α-淀粉酶为液化淀粉酶。
α-淀粉酶不能水解淀粉支链的α-1,6糖苷键,因此最终水解产物是麦芽糖、葡萄糖和α-1,6键的寡糖。
HUNAN UNIVERSITY
计算理论导论实验报告
一、实验目的
1、理解并运用有穷自动机的判定方法;
2、能够对任意输入获得确定型有穷自动机的判定结果;
3、正确处理代码中的各种细节问题。
二、实验方法
(1)算法思路
由于测试字符串在DFA中运行后,总会得到一个最终状态,通过判断最终状态是否为接收状态,进而判定A DFA。
思路如下:
inttestDFA()函数:输入测试字符串运行DFA,返回最终状态;
bool check()函数:检查最终状态是否为接收状态,返回布尔值;
main()主函数:在测试字符串个数之内,对于任意输入,均能判定A DFA。
(2)数据类型
题目要求如下:
为一个n行m列的矩阵S,其中S[i][j]表示第i行第j列,意义为状态i经过字母j到达状态S[i][j]。
建立数组的两种方法:
(1)静态建立:静态建立输入矩阵char arr[1000][1000];建立接收数组int accept[10000];建立测试数组char test[100][100],后两组方法可行,时间可控,但第一种输入矩阵会超时。
(1)动态分配:由于需要动态建立三个数组矩阵,需要在while循环里添加new和delete动态分配和删除数组,尝试多次后总是失败,但仅仅输入矩阵采用new和delete动态分配就可行,记得之后要delete 释放掉,否则会出现内存泄漏的问题。
综上分析,建立数组数据类型是:输入矩阵采用动态分配,静态建立接受数组和测试数组。
三、问题描述
四、程序代码
#include <iostream> #include <stdio.h> #include <stdlib.h> #include <string.h> using namespace std;
/*输入测试字符串运行DFA,返回最终状态*/ inttestDFA(char* test,int** arr)
{
int i;
intlen = strlen(test);//测试字符串长度
int row = 0;//状态的行
int line = test[0] - 'a';//通过字符-'a'计算状态的列int des;//最终状态
des = arr[row][line];
//循环运行len次直至结束
for(i=1;i<len;i++)
{
line = test[i]-'a';
row=des-1;
des = arr[row][line];
}
return des;
}
/*检查最终状态是否为接收状态,返回布尔值*/ bool check(int *accept, int fin, int t)
{
int i;
for(i=0;i<t;i++)
{
if(accept[i]==fin)
return true;
}
return false;
}
int main()
{
int n;//状态数
int m;//字符集数
int t;//接受状态个数
int a;//测试字符串个数
while(scanf("%d %d %d %d",&n,&m,&t,&a)!=EOF) {
int **arr = new int *[n];
inti,j;
for(i=0;i<n;i++)
arr[i] = new int[m];
//循环得到输入矩阵
for(i=0;i<n;i++)
for(j=0;j<m;j++)
{
scanf("%d",&arr[i][j]);
}
//建立数组
int accept[1000];
for(i=0;i<t;i++)
scanf("%d",&accept[i]);
char test[100][100];
for(i=0;i<a;i++)
scanf("%s",&test[i]);
int des;
//输入测试字符串运行DFA,并输出最终状态
for(i=0;i<a;i++)
{
//得到最终状态
des = testDFA(test[i],arr);
//判断最终状态是否是接受状态
if(check(accept,des,t))
cout<<"YES"<<endl;
else
cout<<"NO"<<endl;
}
deletearr;
}
return 0;
}
五、实验结果
六、实验总结
1.VC++上编写输入while(cin>>n>>m>>t>>a),会导致报错:c1903致命错误:无法恢复先前的错误);停止汇编,在网站上运行时仍然出错,但在DevC++没有报错;将输入改成while(scanf(“%d %d %d %d”, &n, &m, &t, &a)!=EOF)均可成功运行。
2.在建立输入数组矩阵时,首先采取的是直接静态分配int **arr,但网站上运行时提示runtime error:
否则就出现这样的问题:
3.本次实验是有穷自动机接收状态判定的实际应用,看似简单的问题利用程序体现都需要考虑更多
问题,看书复习第四章内容后入手编写代码,理解知识点才能够更好运用。