电脑桌面
添加盘古文库-分享文档发现价值到电脑桌面
安装后可以在桌面快捷访问

可诊断性范文

来源:文库作者:开心麻花2026-01-071

可诊断性范文(精选9篇)

可诊断性 第1篇

关键词:设计验证,错误诊断,布尔可满足性,逻辑模拟

0 引 言

在集成电路设计流程中, 经常发生设计规范与设计实现不一致的情况。当验证工具发现这种情况时, 必须进行设计错误诊断, 即识别或尽可能地缩小设计实现中可疑的错误区域, 以利于随后进行的错误纠正。现有的错误诊断方法可以分为两大类:基于错误模型的诊断方法和无错误模型的诊断方法[1,2,3]。如果按照诊断推理方法来分, 则可分为基于模拟的诊断方法和符号 (形式化) 诊断方法。基于模拟的错误诊断方法依赖于许多可以区分规范与实现的测试向量, 这些向量可以是随机产生的向量, 门级故障测试向量, 也可以是等价性检验工具产生的区分向量。根据这些向量的模拟结果, 候选的错误区域被逐步地减小或压缩。尽管基于模拟的方法不够准确, 但它处理能力很强, 非常适于大型设计的诊断。大多数符号方法是基于二叉判决图 (BDD) 的算法, 这类方法试图发现那些最有可能导致输出错误的电路信号, 通过对这些信号的再综合 (Re-Synthesis) 可以纠正整个实现中的错误。然而, 基于BDD的算法可能会导致内存爆炸, 因而处理能力有限。Shi-Yu Huang [4]提出一种基于故障模拟的错误诊断方法。这种方法比基于模拟的方法更准确, 但计算复杂性又远低于基于BDD的符号化方法, 而且可以推广到含多个错误的时序电路错误诊断。近年来, 由于可满足性算法的研究进展, 有人提出基于SAT的错误诊断算法, 如Jain[2], Veneris[5]都在这方面做出了很好的尝试。SAT的应用现在正被广泛地应用到各种EDA领域, 如逻辑综合、测试生成、等价性检验和属性检验等方面, 将SAT应用到设计错误诊断无疑具有很大的研究潜力。针对电路设计中存在未知约束的情形, Jain提出了两种验证和错误诊断的方法:一是将未知约束的模型结合到SAT解答器中;二是利用通过修改电路结构来构建未知约束的模型。在此基础上, 对候选的 (错误源) 进行淘汰, 从而提高错误诊断的准确性。

本文考虑对于给定的候选错误区域集合, 如何尽可能减少错误区域, 使得错误纠正更有针对性, 从而提高错误诊断的准确性。提出了一种结合逻辑模拟和SAT的方法, 用于提高逻辑设计错误诊断的准确性。该方法使用门级电路的固定型故障测试向量而不是随机向量进行模拟, 能够快速检测大量的设计错误。然后, 使用基于SAT的布尔比较进一步增强逻辑模拟。针对ISCAS′85电路的实验结果表明, 提出的方法能够有效改善逻辑错误诊断的准确性。

1 基于区域的错误模型

Boppana[6,7]提出一种基于模拟与区域错误模型的诊断方法, 这种方法不需要具体的错误模型, 将可能的错误区域的所有输出值置为X值 (称该区域为X表) , 从而反映出错误的随机性和任意性。然后通过测试向量的模拟来逐步减少候选区域, 提高错误诊断的准确性。下面简要介绍该方法的思想。

定义1 (X表) 如果在模拟过程中, 电路中的某个信号集合中元素的值设置为X, 并且通过三值模拟传播到受其影响的逻辑, 那么这个集合称为X表。

定义2 (基于区域的错误) 一个错误称为基于以r为半径, 以结点p为中心的区域错误, 如果集合E={e1, e2, , ek}中元素的逻辑函数是错误的, 并且满足下列条件:

undefined

其中:dis (el, p) 是指从结点el到达结点p的最短路径长度。

Boppana[6]假设实现电路中的所有错误全部包含在至少一个候选区域中, 那么如果某个区域的外部发现有错误, 则该区域可以从候选表中删除。图1描述了基于X表的诊断方法, 图中黑色填充的区域表示候选的错误区域, IN表示输入向量。在左下图中, 对于输入IN, 设计规范与实现的输入分别为0和X, 说明该候选区域可能包含错误, 所以不能从候选列表中删去。从右下图可以发现, 对于输入IN, 设计规范与实现的输入分别为0和1, 说明在该候选区域外部还存在错误, 即它不能包含所有错误, 所以将从候选列表中被删除。

在Boppana的模拟算法中, 由于使用了X值表示任意的功能, 显然会导致逻辑运算结果的不准确, 并可能屏蔽某些错误。因此, 本文考虑在模拟过程之后, 再使用形式化的方法对剩余的错误源区域过滤, 以提高设计错误诊断方法的准确性。此外, 本文提出的算法仍然以Boppana的假设为前提, 即假定实现电路中的错误全部包含在至少一个候选区域内。对于单错误情形, 上述假设显然总是成立的。对于多个错误的情形, 如果给定的区域足够大, 由于大多数错误或故障是局部性的, 上述假设仍然能够满足。

2 结合模拟和SAT的设计错误诊断方法

根据上面的分析, 首先要找到一个输入向量 (区分向量) , 使得设计规范与设计实现的输出响应不同。为了提高发现错误的效率, 使用门级电路的固定型故障测试集进行模拟, 并用基于SAT的布尔比较增强模拟效果。

2.1 并行逻辑模拟算法

为便于表示未知信号 (即X值) , 本文使用两个布尔变量来编码每个信号值[2]。表1列出编码方案;表2给出基本门的求值运算法则, 这里A = (A1, A2) , B= (B1, B2) 表示门的两个输入, 符号∧和∨分别表示与运算符以及或运算符。表2中对应与/或运算的第二、三列分别表示门输出W的第一位编码W1与第二位编码W2。但其中的非运算仅以A的非运算为例, 其结果是通过交换它的两位编码得到。为了提高算法的效率, 使用并行的逻辑模拟[8], 这时用两个32位的机器字来表示每个电路结点的逻辑值, 两个机器字中相同的位对应于某个向量响应值的两个编码。

2.2 基于SAT的布尔比较算法

定义3 (布尔可满足性问题, 简记为SAT) 给定一个布尔函数f:BnB, 这里B = {0, 1}, 布尔可满足性问题是指找到一组变量赋值X*, 使得f (X*) = 1, 或者证明不存在这样的变量赋值。

如果布尔函数f存在变量赋值X*, 使得f (X*) =1, 那么称f是可满足的;如果不存在这样的变量赋值, 则称f为不可满足的。给定一个组合电路, 电路可满足性问题是指判定是否存在一组原始输入赋值使得至少一个原始输出的值为1。如果存在这样的赋值, 则称之为电路的满足赋值[9]。

大多数SAT程序都用合取范式 (Conjunctive Normal Form, CNF) 公式表示布尔函数。

为了进一步增强模拟算法, 在此提出一种基于SAT的布尔比较方法。类似Jain[2]提出的策略, 为了构造布尔比较的miter结构的CNF公式, 所有受候选区域输出影响的信号的编码方案仍然与表1给出的方案相同。如果两个电路信号值均为确定的布尔值0或1时, 按照通常的运算规则作逻辑运算;如果其中某个信号为X值时, 其相应的逻辑运算方案如下:

undefined

以图2 (a) 所示的与门为例, 假设信号a为X, 而信号b只有两种可能的取值0与1, 那么输出信号G受未知信号a的影响。这时可以如图2 (b) 所示, 使用两个布尔变量 (a0, a1) 表示a, (g0, g1) 表示G。该与门的所有可能的赋值情况有以下6种:

X∧1=X, X∧0=0, 1∧1=1, 1∧0=0,

0∧1=0, 0∧0=0

式中:后两种赋值可合并为: (a = 0) (G = 0) , 将上述真值表转化成相应的CNF公式如下:

(┐a0+ a1+┐b + g0) (┐a0+ a1+┐b +┐g1)

(┐a0+ a1+b+┐g0) (┐a0+a1+b+g1)

(a0+┐a1+┐b +┐g0) (a0+┐a1+┐b +g1)

(a0+┐a1+ b +┐g0) (a0+┐a1+b+g1)

(┐a0+┐a1+┐b +g0) (┐a0+┐a1+┐b + g1)

(┐a0+┐a1+b+┐g0) (┐a0+┐a1+ b+g1)

下面可以给出基于SAT的错误诊断方法:

(1) 如图3所示, 将实现电路与规范电路中的对应原始输入联接到一起, 将对应的原始输出联接到一个异或门, 建立布尔比较的miter结构[10];

(2) 将每个受未知约束影响的信号用两个新的布尔变量编码;

(3) 构造miter的CNF公式;

(4) 使用SAT程序求解上述CNF公式。

