类型方法

类型方法（共12篇）

类型方法 篇1

判断反馈的题型根据放大器件不同分为三大类型:以三极管为核心构成的基本放大电路、集成运放构成的放大电路、既有三极管又有集成运放的混联电路;下面将逐一分析。

1 对于以三极管为核心的基本放大电路

中等职业学校教材中三极管构成的放大电路有共发射极电路、共集电极电路和共基极电路三种, 前两种应用最广。其中共发射极电路信号从基极输入, 集电极输出, 发射极为输入、输出的公共端子;共集电极电路信号从基极输入, 发射极输出, 集电极为输入输出的公共端子;共基极放大电路信号从发射极输入, 集电极输出, 基极为输入输出的公共端子。掌握此规律可帮助判断电压/电流反馈和串联/并联反馈。

电压反馈的定义为反馈信号取自输出电压并与输出电压成正比。画放大电路的交流通路时可发现, 输出电压从输出极与公共端子间输出, 故反馈信号取自输出极则为电压反馈, (注:需画交流通路观察) , 即反馈网络的输入端与放大电路的输出极 (可隔耦合电容) 相接为电压反馈, 否则为电流反馈。

放大器的净输入电压是信号源电压与反馈信号并联即为并联反馈, 根据电阻并联的形式可知, 若反馈回路的输出端与放大器的输入极相接极为并联反馈, 否则即为串联反馈。

综上所述, 对于共发射极放大电路凡是反馈网络的输入端与集电极相接的 (注:可隔耦合电容) 即为电压反馈, 与发射极相接的即为电流反馈;凡是反馈的输出端与基极相接的即为并联反馈, 与发射极相接的即为串联反馈。对于射极输出器凡是反馈网络的输入端与发射极相接的 (注:可隔耦合电容) 即为电压反馈, 与集电极相接的即为电流反馈, 凡是反馈网络的输出端与基极相接的即为并联反馈, 与集电极相接的即为串联反馈。

判断正负反馈用瞬时极性法。先把放大器输入端设定极性为“+”或“-”, 再依次按相关点的相位变化情况 (即b与e同, b与c反) 推出各点对地的交流瞬时极性, 再根据反馈回输入端的反馈信号瞬时极性, 若反馈信号极性或相位与信号源信号相同, 即使净输入量增强为正反馈;若反馈信号极性或相位与信号源信号相反为负反馈, 即使净输入量减弱为负反馈。一般情况下净输入量指发射结两端的电压, 即Vbe。交流/直流反馈容易判断, 凡在直流通路里存在的反馈即为直流反馈, 在交流通路里存在的反馈为交流反馈。注意画直流通路时只需把电容视为开路, 其余元件照画;画交流通路时将直流电源和电容视为短路, 其余元件照画。下面举例说明:

该图为两级放大器, 前级的输出为后级的输入, 两级放大器均为共发射极放大电路, 即基极输入, 集电极输出;由图可知, 反馈网络的输入端与集电极相接, 可见反馈信号取自输出极, 即取自输出电压, 可判断为电压反馈。

反馈网络的输出端与发射极相接, 即反馈到输入端的反馈信号没有接到输入极上, 可判断该反馈为串联反馈。

用瞬时极性法标出反馈极性, 如图所示, 可见Vi与Vf叠加取二者之差, 由于所标极性相同, 使净输入量νbe=νi-νf有减小的趋势, 故该反馈为负反馈。

由于电容C3通交流, 隔直流, 所以通过由C3和Rf构成的反馈网络后, 只有交流量反馈回输入端, 所以该反馈为交流反馈。

综上所述由C3和Rf引入的反馈类型为交流、电压、串联、负反馈。

2 以集成运放为核心的放大电路

放大电路还可由集成运放担任, 须知道的基础知识是若信号从同相输入端输入, 则输出信号相位与输入信号相位相同, 若信号从反相输入端输入, 则输出信号相位与输入信号相位相反。

对于集成运放的净输入量是Vp-VN, 关于正负反馈还要看使净输入量增大还是减小, 从而断出是正反馈还是负反馈。

对于电压反馈和电流反馈还是看反馈量取自于输出电压还是输出电流。

判断串并联反馈。若反馈信号接在输入信号端子上为并联反馈, 否则为串联反馈。

交直流反馈与三极管的相同, 现举例说明:

例:判断下图电路中引入的反馈类型是 ()

上图信号从同相输入端输入, 用瞬时极性法标出电路各部分的极性, 如图所示, 可见反馈信号反馈回反相输入端, 极性为“+”, 使净输入量Vp-VN有减小的趋势, 故为负反馈;反馈网络的输入端与输出电压端子相接, 即反馈信号取自于输出电压, 为电压反馈;反馈网络的输出端没有与输入信号端子直接相接, 可判断反馈为串联反馈;由于反馈网络中电容接地, 电容的特性是通交流, 隔直流, 所以反馈信号中的交流成分被短路入地, 反馈回输入端的信号中只有直流量, 故该反馈为直流反馈。综上所述该图引入的反馈类型为直流电压串联负反馈。

3 三极管与集成运放构成的混联电路

例, 下图所示电路中, 从输出端经过R3引至运算反相端的反馈是 ()

A.电压串联负反馈

B.电压并联负反馈

C.电流并联负反馈

D.电流串联负反馈

该图从同相输入端输入, 经OCL电路反馈回反相输入端, 用瞬时极性法标出反馈极性如图所示, 反馈信号使净输入量Vp-VN有减小的趋势, 故为负反馈;反馈信号取自于输出电压Vo, 该反馈为电压反馈;由于反馈信号没有与输入信号直接相接, 故反馈为串联反馈;反馈支路中不存在电容元件, 所以交直流信号均反馈回输入端, 因而该反馈为交直流反馈;综上所述该反馈为交直流电压串联负反馈。答案为A.

摘要：反馈在电子线路中的地位举足轻重。负反馈能使放大器的多项指标得到改善, 可以提高放大器信号的稳定性, 减小非线性失真, 展宽频带, 减小噪声, 影响输入、输出电阻;利用正反馈合理的设计电路可使之成为一种能量转换装置, 构成振荡器。根据多年的教学经验, 结合历届学生在判断反馈类型时茫然不知所措的情况, 笔者特将判断反馈类型的方法加以总结, 便于共同学习。

关键词：职业高中,反馈,类型

类型方法 篇2

1、浅龋

浅龋时期的症状不明显，一般需要x光线才能看到，此时的治疗办法是，可对龋洞进行纳米树脂填充也可以进行窝沟封闭。

2、中龋

中龋是指侵蚀程度已经达到了牙齿的本质，形成了牙齿本质上的龋洞，此时，需要先将坏掉的龋洞组织磨除，然后填充银汞合金或者树脂等进行封闭。

3、深龋

此时的侵蚀已经到了牙齿的本质深层，有很深颜色的龋洞，人用肉眼也可以很清楚的看见。这时的做法是要先去除腐质，再进行一个永久性的填充。

4、牙髓炎

龋洞已经到达牙底，去除龋坏组织后，牙髓已经暴露。所以此时需要先进行牙髓炎治疗，在洞底加上护髓剂，然后再选择材料进行填充。

5、根尖周炎

此时是牙髓炎发展到晚期，此时的牙髓组织大部或全部坏死。需要进行根管治疗，方法是将根管扩大，在用根管锉将根管壁制备光滑，然后用双氧水洗干净，再封入药。待症状消失，根管内清洁时再充填牙根管。

6、根尖脓肿与肉牙肿

不同敏感肌肤类型的应对方法 篇3

1 肌肤不稳定原因之气温差

对抗气温的频繁变化保湿是重中之重

随着气温的上升，人体荷尔蒙分泌和皮脂分泌增加，导致肌肤状况变差。其实，从冬天开始就应该着重提升肌肤的抵抗力。因为担心自己的肌肤会敏感就对很多护肤品敬而远之，反而会令不稳定的状况愈演愈烈。应选用刺激性较少的产品，并通过化妆水和乳霜切实保湿。

使用清爽型和滋润型两款化妆水彻底保湿

化妆水能够调整角质层状况，在洁面后立刻使用清爽型化妆水，随后叠擦滋润型，彻底保湿。最后再涂抹乳霜或保湿啫喱类单品。

（从左到右）?PSA茵芙莎优效角质清理液 RMB290/150ml 擦拭肌肤去除多余角质及毛孔污垢，护理角质。ATTENIR艾天然紧肤收敛爽肤水 RMB280/150ml 兼具保湿及收敛毛孔功效的化妆水。SOFINA苏菲娜芯美颜化妆水 RMB220/160ml 滋润型化妆水，为肌肤补充充足水分。

（从左到右）CLINIQUE倩碧深层水嫩保湿润肤霜 RMB460/50ml 水嫩舒爽的啫喱质地，帮助肌肤12小时维持水润感。Jurlique茱莉蔻舒缓滋润乳液 RMB750/100ml 质感轻柔舒缓，可有效舒缓及镇静敏感肌肤。BIODERMA贝德玛赋妍滋润修护霜 RMB356/100ml 帮助肌肤补水保湿，维护肌肤角质，防止过敏原入侵。

通过蔬菜和蛋白质让身体内部更美

为了调整身体平衡和角质层状况，多多摄入维生素A、B、C、E和氨基酸是值得推荐的。多吃蔬菜和鸡肉等易于消化吸收的食物，此外睡眠对肌肤也很重要。

OK！

化妆水和乳霜如果是无刺激的配方，不妨充足涂抹。自称敏感的人，通常都是皮肤不够滋润的人。

2 肌肤不稳定原因之花粉

隔绝刺激肌肤的源头 同时强化屏障机能

会因为花粉等外在刺激而影响肌肤状况的话，回到家里就要立刻清洁卸妆，将花粉彻底清洁干净，但要注意使用刺激性较小的卸妆乳。外出时，也可以时不时地用乳液擦拭肌肤，避免花粉的刺激。为了提升肌肤屏障机能，还可选用一款专用美容精华液。

选用洗面奶一类的单品温和洗去花粉

因为附着的花粉会对肌肤产生刺激，所以回到家中第一件事就要清洁肌肤。虽然洁净力也很重要，但选择温和的产品是更为明智的。减少肌肤的摩擦，让滋润成分充分渗透。

（从上到下）Curél珂润润浸保湿卸妆啫喱 RMB98/130g 专为敏感肌肤设计的卸妆啫喱，无需摩擦就能轻易延展开。NATIO娜迪奥舒缓洁面凝胶 RMB110/100g（莎莎独家销售） 温和泡沫配方，在脸上打圈按摩便能快速溶解污垢。

（从左到右）FANCL锁水乳液 RMB 165/30ml 质感丰盈的补湿乳液，小巧瓶身方便随身携带。L''OCCITANE欧舒丹乳木果保湿修护精华乳 RMB450/30g 同时具备修护及保护功效，特别适合敏感肌肤使用。