接下来, 描述提出的设计错误诊断算法。该算法每次处理一个候选错误区域。设spec表示完整的设计规范;impl表示含有候选错误区域的实现;数组Z表示候选错误区域的所有输出, 那么结合逻辑模拟与SAT的诊断算法如下:

在上述算法中, 函数Xsim用于带X值的逻辑模拟, 首先对规范电路并行模拟n 个测试向量。然后使用相同的n 个向量并行模拟含候选错误区域的实现电路, 此时要将候选区域的所有输出信号设置为X值。在比较规范电路和实现电路的响应字时, 只有当某个向量使得某两个对应的原始输出信号分别是0 (1) 和1 (0) , 才表明检测到实现电路中候选区域外部的错误, 此时算法结束, 不必再调用SAT程序Verify_SAT。如果模拟算法不能检测到错误, 则调用SAT程序继续验证。当SAT程序的返回值为FALSE (可满足) 时, 表示算法检测到了实现电路中的错误。当SAT程序的返回值为TRUE (不可满足) 时, 表示算法没有检测到实现电路中的错误。当上述算法发现实现电路中有错误时, 候选错误区域可以剔除, 但没有发现错误时则要保留候选区域。

3 实验结果及其分析

这里使用C++语言实现了提出的错误诊断方法, 并调用普林斯顿大学的SAT程序包Zchaff[11]完成实验中的布尔比较。实验环境是:P4 1.4 GHz的PC机, 256 MB内存, 操作系统为Mandrake Linux 8.1。第一组实验是用来证明本文方法提高错误诊断算法效率的能力。第二组实验主要用于研究算法性能随着错误区域大小变化的规律。因为与参考文献中实验环境有所不同, 根据体系结构的差异以及性能评测标准, 对来自原文中的原始数据做了相应的换算。

3.1 提高错误诊断算法效率的实验

在这个实验里, 仅考虑存在单错误的情形。以ISCAS′85电路作为设计规范, 通过在电路中随机注入一个门置换错误得到实现电路, 并随机地选择半径为1或2的候选错误区域。表3给出了所得的实验结果, 并与Jain[2]的结果 (实验环境:Sun Ultra360, 512 MB内存) 进行比较。表3中第一列是电路名, 第二列表示候选区域个数, 第三列给出了逻辑模拟的测试向量个数, 第四列和第五列分别给出本文提出的方法与Jain的算法最后得到的候选区域个数, 第六列和第七列分别表示两种算法所需要的运行时间。Jain的算法没有能够完成C3540电路的错误诊断。从表3可以看出, 本文方法所花费的运行时间比Jain的算法要少, 对电路平均要快一个数量级。因为使用电路的测试集可以较快地发现错误, 从而避免多次调用SAT程序, 导致总的算法时间的减少。事实上, 布尔比较时间远远多于模拟算法所需的时间。此外, 本文方法减少的候选区域数比Jain的算法要多, 说明诊断的准确性更高。

3.2 错误区域大小对算法性能的影响

这个实验主要用于错误区域大小对于诊断算法性能、准确性的影响。对每个实验电路, 随机注入一个门置换错误, 并选择10个任意的候选区域, 分别考察区域半径radius为0, 1, 2时的三种情况。表4给出了在不同条件下诊断算法所需的时间。从这个表列出的实验结果来看, 随着错误区域的增大, 算法的运行时间增大, 而且诊断的准确性有所下降。实际上, 错误区域的增大对模拟算法的影响不大, 然而基于SAT的布尔比较, 则会受到较大的影响, 主要是因为相应的CNF公式规模通常会变大, 从而导致SAT程序的搜索空间可能变大, 其回溯次数将要增加。

4 结 语

伴随着验证的一个重要问题是设计错误的诊断和纠正。通常, 诊断工具会给出一定数量的错误源区域, 然后使用某种算法去压缩这些区域, 使得可疑的区域尽可能地小, 从而方便设计错误的定位。本文提出一种结合模拟与布尔可满足性的错误诊断方法, 用于提高错误诊断准确性。该方法首先使用模拟方法尽可能多地淘汰假的错误源区域, 对于不能由模拟方法判别的候选区域, 使用基于SAT的形式化方法进一步判断。针对ISCAS′85基准电路的实验结果表明, 该方法具有较高的错误诊断准确性和效率。

参考文献

[1]Veneris A G, Venkatraman S.Multiple Design Error Diag-nosis and Correction in Digital VLSI Circuits[A].Proceed-ings of IEEE VLSI Test Symposium[C].1999:58-63.

[2]Jain A, Boppana V.Testing, Verification, and Diagnosis inthe Presence of Unknowns[A].Proceedings of VLSI TestSymposium[C].2000:263-269.

[3]韩俊刚, 杜慧敏.数字硬件的形式化验证[M].北京:北京大学出版社, 2001.

[4]Shi-Yu Huang, Kwang-Ting Cheng.Error Tracer:DesignError Diagnosis Based on Fault Si mulation Techniques[J].IEEE Trans.on Computer-Aided Design, 1999, 18 (9) :1 341-1 352.

[5]Veneris A.Fault Diagnosis and Logic Debugging UsingBoolean Satisfiability[A].Proceedings of InternationalWorkshop on Microprocessor Test and Verification Co-mmon Challenges and Solutions[C].2003:60-65.

[6]Boppana V, Fujita M.Modeling the Unknown!TowardsModel-Independent Fault and Error Diagnosis[A].Proceed-ings of International Test Conference[C].1998:1 094-1 101.

[7]Boppana V, Mukherjee R, Jain J, et al.Multiple Error Diag-nosis Based on Xlists[A].Proceedings of Design AutomationConference[C].1999:100-110.

[8]Aarna M, Raik J, Ubar R.Parallel Fault Si mulation of Digi-tal Circuits[DB/OL].http://main.rsf.rtu.lv/Latvieshu%201apa/pasn_str/konf/p_20.pdf.

[9]Tracy Larrabee.Test Pattern Generation using Boolean Sa-tisfiability[J].IEEE Trans.on Computer-aided Design ofIntegrated Circuits and Systems, 1992, 11 (1) :4-15.

[10]Brand D.Verification of Large Synthesized Designs[A].Proceedings of International Conference of Computer-aided Design[C].1993:534-537.

男人可嫁性分析 第2篇

1、你的他是哪种类型的男人:中派男、精英男、煮夫男、婴儿男、浪子男、其他

2、你认为他目前最欠缺的是以下哪一点:上进心、温柔体贴、生活情趣、其他 普遍可嫁中派男 可嫁性:优 中派男简而言之就是方方面面处于中游,收入不多不少、相貌不好不坏、脾气不温不火、职位不高不低,本分但不是太本分,有事业心但不是工作狂,浪漫但不是太浪漫。怎么样?看得你都哭了--老大,这样的男人我去哪儿找啊?找一个完完全全的中派 男固然不容易,其实符合三条标准者便可归入可嫁中派男。其三条关键性质量标准为: 1 收入不多不少。能保证家庭的良好生活水平又不会因此胡作非为。即使将来不小心掉进美元堆里,也不至久贫乍富,恨不 得把老婆像衣服一样换掉。2 脾气不温不火。男人当然要有点脾气,小打小闹纯属油盐酱醋,否则生活了无情趣。适嫁男人性格的关键点不是好脾气,而是宽容大度不敏感,那种动辄叫嚷你伤了人家自尊的男人,千万别嫁。3 有事业心但不是工作狂。男人有点事业心才能保证自身的社会地位及家庭经济繁荣富强,何况把心思投入事业可占用部分 硬盘,清除拈花惹草病毒。当然,千万别嫁工作狂,除非你立志为其奉献全部青春与热血。最优可嫁点:性格好。中派男最大优点是心理健康,因为方方面面不好不坏,被狂贬和狂捧的可能性较小,其性格扭曲指数 在所有男人中为最低。适嫁人群。几乎所有女人嫁给中派男都可缔造良好婚姻前景,包括撒切尔夫人及全球第一女CEO卡莉-菲奥丽娜。你最需要考虑的问题:某些时候,面对迁职或赚钱机会他可能显得不够热心,有不求进取之嫌。表里不一精英男 可嫁性:良 精英女人王菲曾坦承,我很懒,缺乏耐性和毅力;我抽烟,我任性,我直来直去,我爱发脾气,我是一个地地道道的俗人,自信又自卑。尽管目前尚未发现哪位精英男士如此坦白直率,但略有智慧就可以想见,上帝给予每个人的东西差不多,你应付事 业的能力强一些,应