（从左到右）Avène雅漾舒护活泉水 RMB 75/50ml具非凡的舒缓、镇静、修复肌肤敏感症状的功效。MUKTI慕廸有机鲜花保湿喷雾 RMB338/50ml 小巧的瓶身，满满一瓶的鲜花芬芳，保湿同时带来清新感受。

充分保湿在户外同样滋润

为了应对花粉问题，不妨带一小瓶乳液外出，必要的时候对肌肤进行擦拭。此外，通过喷雾化妆水，让肌肤保持水油平衡，也能对肌肤问题起到缓和的作用。

NG！

回家后要立刻卸妆，洗去花粉。但如果使用擦拭型的产品，会给肌肤带来刺激。

3 肌肤不稳定原因之紫外线

对抗气温的频繁变化 保湿是重中之重

对抗紫外线是每天的必修课，但如果到了天热时才开始，那就太晚了。虽然会令肌肤泛红的紫外线B波在春夏之交会有明显的增加，但与肌肤老化相关的紫外线A波却是一年四季普遍存在的。选择一款不对肌肤造成压力的防晒产品，一年四季持续使用才是正确的决定。SPF30左右即可。

一年四季都要使用SPF30的防晒产品

其实一年四季都应该使用对抗紫外线的产品，日常使用的话指数在SPF30就足够了。选择对肌肤来说较为温和的配方，只要普通的卸妆产品能够简单卸去即可。紫外线A波是肌肤老化的罪魁祸首哦。

（从上到下）LA MER海蓝之谜防晒隔离乳液SPF30/PA++ RMB900/50ml 防晒的同时补充水分，恰到好处的防晒系数让肌肤无负担。sisley希思黎防晒隔离霜SPF30 RMB1,050/40ml 具隔离防护、抗老、保湿，兼具粉底功能的防晒品。CLARINS娇韵诗清透美白防晒乳SPF30+ PA+++ RMB420/30ml 提供3重紫外线防护、阻隔环境及来自电磁波的各种伤害。SOFINA苏菲娜映美焕采防晒控油妆前乳RMB240/25ml 适合容易出油的肌肤，能让后续底妆控油效果更佳。

OK！

具有防晒效果的妆前乳也是必备的，让粉底也具有对抗紫外线的功能。

4 肌肤不稳定原因之压力

肌肤出现粉刺等问题需要局部的角质护理

现代人普遍工作压力大，经常熬夜、加班、情绪紧张容易造成自律神经的紊乱，使肌肤新陈代谢效率降低，从而让角质开始有变厚的倾向，要通过改善角质并切实保湿，让肌肤状态得到彻底的提升。此外，日常进行适度的运动、香薰护理等都能有效缓解压力。

去除因新陈代谢紊乱而变厚的角质

角质层的新陈代谢减缓，在肌肤表面逐渐变厚，让肌肤触感很粗糙，此时，不妨使用温和的去角质产品，对局部进行去角质护理。注意避免过度的摩擦和刺激。

（从左到右）D-Q蒂珂角质调理凝露 RMB210/130ml 精华露般的质地，柔和祛除多余角质和污垢，扫除暗沉。FOR BELOVED ONE宠爱之名亮白净化去角质凝胶 RMB325/75ml 结合了物理性及化学性去角质的优点，温和不刺激。

OK！

虽然敏感肤质应该避免角质护理，但选用温和的产品在局部进行护理是完全可以的。

敏感肌肤还要注意这些问题......

从寒冷的冬季就要开始仔细呵护肌肤！

许多敏感肌肤实际上是“隐性敏感肤质”，肌肤看起来非常健康，日常不易受环境影响而泛红、刺痛等。在寒冷的冬季时，这些肌肤会变得较为“迟钝”，因为皮肤受寒缺氧，让肌肤受伤敏感状况被隐藏了。待春暖花开气候回温时，血流加快、通透性增强，加上表皮免疫活性细胞——朗格汉斯细胞（Langerhans cell）活性减弱，若再受到“过敏源”的刺激就会快速爆发出红肿、灼热、痒等“过敏症状”。因此，千万不要等到气温回升、出现问题时才注意护理，冬季时的保养反而更重要。

许多敏感肌肤问题归根结底是因为干燥！

如今，属于敏感肤质的人不在少数，特别是在季节变换的时候，敏感肌肤更容易产生问题。首先，春夏季的肌肤状态确实不好，因为冬天皮肤比较干燥，屏障机能衰退，很容易因外界的刺激而出现问题。而乍暖还寒的天气也会导致自律神经不稳定，从而影响肌肤的抵抗力和新陈代谢的效率。另外，紫外线和皮脂、汗液的分泌，花粉等过敏源的影响，也让肌肤处在危险的状态之中。然而，只要肌肤具备相应的抵抗力，很多问题是可以避免和减轻的。按照以上所说的护肤方法护理，就能有所改善。

不同类型园林苗木修剪方法 篇4

1 乔木类树形修剪

标准的乔木状树形首先要有明显的主干, 主干的高度应在1米以上, 树冠中央还应当有一根中央领导枝呈向上直伸状, 其上端应位于树冠的最高点, 围绕着中央领导枝均匀分布的是其他主枝和各级侧枝, 力求从属关系正确, 层次分明。在乔木类树形的整形修剪时, 具有明显主干的高大落叶乔木应保持原有树形, 适当疏枝, 对保留的主侧枝应在健壮芽上短截, 可剪去枝条1/5~1/3。无明显主干、枝条茂密的落叶乔木, 对干径10厘米以上树木, 可疏除相互干扰的交叉枝和影响树冠内膛通风透光的过密枝, 保持原树形;对干径为5~10厘米的苗木, 可选留主干上的几个侧枝, 保持原有树形基础上, 对新生侧枝进行合理的短截。枝条茂密具圆头型树冠的常绿乔木可适量疏枝。枝叶集生于树干顶部的苗木可不修剪。常绿针叶树不宜修剪, 只剪除病虫枝, 枯死枝、生长衰弱枝、过密轮生枝和下垂枝。

2 灌木状树形修剪

灌木状园林苗木的萌孽力较强, 如不进行修剪, 其丛生树冠会越来越密, 开花数量会越来越少。所以在整形修剪时, 首先要观察植株生长的周围环境、光照条件、植物种类、长势强弱及其在园林中所起的作用, 应根据不同树种的生长特性、开花时期、着花部位以及枝芽的发生规律, 确定修剪方法。首先要剪去扰乱树形的各类枝条, 使树冠内膛通风透光。其次, 花灌木枝条易衰老, 一般只有2~3年, 因此应注意对二、三年生枝条及时进行更新, 尽早培养壮枝, 达到陆续有花枝形成、不断开花的效果。受自然灾害或人为机械损伤而造成缺枝空膛的, 应强短截断枝的不定芽和邻近的徒长枝, 促使其分枝, 填补空档。另外, 花灌木种类繁多, 开花时间也各不相同, 修剪方法和时间差别较大, 很难统一说明, 总的原则是:春季开花的花灌木, 其花芽或混合芽着生于两年生枝条上, 如连翘、榆叶梅、迎春等, 应在落花后, 叶芽开始膨大且未萌发时进行修剪, 连翘、榆叶梅等可在开花枝条基部留2~4个饱满芽进行短截, 牡丹则剪除残花即可。夏秋季开花的花灌木, 花芽或混合芽着生在当年生枝条上, 如紫薇、木槿等, 是在当年萌发枝上形成花芽, 因此应在休眠期进行修剪, 疏去弱枝、老枝, 短截部分发育枝, 在两年生枝基部留2~3个饱满芽, 剪后可萌发出茁壮枝条, 花枝虽少些, 但由于营养集中, 会产生较大的花朵, 观赏性增强。一年多次抽梢、多次开花的花灌木, 如月季, 可于休眠期对当年生枝条进行短截或回缩强枝, 同时剪除交叉枝、病虫枝、并生枝及内膛过密枝, 月季生长期可于花后在新梢饱满芽处短截, 可多次修剪, 剪口芽很快萌发抽梢, 形成花蕾开花, 花谢后再重复, 可多次开花。对于观叶或观枝类的灌木, 冬季为观赏适期的应在春季进行修剪, 四季均可观赏的可根据树种的不同生长特性, 有的冬春修剪, 有的秋冬修剪;有些树种冬季干枯 (如木芙蓉) , 则应齐地剪除, 至翌年春季, 自根部会重新萌发出新枝;藤本类树种一般于冬季进行整修, 使其攀附主枝均匀布满棚架。

3 行道树修剪

行道树是栽植在道路两侧及分车带的树木, 本身带有特殊的应用功能和要求, 所以行道树的整形修剪也与普通乔木类不同。行道树的应用功能主要是遮荫、减少噪音和改善环境, 因此其树冠的修剪原则主要为其特殊作用服务。行道树种类很多, 生长特性各异, 环境条件也各不相同, 在行道树的整形修剪中很难且很少采用同一种模式。现简要介绍一下杯形树冠的修剪方法。杯形树冠的整形修剪一般可分为3个阶段。首先, 要培养树形的骨架。确定主干高度, 一般行道树定干在4米以上, 干上选留5根左右生长健壮、均匀分布的主枝, 并选留好侧枝, 在每根侧枝上选留1~2条延长枝, 使树冠枝条分布均匀, 几年整修后, 基本形成行道树的骨架。其次是促进形成树冠。此时修剪主要以疏剪为主, 采取多留少剪方法, 疏剪过强、过密枝, 病虫枝、交叉枝, 扶养斜生枝, 并调节保持树势均衡状态。第三是更新树冠。当行道树的树冠长到一定高度与幅度时, 由于某些特殊环境条件, 导致树木生长势逐渐衰退, 此时必须采取更新办法, 以控制树冠的不断扩大, 更新修剪一般是在粗壮且有一定生长势的分枝上进行强度短截, 疏除分枝点基部上生长势差、枝短而弱、叶形小而薄的分枝。注意更新工作不是一年内完成的, 需分年实施, 逐步完成。另外, 杯形树冠的整形修剪方式只适用于一些萌芽性强、极耐修剪的树种。

4 绿篱整形修剪

诗歌意象鉴赏类型的方法 篇5

用一种反复出现的意象来表达特定的情趣和意味，代表民族和人类共通的情感体验，因而这些意象有较为固定的意义。如：梅、莲等

②分析意象的个性色彩，了解诗人惯用手法