付生活的能力一定会弱一些,而受此特性所累之第一人选必是配偶。正如王菲婚变后,某知情圈内人所言,做王菲的老公一定很辛苦。同理,做精英男的老婆自然也会比较辛苦: 1 劳心费力守财宝。守住长了腿的男人当然比守钻石存折难多了,别说“男人有钱就变坏”,就算他坐怀不乱,也架不住身边 花蝴蝶的狂轰滥炸。要知道做一次柳下惠容易,难的是做一辈子柳下惠。嫁这样的男人,你势必要做两手准备,要么与其她女人 斗智斗勇,要么两眼全闭贤惠彻底。2 牺牲夫妻共同时间。不是工作狂兼应酬狂、玩乐狂怎么能成为精英男?独守空房的时候,钞票可不能陪你说话,当然,找 个人与你说话甚至做其它事易如反掌,但你敢吗? 3 黄金硬币的背面是狗屎。比尔-盖茨身上发臭也不洗澡。男人在外面是精英,在家里可能是一堆垃圾。敏感多疑小心眼儿,脾气巨臭,与亲人关系恶劣,为工作所累几乎阳痿……总之,嫁精英男之前,你要从细处考察,可别被人家的头上的光环照晕,以为其它都是小CASE。最优可嫁点:有面子。干得好不如嫁得好,嫁个精英男说出去超有面子。适嫁人群 A 娴慧温柔得不成体统。B 精英强悍得不成体统。

你最需要考虑的问题:把光环暂时抛开,你对硬币的反面是不是有足够多的心理准备。经久耐用煮夫男 可嫁性:良 煮夫男的经典形象据说是传统上海男人。老弄堂里热热闹闹住着几家人,太太们围桌打麻将,先生们边用小牙刷细细给太太 刷洗胸罩边谈小白菜又涨了几分钱。吃饭时间到,太太一声吼,先生吓破胆,满脸堆笑地听太太数落。侬是不是要饿死老娘呀。对于庸常平淡的婚姻生活来说,煮夫男像小背心一样贴心贴肺,否则也传不出娶妻要娶广东女嫁汉要嫁上海郎的民间箴言。不过时代变了,煮夫的适嫁功能有所下降,毕竟他们脾气太好,不像男人;过于体贴,有点让人反胃;而且一心扑在家庭上,事业心不强。单纯从过日子角度讲,煮夫男当然是好丈夫的优秀人选,但真正嫁了这样的男人,女人却可能心有不甘: 1 烟酒麻全不会,官场没有前途。2 一百二十个体贴一百五十个放心,生活幸福得有点腻歪,既无挑战又无激情。最优可嫁点:放心。煮夫男家庭观念重,老婆永远是NO1.,即便阴差阳错有一点邪门歪念,也绝对有贼心没贼胆。适嫁人群 A 在精英男、浪子男那儿没讨到便宜,饱经感情创伤者。B 父亲为煮夫男,本人具有恋父情结,对此类男人习惯并喜爱者。C 本人为精英强人,需要先生主内者。你最需要考虑的问题:男人的家庭功能与社会功能不能兼得时,你更注重哪一方面。劳

华为光接口单元故障可诊断度分析 第3篇

华为METRO系列设备由Opti X i Manager T2000网管系统统一管理, 可实现对整个光传输系统的故障、性能、配置、安全等方面的管理及维护、测试功能;并可以根据客户要求, 提供端到端 (End-to-End) 的管理功能[1]。T2000网管系统的使用, 能更方便、有效地使用网络资源, 大大提高网络服务质量。

华为设备的光接口单元主要完成光/电信号的接收和发送, 并完成段开销和高阶通道开销的处理、指针解释等ITU-T G.783建议中定义的功能, 同时还为同步定时单元提供同步定时源[2]。设备上可配置的光接口单元单板有SL64 (STM-64光接口板) 、S16 (STM-16光接口板) 、SD4 (2路STM-4光接口板) 、SL4 (STM-4光接口板) 、SL1 (STM-1光接口板) 等等。当该类设备故障出现故障后, 影响大, 对故障的严重程度缺少系统的分析方法。

一、光接口单元故障分析

在使用过程中, 当光板出现问题时, 单板的告警灯会闪亮, 同时T2000网管会实时上报告警信息, 这些都可以作为故障判断和处理的参考依据。在检查完外部电源、线路等情况后, 根据告警信息和硬件结构的进行分析, 有的故障可直接判断出告警产生的原因和故障点, 有的只能将故障点缩小范围定位到某一模块, 需结合单板模块电路进行更准确的分析定位。

在设备的使用过程中, 设备、单板、业务等出现故障时会上报各类告警信息, 与光接口单元有关的告警按告警类别主要分为三类:通信类告警、服务质量类告警、设备类告警。

1.1 通信告警类分析。表1列出了和光接口单元相关的通信告警。

通信类的告警产生多是由于业务配置错误产生。在故障处理维修过程中, 排除了业务配置原因后, 维修的重点即为单板的线路接收和发送模块, 需结合具体线路分析。

具体原因主要如下:

(1) 业务配置错误; (2) 激光器性能劣化; (3) 传输过程误码过大; (4) 接收光功率过高或过低; (5) 对端站时钟性能劣化; (6) 本站接收方向故障或对端站发送部分故障。

故障处理方法:

(1) 检查业务配置, 更改错误或冲突配置后查询告警是否消失; (2) 做环回测试, 在两端站分别环回, 定位故障出在本端或对端; (3) 若激光器性能劣化严重, 需进行更换; (4) 依据告警流程图检查告警信息, 按照告警级别优先处理紧急和主要告警, 高低阶告警同时出现时先处理高阶告警; (5) 检查设备端到使用端的光缆是否存在接触不良、光纤头不清洁的现象; (6) 检查测试接收光功率, 若过载可加入衰耗器; (7) 检查全网时钟跟踪设置是否正确; (8) 检查维修单板的发送或接收模块, 更换故障芯片。

1.2 服务质量类告警分析。表2列出了和光接口单元相关的服务质量告警。

具体原因主要如下: (1) 接收的光功率信号衰减过大; (2) 对端站发送或本站接收部分故障; (3) 设备端到使用端的光缆有损伤, 光纤头接触不良或不清洁。 

故障处理方法: (1) 检查测试光接口的接收光功率值, 如过低, 应先检查连接光缆是否有损伤并用酒精清洁光纤头, 再检测对端光板的发光功率是否正常; (2) 检查全网时钟跟踪设置是否正确; (3) 做环回测试, 在本站自环, 如误码消除则是对端光板故障, 更换故障单板;如误码增加, 则说明本站光板故障, 更换单板; (4) 检查设备工作环境的温湿度是否在合理范围内; (5) 如果同时出现B1、B2、B3误码, 则应首先解决B1和B2误码, 一般是光接口板坏。

1.3 设备告警类分析。表3列出了和光接口单元相关的设备告警。

对于设备告警的处理, 首先要结合指示灯闪烁情况分析告警, 再采用环回法将故障定位到单站后, 用替换法将怀疑有问题的电路板更换下来维修。设备类的告警多是由于设备某一元件故障导致, 根据具体告警分析查找故障点进行维修即可。

(1) BD_STATUS:当光接口板未插或插座松动时产生该告警, 此时SCC板告警灯每隔一秒闪两次。需核实单板在位情况, 检修插座接口。

(2) COMMUN_FAIL:当单板的485串口通信失败时产生该告警, 需更换光接口板的485通信口。

(3) FPGA_ABN:产生该告警的原因是XILINX芯片中加载的FPGA数据为FLASH备份区的数据, 主区没有FPGA数据或数据错误[2]。需更换故障板, 对产生故障的芯片进行维修。

(4) IN_PWR_ABN:产生该告警时, 需首先清洗光纤头并检查端站的收/发光功率是否正常, 再对探测器和放大电路进行线路故障排查。

(5) OUT_PWR_ABN:产生该告警时, 需检查放大电路和输入光回路, 查看EDFA模块是否老化。

(6) LSR_WILL_DIE、TEM_HA、TEM_LA、TF:这四个设备告警均与激光器相关, 激光器作为光板乃至光传输设备的重要部件, 必须要保证其状态良好。

(7) NO_BD_SOFT:先检查单板上的软件加载情况, 若无问题则需进一步维修故障单板。

(8) RR_LOC、TR_LOC:产生这两种告警时需检查对端站和本端的交叉板和时钟版是否在位、是否工作正常。

二、基于离散事件系统的故障可诊断度分析

在设备光接口单元的具体使用中, 维护维修人员需要对其工作状态进行确认, 发生故障后需要按照故障现象和故障信息对进行定位、分析和排除, 单板具体故障的可维修程度和单板整体的可诊断度分析, 是评价单板和整个设备性能的重要参考。

2.1 离散事件系统, 离散事件系统 (Discrete Event Dynamic System) :指系统的状态在一些离散时间点上由于某事件的驱动而发生变化[3]。其数学模型很难用数学方程来表示。

(1) 实体:构成系统的基本元素, 是系统中有意义的一个物体[4]。可分为永久实体和临时实体, 永久实体始终存在, 临时实体会按需进入或退出系统。

(2) 属性:实体状态由它的属性集合来描述, 属性用来反映实体的某些性质[4]。

选用哪些特征参数作为实体的属性与仿真的目的相关, 可按实体的分类、实体行为的描述、排队规则的确定等规则来选取。

(3) 事件:事件是某一时间点上的瞬间行为, 事件的发生将引起系统状态的变化。事件的发生具有随机性且事件之间相互影响, 每个事件的发生都可能引发新的事件。

(4) 状态:状态是描述系统的变量集合, 可根据需要采用静态或动态属性进行系统描述, 并对系统特征进行不同方式的特征划分。状态的变化与事件的发生一一对应。

(5) 活动:离散事件中的活动, 通常用于表示两个可以区分的事件之间的过程, 它标志着系统状态的转移[4]。活动总是与一个或几个实体的状态相对应, 在活动持续的一定时间内, 活动的开始和结束将导致系统状态发生变化。

2.2 离散事件系统模型描述。基于离散事件系统建立的故障模型, 可从不同的角度对系统进行全面、有效的研究。通过对故障事件的收集、分类和分析, 时刻跟踪状态变化, 给出排除故障的建议和方法, 最终对整个系统进行有效评估。

定义1:基本故障

定义2:宏故障

根据基本故障的不同类型对∑f划分, 可以得到m个基本故障事件集合, 记为∑F。每个基本故障事件集合称为一个宏故障, 记为Fj (j=1, 2, ......, m) , 每两个宏故障互不相交。

定义3:故障模型

故障模型MF是一棵带权值的故障树, 树中的叶子结点代表所有基本故障f, 非叶子结点代表宏故障F, 树中的权值代表了每个基本故障和宏故障在同层次范围的重要性。

定义4:故障可维修程度

系统发生故障后需要根据事件和状态定位故障进行并进行维修。基本故障的可维修程度可分为三级:完全可修复记为1, 此时故障可被定位到最底层的单元;部分可修复记为0.5, 此时故障可被定位到某一模块的底层单元, 需要进一步研究分析;不可修复记为0, 此时故障不可被定位。

定义5:系统可诊断度

设离散事件系统模型为G, 故障模型MF中可诊断故障与全部故障的加权比称为系统在MF下的可诊断度, 标记为D0MF (G) [6]。在故障模型MF中, 基本故障叶子结点的权值可根据故障的属性、发生频度、对系统的影响程度来给出, 也可由用户自行定义。非叶子结点的权值根据进一步计算或定义得到。

2.3 基于离散事件系统的故障可诊断度分析。华为光接口单元的测试维修需要解决以下问题: (1) 对光接口单元进行功能上的模块划分; (2) 检查外围光路, 收集告警信息进行分析; (3) 判定各模块的运行状态, 将故障定位到具体模块上; (4) 将故障进一步定位到元器件上。

要解决以上问题, 可将光接口单元看作一个离散事件系统, 实体是单板上的各个功能模块;状态是各个模块的好坏;事件是有故障产生, 网管上报各类告警;活动为告警产生和消失。

光接口单元系统的基本故障为告警的产生, 宏故障有设备类告警17种、通信类告警16种、服务质量类告警12种、其它类告警1种。假定设备类告警可全部修复;通信类告警15种可全部修复, 1种部分修复;服务质量类告警7种可全部修复, 5种部分修复;其它类告警可全部修复。光接口单元故障模型的可诊断情况如图2所示, 节点权值采用归一化处理, 可计算得出系统的可诊断度为63%。

在日常维护和维修过程中, 通过经验积累和更细致的电路分析, 可不断提高设备告警的完全修复比例, 最终提高系统的可诊断程度。

三、总结

本文对光接口单元的告警进行了分类, 分别从通信类、服务质量类、设备类进行了告警具体分析, 并给出了故障处理方法, 为今后的维护和维修提供了参考依据。建立了离散事件系统模型, 并将该模型应用在了光接口单元上, 定义了故障模型的可诊断度和故障可维修程度, 为下一步的设备总体故障分析打下了研究基础。

参考文献

[1]华为技术有限公司.Opti X2500+ (Metro 3000) STM-16 MADM/MSTP光传输系统技术手册[M].

[2]华为技术有限公司.Opti X2500+ (Metro 3000) STM-16 MADM/MSTP光传输系统设备手册[M].

[3]刘思峰, 方志耕, 等.系统建模与仿真[M].科学出版社, 2012.

[4]贾秀俊, 刘爱军, 等.系统工程学[M].西安电子科技大学出版社, 2014.

[5]陆伟, 张龙妹, 等.离散事件系统部分可诊断性分析[J].计算机科学, 2015, 42 (2) :178-181.

营销方案可形性分析方案 第4篇

(一):1.采取加盟方式,每家客户收取加盟费1万元2.发展客户5000个,公司让出股份49%。

方案

(二):1.采取加盟方式,每家客户收取加盟费1万元2.发展客户50个,再由50个发展成5000个,公司让出股份49%。

公司主营销售LED室外照明产品,现从税务风险、财务风险二个方面论述,内容如下:

1.方案一与方案二本质上相同,无实质区别。

2.收取加盟费作为转让“无形资产--特许经营权”,应缴纳营业税及附加税费。(5.6%)

3.发展客户5000个出让股份49%,要区分是否需要支付对价。若要支付对价,属股权转让行为,分法人股东和个人股东分别缴纳企业所得税及个人所得税。

4.若完成发展5000个客户目标,由公司无偿转让股份49%,则属赠送行为,应按视同销售行为,个人股东按20%缴纳个税,企业股东应并入当年所得缴纳企业所得税。

5.对接受方来说,则属无偿接受赠送,个人属“偶然所得”应按20%税率缴纳个税,企业应作为“营业外收入”计算缴纳企业所得税。

汽车可回收利用性分析 第5篇

废旧产品的分类:

相对于传统的回收工艺, 新的回收工艺应该将汽车的各个零件进行分类。分类的原则是循环经济中的3R原则, 分别是减量化原则、再使用原则以及资源化原则。

在汽车全生命周期利用的过程中, 减量化原则更多地应用于汽车的生产过程, 在汽车回收过程中的应用比较少, 在这里不作过多的分析。在汽车拆解回收的过程中应用比较多的是行使用原则以及资源化原则。按照循环经济中的3R原则, 可以将废旧汽车产品分为直接利用件、可再制造件、可再循环件以及不可用件四类, 以达到资源有效循环的目的。

(1) 直接利用件是指经过检测确认合格后可直接使用的零部件。由于同一辆汽车的所有零部件不可能达到等寿命设计, 当汽车报废时总有一部分零部件性能完好, 因此既可以作为维修配件, 也可作为再生产品制造时的零部件。

(2) 可再制造件是指通过包括表面工程技术在内的各种新技术、新工艺, 实施再制造加工或升级改造, 制成性能等同或者高于原产品的零部件。

(3) 可再循环件是指无法修复或再制造不经济时, 通过循环再生加工成为原材料的零部件。

(4) 不可用件是指无法再使用、再制造和再循环时, 通过填埋等措施进行处理的零部件。如果按组成汽车的材料质量划分, 钢铁约占80%;按材料组成成分划分, 除钢铁, 石化产品 (如塑料、油类、橡胶) , 有色金属, 非金属等也都是重要组成部分。汽车产品从使用到报废, 每15年左右一个循环。用汽车的废钢铁炼钢比用矿石炼铁再炼钢, 可节省能源60%, 节水40%, 并可大大减少废渣、废气和废水的污染。

尤其值得注意的是, 汽车上许多零件的材料是紧缺的高性能钢, 比如铬轴承钢、高强度冷热轧板等。如果分类回收, 钢也能达到精料入炉标准。此外, 这种材料分类回收也可以从废旧汽车中回收相当数量的有色金属、非金属以及贵金属材料。

2 废旧汽车的回收方式

目前, 国际上普遍采用大规模机械处理废旧汽车的回收, 以提高回收物质的质量和回收率。

在机械处理之前, 报废汽车必须占污, 除去蓄电池、燃料和润滑油等有寿组分。在某些国家, 还要应用拆卸方法回收二次原料, 如在荷兰回收塑料保险杠。其后, 对破碎后的物料进行分离, 即将不同材料类型的机械结合物质分离得到单物质组成颗粒的过程。

2.1 风力分级

切碎的物料用风力分级预富集, 除去粉尘和轻的非金属物质, 如泡沫塑料、织物和木料。轻的非金属物质也称为切碎机废弃物, 约占切碎机加工料质量的25%。目前, 切碎机废弃物的大部分被填埋, 但随着填埋成本的日益升高和欧盟委员会法规的颁布, 切割机废弃物的处理得到加强, 以降低需要高成本填埋的废弃物量。

2.2 磁性物质的分离

占汽车质量65%~70%的钢是风力分级后留下的主要物质, 可用磁分离技术回收。至目前, 这种技术对生产可销售的再生钢仍是很重要的。再生钢一直以来是切碎公司的主要产品, 但现在切碎机操作者面钢部分的铜含量增加问题, 再生钢的铜含量很难达到产品标准。该标准要求, 对钢废料来说, 至少钢的钢含量应低于0.25%。因此钢部分在磁分离之后还要人工分选。