一个出色的诗人，往往有自己特有的意象群，如屈原常用美人、香草、凤凰等，李白的诗中多黄河、大鹏、明月、剑侠等意象。折合诗人要表达的感情有关，也和诗人的风格有关。同一个意象，不同的诗人也会给予不同的情感，具有不同的含义，要注意结合诗句辨析。如：陶渊明《饮酒》其五：采菊东篱下，悠然见南山。《归去来兮辞》：三径就荒，松菊犹存。《和郭主簿》：芳菊开林耀，青松冠岩列。 / 唐·杜甫《云安九日》：寒花开已尽，菊蕊独盈枝。旧摘人频异，轻香酒暂随。/ 唐·白居易《咏菊》:一夜新霜著瓦轻，芭蕉新折败荷倾。耐寒唯有东篱菊，金粟初开晓更清。/ 唐·元稹《菊花》秋丛绕舍似陶家，遍绕篱边日渐斜。不是花中偏爱菊，此花开尽更无花。/唐·李商隐《菊花》暗暗淡淡紫，融融冶冶黄。陶令篱边色，罗含宅里香。几时禁重露，实是怯残阳。愿泛金鹦鹉，升君白玉堂。

③准确理解修饰词

如：马致远《天净沙.秋思》枯藤老树昏鸦。小桥流水人家。古道西风瘦马。夕阳西下，断肠人在天涯。(小令、“秋思之祖”。意象：枯藤、老树、昏鸦、小桥、流水、人家、古道、西风、瘦马、夕阳;意境: 萧瑟苍凉;情感：沦落天涯之人的孤独之感，思乡之情;)

3.诗歌意象鉴赏的答题步骤

小学生错题类型和纠错方法 篇6

笔者发现，错题大致分成三种类型。一是马虎的错误，比如抄错数字、符号，比如不写单位，比如计算错误等。二是看完题目后感觉自己是有思路会做的，但一动起笔来又写不下去了。三是认真读了好几遍题后还是分析不出个所以然的。对于这三种错题，第一类能马上发现问题，只要注意养成认真细心的习惯就可以解决。第三类完全没有头绪，暂时是你的难题，可以先放一边。而第二类出现的最多，面最广，也是最近这两年，才引起了我的重视。

学生经常会说，上课教师讲的时候我明明听懂了，怎么作业又错了？教师分析试卷的时候我已经把错题订正了，怎么这次考到一样的我还是错了？其实这就是一种似懂非懂的状态，成绩不理想，很大一部分原因是这类错题。那么，如何使错题不再错呢，笔者谈几点自己的看法。

一、一定要有错题本

每次作业考试后，第一类错题可以直接在原题目上订正，当然在旁边注明一下错误的原因。而第二类错题，就一定要做好记号，可以每天晚上整理、归纳到错题本上。如果时间不允许的话，也可以每周整理一次，甚至也可以请家长帮忙。有些大题，题目长，包括有些图形之类，都可以直接剪下来进行粘贴。

二、制定计划，反复练习错题

其实很多教师学生都重视错题本，但为什么有的却收效甚微？以笔者的经验，很多学生都是收集错题后在上面做一遍，考试之前再翻一翻，这样对待错题是起不到大的作用。笔者认为这时“制定计划，反复练习”至关重要。这半年，笔者都是让我的女儿每天晚上完成一道错题本上的题目，要写清楚详细的解答过程，再用不同颜色的笔在旁边标明上次错误的原因，需要用上哪些知識点等。有了这一步还不够，还有非常重要的一点——写上当天的时间。为什么要这样？因为如果是彻底理解了，那不管什么时候看到都是会的，所以一段时间后必须拿出来再做一遍，这样可以检验自己对这个错题是否真正掌握了。

三、学会归纳，总结方法

这样的反复练习，在一开始时会很累，会比较耗时间。但当你达到一定的程度后，你就会发现错题越来越少，做题目的速度越来越快了。那我们暂放一边的难题这时也就会有能力解决了。

这时，我们就要“学会归纳，总结方法”。数学的学习都是有规律可循的，各知识点之间也都是有联系的，教材各章节的编排也都是有它的道理的。所以，在整理错题、反复练习错题的过程中，慢慢就可以把同一种题型的题目归纳在一起，总结每一种题型的解题思路。坚持下去，就会有了举一反三的能力，那么错题也就不再会错了。

错题可以帮助我们查漏补缺，扫除知识的盲点，巩固基础。所以，认真地对待错题，就一定能在学习方面收到显著的效果。

基于类型的密码协议验证方法 篇7

密码协议安全性的证明问题一直是信息安全领域研究的热点和难点。协议的设计和分析的主要任务可简化为:一是用于获得特殊安全目标的原理;二是用于判断是否达到了这些目标的规则。本文主要探讨使用形式化的规则来获得密码协议安全属性的方法。这些规则基于传统的等级和信息流的思想, 通过将其扩展后用来处理密码协议中的并发进程。在安全协议的分析中, 该方法要求标记出所有的数据片和其相应的通信信道的安全等级:public或secret。secret级别的数据不应当在public的信道上发送, secret级别的信道不应当被所有人无差别地使用。本文的规则是基于Spi演算扩展语法的一种类型规则。通过这些规则可以向用户担保, 如果协议通过了类型检测, 则该协议没有泄漏任何秘密的信息。

1 Spi演算的扩展语法

本文所构造的类型系统中使用了在Spi演算的基础上提出的一种扩展语法。扩展的Spi演算具体语法形式如下:

在扩展Spi演算的限制、输入以及加密进程中, 变量x的受限制情况与Spi演算是相同的, 用于描述一个完整协议运行的扩展Spi演算的进程也一定是闭的。

类似于Spi演算, 在扩展Spi演算中也定义了两种进程间的关系。

简化关系f是一种公理化的形式, 描述了进程通过其本身的计算所达到的另一种状态, 类似于Spi演算中的反应关系。结构等价关系≡也是一种公理化的关系, 该关系用于转换进程, 使之可以进一步使用简化关系。简化关系f和结构等价关系≡都是定义在闭进程上的进程间关系, 可看作是扩展Spi演算的操作语义。

这两种进程间关系的具体形式定义如下:

结构等价关系

简化关系

$\overline{\text{a}}\langle \text{Μ}\rangle .\text{Q}|\text{a}(\text{x}).\text{Ρ}\text{f}\text{Q}|\text{Ρ}\{\text{Μ}/\text{x}\}\text{R}\text{e}\text{d}\text{Ι}/\text{Ο}$

case{M}k of {x}k in P else Q f P{M/x} Red Sdec1

$\frac{\text{L}\text{不}\text{是}\{\text{Μ}\}{}_{\text{k}}\text{形}\text{式}}{\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}\{\text{x}\}{}_{\text{k}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}\text{f}\text{Q}}$Red Sdec2

case {[M]}k of {[x]}k in P else Q f P{M/x} Red Pdec1

$\frac{\text{L}\text{不}\text{是}\{[\text{Μ}]\}{}_{\text{k}{}^{+}}\text{形}\text{式}}{\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}\{[\text{x}]\}{}_{\text{k}{}^{+}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}\text{f}\text{Q}}$Red Pdec2

case[{M}]k- of [{x}]k- in P else Q f P{M/x}

Red Checksign1

$\frac{\text{L}\text{不}\text{是}[\{\text{Μ}\}]{}_{\text{k}{}^{-}}\text{形}\text{式}}{\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}[\{\text{x}\}]{}_{\text{k}{}^{-}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}\text{f}\text{Q}}$Red Checksign2

if M=M then P else Q ϕ P Red Cond1

$\frac{\text{Μ}\ne \text{Ν}}{\text{i}\text{f}\text{Μ}=\text{Ν}\text{t}\text{h}\text{e}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}\text{ϕ}\text{Q}}$Red Cond2

$\frac{\text{Ρ}\text{ϕ}\text{Q}}{\text{Ρ}|\text{R}\text{ϕ}\text{Q}|\text{R}}$Red Par

$\frac{\text{Ρ}\text{ϕ}\text{Q}}{(\text{υ}\text{a})\text{Ρ}\text{ϕ}(\text{υ}\text{a})\text{Q}}$Red Res

$\frac{\text{Ρ}\text{'}\equiv \text{Ρ},\text{Ρ}\text{ϕ}\text{Q},\text{Q}\equiv \text{Q}\text{'}}{\text{Ρ}\text{'}\text{ϕ}\text{Q}\text{'}}\text{R}\text{e}\text{d}\equiv$

2 基于扩展Spi演算的类型系统

在关于密码协议安全性的分析方法中, 有一种著名的信息流控制方法。该方法依靠将客体和主体划分安全等级, 并且保证没有数据从高安全级别流向低安全级别。本文中, 安全级别被形式化为类型, 信息流的控制需要依靠类型规则来进行。

在扩展Spi演算基础上, 构建了一个基于扩展Spi演算的类型系统, 该类型系统包含基本类型定义、类型操作和类型规则三部分。基本类型定义了数据的安全级别, 类型操作是对类型规则具体应用的说明。通过类型规则该类型系统可以向用户担保, 如果一个描述协议的进程在一定的环境中是类型完善的, 则该协议不会泄漏任何秘密级别的消息。

2.1 基本类型定义

基于扩展Spi演算的语法, 可以构造构建一个类型系统, 其具体类型定义如下:

T ::= 类型

Public 公共数据

Secret 秘密数据

T1 ×. . . ×Tn 类型向量

C[T] 秘密类型的信道

KSecret[T] 秘密类型的对称密钥

EKSecret[T] 秘密类型的非对称加密密钥

DKSecret[T] EKSecret[T]对应的解密密钥

EKPublic[T] 公共类型的非对称加密密钥

DKPublic[T] EKPublic[T]对应的解密密钥

下面, 进一步定义该类型系统中子类型关系≤:

C[T]≤Secret KSecret≤Secret DKSecret[T]≤Secret

EKSecret[T] ≤Secret DKPublic[T] ≤Secret EKPublic[T] ≤Public

如果∀i∈{1, ..., n}, Ti=Public, 则T1×…×Tn≤Public。

如果∀i∈{1, ..., n}, Ti=Secret, 则T1×…×Tn≤Secret。

如果T1≤T′1, ..., Tn≤T′n, 则T1×…×Tn≤T′1×…×T′n。

在基本类型定义的基础上, 可将TPublic类型表示为:

TPublic={T|T≤Public}

={Public, EKPublic[T]}∪{T1×...×Tn|∀i∈{1, ..., n}, Ti∈TPublic}。

2.2 类型操作

该类型系统中定义的类型操作有:

(1) 如果T ≤ Public, 则conveys (T) =TPublic。

(2) conveys (C[T]) ={T′|T′ ≤ T}。

(3) Ontuple (T1, …, Tn) =T1×…×Tn。

(4) 如果T1 ≤ Public, T2 ≤ Public, 则Osenc (T1, T2) = Public。

(5) 如果T′ ≤ T, 则Osenc (T′, KSecret[T]) =Public。

(6) 如果T1≤Public, T2≤Public, 则Openc (T′, KSecret[T]) =Public。

(7) 如果T′ ≤ T, 则Openc (T′, EKL[T]) =Public。

(8) Oithn (T1×…×Tn) ={Ti}。

(9) 如果T ≤ Public, 则Osdec (Public, T) = TPublic。

(10) Osdec (Public, Ksecret[T]) ={T′|T′ ≤ T}。