2.3 非磁性部分的处理

非磁性部分也称为非铁混合物, 占切碎汽车废料质量的10%~12%, 是由各种有色金属、不锈钢和玻璃、材料、塑料、橡胶等非金属组成的, 这种非铁混合物在物质组成、粒度和形状方面是不均匀的, 因此这一部分的机械分离比磁性部分的分离困难。为了方便分离, 先要把非铁混合物筛分成粒度不向的几部分。这种混合物的筛分常在滚筒筛中进行, 因为它们坚硬, 不易堵塞。

3 产品可回收性设计要求

所谓产品的可回收性设计, 就是在进行产品设计时要充分考虑其零件材料的回收可能性、回收价值大小、回收处理方法、回收处理结构工艺性等与回收性有关的一系列问题, 以达到零件、材料的最充分利用, 并对环境污染最小的一种设计思想和方法。

产品的可回收性设计:主要包括可回收材料及其标志、回收工艺及方法、回收的经济性、可回收产品的结构等几方面的内容。

3.1 可回收材料及其标志

产品报废后, 其零件及材料能否回收, 取决于其原有性能的保持性及材料本身的性能。

也就是说, 零件材料能否回收利用, 首先取决于其性能变化的情况。这就要求在设计时必须了解产品报废后零件材料性能的变化, 以确定其可用程度。如根据德国BMW公司研究, 由加强聚酰胺玻璃纤维制造的汽车上的进气管, 在汽车报废时, 其弹性模量及阻尼特性都几乎没变, 因而该材料可100%回收重用。其次在产品设计时要仔细考虑材料选择, 尽可能选择绿色材料, 增强材料与环境的协调性。而所谓绿色材料既包括那些在制备、半产过程中能耗低、噪声小、无毒性并对环境无害的材料及其制成品;也包括那些对人类及环境虽有危害但采取适当措施后就可以减小或消除的材料及其制成品。绿色材料的选择应从两方面考虑, 一是现有材料, 二是开发适于绿色设计的材料。

3.2 回收的工艺及方法

零件材料能否回收, 如何回收, 也是可回收性设计中必须考虑的问题。有些零件材料在产品报废后, 其性能完好如初, 可直接回收重用;有些零件材料的性能变化甚小, 可稍事加工, 用于其他型号的产品;有些零件材料使用后性能状态变化很大, 巳无法再用, 需采用适当的工艺和方法进行回收处理;有些特殊材料 (含有毒、有害成分的材料) 还需采用特殊的回收处理方法, 以免造成危害或损失。因此, 在产品设计时, 就必须考虑到所有这些情况, 并给出相应的标志及回收处理的工艺方法, 以便于产品生产时进行标识, 及产品报废后用户进行合理处理。

产品回收的工艺方法不单纯是由设计部门来制定的, 它需要众多工艺研究部门的协作开发, 其最终成果要与设计部门共享。而设计人员应该了解和掌握不同回收处理工艺的原理利方法。利用溶剂可将其混合聚苯硫醚和聚苯乙烯混合物制造的计算机壳体材料回收, 并混合成一种树脂材料 (其中含52%处理过的干净材料碎片和48%的新聚合物) , 从而不仅完全消除了其可能对环境造成的污染, 而且还可将其模压成屋顶盖板, 用于装饰餐厅及其他场所。

参考文献

污水的可生化性及提高可生化的途径 第6篇

所谓可生化性, 即通过试验去判断某污水或某物质用生物处理的可能性, 以允许投配水量或浓度来表达, 它只研究可否用生物处理, 而不研究分解成什么产物, 即使污染物由生物污泥吸附而去除也是许可的。事实上, 生物处理并不要求将有机物全部分解成CO、K2O和硝酸盐, 而只要求水中污染物去除到环境所允许的程度。可生化性的研究目的在于了解污染物的分子结构能否在生物作用下分解到环境所允许的结构形式, 以及是否有足够快的分解速度。其研究结果以分解历程、分解产物和分解速度表达。可生化性的研究可以帮助确定工业废水局部处理的必要性以及应采取的预处理方法、处理的程度和污水处理工程的运行稳定;可生化性的研究.将为污水处理工艺的制定提供科学依据。对污水可生化性的研究, 还将为生物处理工艺参数的选择提供初步依据。

1.1可生化处理的条件。一些污染物质只有在某种条件下 (如营养条件、环境条件等) 才能为生物污泥的微生物所分解。营养条件、环境条件的正确选择, 将使生物分解顺利进行。通过可生化性的研究, 可以确定这些条件的范围, 在一般情况下, 微生物对于这些条件, 例如p H值、温度的范围, 以及碳、氮、磷比例的要求, 已为人们所熟知, 对一些工业废水, 可以根据这些要求进行必要的预处理, 可加必要的营养物。但对一些污染物质不易被微生物所分解的污水, 要求较长时间的驯化。这些经过长期驯化而变异的菌体, 常常会失去各种物质 (如氨基酸等) 的能力, 表现在营养上有特殊要求, 这样就应补充必要的营养成分。

1.2抑制生物处理型的极限允许浓度。一些工业废水和化学物质对生物污泥中的微生物产生抑制或毒害。对于这些物质如不严格控制, 有可能导致生物处理过程的严重破坏。因此必须研究和确定有害物质抑制生物处理的极限允许浓度。所谓有害物质, 既包括一些合成有机物, 也包括无机化合物 (如汞、砷等) , 既包括不被生物所分解的物质, 也包括能被生物所分解的物质。酚、氰、苯等物质是可被生物分解的, 但超过某种浓度, 也表现出对微生物的毒害。某些化学物质可以使酶失活, 如一些含氮、含硫的化合物, 能够争夺组成辅曲所必需的微量金属;汞、铜等金属离子能与其及其他代谢产物形成配合物, 从而使酶失活;另一些化学物质, 可能与酶的活性基因相结合, 阻碍中间产物的形成或阻碍中间产物的能量代谢、核酸的代谢以及蛋白质的合成, 使微生物的生命活动停止。化学物质对微生物的抑制作用, 同样与其浓度有直接关系, 也将随微生物的驯化而发生变化。经过驯化的微生物, 对有害物质的适应能力将逐步加强, 甚至对毒性很强的有机汞.也可以分离出汞的假单孢菌。

2可生化研究方法

2.1按水质指标进行评价。同城是运用对工业废水或化学物质 (有时称为基质) 的BCD、COD、TOD的测定进行评价。

2.2按耗氧速率评价。微生物与基质接触时, 其吸耗氢速率的变化特性反映了有机物被氧化分解和无机物对生物污泥毒害的规律。表示耗氧速率随时间而变化的曲线, 或耗氧量随时间而变化的曲线, 简称为耗氧曲线。对于内源呼吸期, 生物污泥的耗氧曲线, 称为内源呼吸耗氧曲线。对于投入基质后的耗氧曲线, 称为基质耗氧曲线。具体做法为:利用试验条件下, 所试验基质的生物活性污泥耗氧曲线和同一条件下生物污泥内源呼吸耗氧曲线进行对比, 用以评价基质的可生化性。为简便起见, 常采用相对的耗氧速率R (%) 的概念, 只按下式计算:

参考文献

[1]张俊凤.关于提高工业废水可生化性的方法探讨[J].山西科技, 2014, 29 (3) :124-125

关于网页界面可认知性研究 第7篇

采用网页界面可认知性的研究, 能够让网页用户有更为容易读取信息和使用、操作的界面。采用网页界面认知易于操控, 可以使网页用户初次使用新网页, 由网页界面认知更新而带来的挫折感大为降低, 对新网页界面的接受过程缩短, 从而更加容易接受新的网页。

对网页开发、设计企业的收益与对使用者不同。举例而言, 电子商务网站可能是最容易解释的案例, 网络购物让消费者更容易进行采购, 其对公司的利益可以通过网页销售量的增加而获得更大的收益。网站不只能增加企业的销售额度, 同时也能降低因顾客投诉、不断调整网页结构而增加的成本。另一方面, 通过网站品牌效益传播, 企业能够吸引大量用户, 建立起本身的品牌价值。对某些此类的网站来说, 访客数或网页浏览数能够做为评估网页界面可认知性是否发挥效用的指标。在所有案例中, 最难评估的网站可说是纯粹的行销网站, 因为通常这些网站无法如同电子商务或其他网站, 有立即可见的成效。倒是可以通过传统的市场调查方式进行顾客满意度及其他如知名度、品牌价值衡量, 改进网站操作界面设计。