(11) 如果T ≤ Public, 则Opdec (Public, T) = TPublic。

(12) Opdec (Public, DKSecret[T]) ={T′|T′ ≤ T}。

(13) Opdec (Public, DKPublic[T]) ={T′|T′ ≤ T}∪TPublic。

(14) 如果私钥k-的级别为DKL (T) , 则对应公钥k+的级别为EKL (T) 。

如果私钥k-的级别为Public, 则对应公钥k+的级别为Public。

(15) 如果T′ ≤ T, 那么OH (T) =Public。

(16) 若T既不是Public类型, 也不是C[T]类型, 则conceys (T) =Ø。

(17) 若Of (T1, …, Tn) 未定义, 则Og (T1, …, Tn) =Ø。

函数Of和Og给出了加密操作和解密操作的应用规则, 它们以类型作为参数, 返回的结果是加密操作f和解密操作g运行结果的类型。

2.3 类型规则

下面进一步给出基于扩展Spi演算类型系统的类型规则, 符号u表示名和变量, 符号T代表具体的类型。

· 关于环境的规则

$\overline{\varnothing |-\diamond }\text{E}\text{n}\text{v}\varnothing$

$\frac{\text{E}|-\diamond \text{u}\notin \text{d}\text{o}\text{m}(\text{E})}{\text{E},\text{u}:\text{Τ}|-\diamond }$Env atom

· 关于项的规则

$\frac{\text{E}|-\diamond (\text{u}:\text{Τ})\in \text{E}}{\text{E}|-\text{u}:\text{Τ}}\text{A}\text{t}\text{o}\text{m}$

$\frac{\text{E}|-\text{Μ}:\text{Τ}\text{Τ}\le \text{Τ}\text{'}}{\text{E}|-\text{Μ}:\text{Τ}\text{'}}\text{S}\text{u}\text{b}\text{s}\text{u}\text{m}\text{p}\text{t}\text{i}\text{o}\text{n}$

$\frac{\text{E}|-\diamond \text{E}|-\text{Μ}:\text{Τ}}{\text{E}|-\text{Η}(\text{Μ}):\text{Ο}{}_{\text{h}\text{a}\text{s}\text{h}}(\text{Τ})}\text{Η}\text{a}\text{s}\text{h}$

$\frac{\text{E}|-\diamond \text{E}|-\text{Μ}{}_1:\text{Τ}{}_1,\text{E}|-\text{Μ}{}_2:\text{Τ}{}_2}{\text{E}|-\{\text{Μ}{}_1\}{}_{\text{Μ}{}_2}:\text{Ο}{}_{\text{s}\text{e}\text{n}\text{c}}(\text{Τ}{}_1,\text{Τ}{}_2)}\text{S}\text{e}\text{n}\text{c}$

$\frac{\text{E}|-\diamond \text{E}|-\text{Μ}{}_1:\text{Τ}{}_1,\text{E}|-\text{Μ}{}_2:\text{Τ}{}_2}{\text{E}|-\{\text{Μ}{}_1\}{}_{\text{Μ}{}_2}:\text{Ο}{}_{\text{p}\text{e}\text{n}\text{c}}(\text{Τ}{}_1,\text{Τ}{}_2)}\text{Ρ}\text{e}\text{n}\text{c}$

$\frac{\text{E}|-\diamond \text{E}|-\text{Μ}{}_1:\text{Τ}{}_1,\text{E}|-\text{Μ}{}_2:\text{Τ}{}_2}{\text{E}|-\{\text{Μ}{}_1\}{}_{\text{Μ}{}_2}:\text{Ο}{}_{\text{s}\text{i}\text{g}\text{n}}(\text{Τ}{}_1,\text{Τ}{}_2)}\text{S}\text{i}\text{g}\text{n}$

· 关于进程的规则

$\frac{\text{E}|-\diamond }{\text{E}|-0}\text{Ν}\text{i}\text{l}$

$\frac{\text{E}|-\text{Ρ}\text{E}|-\text{Q}}{\text{E}|-\text{Ρ}|\text{Q}}\text{Ρ}\text{a}\text{r}\text{a}\text{l}\text{l}\text{e}\text{l}$

$\frac{\text{E}|-\text{Ρ}}{\text{E}|-!\text{Ρ}}\text{R}\text{e}\text{p}\text{l}\text{i}\text{c}\text{a}\text{t}\text{i}\text{o}\text{n}$

$\frac{\text{E},\text{a}:\text{Τ}|-\text{Ρ}}{\text{E}|-(\text{υ}\text{a})\text{Ρ}}\text{R}\text{e}\text{s}\text{t}\text{r}\text{i}\text{c}\text{t}\text{i}\text{o}\text{n}$

$\frac{\text{E}|-\text{Μ}:\text{Τ}\text{E}|-\text{Ν}:{\text{Τ}}^{\prime }{\text{Τ}}^{\prime }\in \text{c}\text{o}\text{n}\text{v}\text{e}\text{y}\text{s}(\text{Τ})\text{E}|-\text{Ρ}}{\text{E}|-\overline{\text{Μ}}\langle \text{Ν}\rangle .\text{Ρ}}\text{Ο}\text{u}\text{t}\text{p}\text{u}\text{t}$

$\frac{\text{E}|-\text{Μ}:\text{Τ}\forall {\text{Τ}}^{\prime }\in \text{c}\text{o}\text{n}\text{v}\text{e}\text{y}\text{s}(\text{Τ}),\text{E},\text{x}:{\text{Τ}}^{\prime }|-\text{Ρ}}{\text{E}|-\text{Μ}(\text{x}).\text{Ρ}}\text{Ι}\text{n}\text{p}\text{u}\text{t}$

$\frac{\text{E}|-\text{Μ}:\text{Τ}\text{E}|-\text{Ν}:{\text{Τ}}^{\prime }\text{i}\text{f}\text{Τ}={\text{Τ}}^{\prime }\text{t}\text{h}\text{e}\text{n}\text{E}|-\text{Ρ}\text{E}|-\text{Q}}{\text{E}|-\text{i}\text{f}\text{Μ}=\text{Ν}\text{t}\text{h}\text{e}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}}\text{C}\text{o}\text{n}\text{d}$

$\frac{\text{E}|-\text{L}:\text{Τ}{}_1,\text{E}|-\text{k}:\text{Τ}{}_2,\forall \text{Τ}\in \text{Ο}{}_{\text{s}\text{d}\text{e}\text{c}}(\text{Τ}{}_1,\text{Τ}{}_2),\text{E},\text{x}:\text{Τ}|-\text{Ρ},\text{E}|-\text{Q}}{\text{E}|-\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}\{\text{x}\}{}_{\text{k}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}}\text{S}\text{d}\text{e}\text{c}$

$\frac{\text{E}|-\text{L}:\text{Τ}{}_1,\text{E}|-\text{k}{}^{-}:\text{Τ}{}_2,\forall \text{Τ}\in \text{Ο}{}_{\text{p}\text{d}\text{e}\text{c}}(\text{Τ}{}_1,\text{Τ}{}_2),\text{E},\text{x}:\text{Τ}|-\text{Ρ}\text{E}|-\text{Q}}{\text{E}|-\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}\{[\text{x}]\}{}_{\text{k}{}^{+}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}}\text{Ρ}\text{d}\text{e}\text{c}$

$\frac{\text{E}|-\text{L}:\text{Τ}{}_1,\text{E}|-\text{k}{}^{+}:\text{Τ}{}_2,\forall \text{Τ}\in \text{Ο}{}_{\text{c}\text{h}\text{e}\text{c}\text{k}\text{s}\text{i}\text{g}\text{n}}(\text{Τ}{}_1,\text{Τ}{}_2),\text{E},\text{x}:\text{Τ}|-\text{Ρ}\text{E}|-\text{Q}}{\text{E}|-\text{c}\text{a}\text{s}\text{e}\text{L}\text{o}\text{f}[\{\text{x}\}]{}_{\text{k}{}^{-}}\text{i}\text{n}\text{Ρ}\text{e}\text{l}\text{s}\text{e}\text{Q}}\text{C}\text{h}\text{e}\text{c}\text{k}\text{S}\text{i}\text{g}\text{n}$

3 基于扩展Spi演算类型系统的安全属性

构建一个基于扩展Spi演算的类型系统的目的在于, 利用类型系统的特点分析密码协议的安全属性。本文主要是利用该类型系统证明协议的秘密性, 即如果一个描述完整协议的进程在该类型系统中是类型完善的, 那么该进程不会泄露任何秘密级别的数据。

在给出关于密码协议秘密性的定理之前首先需要证明几个引理:

引理1 如果存在E, E′|-M:T, E, x:T, E′|-M′:T′, 那么E, E′|-M′{M/x}:T。如果存在E, E′|-M:T, E, x:T, E′|-P, 那么E, E′|-P{M/x}。

证明 由函数Of (T1, …, Tn) 和Og (T1, …, Tn) 的定义。如果在环境E, E′中存在一个T类型的项, 那么使用该项替代具有相同类型的变量后对函数Of (T1, …, Tn) 和Og (T1, …, Tn) 的参数没有影响, 因此Of (T1, …, Tn) 和Og (T1, …, Tn) 返回值不变。所以, 对项M′而言, 替代后的项M′{M/x}仍保持与项M′有相同类型;对进程P而言, 如果P在环境中是类型完善的, 那么进程P{M/x}也是类型完善的。

引理1第一句话的含义是如果项M′中含有变量x, 在x具有确定类型的情况下, 使用环境中具有相同类型的项M代替x, 项M′{M/x}的类型不变。第二句话的含义是假设进程P在一个环境中是类型完善的, 那么如果P含有变量x, 在x具有确定类型的情况下, 使用环境中具有相同类型的项M代替x后所得进程P{M/x}在该环境中仍是类型完善的。

引理2 如果E|-P, P≡Q, 那么E|-Q。

证明 从P≡Q情况的归纳可证明该结论。

例如对结构一致性关系:

(υa1) (υa2) P≡ (υa2) (υa1) P a1≠a2

若E|- (υa1) (υa2) P, 由 (Restriction) 规则可知存在E, a1:T1, a2:T2|-P。

定义E′@E, a1:T1, a2:T2, E″@E, a2:T2, a1:T1。

显然E′与E″是一样的, 所以E|- (υa2) (υa1) P。

结论成立。

同样, 对所有结构一致性情况都可证明该定理是正确的, 引理2成立。

引理3 如果E|-P, P f Q, 那么E|-Q。

证明 该引理的证明需要对P f Q出现的情况进行归纳。

下面举出几种较复杂的情况, 证明如下:

· Red I/O情况下, $\overline{\text{a}}\langle \text{Μ}\rangle .\text{Q}|\text{a}(\text{x}).\text{Ρ}\text{f}\text{Q}|\text{Ρ}\{\text{Μ}/\text{x}\}$。

假设$\text{E}|-\overline{\text{a}}\langle \text{Μ}\rangle .\text{Q}|\text{a}(\text{x}).\text{Ρ}$, 由Parallel规则可知, 存在$\text{E}|-\overline{\text{a}}\langle \text{Μ}\rangle .\text{Q}$和E|-a (x) .P。由E|-a (x) .P和input规则可得:存在E|-a:T, ∀T′∈conveys (T) , E, x:T′|-P。由$\text{E}|-\overline{\text{a}}\langle \text{Μ}\rangle .\text{Q}$和output规则可得:存在E|-a:T, E|-M:T′, T′∈conveys (T) , E|-Q。由引理1可得, E|-P{M/x}。由Parallel规则可知E|-Q|P{M/x}。

· 对Red Cond1, if M=M then P else Q f P。

· 假设E|-if M=M then P else Q, 由cond规则, 存在 E|-M:T, E|-if T=T then P 和E|-Q, 因此满足E|-P。

· 对Red Sdec1, case {M}k of {x}k in P else Q f P{M/x}。

设E|-case {M}k of {x}k then P else Q, 由Sdec规则可知:E|-{M}k:T1, E|-k:T2。由解密函数的属性可知, ∃T∈Og (T1, T2) , 满足E|-x:T。

由函数Sdec () 的定义Sdec (N1, N2) =N可得, 存在替代σ满足{M}k=σN1, k=σ (N2) , M=σ (N) 。记N1和N2中所有变量为Xj, 则σxj为项{M}k和项k的子项, 设σxj的类型为Txj, 即E|-σxj:Txj。假设E′为所有Xj到类型Txj的环境, 则存在E′|-N1:T1和E′|-N2:T2。因为sdec (N1, N2) =N, 由解密函数的属性可知, ∃T∈Og (T1, T2) , 满足E′|-N:T。得E|-M:T。由于E, x:T|-P, 由引理1可得:E|-P{M/x}。结论成立。

Red Checksign1与Red Pdec1情况类似, 此处不再详细叙述。

通过上述分析可知, 引理3结论成立。

引理3说明如果一个进程是类型完善的, 那么该进程简化后的进程也是类型完善的。

引理4 对进程P, 如果fn (P) ⊆{a1, ..., an}, fv (P) ⊆{x1, ..., xm}, Ti≤Public, i∈{1...m}, Ti≤Public, i∈{1...m}, 则a1:Public, ..., an:Public, x1:T1, ..., xm:Tm|-P。

证明 首先证明对项M的情况, 即假设fn (M) ⊆{a1, ..., an}, fv (M) ⊆{x1, ..., xm}, Ti≤Public, i∈{1...m}, 那么a1:Public, ..., an:Public, x1:T1, ..., xm:Tm|-M:T。M的形式有以下几种:

· 若M为名和变量, 由atom规则, 结论显然成立。

· 若M={x}y, 则x:public, y:public。由加密函数属性可知x:public, y:public|-{x}y:T, T∈TPublic。

· 公钥加密, 数字签名, 以及哈希函数的证明类似于{x}y。

假设存在进程P, fn (P) ⊆{a1, ..., an}, fv (P) ⊆{x1, ..., xm}, i∈{1...m}, 满足:

E@a1:Public, ..., an:Public, x1:T1, ..., xm:Tm, E|-P

对所有可能进程形式的进行归纳:

· 空进程0是满足该条件的, 因为由Env Ø规则可知空环境是形式完善的。

· 对输出进程$\overline{\text{Μ}}\langle \text{Ν}\rangle .\text{Ρ}‚\text{Μ}$和N的类型为Public

由Output规则可得:

E, M:Public, N:Public$|-\overline{\text{Μ}}\langle \text{Ν}\rangle .\text{Ρ}$

因此进程$\overline{\text{Μ}}\langle \text{Ν}\rangle .\text{Ρ}$满足:

a1:Public, ..., an:Public, x1:T1, ..., xm:Tm, M:Public,

N:Public$|-\overline{\text{Μ}}\langle \text{Ν}\rangle .\text{Ρ}$

· 对输入进程M (x) .P, M的类型为Public, 变量x的类型为Tx, Tx≤Public。

由Input规则可得:E, M:Public, x:$\text{Τ}{}_{\text{Ρ}\text{u}\text{b}\text{l}\text{i}\text{c}}|-\overline{\text{Μ}}\langle \text{Ν}\rangle$

因此进程M (x) .P满足:

a1:Public, ..., an:Public, x1:T1, ..., xm:Tm, M:Public, x:TPublic|-M (x) .P

对其它进程结构的归纳同上, 证明情况类似, 本文不再详述, 因此引理4结论成立。

引理4说明对所有进程, 如果进程中出现的所有自由名和变量的类型为Public, 那么该进程是类型完善的, 也就是说所有描述攻击者的进程都是类型完善的。

在上面四个引理的基础上, 下面给出基于扩展Spi演算类型系统关于秘密性的定理。

定理 (秘密性) 闭进程P, 假设E|-P, E|-s:Secret, S={a|E|-a:T, T∈TPublic}, 那么进程P从S中保持了s的秘密性。

证明 反证法, 假设P没有保持s的秘密性,

由秘密性的定义可知, 一定存在进程Q使得P|Q在信道c上输出了s, c∈S。

假设Q=Q′{a′1/x1, ..., a′m/xm}, 其中fn (Q′) ={a1, ..., an}, fn (Q′) ⊆S, fv (Q′) ⊆{x1, ..., xm}, a′i∈S, i∈{1, ..., m}。

由进程输出的形式化定义可得, $\text{Ρ}|\text{Q}\text{f}{}^{*}\text{R}‚\text{R}\equiv \overline{\text{c}}\langle \text{s}\rangle |{\text{R}}^{\prime }$。

因为fn (Q′) ⊆S, 由S和TPublic的定义可知, E|-aj:Public, j∈{1, ..., n}。

同理, 设E|-a′i:T′i, i∈{1, ..., m}, 满足T′i≤Public。

由引理4可得, a1:Public, ..., an:Public, x1:T′1, ..., xm:T′m|-Q′。

由引理1可得, E|-Q′{a′1/x1, ..., a′l/xl}, 即E|-Q。

因为E|-P和E|-Q, 由parallel规则可得E|-P|Q。

因为P|Qf*R, 由引理3可知, $\text{E}|-\text{R}‚\text{E}|-\overline{\text{c}}\langle \text{s}\rangle |{\text{R}}^{\prime }$。

因为c∈S, 且$\text{E}|-\overline{\text{c}}\langle \text{s}\rangle$, 由Output规则可得E|-s:T, 且T∈TPublic, 与条件矛盾。

因此假设不成立, P从S中保持了s的秘密性。

定理成立。

定理表明了该基于扩展Spi演算的类型系统, 如果在一个环境E中闭进程P是类型完善的, 名s的类型不属于TPublic, S为具有TPublic中类型的所有名的集合, 那么在环境E中进程P保持s的类型。也就是说, 闭进程P保持了所有类型不属于TPublic的名的秘密性。定理是基于扩展Spi演算的类型系统对密码协议秘密性进行分析的基础。

集合S形式化的描述了攻击者的知识。本文中所有关于进程P保持了s的秘密性的结论, 均是指在一个确定S的条件下P保持了s的秘密性。

4 类型系统实例对安全属性的验证

下面通过一个具体密码协议的实例, 利用基于扩展Spi演算类型系统的类型规则, 结合扩展Spi演算对该协议的形式化描述来介绍类型系统对密码协议秘密性的分析方法。

该协议包含如下三条消息:

消息 1:A→B:{k, k${}_{\text{A}}^{+}$}k+B

消息 2:B→A:{k, kAB}k+A

消息 3:A→B:{s}KAB

该协议的主要目的是在用户A、B之间建立会话密钥KAB, 并使用该密钥传递秘密的消息s。

由于本文中类型系统主要是针对密码协议的秘密性进行分析, 因此在使用扩展Spi演算对该协议的描述中没有加入begin和end事件。协议的具体描述如下:

$\text{A}=(\text{υ}\text{k})\overline{\text{e}}\langle \{[\text{k},\text{k}{}_{\text{A}}^{+}]\}{}_{\text{k}{}_{\text{B}}^{+}}\rangle .\text{e}(\text{z}).\text{c}\text{a}\text{s}\text{e}\text{z}\text{o}\text{f}\{[\text{x},\text{y}]\}{}_{\text{k}{}_{\text{A}}^{+}}\text{i}\text{n}$

ifx=kthene〈{s}y〉

$\text{B}=\text{e}(\text{z}).\text{c}\text{a}\text{s}\text{e}\text{z}\text{o}\text{f}(\{[\text{x},\text{y}]\}{}_{\text{k}{}_{\text{B}}^{+}})\text{i}\text{n}(\text{υ}\text{k}{}_{\text{A}\text{B}})\overline{\text{e}}\langle \{[\text{x},\text{k}{}_{\text{A}\text{B}}]\}{}_{\text{y}}\rangle .$

e (z′) .case z′ of {u}kAB in 0

$\text{Ρ}=(\text{υ}\text{k}{}_{\text{A}}^{-})(\text{υ}\text{k}{}_{\text{B}}^{-})\overline{\text{e}}\langle \text{k}{}_{\text{A}}^{+}\rangle .\overline{\text{e}}\langle \text{k}{}_{\text{B}}^{+}\rangle .(\text{A}|\text{B})$

使用基于扩展Spi演算的类型系统可对上述协议的秘密性证明如下:

首先, 定义环境E为:E@s:Secret, e:Public。

由于KAB是用于加密Secret级别的对称密钥, 因此其类型为KSecret[Secret]。

同样由用户A和B的公钥k+A和k+B加密内容的类型可知其类型为:

TK+A@EKPublic[Secret×KSecret[Secret]]

TK+B@EKPublic[Secret×EKPublic[Secret×KSecret[Secret]]]由类型操作 (14) 可得其对应私钥的类型分别为:

TK-A@DKPublic[Secret×KSecret[Secret]]

TK-B@DKPublic[Secret×EKPublic[Secret×KSecret[Secret]]]在E的基础上, 引入环境E′的定义如下:

E′@E, sKA:DKPublic[Secret×KSecret[Secret]]

sKB:DKPublic[Secret×EKPublic[Secret×KSecret[Secret]]]

pKA:EKPublic[Secret×KSecret[Secret]]

pKB:EKPublic[Secret×EKPublic[Secret×KSecret[Secret]]]

因为TK+A和TK+B为Public类型的子类型, 因此TK+A∈conveys (Public) , TK+B∈conveys (Public) 。

由Restriction规则, 要证明P在环境E中是类型完善的, 需先证明 (A|B) 在环境E′中是类型完善的。

下面证明E′|-A:

由Penc规则可得:

E′, k:Secret|-{k, k${}_{\text{A}}^{+}$}k+B:Public