网页界面可认知性研究通常占网页开发预算的10%, 知名设计企业尼尔森-诺曼集团还是尽量的在压缩这项预算。根据尼尔森-诺曼集团的资料显示, 最低成本的网页界面可认知性研究案是1994年设计昇阳公司一个名为Sunweb的企业内部网路, 只用30分钟就收集到用户对於草图看法的网页界面可认知性资料。尼尔森-诺曼集团是以这个案例试图去说服网页界面可认知性研究领域的专家, 其实案子的进行可以是快捷而低廉的。进行网页界面可认知性评估的预算内, 当然还应包含各种诱因, 如金钱、礼券等因素而定。

如果用户目标群体是锁定在专业用户而非一般用户, 网页界面可认知性研究的预算会比一般测试高。另一方面, 网页界面可认知性研究的品质与份数同样也会影响所需的费用, 也就是说, 在更多具专业背景的网页用户、花费更多时间进行测试下, 研究经费会往上攀升。是以在进行网页界面可认知性测试, 以用户为中心的设计概念首先被导入, 因为他是实行网页界面可认知性 (Usability in Practice) 的基本原则。首先, 集中在用户的需求、任务及目标上, 网页界面可认知性的专家着重互动设计过程, 然後从实际使用者的角度评估系统。

网页界面可认知性测验下列原则。

(1) 在一个单独的研究中, 兼顾用户界面的功能和艺术性, 放慢和用户的互动程序是个不错的方式。首先发现主要问题, 确定能在不大幅变更方案或网页下不会受到影响的前提下进行修正。

(2) 在形成使用者中心设计的过程中, 最为重要的步骤之一就是要为设计人员找到主要和次要的问题, 才能在调整问题上有个重点, 而不是让工程或设计人员呆坐一旁, 不知道整个研究流程所为何来。

2 网页界面可认知性测试方法

2.1 网页界面可认知性测试适用人群

在进行网页界面可认知性测试时, 找到正确及适合的网页用户进行测试是对研究人员的一大挑战, 寻合适的参与测试人员首先要进行规划, 这些是测试之前的准备工作。在对外寻找网页用户之前, 必须遵守一些指导原则。

首先, 开发一套能找到具代表性网页用户的标准。

其次, 设定适当的诱因以鼓励参与。

最後, 选择方便网页用户的研究环境, 能够正确的反应用户的需求。

网页界面设计是, “要了解你的用户”。不只切合设计用户的需要, 也同样可用于设计适合的系统, 及招募合适网页用户上。为了能找到网页界面可认知性测试的目标网页用户, 必须了解谁是目前系统的使用者, 或者新开发系统可能的目标用户。只有在参加测试的人确实为网页用户时, 才能做出网页界面可认知性专家所需的有效回馈, 用以改善或调整设计。

2.2 网页界面可认知性测试准备工作

在还没开始任何网页界面可认知性测试的规划流程前, 与所有能够提供你有用资讯的人们及员工碰个面, 实际了解用户需求。事前要准备你和人士可能谈及之主题和问题的清单, 这些人会是网页界面可认知性研究的赞助者 (通常是那些研究的出资者) 、系统开发人员、行销部门、技术支援、技术领域代表, 最重要的是, 要有一些实际的系统使用者。不同部门对同一方案会有不同观感, 因而能提供许多其他部门未触及、或不认为重要的内部观点与资讯。网站同时跳出太多步骤, 让用户感到困惑。

2.3 了解设计团队

和系统团队、制作或形成网页的人进行面谈。系统团队就是制作网页或程式的人, 他们也对现行系统的使用者、系统应发挥的功能比较了解。

2.4 与用户沟通

直接与目前的用户沟通, 是一个更加全面了解网页界面是否好用的好方法。作为研究对象的用户, 不只能让你对网页有进一步的认识, 也能让你有机会在取得用户对网页整体看法, 对系统团队告诉你的部分进行确认。向用户提问, 比如:执行某些工作的频率, 说明他们的工作需要何种知识、训练及经验, 以及他们如何、又是在何处会与系统进行互动, 这些都对下次的设计有所帮助。

2.5 行销部门对你的帮助

一个绩效良好的行销部门能够提供顾客群组的反馈, 包含使用者年龄层、收入、教育程度, 及一般而言使用系统时最常的用途为何。但是, 销售团队所提的观点又太过广泛, 意味着他们给的是整个市场的情况, 而不是你在进行网页界面可认知性研究时所需要的, 特定用户的信息。如果市场上有与你所要评估的网页, 处于竞争关系的其他类似网页时, 行销团队也会知道这样的状况。你可进行对竞争者的调查, 阅读他们的书面资料, 然后操作竞争者网页系统, 这会对哪些用户可能操作此一网页有更好的了解。

3 网页界面可认知性测试分析

在使用者测试的过程中, 只有设计、用户及观察者的静态数据世界。鼓励测试者采用多种思考法, 以让专家观察用户行为, 聆听他们所回馈的信息。

在用户测试时, 第一阶段会决定需要测试些什么, 了解需求所在, 判断目标锁定的领域。第二步会是指认出目标使用者, 并锁定目标用户。

论学生“可雇佣性”能力的培养 第8篇

一、对学生“可雇佣性”能力的培养

瑞士联邦主管教育的联席会议秘书长阿尔奈德指出:一个国家要取得经济和社会成功, 不能只培养科学尖子, 还要有严谨、完整、高标准的职业培训体系。高质量的职业教育体系造就了大批高素质专业人才, 使瑞士成为经济最繁荣的国家之一。瑞士职业教育都与雇佣市场之间以各种资格证书和文凭为介质连接起来。学生在教师的帮助下, 分析自己的能力所在和职业意向;主要教育目标是使学生拥有社会认可的从业资格, 为他们将来的职业生涯奠定必要的基础, 学生可以根据自己的兴趣和能力选择不同的学习阶段。

德国注重培养学生的理论文化知识、广泛的专业知识、良好的职业素质、实际操作能力和继续学习能力。遵循以能力培养为本位的教育思想, 使学生具有从事未来职业应具备的理论知识和基本技能, 帮助学生提高自我认识, 懂得如何组织自己的学习和工作, 学习如何与人交往及如何适应社会和工作环境。

二、课程设置中将培养“可雇佣性”能力置于首位

德国的中等职业教育以职业分析为导向来确定培训专业。其指导思想是保证所设专业的科学性、适用性及稳定性。行业协会、学校、企业三方不断从理论和实际两方面进行职业分析, 将相关的社会职业划为一个职业组, 并设置一个与之对应的专业, 报政府机关和职教科学院批准, 由政府和企业出资进行试验, 经过论证、试验和评估后, 有关机构才批准交付学校执行。课程设置是根据岗位技能要求, 将培训技能作为教学重点。教学内容分为两部分:一般知识 (包括语文、数学、社会学、自然科学及一门外语和体育) 和专业知识 (如商务、建筑、技术、营养学、农业、设计、电气、护理及健康等) 。

奥地利中等职业教育的专业设置注重满足经济社会发展的需要, 既有传统的纺织、服装、印刷和旅游专业, 又有商务管理、媒体、设计、计算机信息等现代专业。学生除了学习政治、语文、交际、商务和一门与专业有关的外语等基础课外, 还学习与自己学徒专业有关的理论和实践知识。如果学徒训练需要, 还可设置一个特定的专业课程。由于专业及课程设置符合市场特定需求, 毕业生的可雇佣性大大提高。职业教育因而受到学生的欢迎和社会各界的认可, 教育培训与市场需求之间形成良性循环。

三、学习结果评价中以具有“可雇佣性”能力为标准

芬兰的职业教育目标是培养全面发展的青年和劳动者。在实现中等职业教育与技能需求的对接方面, 该国规定, 国家教育教学中心大纲针对所有教育机构, 具有法律效力, 适用于所有授予能力资格证书的职业高中。大纲与能力资格的要求是:达到国际化、促进技术利用和信息技术发展、培养企业家、促进职业健康安全管理等。另外还培训学习技能、解决问题的技能、互动与交流技能、合作技能、伦理道德和审美技能。

芬兰的职业高中注重理论和实践的结合, 理论课和实践课的学分比和时间的安排较为科学。比如, 职业高中学制为三年, 学生需修满120学分。其中, 专业理论课占90学分, 六个月的工厂实践占20学分, 另外的10学分学生可以选择在本校或其他学校学习自己喜欢的课程。芬兰有多达52种职业高中资格证书。资格证书的获得方式比较灵活, 可以通过学徒制培训获得, 但也需要在学校学习专业理论知识;也可以直接通过能力测试获得, 而不考虑职业技能。普通高中毕业生也可以申请继续参加职业高中的学习。

芬兰完善的职业教育体制和以职业教育与雇佣市场的需求为发展目标, 使职业教育具有国际高水准的质量, 学生掌握最先进的技术技能。芬兰2008年6月的可雇佣率为74.4%, 失业率则降至6.8%。成功的职业教育对提高可雇佣率发挥了重要作用。

四、对我国培养学生“可雇佣性”能力的启示

多套住房、可支付性和政策 第9篇