因此, 由output规则可知:$\overline{\text{e}}\langle \{\text{k},\text{k}{}_{\text{A}}^{+}\}{}_{\text{k}{}_{\text{B}}^{+}}\rangle$是类型完善的。

对输入进程e (z) , z可以是Public类型的任意子类型, 因此需要先证明case z of$\{\text{x},\text{y}\}\text{k}{}_{\text{A}}^{+}\text{t}\text{h}\text{e}\text{n}\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$在一个环境中是类型完善的。

即需要证明:

E′, k:Secret, x:Tx, y:Ty|-if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$

而Tx和Ty存在如下两种可能:

Tx≤Secret, Ty≤KSecret[Secret]或Tx≤Public, Ty≤Public

对第一种情况, 因为x和k的类型都是Secret, 且$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$是类型完善的, 因此cond规则的条件满足, 即E′, k:Secret, x:Secret, y:Secret|-if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$; 对第二种情况, 因为x和k不是相同类型, 所以if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle \text{f}0$, 而空进程0是类型完善的, 因此E′, k:Secret, x:Tx, y:Ty|-if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$也是成立的。

所以E′, k:Secret, x:Tx, y:Ty|-if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$是成立的。

由Pdec规则, E′|-case z of {[x, y]}k+A in if x=k then$\overline{\text{e}}\langle \{\text{s}\}{}_{\text{y}}\rangle$。

由上分析可知, 进程A在环境E′中是类型完善的。

同样可证进程B在环境E′中也是类型完善的。

由Parallel规则, 进程 (A|B) 在E′中是类型完善的。

因此由Restriction规则可知, 进程P在环境E中是类型完善的。

由定理1可知, 进程P在环境{e}中保持了s的秘密性。

5 总 结

本文通过对Spi演算语法和语义进行扩充和改进, 获得了扩展Spi演算语法。并利用该扩展Spi演算构造了一种类型系统, 定义了该类型系统中的基本类型, 类型规则以及类型操作。通过该类型系统, 研究了类型检测对密码协议保密性的分析方法, 并以一个典型的三步协议为例, 利用该类型系统证明了其保密性。该类型系统也可以用于对一些较复杂安全协议的保密性验证。

摘要：探讨使用一组形式化的规则来验证密码协议安全属性的方法。这些规则基于传统的等级和信息流的思想, 通过将其扩展后用来处理密码协议中的并发进程。通过这些规则可以向用户提供一种检测方法, 该方法用于判断:如果协议通过了检测, 则可以认为该协议没有泄漏任何秘密的消息。

关键词：信息安全,密码协议,安全属性,秘密性

参考文献

[1] Abadi M, Blanchet B.Analyzing Security Protocols with Secrecy Types and Logic Programs[J].Journal of the ACM 52.1, 2005:102-146.