从古至今,一些家庭除了主要居住的第一住宅,还有偶尔居住的第二住宅及其他住宅。学术界将非主要居住的其他住宅统称为第二住宅(second homes),也有学者认为多套住宅(multiple residences)比较准确(Mc Intyre et al,2006;Paris 2008)。在社会经济发展的今天,随着经济全球化,现代交通、通讯方式导致的人口流动性增强,以及富裕群体的增加,还有房地产投资的火爆,多套住宅规模呈扩大趋势,已经从发达国家扩展到发展中国家,从上流社会扩展到中产阶层。第二住宅不仅分布在一个城市内部和郊区,还在一国内更大范围扩散,甚至扩散到全球一些热点地区。它作为一个逐渐突出的现象,在住房短缺依然存在的情况下引起了社会和学术界极大的关注。一些学者注意到某些地区休闲度假住宅的发展导致了房价飞涨,本地低收入群体和年轻人无力支付住房和被迫外迁。实际上多套住宅除了休闲度假用途还有其他用途,而不同用途的多套住宅产生的影响不同。因此,有必要区分多套住房用途,探讨它和本地居民可支付性的作用机制。本文拟研究的第一个方面的问题是:从理论上分析,在一个地方住房市场里面,本地富裕家庭持有多套住房或者外地富人在本地持有第二住宅对本地中低收入家庭住房可支付性有什么影响,政策可以起到什么样的效果?

从20世纪80年代住房制度改革以来,中国城市家庭住房来源和产权发生了巨大变化,已经从计划经济时期的租赁公房为主转变成了多样化的住房来源和产权,并且出现了拥有多套住宅的现象,第二住宅规模呈逐渐扩大趋势。一些地方政府将发展第二住宅作为拉动经济的增长点,鼓励购买第二住宅。例如2010年获得国家发改委批复的《海南国际旅游岛建设发展规划纲要》提出海南建设世界一流的海岛休闲度假旅游胜地,重点发展旅游业和房地产业等,适度发展避寒、疗养、养老等度假旅居型房地产。一些大城市郊区旅游资源丰富的城镇和农村如北京郊区的昌平和顺义,以及滨海的城市如威海、秦皇岛等,都大力发展休闲度假住宅。从2003年开始,中央政府开始实行差别化信贷政策和税收政策以及其他一系列政策来抑制投资投机性购房需求,合理引导住房消费。一些地方政府也相应出台一些抑制投资投机性需求政策。因此,本文拟研究的第二个方面问题是:结合中国实际,中国的多套住房政策效果如何,如何改进?

2 多套住房与中低收入家庭的住房可支付性

2.1 多套住房的分类

除了一些家庭自有或者租赁唯一的住宅外,还有很多家庭持有多套住宅。Paris(2008)认为以往的研究多从旅游、休闲、地理、规划的视角来研究第二住宅,需要从住房研究(Housing Studies)领域来重新审视第二住宅。根据家庭和住房使用目的的关系提出了一个分类框架,包括了首要居所、次要居所和投资目的的多套住房。他将非商业目的的自住的第二住宅(Second homes and multiple residences)分为以下几类:(1)休闲度假用途第二住宅或多套住宅(Second homes and multiple residences)。该住宅被住户、其他家庭成员或者朋友用于休闲度假用途偶尔居住,典型的是周末或者假日。多套住宅则用于说明除了第一住宅外,可能会有多个第二住宅,并且这些住宅使用的时间都不长,有可能无法辨认主要住宅。(2)工作用途第二住宅(Pieds-a terre)。首要居所之外的主要用于上班休息的居所。(3)其他非商业用途的第二住宅(Other non-commercial family uses)。如为外地读书的子女使用的住宅,子女和(或)合住者无需支付租金。如果支付租金,则视为投资型住宅。投资型住宅(Investment properties)是指被个人或住户购买用来获得租金或者资本增值收益,但根本不自住。分为出租性住宅(Buy-to-let),转卖投资型住宅(Buy-to-leave),用来出租的度假公寓(Holiday homes),例如分时度假公寓等。当然这种分类框架比较简单,主要是从理论上分析住户和住宅使用目的和使用状态之间的关系。在具体分析时候还需注意到住房的用途会发生转换,例如退休老人在退休前居住的住宅为主要住宅,同时购买了一个退休养老用的第二住宅。而在正式退休之后,前者则变成了次要住宅,可能对外出租,获得现金流来支持养老,后者则变成了主要住宅。为了分析方便,本文将第二住宅按照持有目的分为转卖投资、出租投资和非商业自住目的三类,并假定第一种目的在成交前房屋空置,第二种完全出租,第三种为偶尔自住或者提供亲戚朋友免费居住。

2.2 住房的可支付性

住房可支付能力衡量的是居民是否有能力买得起或租得起一套住房。通常采用的指标有房价收入比,用来衡量居民是否有能力购买合适的住房;还有房租收入比,用来衡量居民是否有能力租赁合适的住房。在收入不变的情况下,房价上升或者租金上升将降低居民的住房支付能力。反之,房价下降或者租金下降能提高居民的住房支付能力。

2.3 多套住房与住房可支付性关系分析

为了简化分析,假设有一个城市(社区)短期内住房市场住房存量不变;短期内住房市场质量不变;社会中有三种收入群体:高收入群体、中收入群体、低收入群体(短期内收入不变,长期内收入都增长,但是高收入群体增长最快,中收入群体次之,低收入群体最慢);住宅分为三种子市场:高等质量住宅、中等质量住宅、低质量住宅,对应的是高价、中价和低价;各个子市场内部的住宅是完全替代的,不同子市场间的住宅是不完全替代的;各住房子市场是完全竞争市场;住房质量和家庭收入是对应关系;假设在没有第二住宅前,都是可以支付的;第二住宅首先在高收入阶层流行,然后扩展到中等收入阶层。

这里将第二住宅作为一个住房市场的外生冲击。在没有第二住宅冲击之前,住房市场可以分为三种状态:供过于求的市场、供求均衡的市场、供不应求的市场。在不考虑住房自然空置率的情况下,分别对应的是住房套数大于、等于、小于家庭数量。在供过于求的市场,数量有限的多套住宅需求实际上起到了消化市场空置住房的作用,在增加的第二住宅需求和原有需求不超过总供应的情况下,对房价和中低收入家庭住房可支付能力没有影响。当第二住宅需求过大,就会变成了供求平衡或者供求不足的市场,前者对房价和住房可支付性没有影响,后者需要考虑第二住宅需求类型,分析具体情况。在供求均衡的市场,自住用途多套住房需求冲击加剧了市场供不应求,造成了房价上升和中低收入家庭住房可支付性降低。在供不应求的市场和供求均衡市场结果一样,但房价上升更快,住房可支付性更低。

这里以供求均衡的市场为例说明。在不考虑自然空置率的情况下,住房套数和住房户数相等,市场均衡。

2.3.1 短期效应

首先,分析高收入家庭非商业自住用途的第二住宅对住房市场的短期影响过程。短期内各子市场供应不变。非商业自住目的住房被用于偶尔自住,不形成对市场的实质供应。(1)高收入家庭购买第二住宅,对高质量住房需求增加,导致房价上升,部分高收入家庭转为租赁,租金上升;(2)由于高质量市场供应减少,部分高收入家庭转移到中质量住房市场购买或租赁中等质量住房,对中质量住房需求增加,而供应不变,导致房价上升和租金上升;(3)中收入家庭购房会优先考虑中等质量住宅,部分中收入家庭无力购买,转为租赁,租赁需求增加,租金上升;(4)由于中等质量住房供不应求,部分中收入家庭转移到低质量住房市场,导致了低质量住房需求增加,供应不变,房价和租金上升;(5)低质量住房市场房价和租金上涨,导致低收入家庭住房购买力和租金支付力下降,部分被迫退出住房市场(见图1)。在此过程中,中低收入家庭住房购买力和租房支付力都下降。

其次,分析高收入家庭转卖投资目的的第二住宅对住房市场的短期影响过程。假定转卖投资持有空置期超过一年。分析结果和上面一样。如果转卖投资持有期很短,不超过一年,则可以认为对市场没有影响。

最后,分析投资出租目的第二住宅对住房市场的短期影响过程。一些高收入家庭购买唯一住宅,还有少数几户高收入家庭购买了第一和第二住宅,然后将第二住宅出租,对应的少数几户原来打算购买唯一住宅的高收入家庭变成了租赁高质量住房。高质量住房市场没有发生变化,房价和租金不变。同理,中等质量和低质量住房市场也没有变化。

2.3.2 长期效应

从长期来看,则取决于住房供应弹性。在市场供应充足,并且供大于求(包括第一住宅和第二住宅需求)的情况下,多套住房对中低收入阶层的住房可支付能力没有影响。按照一户一宅规划供应的供求均衡的市场受到了第二住宅需求冲击时会出现和短期效应类似的结果。而供不应求的市场和供求均衡市场结果一样,但是中低收入家庭住房可支付能力下降更多。