[2] Abadi M, Blanchet B.Computer-Assisted Verication of a Protocol for Certied Emai[J].Science of Computer Programming 2005, Special issu SAS`03.

[3] Laud P.Handling Encryption in an Analysis for Secure Information Flow[C]//P.Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming, ESOP'03, volume 2618 of LNCS, pages 159{173.Springer, Apr.2003.

[4] Abadi M.Secrecy by typing in secureity protocols[J].Journal of the ACM, 1999, 46 (5) :749-786.

[5]Abadi M, Blanchet B.Secrecy Types for Asymmetric Communication[C]//F.Honsell and M.Miculan, editors, Foundations of Software Sci-ence and Computation Structures (FoSSaCS 2001) , volume 2030 ofLecture Notes on Computer Science, pages 25--41, Genova, Italy, Apr.2001.Springer Verlag.

[6]Abadi M, Grodon A D.A calculus for Cryptographic Protocols:The Spicalculus[J].In theProceedings of the Fourth ACMConference on Com-munication Security, 1997, 04.

景区地质灾害类型及治理方法 篇8

1 景区各种边坡失稳的机理及治理方式

1.1 边坡失稳机理及防护要求

对边坡进行防护, 必须考虑以下问题: (1) 边坡稳定:保护路基边坡表面免受雨水冲刷, 减缓温差与温度变化的影响, 防止和延缓软岩土表面的风化、破碎、剥蚀演变过程, 从而保护路基的整体稳定性。 (2) 环境保护:使工程对环境的扰乱程度减少到最小, 并谋求人工构造物与自然环境相协调。 (3) 综合效应:综合防光, 防眩, 防烟, 诱导司机视线, 改善景观等目的进行边坡绿化防护, 充分发挥防护工程的综合效益。

1.2 边坡主要治理方式

1.2.1 喷浆或喷射混凝土防护

该方法主要适用于岩性较差、强度较低、易风化或坚硬岩层风化破碎、节理发育、其表层风化剥落的岩质边坡;上部岩层风化破碎下部岩层坚硬完整的高大路堑边坡。

喷浆厚度不宜小于1.5cm~2cm, 喷射混凝土的厚度以3cm~5cm为宜。

1.2.2 喷锚防护

该方法主要用于喷浆 (喷射混凝土) 防护的岩质边坡, 当岩层风化破碎严重、节理发育, 破碎岩层较厚的情况。它具有较高的强度, 较好的抗裂性能, 能使坡面内一定深度内的破碎岩层得以加强, 并能承受少量的破碎体所产生的侧压力。

锚杆的类型有树脂锚杆、全长砂浆锚杆、塑料锚杆、水泥锚杆和缝管锚杆。

1.2.3 土钉墙

土钉墙是一种较新式的结构物, 它主要由“钉” (即锚杆) 、混凝土面板 (挂网喷射混凝土) 、锚板组成。

主要适用于风化破碎较严重的岩石边坡, 也可用于粉土、砾石和砂土边坡。

1.2.4 预应力锚索梁

主要应用与裂隙和断层发育、放缓边坡工作量巨大的高陡边坡。

这种方法的最大特点是:可保持既有坡面状态下深入坡体内部进行大范围加固;预先主动对边坡松散岩层施加正压力, 起到挤密锁固作用;同时, 锚索孔高压注浆, 浆液充填裂隙和孔隙, 又可提高破碎岩体的强度和整体性;结构简单、工期短、造价低廉。

1.3 柔性支护

1.3.1 三维植被网

三维植被网又称防侵蚀网, 以热塑树脂为原料。结构分为上下两层, 上层为一个经双面拉伸的高模量基础层, 强度足以防止植被网的变形, 并能有效防止水土流失, 下层是一层弹性的、规则的、凹凸不平的网包组成。

适用于稳定的土质和岩质边坡, 特别是土质贫瘠的边坡和土石混填的边坡可以起到固土防冲并改善植草质量的良好效果。具有固土效果极好、抗冲刷能力强、使用寿命长等特点。

1.3.2 钢绳网主动防护

该方法是一种能拦截和堆存落石的柔性拦石网, 由钢绳网、固定系统、减压环和钢柱四部分组成。

适用于岩体交互发育、坡面整体性差, 有岩崩可能的高路堑边坡 (图1) 。

2 工程实例

2.1 工程概况

本工程位于深圳市盐田区三洲田东部华侨城“天麓七区”, 坡顶、底为景区内道路。边坡支护总面积约为:1900m2, 边坡高度为5m~11.5m, 坡长约200m。

根据现场实测资料, 边坡出露坡面的主要岩性为:花岗岩残积土、全风化花岗岩、强风化花岗岩及中风化花岗岩, 局部强中风化岩交界面及残损土与强风化岩交界面有地下水渗出。

2.2 设计原则

(1) 根据现场地质条件、景区周边环境、边坡稳定性状及主要破坏形式, 本着安全、经济、合理、美观、适用的原则, 尽可能采用经济合理科学的支护型式。

(2) 优先对地表水进行治理, 强化生态边坡治理的理念, 即边坡设计兼顾安全与环境绿化。

2.3 边坡支护型式

据土层分层特点, 边坡高度及岩层破碎状态分三种支护型式。

(1) 钢筋砼格构梁+预应力锚索+GPS2柔性防护网:主要适合边坡上部为全风化及强风化岩层, 下部为中风化岩的边坡。

(2) GPS2柔性防护网+锚杆:主要适合中风化岩质边坡。

(3) 钢筋砼格构梁+锚杆:主要适合残积土边坡及全风化层边坡。

2.4 主要设计参数及施工技术要求

2.4.1 锚杆

(1) 锚杆孔径φ110mm, 下倾角为15°, 长度为6m~15m。

(2) 锚杆杆体采用φ32HRB335热轧钢筋。

(3) 注浆材料采用P.O.32.5水泥纯浆, 水灰比为0.45, 浆体强度等级M30。注浆压力为0.6MPa~0.8MPa。

2.4.2 锚索

(1) 锚索孔径φ130mm, 下倾角为15°。 (2) 索体为3φ15.2mm钢绞线, 长度为2 5 m, 自由段长8 m。轴向拉力设计值为300kN, 锁定拉力200kN。

(3) 采用风动潜孔钻进。注浆采用二次压力注浆工艺, 由孔底向孔内注浆, 二次注浆压力为2.5MPa~5.0MPa。注浆材料采用P.O32.5水泥纯浆, 水灰比为0.5, 浆体强度等级M30。

(4) 锚固体强度达到设计强度的80%后方可进行张拉。锚头作防处理后用C30砼封闭。

2.4.3 GPS2柔性防护网

(1) 先对坡面防护区域内的浮土及危岩进行清除或局部加固。

(2) 用支撑绳 (其中纵向用φ16钢绳;横向用φ12钢绳) 与锚杆相联结, 构成4.5m×4.5m或2.25m×4.5m的支撑绳网格, 并进行预紧张拉。

(3) 在每个网格中自上而下铺设4m×4m小孔的SO/2.2/50格栅网, 以阻止小尺寸岩块的崩落。

(4) 在每个网格中自上而下铺设4m×4m大孔的DO/08/300型钢绳网, 以防弧石或大岩块的崩落。

2.4.4 格构粱

(1) 锚索 (杆) 格构粱截面尺寸4 0 0×400mm, 采用C25钢筋砼浇筑。

(2) 格构粱嵌入坡面深度根据现场坡面调整, 尽量使梁面与整体坡面保持平顺 (图2) 。

3 结语

通过多年来在东部华侨城景区的各类边坡治理工程实际经验, 笔者感到对于景区内的边坡处理的越来越趋向于美观、环保及与周边生态环境相适应的综合要求。故在选择边坡治理方案时也是将此作为一个重要要求, 根据边坡类型以及生态环境合理科学的选择多种支护形式相结合的方案, 从而取得最佳的经济和环境综合效果。

摘要：本文对东部华侨城周边景区原生态环境的保护预先制定了一些预防措施, 对景区各种边坡失稳问题提出了防护要求和治理方式。

叙事类型作文教学方法探讨 篇9

关键词：作文,叙事,课堂,方法

一、审题立意之法

作为材料作文之一,叙事类作文应在正确理解材料的基础上,对材料进行取舍与加工,再立意。立意的高低代表了作文思想境界的高低,也决定了作文的高下之分。因此,教师教导学生根据材料内容进行立意。这是提高叙事类作文教学的第一步。同时,叙事类作文的可读性在于作文语言的魅力。要把一篇文章写得引人入胜,生动有趣的语言是必不可少的。根据材料内容,扣住材料主题,在抓主流的大前提下,找准切入点,进入场景描述,可为人物的出现打下好的铺垫。

但现在的很多叙事类作文写作中,很多学生在审题时存在着抓不住主流的问题。在审读给出的材料时,学生对材料的主体内容把握不到位,反而把材料中的细节点作为作文主体大书特书,这样的审题立意必然只能形成偏题。还有一部分学生,一味追求新奇特,在审题立意时,各种想法天马行空,强拉硬拽,甚至有时会脱离所给出的材料范围。另外,还有一部分学生想法太多,审题立意时这也想写,那也想写,一篇几百字的作文,什么都讲了一点,却什么也没讲出来,最终主题思想不明,写作方向混乱,这样的作文也是难以吸引读者的眼球。

二、引导铺垫之法

当叙事类作文找准一个主方向后,专一是最重要的,即理解材料主题后,找到一个侧面。一篇文章能讲清一个观点,一个事情就非常好了。所以,对于材料中主体对象的把握应贯穿整篇文章中,考虑到叙事性材料里与对象有关的具体事件是撑起整个文章的骨骼。在写作的开始,就应该把一切词句的服务方向指向要写的主题。

对于叙事类型的作文而言,推动事件发展的必然是其情节,而所有的情节发展都有其内在的原因与外在的因素。所以,在教学中,教师应在教会学生分析材料主题内容之后,再进行材料的内因外因剖析,找出人物的行为,其行为的动机和目的,以及事件可能的发展方向。对材料进行内外因的分析,可以从原因入手,也可以从结果倒推,这两个方向都能有效地推进叙事的发展。在教学中,教师应让学生认清铺垫最终是为叙事的发展服务的,所以不论是从原因切入,还是从结果分析,都应把握材料主旨,紧扣立意进行铺垫。

三、升华提炼之法

审题立意打下了叙事类文章的写作方向,而铺垫与引导则打下了叙事类文章的内容发展。在教学中,教师应遵循稳打稳扎的教学方法,一开始不需要让学生尝试表达太多立意,而只要求学生从一个侧面写透一个观点即可。对学生来说,在进行叙事类作文写作时应以最好写的角度切入,量力而力,在自己语言组织能力能驾驭的范围内铺开写作。

考虑到叙事类作文的命题者都是通过所给出的材料进行社会现状的聚焦,或者是对某一现象或观点的影射。在教学时,教师应教会学生去理解命题者的思路,尝试从材料中找出当今社会所常见的人物、事件、现象等,从而把材料引向现实生活。这样的写作才能联系到社会实际,从材料中照出生活的影子,最终点题,点明写作立意,文章才能得到提炼与升华。

四、教学实例

“我的外公从前会偷东西。”母亲说。有一天,他去别人菜园偷菜,被菜园主人看见了。可是,那主人却转身走了。外公以为那人要告官连忙追去,不料那人进了自家的门,还把门关上。外公想想,上去敲门。门开了,外公说:“我被你看见了。”那人说:“看什么?我今天连门都没出。”外公说:“是被你看见了,偷你的菜。”外公还说:“我现在没法做人了。”那人笑道:“你说什么话。咱们是邻居。你想知道我的菜为啥长得漂亮。尽管问。我那菜,好看,也好吃。不信你先尝尝。”说着,他真去天井边的悬篮里抱出两颗菜,硬是塞到外公手里。于是,外公决定做一个好人。后来,外公成了邻里众口交誉的人。

根据以上给出的这一篇材料,在教学时,教师可先让学生找出材料里的主要对象,答案是故事中的外公与菜园的主人。接下来分析两个主要对象间的关系,即并列关系。并列关系中,这两个主要对象在这个故事里所表现出来的人物性格十分明显,一个是偷菜的外公,胆小,怕菜园主人告官,于是赶紧追上菜园主人,却发现他进了自己家。一个是菜园主人,发现外公在偷菜却一声不吭,甚至还回避看见了偷菜这一事实,最后还找了个借口送了外公两棵菜。

在这个故事里,教师引导学生去想,故事里的外公心理动机与性格特点,偷菜还怕人看见,说明外公还有廉耻之心。菜园主人明明看见却当做看不见,甚至在外公追来敲后还替其掩饰,送了他菜,说明菜园主人宽厚为怀。最终,事情的结果是外公变成了一个好人,而菜园主人从此也多了一位好邻居。在这个故事里,起到转机的是什么?是菜园主人的回避。菜园主人的回避是因为什么?因为他的宽容之心。分析到这里,学生才能从材料的表面看到材料的主题,找到命题者想传达的信息。而宽容在当今社会里,引发了什么,改变了什么,对于宽容你想说什么,接下来的这些就只需要学生按自己的想法自由发挥了。

综上所述,要想提高叙事类作文教学的效率在于引导学生读出材料的主题,才能切题。作文的可读性在于学生要写出自己的想法。因此,教师在教学中就要让学生用生活的眼光去看材料,用生活化的语言去写文章,并读懂材料,读透材料,用材料印证自己的观点。这样的叙事类作文才言之有物,言之成理。

参考文献

[1]周波.品读考场叙事类作文的“形象与生动”[J].中学语文,2014(12).

语言类型学研究方法初探 篇10

关键词：语言类型学,现代语言学

语言类型学是现代语言学领域中极为重要的一门学科, 它是对于达到普通语言学 (或一般语言学) 的最终目标的有益探索。

一、语言类型学的定义和特征

类型学一词使用十分广泛。除了语言学领域之外, 在生物学以及其他的自然科学上皆有类型学研究。泛泛的来讲, 语言类型学是根据某种标准对语言进行分类的科学, 在此种意义上, 语言类型学也可被称为语言分类学。然而, 严格意义上的语言类型学是指只能在跨语言比较的基础上发现的语言类型研究。

当今语言学研究上较为突出的流派之一是转换生成语法, 其代表者和创始人为乔姆斯基。一般来讲, 乔姆斯基学派会以研究某种具体语言如英语作为他们的研究起点, 在弄清楚英语的语言语法规则之后, 再将这些规则运用于其他各种语言中以验证其是否普遍适用。其所有的研究过程皆在语言内部进行, 故可称之为语言内部研究。类型学的研究方法与结构主义有很大的不同。类型学家们认为尽管各种语言具有某种程度的相似性, 但不同点还是最主要的。相对于转换生成语法, 语言类型学的研究着眼于语言功能观, 即语言研究是从功能、语义或语用角度出发, 可称之为语言外部研究。语言类型学与历史比较语言学的区别在于:历史比较语言学侧重于语系划分和不同语系之间联系的探求;而语言类型学虽然也对语言进行分类, 其分类方式却与语系无关。

可见, 语言类型学作为一种以跨语言比较为主要方法、侧重于语言内部研究的普通语言学流派, 有着自身独特的特征。

二、语言类型学的发展

语言类型学的发展过程可大致划分为两个阶段:传统类型学研究阶段和现代类型学研究阶段。

传统语言类型学起步于十九世纪, 总体上来讲, 它是一种语言分类学, 受当时生物学的影响较大。在这个阶段, 世界上的不同语言根据不同的分类标准被划分为很多类别。自二十世纪六十年代起, 语言类型学进入现代研究阶段。这时的语言学界出现了一位伟大的人物, 格林伯格, 他是一位伟大的语言类型学家。在研究中, 他发现传统的语言类型学分类存在着一定的缺陷, 往往仅以语言某一方面的特征作为凭据, 不仅使得语言分类多而杂乱, 而且并不能从整体上反应语言的特征。经过大量的语料分析, 他逐渐发现语序是影响语言的重要特征, 而且语序能在很大程度上反应语言整体的变化, 如果某种语言的语序发生了改变, 其他要素也会发生相应的改变;如果两种不同的语言在语序上存在差别, 在语言的其他方面也极有可能存在差别。相比之前的传统研究方法, 这种方法显得更为科学, 因此, 格林伯格开始致力于基于语序方面的语言研究和分类。经过了对三十余种样本语言的细致入微的研究, 格林伯格得出了四十五条普遍规律, 这些规律后来又在多种其他语言中得到了验证。在这些普遍规律中, 有二十八条跟语序相关。这时, 以格林伯格为代表的语言类型学研究进入了现代阶段, 其研究的重心为语序, 方法为语料分析和逻辑推理。

三、主导理论和和谐理论

现代语言类型学的最显著特点就是在两种表面看来毫不相关的语序结构之间建立起了联系, 这种联系被称之为蕴含共性, 在此笔者将对蕴含共性进行深层阐释。主导理论和和谐理论是蕴含共性研究中两个极为重要的理论。主导语序是指总是出现在前提项的语序, 主导语序跟图表中与之关联的任一语序参数皆能成立。和谐理论是说若一个语序能且只能跟与之关联的某一语序参数成立, 则说这一语序与此语序参数和谐。如下表所示:

从上表可以看出, 名词+关系从句结构为主导语序, 因为它与横截面上的指示代词+名词结构、名词+指示代词结构皆能成立。同样的, 指示代词+名词结构亦为主导语序。从上表我们还可以得出:名词+指示代词结构与名词+关系从句结构和谐, 而与关系从句+名词结构相斥;同样的, 关系从句+名词结构与指示代词+名词结构和谐, 而与名词+指示代词结构相斥。

和谐理论已经成功地解释了很多在汉语和英语中常见的歧义结构。比如英语中一常见的歧义句如下:

Flying planes can be dangerous.

对于这一句话, 人们可以有两种不同的理解。其一为“飞行过程中的飞机很危险”, 其二为“开飞机是一项危险的活动”。之所以产生这样的歧义, 语言类型学的解释为VO结构与AN结构不和谐。

四、结语

语言类型学中的蕴含共性理论和和谐理论已被用于解释各种各样的语言现象。除此以外, 语言类型学中还有诸如标记特征、语言语法等级、原型理论等等理论。然而, 尽管人类语言的任意性特征导致不同语言之间的差别无穷无尽, 不可预测, 但在跨语言比较中, 语言类型学家们发现, 人类语言的结构模式是有限的, 一些在逻辑上成立的语言类型由于诸多因素的限制不可能成为被实际使用的语言。因此从这点上来讲, 人类的语言又具有其共同特征。共同特征是不同的语言之间得以进行比较的基础。类型学, 作为现代语言学的重要领域, 为普通语言学和语言共性研究做出了巨大的贡献。

参考文献

[1]Croft, William.August2000.Typology andUniversals.Beijing:foreign language teaching and research press.

浅谈课堂展示的类型和方法 篇11

关键词：展示；组内小展；班内大展示

展示就是學生在“预习、探究”的基础上，对教学内容进行深入的探究后，在课堂上将自己或本组的探究结果通过言语和操作等形式呈现出来，从而检验其自学的效果，同时让全班学生进行分享和学习。展示是整个课堂的主旋律，学生的动应贯穿于课堂的始终。教师要有让全体学生参与的意识，调动更多学生的学习热情，让学生无拘无束的“动”，随心所欲的“说”，在课堂零干扰的状态下主动求知、以学促教。

一般来说，根据展示的范围和层次可分两种，一种是组内展示，一种是全班展示。为了使课堂展示更高效，在设计展示环节时，教师应首先考虑“在什么范围内展示”，即展示的层次是什么，然后才考虑“由谁来展示”“展示什么”“如何展示”等。展示一般是按照先组内、后班内的顺序进行。根据这些特点，可以将展示分为组内小展示、班内大展示和自由展示三种基本类型。

一、组内小展示

组内小展示是由小组长组织在组内进行的展示，要求人人参与，是组内合作探究的重要组成部分。组内展示可以为学生提供更多展示和锻炼的机会，可以让全班学生在单位时间内平均获得展示机会的人数更多，单位时间内全体学生的思维训练量更大，并以此确保学生展示的广度和深度。如果时间和任务设计得当，在同一时间内，组内展示甚至可以实现人人参与。

组内小展示主要是展示学习中尚未解决的问题或一些生成性的问题，解决最为基础的问题。并由小组长将组内交流还未解决的问题由学习组长汇报给教师，便于教师把握学情，为班内大展示做好铺垫。

1.组内小展示的流程

第一步：根据教师提出的学习目标，学科组长组织学员快速聚拢在一起。

第二步：组长组织组员进行合作探究，为组内展示做好准备。尽可能地组织组员人人参与展示。

第三步：组内分享学时的学习收获，再暴露问题。突出展示学习的重点、难点、易错点、生成点等问题。一般由C层学生首先发言，B层学生补充、纠正、完善；A层学生解决B层学生不能解决的问题，并进行补充点评。以“我学会了……”“我读懂了……”“我认为……”“我的体会是……”等形式进行交流，再暴露出学时产生的疑问，如“这个词语的意思我不懂”“这个问题我不明白”等。

第四步：在大家分享讨论时，由各组记录员做好记录，将本组学习的重点内容和产生的疑问分别板书在本组展示板（小黑板、白板或展示本）上，便于班内大展示时全班交流和讨论。

2.组内小展示中对学生的要求

（1）组织：学科组长必须快速认真地按照由“C层学生→B层学生→A层学生”的顺序组织发言，尽可能地保证人人参与。

（2）声音：展示过程中声音适中，以本组组员听清且不影响他组为宜。

（3）形式：展示形式尽可能多样化，如果能够使用语言以外的形式展示的更好。

（4）准备：确定班内大展示的组员人选和展示形式。

3.组内小展示中对教师的要求

（1）学情调查。调查的方式包括教师巡视和学习组长反馈。教师就小展示暴露出来的问题和小组备展的情况，灵活调整预设的时间安排，以此确定大展示的内容、时间、方式。

（2）即时点拨和评价。教师在关注学情的过程中，开展即时性评价，三言两语，一语中的，以此激励学生。

（3）组间协调。教师巡视发现各小组暴露的问题，组织组间互相答疑解惑，为班内大展示做好铺垫。

二、班内大展示

班内大展示一般是以组为单位在班内进行的展示。班内大展示的要求是：高效展示、形式多样、补充到位、有效质疑、及时评价、拓展提升。因此，班内大展示应该是先展示，后点评。展示时小组选派代表在班内展示带有共性的问题、易错的问题。展示时一般由B层或C层学生展示，由A层学生负责点评或拓展。教师要适时追问、点拨、启发、引导学生，对课堂进行调控。点评时，点评的内容则应该是具有针对性、拓展补充性。对展示组的人员参与度、精彩度、准确度、团结协作等方面的优点与不足进行点评、打分。

1.班内大展示的流程

（1）任务：组长确定或认领展示内容和任务。

（2）分工：组长带领全组学生明确任务，确定展示的形式，进行合理分工。

（3）预演：在小组内排练演习，做好充分准备。

（4）组织：展示者提前进入预定位置，合理占位。

（5）完善：展示结束后，听展示者如有补充、建议和疑问，可以及时提出，质疑对抗。

（6）评价：教师或学生进行展示评价。

2.班内大展示内容的确定

（1）预设与变化相结合的原则。首先要在导学案中进行预设；在小组合作探究展示时，教师必须清楚各组自主学习和组内展示的情况，根据掌握的情况合理调整班内大展示的内容。

（2）教师补充完善：对小组没有展示的重点、难点和易错点教师要补充讨论和展示。

（3）确定展示内容的技巧：①一看就懂的问题不展示；②需要教师系统说明的问题不展示；③有口难辩和理论性强的问题不展示；④收效甚微的问题不展示。

3.班内大展示时对学生的要求

（1）展示者合理占位，个人口头展示在座位上，其他形式展示和多人展示在讲台上。

（2）尽可能展示形式多样化；板书工整，合理运用双色笔，并控制展示时间。

（3）非展示的同学要认真倾听，合理记录和整理导学案。

（4）有疑必问，共同提升。

4.班内大展示中教师的作用

（1）组织：在掌握学情的前提下，有序地安排和组织学生开展班内大展示，认真督促学生完成导学案上的问题或练习。

（2）点拨：教师要适时追问、点拨、启发、引导、评价，使学生始终处于最佳学习状态。

（3）点评：点评不要局限于知识技能方面的内容，学习方法、技巧也是点评的重要内容之一，也可由学生点评并评分。点评中要及时表扬和赏识学生。（A、B、C层学生的奖励有区别，C层学生的最高，A层学生的最低）。

三、自由展示

自由展示，是展示的最高境界，是学习成果的交流和分享。这个阶段的展示，已经不再是形式，而应该成为分享，成为自觉，成为需要，课堂真正呈现的是知识的超市、生命的狂欢。这个阶段是在组内小展示和班内大展示后，围绕重点问题展开自由的展示，或个人，或对子，或小组，不再有教师分配展示任务，而是学生自觉地拿出学习成果与大家分享。查找相关资料，杜郎口的很多语文课都是这样围绕一个个问题进行的自由展示。

自由展示过程中，教师要控制展示的内容、时间和次序，一切展示活动都要在教师的引导和控制下进行。做到乱而有序、争而有度。

展示是高效课堂的重要环节，只有教师和学生都清楚展示的类型和方法，才能使展示过程更加流畅，展示环节更加精彩，展示内容更加精准，展示动力更加持续，展示效果更加高效，从而保证课堂教与学的高效性。

（作者单位 湖南省冷水江市教师进修学校）

电子电路中反馈类型判断方法 篇12

一、确定电路中的反馈元件

反馈就是将系统或电路中输出信号 (电压、电流) 的一部分或全部, 通过一定方式 (元件或网络) 返送到输入端并与输入信号 (电压、电流) 相结合的过程。任何同时连接着输出回路和输入回路且影响着输入回路元件, 都是反馈元件, 反馈中分为主要反馈与次要反馈 (本级反馈) , 所以可以通过直观法来判断。例如下图所示 (a) 中Rf1为主要反馈, Rf1、Rf3为次要反馈。

二、正确认识放大器的三种基本组态中三极管各电极间的相对关系

如图所示:

(1) 在共发射极电路中, 集电极输出信号与基极输入信号的瞬时极性相反;

(2) 在共集电极电路中, 发射极输出信号与基极输入信号的瞬时极性相同;

(3) 在共基极电路中, 集电极输出信号与基极输入信号的瞬时极性相同。

三、采用瞬时极性法判断正反馈与负反馈

假设在原输入信号在某一瞬间对地极性为“+”, 根据三极管各电极间的相对关系, 依次标出放大器各点瞬间极性。瞬时极性为“+”, 即电位在升高, 瞬时极性为“-”, 即电位在下降。根据三极管集电极瞬时极性与基极的瞬时极性相反, 而发射极的瞬时极性与基极的瞬时极性相同, 来决定各点的瞬时极性。如果反馈信号的极性与原假设相同为正反馈, 对净信号量起到叠加作用, 相反为负反馈, 对净信号量起到衰减作用。

四、判断电压反馈与电流反馈

方法1:把放大电路的输出端短路或接上一个容量较大的电解电容, 即使输出电压为零时, 如果反馈信号消失, 则为电压反馈, 如果反馈信号仍然存在, 则为电流反馈。如图 (a) 中Rf1所引入的反馈为电压反馈;图 (b) 中Rf所引入的反馈为电流反馈。

方法2:1) 如果反馈网络与输出电压在不同电极上则为电流反馈, 如图 (b) 中Rf所引入的反馈为电流反馈。

2) 如果反馈网络与输出电压在同一电极上, 则为电压反馈。如图 (a) 中Rf1所引入的反馈为电压反馈。

所以对于三极管来说, 反馈信号与输入信号同时加在输入三极管的基极或发射极, 则为并联反馈;一个加在基极, 另一个加在发射极则为串联反馈。对于运算放大器来说, 反馈信号与输入信号同时加在同相输入端或反相输入端, 则为并联反馈;一个加在同相输入端, 另一个加在反相输入端则为串联反馈。在确定电路中串联或并联反馈后, 正、负反馈可用下列方法来判断: (1) 反馈信号和输入信号加于输入回路同一点时:当瞬时极性相同的为正反馈, 而瞬时极性相反的为负反馈。 (2) 反馈信号和输入信号加于输入回路两点时:当瞬时极性相同的为负反馈, 瞬时极性相反的为正反馈。对三极管放大电路来说这两点是基极和发射极, 对运算放大器来说是同相输入端和反相输入端。

五、判断串联反馈与并联反馈

方法1:把放大电路中的输入端短路, 如果反馈信号同样被短路, 即净输入信号为零, 则为并联反馈, 如果仍然存在为串联反馈。

方法2:从反馈网络与放大电路的输入端连接方式来判断两者之间是并联还是串联来判断, 即反馈到基极的是并联反馈, 反馈到发射极的是串联反馈。

六、判断直流反馈与交流反馈

如果反馈支路并接电容器为直流反馈, 如果反馈支路上串接电容则为交流反馈。

说明:在共发射极电路中, 如果反馈支路是由发射极电阻或由某一电阻和电容组成的反馈网络, 则接在发射极上第一个电阻含有“+”“-”极性。如图 (b) 中Rf。

综上所述, 针对电子电路中反馈类型的判断方法可综合如下几点:

1. 正确选定反馈元件, 分清反馈元件是属于主要反馈还是本级反馈;

2. 认识放大器的三种基本组态中, 三极管各电极间的相对关系, 采用瞬时极性法判断电路中的正、负反馈;

3. 在放大器的输出端直接短路或接上一个容量较大的电解电容, 或采用直观法判断电路中电压反馈和电流反馈;