当中产阶层也开始青眯第二住宅的时候,他们倾向于购买中、低质量的住宅作为第二住宅。结果和上述一样,对低收入家庭住房支付能力影响更大。

3 增加供应和抑制需求的政策及其效果

首先,分析增加供应政策的机制和效果。在没有第二住宅需求冲击的情况下,假设在一个供求均衡的市场,政府提供补贴使中等质量住宅供给增加和价格下降,从而降低了高质量住房向下过滤的速度,增加了高质量的住房供给并降低了价格;中等质量住宅的价格下降会产生需求效应,部分低收入家庭从低质量住宅迁入中质量住宅,部分中质量住宅向下过滤变为低质量住宅,增加了低质量住宅的供应。这样,所有收入群体都从供应增加和价格下降获益。政府补贴高质量住房供应的结果和前述结果一样。政府补贴低质量住房供应会造成低质量住房数量增加和价格下降,提高低收入家庭的住房支付能力。而中质量、高质量的住房则会通过住房装修等提高住房质量,减少向下过滤。

其次,分析有偶尔居住用途第二住宅需求冲击的情况。假设在一个供求均衡的市场,政府提供补贴使中等质量住宅供给增加,中产阶层的第二住宅需求使总需求增加,如果需求超过供给,中质量住宅价格上升;高收入阶层第二住宅需求使总需求增加,如果需求超过供给,高质量住房价格上升;这样会导致高收入家庭购买和租赁中等质量住房,中收入家庭购买和租赁低质量住房;低质量住房价格上升。在住房供应赶不上需求的情况下,也会造成中低收入家庭住房可支付能力下降。在供不应求的市场,结果和供求均衡市场一样,但是中低收入家庭住房支付能力更加不足。而供过于求的市场,对中低收入家庭住房支付能力没有影响。

最后,再考虑抑制需求的政策,假设在一个供求均衡的市场,政府对第二住宅保有环节征税,并且该税负不能转嫁给开发商和租户,则会导致高收入和中等收入家庭第二住宅需求减少,在供给不变的情况下,需求下降会带来房价和租金的下降,会提高中低收入家庭住房可支付能力。在考虑税收资本化和税负转嫁的情况下,在卖方供给弹性为0的情况下,税负完全由卖方负担,房价会下降;当卖方供给弹性较大,或买方需求弹性为正(买方存在上涨预期,越涨越买),税负通过提高销售价格转移给买方,实际成交价格不变(汪昊,2009)。这样中低收入家庭住房可支付能力会不变或者提高。

4 对中国的启示

中国的多套住房规模不容小觑。根据2007年中国城镇住户调查(UHS)的问题,“您家本处住房的产权类型是什么”和“请问您家除了本处住房以外还有几套住房”来计算城市家庭持有第二住宅比例(如图2)。其中,东莞有41%、温州有40%、台州有39%、福田39%、舟山38%、龙岩34%、杭州32%、宁波31%、丽水30%、上海27%的家庭有多套住宅,北京有19%的家庭持有多套住宅。

中国家庭持有多套住宅目的也是多种多样的,有转卖投资、出租投资、休闲度假、工作便利和安置亲属等多种用途。在一些郊区和旅游景点地区休闲度假用途第二住宅比较多。在一些热点城市,投资类型第二住宅比较多。中国多套住房的影响不容忽视。一些热点地区,例如北京,在住房总体供应紧张的情况下,出现了空置和闲置的第二住宅,会加剧房价飞涨和中低收入家庭支付困难(杨赞、易成栋,2010)。《人民日报》报导近年来海南超七成住房销往岛外,部分住宅小区空置率高达90%,并且大多数业主购买住宅的目的是投资和度假(王存福,2010)。这造成了海南房价飞涨和本地居民住房支付能力下降。

目前,中国政府制定的多套住房政策为抑制需求和增加供给并用,如果这些政策能得到很好地贯彻执行,会起到抑制房价上涨和提高中低收入家庭住房能力的效果。在房价持续飞涨的情况下,从2003年开始,中国人民银行和银监会逐步强化了第二套房的信贷政策,主要有提高首付款比例,提高利率和加强风险管理等。2010年1月7日,国办发[2010]4号文《关于促进房地产市场平稳健康发展的通知》中规定,加大差别化信贷政策和税收政策执行力度。金融机构在继续支持居民首次贷款购买普通自住房的同时,要严格二套住房购房贷款管理,合理引导住房消费,抑制投资投机性购房需求。对已利用贷款购买住房、又申请购买第二套(含)以上住房的家庭(包括借款人、配偶及未成年子女),贷款首付款比例提高,贷款利率严格按照风险定价。从2010年两会开始,国务院和住建部进一步提出抑制住房投资和投机需求。4月17日,国务院常务会议通过了《关于坚决遏制部分城市房价过快上涨的通知》,采用差别化税收和信贷政策,以及设立购买资格限制居民持有多套住宅。在增加供给方面,主要是国土资源部打击开发商囤地行为依法处置闲置用地,加快普通商品房和保障性住房用地供应;住建部加强保障性住房的供给,整顿房地产市场交易秩序,并通过预售款的监管收紧开发商的资金链条让他们加速开发,增加供应。通过考核问责制要求地方政府严格执行。

从长期来看,通过政府补贴、规划等手段增加住房供应和征收保有环节的物业税收相结合才能取到良好的效果(Gallent,2005)。而且,不能指望物业税会完全消除第二住宅。美国征收物业税和英国征收市政税等经验表明,物业税可以抑制第二住宅,不能完全消除第二住宅。因为,第二住宅作为一种投资,物业税只占了投资成本的一部分,并且可以税负转嫁,影响不大。第二住宅作为富人的一种生活方式,他们并不在乎缴纳的物业税。对于比较敏感的第二住宅所有者,征税则激励他们将现在使用很少的第二住宅变卖或者出租,增加市场供应。因此,中国多套住房政策除了加强住房供应外,应该重点针对第二住宅,特别是对非商业自住用途的第二住宅,在保有环节征物业税,税收政策的重点是将物业税和对特定热点地区因为第二住宅造成的影响征税得到的财政收入来提高中低收入家庭的住房支付能力,包括增加保障性住房供应和提供住房补贴。而对第二住宅在流转环节应该减少税种,促进流通,对于转让收益应该累进征税,起到抑制房地产投机的作用。此外,利率市场化对于降低低成本资金进入到第二住宅市场也有重要作用。

摘要:随着经济全球化,现代交通、通讯方式导致的人口流动性增强,富裕群体热衷于购买休闲度假和投资用途的第二住宅,多套住宅规模呈扩大趋势。多套住房可以分为转卖和暂时空置、购买后出租、自住用途第二住宅。从短期来看,在一个供求均衡的市场,第三类第二住宅的冲击会导致中低收入阶层的住房可支付能力下降,前两者不影响。供不应求市场和供求均衡市场结果一样,但影响更大。供过于求市场则没有影响。从长期来看,结论依然和短期一样。可行的政策有加强商品房和保障性住房的供应,征收物业税减少住房的空置和闲置等,并提出了改进中国多套住房政策的建议。

关键词:多套住房,可支付性,政策

参考文献

[1].McIntyre N,Williams D&McHugh,K.,eds.Multiple Dwelling and Tourism[M].CABI,Cambridge MA.2006

[2].Paris,C.Second Homes in Northern Ireland:Growth,Impact and Policy Implications[R].Final Report to the Housing Executive,Belfast:Northern Ireland Housing Executive.2008

[3].Coppock J T.,eds.Second Home:Curse or Blessing?[M].Oxford:Pergamon Press.1977

[4].Hall,C.M.and Muller,D.K.,eds.Tourism,Mobility and Second Homes[M].Clevedon Buffalo and Toronto:Channel View Publications.2004

[5].Williams Peter.Affordability on Agenda.2008.1755

[6].Marjavaara,Roger.An Inquiry into Second-Home-Induced Displacement.Tourism&Hospitality:Planning&Development.2009.3

[7].Seong-Hoon Cho,Newman David H,Wear David N.Impacts of Second Home Development on Housing Prices in the Southern Appalachian Highlands.Review of Urban&Regional Development Studies.2003.3

[8].阿瑟·萨利文著苏晓燕等译.城市经济学.中信出版社.2002

[9].汪昊.房地产税收调控研究——基于中国现状的分析.中国税务出版社.2009

[10].Gallent N.,Mace A.,Tewdwr-Jones M.Second Homes:European Perspectives and UK Policies[M].2005

可诊断性范文

可诊断性范文(精选9篇)可诊断性 第1篇关键词:设计验证,错误诊断,布尔可满足性,逻辑模拟0 引 言在集成电路设计流程中, 经常发生设计...
点击下载文档文档内容为doc格式

声明:除非特别标注,否则均为本站原创文章,转载时请以链接形式注明文章出处。如若本站内容侵犯了原著者的合法权益,可联系本站删除。

确认删除?
回到顶部