可组合性（精选10篇）
可组合性 篇1
组合导航系统的数据处理一般采用经典的卡尔曼滤波方法,滤波器进行状态估计的速度和精度决定着导航的速度和精度,而系统的可观测性又决定着状态估计的速度和精度[1]。如果动态系统是完全可观测的,其状态最优估计能力仅仅取决于系统噪声和观测噪声;如果动态系统是不可观测的,即使不考虑系统噪声的影响,也不能得到系统状态的正确估计。所以,在系统实际应用之前,需要对其系统进行可观测性分析,弄清运动对系统可观测性的影响,从而发现系统可观测性提高的方法,对提高系统导航精度具有重要的意义。
1 系统可观测性的定性分析
1.1 SINS/OD组合系统的可观测性分析
SINS/OD组合导航系统用捷联惯导系统解算出的速度量和里程计测量得到的速度量之差作为观测量,其关键就是利用这个观测量与方位角误差、里程计刻度因子误差等之间的耦合关系,再利用闭环卡尔曼滤波技术进行修正,以达到有效减小导航误差积累的目的。
以如下简单系统为例,假设物体做匀速直线运动,取状态变量为物体的位置误差、速度误差、加速度误差[2]。
系统的状态方程为:
其中:
采用一阶近似的方法对系统进行离散化:
则有:X(k+1)=ΦX(k)。
取T=1,得到系统总可观测矩阵TOM 阵(Total Observability Matrix)如式(1)。
显然,可观测矩阵秩为2,以速度作为观测,位置误差为不可观状态。对于SINS/OD组合导航系统,位置误差是不可观测的,需要借助其它位置测量传感器获取位置信息。另外,由于里程仪测量的速度中包含有方位误差角信息,所以对于方位误差角的估计精度将受到一定的限制。
1.2 SINS/MM组合系统的可观测性分析
同上分析方法相似,若采用电子地图获得的位置信息与惯导测量的位置信息之差值作为位置误差的观测量,其系统的速度误差是可观测的。
其TOM阵如下:
显然,可观测矩阵秩为3,以位置作为观测,速度误差δv为可观状态。
另外,根据组合系统误差方程可得:
可以看出位置误差是速度误差的一次积分,是姿态误差的两次积分,所以SINS/MM组合系统采用位置量测,速度可观测,方位误差角也可观测,但收敛的速度会比较慢。
通过以上分析可以得到初步的结论:SINS/OD速度组合,因为信息包含不完整,所以位置误差不可观测,而且方位角误差的估计精度受到限制;SINS/MM位置组合,速度可观测,但方位角误差估计达到稳态需要较长的时间。因此,采用SINS/OD/MM组合系统,可以综合SINS/OD速度组合与SINS/MM位置组合的优势,将在一定程度上提高系统误差状态的可观测性。下面在可观测分析方法的基础上,重点对SINS/OD/MM组合导航系统的可观测性进行详细的分析,并获得一些具有实际工程应用价值的结论。
2 可观测性分析的方法
研究可观测性常用的方法是测试可观测性矩阵是否满秩,如果满秩为完全可观测,如果不满秩,则系统不完全可观测。但当可观测性矩阵的秩相同时(在一定的相同的精度下) 卡尔曼滤波的效果并不相同[3,4],或者当可观测矩阵中某一列元素数值过小时,即使该列的秩不为零,所对应状态的可观测性也可能很差。因此,需要引入可观测度来描述系统。本节在分段式定常系统(piece-wise constant system,简写为PWCS)模型的基础上,采用了奇异值分解法与系统误差均方差分析法相结合的方法对系统进行了详细的可观测性分析。
2.1 PWCS可观测性分析
将组合导航系统的误差方程描述如下:
对上述系统的可观测性分析,可以只研究齐次方程的可观性。根据量测方程,可以得到:
将式(4)改写成矩阵形式:
式(5)中
Q为系统的可观测矩阵。对系统进行可观测性分析需要结合可观测矩阵。
组合导航系统在静止状态下为定常系统,可观测矩阵容易获取。而对于运动状态下,可观测矩阵不断变化,导致可观性分析比较困难[5]。因此需要将时变系统转换为分段式定常系统(PWCS),然后再进行可观性分析。
当状态方程中的Φ和H矩阵在每个时间区间tj(j=1,2,…)内可以近似认为不变时,则系统在每个时间区间内成为线性定常系统,即分段线性定常系统。对于每个时间段j,矩阵Φj和Hj是恒定的,但对应不同的时间段,每个矩阵可以是不同的[6]。
分段线性定常系统的齐次方程为:
总可观测矩阵可以写成
式(8)中
式(9)中Qj表示动态系统第j时间段可观测性矩阵。
2.2 估计误差均方差分析法
卡尔曼滤波器的估计均方误差阵Pk是滤波器估计性能好坏的主要表征。Pk阵对角线各元素的平方根,就是各个状态估值的误差均方差,它的数值就是在统计意义上衡量估计精度的直接依据[7,8]。因此,获取各状态估计误差的均方差,根据其收敛的速度与精度就可以判断系统的可观测情况。Pk的获取可以通过系统仿真实现,根据系统的估计误差均方差的收敛情况可以对奇异值分析法的结果进行验证。
3 不同机动条件下系统的可观测性分析
静止状态时,里程仪速度为零,则系统的可观测矩阵为:
由于H阵的最后一列为零,所以观测阵Q的最后一列全为零,使得量测Z中不包含里程仪刻度系数误差的信息,所以静止状态δKD为不可观测状态;当载车运动时,里程仪速度不为零,使得Q的最后一列不全为零,因而δKD变为可观测状态。所以δKD只有在静止时不可观测,其它运动均可观测。
忽略δKD的影响,下面分析12维系统的可观测性。
采用一阶近似离散化,则Φ=I+FT。
3.1 静止状态
系统为时不变系统,可以直接得到可观测矩阵。
3.2 匀速直线运动
假设载车向北匀速行驶,速度为20 m/s,由于载车行驶速度低,而且沿直线行驶,姿态角变化很小,因而系统可近似为时不变系统。系统的状态矩阵为Φ1和观测矩阵为H1,则:
3.3 转弯运动
假设载车先匀速向东,速度为20 m/s,再匀速向北,速度为20 m/s。同时,由于转弯过程时间很短,忽略其影响,因此把这个过程视为分段常值的情况。向北行驶的状态矩阵为Φ1,观测矩阵为H1,向东行驶的状态矩阵为Φ2,观测矩阵为H2,则系统可观测矩阵为:
由于将系统分段处理,所以其状态转移矩阵Φ和量测矩阵H在各段均为常值阵,因而很容易获得系统的总可观测矩阵,对三种状态下的总可观测矩阵分别求取奇异值。可观测矩阵的奇异值大小与所选的精度eps有关,即当矩阵中元素小于精度时可将其视为零。如果精度选择不当,秩就不能说明问题。在具体问题中,常常与动态系统中最小的元素相比较,如果比最小的元素的10-4倍还小,则将其视为零。
利用系统仿真产生的估计误差均方差对系统的可观性进行初步的判断。分别设置三组行车轨迹:
1)静止1 500 s;
2)20 m/s的匀速直线运动(北向),1 500 s;
3)20 m/s的匀速直线加转弯运动,在第400 s、800 s、1 200 s分别做90°的转弯运动,行驶1 500 s。
图1～图3分别为系统在静止、匀速直线和转弯下的估计误差均方差曲线。
从系统估计误差的均方差曲线图中可以直观的看出,姿态误差角φE和φN、位置误差δL和δλ、x轴和y轴陀螺漂移εx和εy,这6个状态在三种机动条件下的可观测度都很高,而且运动条件的改变对其可观测度的影响不大。
东北向速度误差δvE和δvN由于属于外部观测量,因而是可观测状态。静止状态时,相当于对惯导进行零速校正,所以可观测度是三种机动条件下最高的;当载车开始运动后,速度的量测用到了里程仪的测速信息,由于里程仪测量的是载体纵轴的速度,借助姿态矩阵的分解后造成分解到东北方向上的速度误差不同。当车辆北向行驶时,北向速度误差仅由里程仪刻度系数误差引起,东向速度误差仅由方位误差角引起,而向东向行驶时,东向速度误差仅由里程仪刻度系数误差引起,北向速度误差仅由方位误差角引起。这就造成载车在运动条件下,东向和北向速度误差的可观测度不相同的情况。
X轴、Y轴加计零偏ᐁx和ᐁy,在静止和匀速状态下都不可观测,转弯后可观测度大幅度提高,变为可观测状态。方位误差角φU只有在静止状态下不可观测,匀速直线下可观测度有所提高,变为可观测状态,转弯后可观测度大幅度提高。Z轴陀螺漂移εz在三种机动条件下均为可观测状态,但可观测度低,而且线运动和角运动对其可观测度并没有太大的提高。
4 总结
里程仪常值刻度系数误差只有在静止状态下不可观测,其它情况下都是可以观测的。由于可观测性分析是在系统齐次方程的基础上进行,所以里程仪刻度系数误差、陀螺漂移、加计零偏的估计值是对这些误差量的常值部分的估计。载车的机动性对系统的可观测性和可观测度有较大的影响。载车在静止和直线运动时,系统不完全可观测,但进行转弯运动后,系统完全可观测,整体的可观测度也得到了较大的提高,φU、ᐁx和ᐁy的可观测度在转弯后有明显的改善。因此,载车在行驶过程中应进行一些大幅度的方位角变化的运动,以提高系统的可观测性和可观测度。里程仪常值刻度系数误差只有在静止状态下不可观测,其它情况下都是可以观测的。
参考文献
[1]房建成,周锐,祝世平.捷联惯导系统动基座对准的可观测性分析.北京航空航天大学学报,1999;25(6):714—719
[2]弓川锦.SINS/GPS组合导航系统可观测度分析及精度评估方法研究.哈尔滨:哈尔滨工业大学,2007
[3]王丹力,张洪钺.几种可观性分析方法及在惯导中的应用.北京航空航天大学学报,1999;6,25(3):342—345
[4]程向红,万德钧,仲巡.捷联惯导系统的可观测性和可观测度研究.东南大学学报,1997;27(6):6—11
[5]Bar-Itzhack I Y,Bcrman N.Control theoretic to inertial navigation systems.Journal of Guidance and Control,1988;11(3):237—245
[6]Meskin D G,Bar-Itzhack I Y.Observalibity analysis of piece-wiseconstant systems-part I:theory,IEEE Trans.Aerospace and Elec-tronic Systems,1992;28(4):1056—1067
[7]Seong Y C,Wan S C.Performance enhancement of low-cost land navigation for location based service.ETRI Journal,2006;28(2):131—144
[8]Seong Y C,Byung D K,Young S C,et al.Observability analysis of the INS/GPS navigation system on the measurements in land vehicle application.Control,Automation and Systems 2007.ICCAS’07.In-ternational Conference,2007:801—846
可组合性 篇2
关于申请建设新田沟养蜂基地的报告
东皇镇人民政府：
我公司是经县工商局批准设立的私营企业，主要业务是承建土石方工程，挖掘机销售、维修。现有挖掘机、推土机、装载机、压路机等机械20多台，固定资金2000多万元，企业员工40多人，年收入3000多万元，年利税总额800多万元。近来，为改变公司经营业务单一状况，拓宽经营渠道，公司对我县蜜蜂饲养、蜜粉源资源、养蜂收入现状进行了调查，并结合蜂产品市场需求，价格逐年攀升势头，拟投资1200万元，建设大陆村新田沟养蜂基地，现将该建设项目可行性研究报告报上，请求镇政府予以审批建设。
习水县吉恒工程机械有限责任公司
二0一一年八月十日
新田沟养蜂基地建设投资
可行性研究报告
一、项目背景、必要性
蜜蜂因嗅觉灵敏，善于采集种类多而零星分散的蜜粉源，很适宜于山区、半山区生态环境饲养。我县不仅养蜂历史悠久，也是一个养蜂大县。但饲养技术落后，投入不足，养蜂户主要是沿用传统方法饲养蜜蜂，将收捕来的野生蜜蜂，置于树筒、木桶、竹笼（外用牛粪糊严）、箱柜内饲养，割脾榨蜜，蜜蜂易飞逃，易发生盗蜂行动，加之多年来的农业开发、滥施农药、环境污染等因素，养蜂业经济效益不好，养蜂户越来越少，产量逐年下降，蜜蜂在我县生存危机，一旦灭绝，会影响与之有关的植物共生生态系统的变化，保护蜜蜂已经刻不容缓。因此，改变落后的传统饲养方式，开展特色养殖，为蜜蜂生存开辟一定的生存空间，既可使蜜蜂这一濒危物种得到有效保护，又可为当地老百姓增加收入。
二、建设条件与场址选择
1、资源和原材料
（1）蜜粉源资源
全县有养蜂价值的蜜粉源植物60多种，发展养蜂生产的条件优越，可引种在基地栽培。
（2）蜜蜂资源
据公司对全县蜜蜂资源调查，我县蜂种抗囊状幼虫病的能力强，生产性能好，分布广，不需到外地引种。
2、场地选择
（1）项目地点
项目建设地点位于东皇镇大陆村新田沟一带，该地带山高谷深，常年有流水不断的小溪，距县城城区较远，交通便利，有利于蜜蜂生产。
（2）项目占地
总体规划用地600亩（荒山、荒坡、林地），其中培植蜜源用地500亩，其他用地100亩。
三、项目建设规模及内容
1、项目建设规模
通过建设达到养殖场地3万平方米，加工场地2000平方米，销售展厅300平方米，储存场地500平方米，办公区（养殖人员培训）500平方米，其他场地2000平方米，信息网络管理硬件达标。
2、项目建设内容
实施进场道路硬化建设，供水、供电设施建设，实施小溪沟整修、加固、防渗、防洪建设。
四、项目建设期限
项目建设期为6个月，即从2011年8月10日至2012年2月10日。
五、项目投资估算与资金筹措
1、项目总投资估算为1200万元。
2、资金来源：由习水县吉恒工程机械有限责任公司自筹。
3、投资使用计划：占地、租地投资400万元，购蜂种、良种蜂王、饲养蜂箱、配套器具设施投资200万元，蜜源培植投资200万元，小溪沟整治投资200万元，其他投资200万元。
六、项目建设经济和社会效益
蜂蜜是人们日常生活中喜爱的副食品之一，以投入产出经济效益来看，一个农户养10群蜜蜂，只要粉源充足，每年可获5000元至6000元纯收入，在投入和产出的比例上，养猪为1：1.6，养蜂则是1：8.8，而且蜜蜂授粉可使农作物和果树提高20%至30%的产量，可谓投资少，投入时间短，成本低，产值高，方便贮存，运输，市场销路广，经济价值高，是加速山区经济建设最佳项目之一。它不但直接产值高，而且可带动包装、贮备、加工、运输业、种养殖业的发展，从而形成多层次、多行业增值的可喜局面，抓好这个体现地方特色的项目建设，将会推动我县养蜂业的快速发展，为习水经济社会发展作一定贡献。
七、风险分析
本项目投资不大，产品在市场上供不应求，价格逐年上涨，经营风险较小。
八、结论
通过项目的分析，项目投资少，见效快，风险小，占耕地少，不用粮食，是名副其食的“甜蜜产业”，有着巨大的经济效益和社会效益，是国家鼓励和支持的项目，项目建设可行。
习水县吉恒工程机械有限责任公司
天下独创的 健性组合创出奇迹 篇3
我本人原本各方面都很差，用健性组合尚能创出多项奇迹来，一般人的身体等基础都比我强，性器都比我的大，而且我是从60岁才开始形成我现在的这套健性法，所以，如果你还比我年轻，你用我的这套健性健身法，其各方面的效果，自然应该超过我本人！
由于现在骗人的广告太多了，我的健性健身方法的效果又这么全、这么好，难免会让人怀疑，你可以和其它广告比较一下，本方法效果的真实性，从以下三点可以证明：1、我有真实可靠地证据。2、我承诺无效退货退款。3、我本人的变化是否真实，用我的健性法效果如何，你还可以问一问我的朋友，80岁的纪老先生，联系电话：045157765848，骗人的广告能作到这三点吗？
关于健性组合的具体详细内容，在以前的文章中都介绍过了，在此不重复了。
很多用过“组合”的人得到了各方面的改变和提高，高兴的称赞这套组合造福人类，其价值应在3，000元以上。现在一套“健性组合”售价980元，目前暂时还有优惠价800元，无效退货退款！另外，本月购组合，还可获赠一盒价值50元提高人体免疫力的补品，赠完为止。
本组合现在正在全国热卖中。所有人都希望能性能优秀年轻健康长寿，本组合真的能实现这个梦想！望有实力有能力有远见，想在全球搞一番前所未有的事业，并能获取名利双收的人士，和我一道，将这一伟大的事业推向全世界，造福全人类！
新型玉环专利人：齐刚
专利号：201220033260.5
性功法和新型玉环发明人、高级按摩师、性保健专家：齐刚
地址：哈尔滨市南岗区铁路街459号
电话：13144621758
邮政账号：60261 00242 00639 887
基于可达图的Web服务组合验证 篇4
Web服务是一种自包含、自解释、模块化的应用程序,能够被发布、定位、并且从Web上的任何位置进行调用。Web服务组合可以利用较小的、较简单的、且易于执行的轻量级服务来创建功能更为丰富、更易于用户定制的复杂服务,从而能够将松散耦合的、分散在Internet上的各类Web服务有机地组织成一个更为可用的系统,支持企业内、外部的应用集成(EAI)和电子商务等网络应用。
基于Petri网的形式化方法是Web服务组合建模的一个重要手段。由于Web服务的独立性和自治性,通过多个Web服务组合完成的业务流程正确性难以保证,因此必须对其进行验证。本文采用可达图作为分析工具,通过对基于Petri网的Web服务组合模型的可达性、有界性、安全性和活性等特性进行分析,进而验证服务组合模型的正确性。
1 基于Petri网的Web服务组合
Petri网已经成为一种应用广泛的形式化过程建模技术。它是一个有向连通图,其节点分别称为库所或变迁。库所中含有托肯,表示资源的个数。
定义1 Petri网的结构是一个四元有向图:PN = (P,T,W,M0)。其中:
(1) P是有限库所集;T是有限变迁集;且P∩T=ϕ。
(2) W⊆(P×T)∪(T×P)是一组有向弧的集合,代表从库所到变迁或者从变迁到库所的二元关系。
(3) M0→{0,1,2,…}表示初始标识。
若W: (P×T)∪(T×P) →{0,1},则PN称为普通Petri网。在普通Petri网中,当变迁t在标识M下的所有输入库所中都至少含有一个托肯时,t就可以使能。本文中所涉及的PN都是普通Petri网。
一个Web服务的行为是一系列操作的偏序集合,因此,可以将其直接映射为一个Petri网:Web服务的状态和操作分别映射为Petri网的库所和变迁。假设代表Web服务网的Petri网都有一个输入库所i和一个输出库所o。
下面分别给出服务网和Web服务的Petri网描述[1]。
定义2 服务网是一个扩展的Petri网SN=(PN,i,o,to)=(P,T,W,M0,i,o,to)。其中:
⑴ PN是定义1中的基本Petri网。
⑵ i是输入库所,并且·i ={ x∈P∪T|(x,i)∈W }=∅。
⑶ o是输出库所,并且o·={ x∈P∪T|(o,x)∈W }=∅。
⑷ to:T→A∪{τ},其中A是Web服务中的操作集,τA,τ是一个空操作。
定义3 一个Web服务WS是一个六元组WS=(SName,SDesc,SLoc,URL,CS,SN)。其中:
(1) SName是Web服务的名称,是Web服务的唯一标识。
(2) SDesc是服务的描述。
(3) SLoc是服务的定位。
(4) URL是服务的调用。
(5) CS是构成Web服务的组件服务。如果CS={ SName },则WS是一个基本服务;否则WS是一个组合服务。
(6) SN是定义2中的服务网。
Web服务组件由原子服务(可能是基本服务,也可能是组合服务)和合成操作组合而成。基本的组合操作有顺序(Sequence)、并行同步(AND-Split和AND-Join)、选择(XOR-Split和XOR-Join)、循环(Lteration)类型[2](如图1所示)。其他更复杂的服务组合操作可以由这些基本操作组合构成。
2 Web服务组合验证
组合Web服务是由几个概念上相互独立而实际上又交互的原子服务构成,它们之间是一种紧耦合的关系,组合成的服务正确性难以保证,因此在组合服务发布之前要进行验证。Petri网提供了许多强大的分析手段,如可达图分析、马尔可夫分析、矩阵分析等,本文采用可达图作为分析工具。
定义4 可达性 若从初始标识M0开始激发一个变迁序列产生标识Mr,则称Mr是从M0可达的。所有从M0可达的标识的集合称为可达集,记为R(M0)。
定义5 有界性 给定Web服务网SN和可达集R(M0),一个库所p∈P是k-有界的,当∀M ∈R(M0):M (p)≤k。若所有的库所都是k有界,则SN是k有界的。当k=1时,称库所或SN是安全的。
定义6 死变迁 对于t∈T,∀M ∈R(M0):M [ t≯。即变迁t在任何标识下都不是使能的,则称t是死变迁。
定义7 活性 对于t∈T,∀M ∈R(M0),若存在某一变迁序列Sr,该变迁序列的激发使得此变迁t使能,则称变迁是活的。若一个SN的所有变迁都是活的,则该SN是活的。
Web服务组合的正确性可以由合理性[3]来验证。
定义8 一个Web服务组合模型是合理的当且仅当:
⑴ 每个模型都有一个输入库所i和一个输出库所o;
⑵ 在终止状态时,只有输出库所o中含有托肯;
⑶ 任何从初始状态M0可达的状态M′都可以到达终止状态;
⑷ 任何变迁都不是死变迁。
对于一个Web服务组合模型SN =(P,T,W,i,o,M0),我们定义它的一个扩展服务网SN=(P,T,W,i,o,M0) ,其中:P=P,T=T∪{t*},W=W∪{<o,t*>,<t*,i>},M0= M0。
定理 一个Web服务组合模型SN是合理的当且仅当SN具有有界性和活性[3]。
推论 Web服务组合模型的正确性验证有两种方法:
(Ⅰ) 分析服务组合模型SN的可达性,有界性和有无死变迁。
(Ⅱ) 分析服务组合模型的扩展服务网SN是否具有活性和有界性。
可达图构造算法
(1) 由初始标识M0开始,并标记为“new”。
(2) 若“new”标识存在则执行步骤⑶;否则算法终止。
(3) 选择某一“new”标识M,若在M下无任何变迁使能,转向步骤(5);否则执行步骤(4)。
(4) 对于在M下使能的所有变迁t,激发产生新的标识M′,作如下判断:
①若M′与已有可达图中的某个标识相等,则从M到已有标识画一条有向弧,将其标记为t,然后执行步骤(5)。
②若在从M0到M的路径上存在一标识M″,使得M′覆盖M″,则对于那些使M′(p)>M″(p)成立的p,用ω(无穷大)取代M′(p)。然后从M到M′画一条有向弧,将其标记为t,同时将M′标记为“new”,然后执行步骤(5)。
③若M′不满足①和②的条件,则将M′添加到可达图中,并从M到M′画一条有向弧,将其标记为t,同时将M′标记为“new”,然后执行步骤(5)。
(5) 去掉标识M的“new”标记,返回到步骤(2)。
Web服务网SN基于可达图的正确性验证方法:
(1) 可达图中所有结点的最大托肯数≤k,则SN是k-有界的。
(2) 当且仅当可达图中所有结点上仅包含0或1时,SN是安全的。
(3) 若某变迁在可达图中不出现,则该变迁是死变迁。
(4) 在不包含ω的可达图中,给定任意的两个结点之间,都存在一有向路径,则SN是活的。
(5) 若SN满足(1)、(2)和(3)或者SN满足(1)和(4),则组合服务是正确的。
3 Web服务组合验证实例
例 模拟一个ATM机的服务,包括:(1)操作过程:{开始、插卡、输入密码、查询子服务、取款子服务、转账子服务、返回、结束};(2)查询子服务:{选择查询};(3)取款子服务:{选择取款、输入取款金额};(4)转账子服务:{选择转账、输入转入账号、输入转账金额}。其组合服务网模型如图2所示。
该组合服务网中库所和变迁的含义如下所示:
i 服务的初始标识
p1 服务开始状态
p2 插卡完成状态
p3 密码输入成功状态
p4 查询成功状态
p5 进入取款状态
p6 进入转账状态
p7 转账账号输入完成状态
p8 操作完成状态
o 服务的结束状态
t1 启动服务操作
t2 插卡操作
t3 输入密码操作
t4 选择查询操作
t5 选择取款操作
t6 选择转账操作
t7 查询辅助操作
t8 输入取款金额操作
t9 输入转入账号操作
t10 输入转账金额操作
t11 返回操作
t12 结束操作
t13 结束操作根据组合服务网模型,生成可达图如图3所示。
Mi=(i,p1,p2,p3,p4,p5,p6,p7,p8,o)
利用可达图对该组合服务进行验证分析:①该组合服务模型有一个输入库所和一个输出库所。②所有状态都在从M0到终止状态M9的有向路径上,所以该组合服务是是可达的。③系统结束时到达状态M9=(0,0,0,0,0,0,0,0,1),此时只有输出库所o中有托肯。④所有的变迁在可达图中都出现,所以组合服务中没有死变迁。根据推论(Ⅰ)可知该服务组合是合理的,满足正确性的要求。
我们也可以构造该组合服务的扩展服务网SN,生成SN的可达图,然后根据推论(Ⅱ)证明SN具有活性和有界性,同样可以验证组合服务的正确性。这里就不再赘述。
4 结 论
形式化方法是Web服务组合的一个研究思路。本文在基于Petri网的Web服务组合模型基础上,利用Petri网的可达图作为分析工具,提出了两种Web服务组合正确性的验证方法,并进行了实例分析。Petri网在解决问题的复杂度方面还存在一定的不足,下一步主要研究Web服务更为通用的、具有更好扩展性、可伸缩性和开放性的形式化描述和验证方法。
摘要：针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。
关键词：Web服务组合,验证,Petri网,可达图
参考文献
[1]Rachid Hamadi Boualem Benatallah.A Petri Net-based Model for Web Service Composition[C]//14th Australasian Database Conference,Adelaide,Australian,2003:191-200.
[2]Yu Liang Chi,Hsun Ming Lee.A formal modeling platform for compos-ing web services[J].Expert System with Application Systems,2008,34(2):1500-1507.
[3]W MP,van der Aalst.The application of Petri nets to workflow man-agement[J].The journal of Circuits Systems and Computers,1998,8(1):21-66.
[4]Srini Narayanan,Sheila McIlraith.Analysis and simulation of Web serv-ices[J].Computer Networks,2003,42(5):675-693.
[5]Liu Bing,Chen Huaping.A Web Service Composition and Analysis:A Petri-net Based Approach[C]//Proceedings of the First International Conference on Semantics,Knowledge,and Gird,2005:191-200.
[6]Tadao Murata.Petri Nets:Properties,Analysis and Applications[C]//Proceedings of the IEEE,1989:541-580.
怎样运动可助“性” 篇5
我去年生了一场大病，在家休息了两个月，期间吃了许多补品。后来身体虽然康复了，却显得很臃肿。肥胖的体型让我对夫妻生活明显冷淡下来，为此老公对我很有意见，我也在一直想办法改变现状。我听朋友说运动能有效助“性”，同时也能减肥，我认为这是个一举两得的好方法，后来我天天早晚都坚持跑步、跳绳，每天运动两个小时以上。半年以后，我的身材苗条了，然而“性”趣却一点也没有增加。请问为什么会这样呢？运动究竟能不能对夫妻生活有所帮助呀？
舒雨解答：
首先肯定一点，就是你朋友的说法没错，长期坚持体育锻炼不但有利于身体健康、预防疾病，的确还能提高人体性唤醒能力，增强性高潮快感。但是需要指出的是：过量密集的锻炼计划将会使人精疲力竭，如果一个人的体力都已经透支，那么就势必会影响夫妻两性生活。而且当过度的锻炼使身体的脂肪含量低于15%时，控制性激情的雌激素就会减少分泌，从而使女性很难提起“性”趣。所以，如果你想通过体育锻炼来提高性生活質量，就一定要控制好运动的尺度。
研究表明，以下几项运动对提高女性的“性”趣有较好的效果：
游泳：采用蛙式姿式最好，长期坚持锻炼，可使腹部肌肉变得结实，在做爱时感觉会更为美好。
骑自行车：这是一项最易于坚持的运动方式，它可以锻炼女性的腿部关节和大腿肌肉。同时，它还有助于你的血液循环系统。
慢跑/散步：对心脏和血液循环系统都有很大的好处，每天保持锻炼30分钟以上，会有利于减肥，并能提升女性的性欲望。
可组合性 篇6
随着国家电网公司明确提出要建成一个电网坚强、资产优良、服务优质、业绩优秀的现代公司的号召, 对电网安全运行提出了更高的要求。运用高科技手段解决生产实际需求是行之有效的手段之一。GIS (封闭组合电器) 设备是全封闭设备, 为了防止工作人员发生电气误操作, 目前GIS设备的使用已经有不少的安全措施, 如微机防误, 各种电气、电磁、机械锁等。但是这些安全措施实施的前提, 是对组合电气带电状态的监测, 国网公司有相关规定, 所有的组合电器必须安装带电显示装置。
如果对现有GIS安装非感应式带电显示装置, 工艺较为麻烦 (惰性气体的抽出等工作) , 代价高昂, 基本不具有可实施性。因此研制一种可带电安装、维护的感应式GIS带电显示装置在实际应用中有切实的意义。该装置能与电磁锁, 机械程序锁、微机闭锁等防误装置配合实施强制闭锁, 是户外 (户内) 电气网络或设备上防止电气误操作的较理想的安全装置。
2 GIS (封闭组合电器) 在线可维护感应式带电显示装置的设计原则
(1) 研究如何从GIS母线筒外采集、放大电压信号。
(2) 根据放大电压信号, 研究GIS有电、无电的判定。
(3) 实现相应判定结果的显示。
(4) 研究如何与相应操作机构的配合使用, 进行电路保护。
3 GIS (封闭组合电器) 在线可维护感应式带电显示装置的设计
设备由电压传感器从GIS母线筒外或进出电缆上采集到微弱的工频电压信号, 经过放大、数字滤波处理, 一路送到LCD电压指示器指示GIS母线筒内的母线对地相的电压;一路经抗干扰处理送功率放大器将工频信号功率放大后输出 (标称电压AC110V) ;另一路也经抗干扰处理后送判别电路。当判为有电时LED电路红灯亮, 当判为无电时LED绿灯亮, 输出继电器有三对常开常闭触电, 分别与“有电”“无电”两种状态相对应;全机用开关电源供电, 有较强稳压抗电源波动能力, 当负载有短路时电源有自动保护功能。设备平面图如图1所示。
4 GIS (封闭组合电器) 在线可维护感应式带电显示装置的技术特点
(1) 该装置是传统带电显示装置的换代产品, 它是国内、外唯一一款可以在不断电情况下可以安装和维护的高压带电显示装置。传统的GIS设备带电显示装置需要在断电情况下, 在母线筒内安装传感器。传感器的安装与维护都必须重新对母线筒内的SF6惰性气体操作。
(2) 它的电压传感器安装在母线金属筒法兰盘外或进出线电缆上, 对原系统的正常运行和参数指标没有任何影响, 因此适用于一切GIS设备。尤其是已经运行的GIS设备, 可以在不断电、不改装主机设备的情况下进行安装。
(3) 该装置是一个半导体电子产品, 它可不与一次设备的母线直接连接, 因此具有很高安全性能。无换油、漏气之忧, 真正免维护。
(4) 全屏蔽安全保护, 工作稳定, 高抗干扰性能、高可靠和高安全性能。
(5) 完备的安全设计, 确保系统安全可靠。
(6) 除可安装在户内使用, 也可安装在户外及潮湿环境中使用。
5 结论
GIS (封闭组合电器) 在线可维护感应式带电显示装置主要适用于60-750kV封闭组合电器 (GIS) 作保护等级的电压监视。既可作为重合闸鉴定判据, 又可通过继电器触点的状态反映母线的带电状态, 进而可以对相应操作机构实现单方向强制闭锁, 即线路无电时, 才可合地刀操作, 分地刀操作无条件限制。
参考文献
[1]国家电网生 (2011) 1223号, 关于加强其它绝缘金属封闭开关设备全过程管理重点措施[S].
[2]国务院令第599号, 电力安全事故应急处置和调查处理条例[S].
[3]朱德恒, 严璋.电气设备状态监测与故障诊断技术[M].北京:中国电力出版社, 2009.
可组合性 篇7
随着模具应用的高速发展, 作为模具加工的常用机床电火花成型机床的应用也越来越多, 但是现有的电火花机床夹具过于单一, 使得很多零件都难以装夹, 尤其是薄壁、细长零件等特殊零件。而如何提高产品的质量, 如何更好地装夹各种零件, 以及如何提高生产效率已成为当前一个重要问题。我们希望设计一个有效的电火花微型组合夹具, 可以提高电火花加工中零件的装夹效率以及适用范围。
1 当前电火花常用夹具常出现的问题
当前电火花加工所用夹具多为磁盘夹具。不可否认磁性装夹确实快速且方便, 但是其限制较多:它只能装夹钢铁, 对于其他金属材料, 比如锌铝合金等便不能装夹;它只能装夹一般的板型零件, 对于特殊的零件, 尤其是薄壁零件、深孔型零件以及通孔型零件的装夹还存在比较大的问题, 下面具体分析。
1.1 装夹不方便
不同的零件需要不同的夹具, 磁盘只适合盲孔型板料零件, 适用范围极度单一。我们希望设计一种夹具, 可以直接放在磁盘上, 根据不同的需要, 更换一部分部件, 从而实现不同零件 (薄壁零件、深孔型零件以及通孔型零件) 的加工, 提高零件的装夹范围。
1.2 冷却不好
电火花加工属于高温加工, 冷却方式至关重要, 采用磁盘装夹, 其冷却方式往往是油管式冷却, 对于一般小型零件的表面加工自然可以达到冷却要求, 但是换成大型零件, 或者深孔型零件, 以及通孔型零件, 这种冷却方法就很难达到冷却效果。例如, 加工较深的模具型腔零件时, 就会出现积碳现象, 导致零件加工速度减慢, 精度降低;加工通孔型零件时, 由于冷却液喷不均匀, 加工时经常出现着火现象, 导致加工困难或者无法加工。也有的机床为了达到冷却效果, 直接采用淹没式加工, 但是工作台过大, 冷却液极度浪费, 机床密封不严等现象也经常发生, 并且淹没式加工常会造成积碳无法正常排出, 导致加工效果比较差等情况。
2 电火花微型组合夹具的设计
2.1 机构的原理图及其组成
图1为该夹具的原理图, 其中底盘1、工作台2、导轨3、小夹具4为整个夹具的4个组成部分, 冷却液从入油口5喷入, 在泵压的作用下, 其冷却油将从各个方向向上流动, 尤其是流油口7处最多, 最终淹没零件, 从而达到冷却的效果。在泵压的作用下, 其中流油口7既可以使得通孔型零件达到更好的冷却效果, 也可以起到冲屑的作用。由于底盘、工作台、小夹具可以拆装, 因此我们可以根据需要更换小夹具4, 利用导轨3来定位和装夹不同零件, 从而增加其适用范围。
1.底盘2.工作台3.导轨4.小夹具5.入油口6.安装立柱7.流油口8.安装位9.出油口
2.2 底盘的设计
图2为我们设计的底盘, 由于电火花加工属于不接触加工, 整个加工过程中几乎没有力的作用, 所以对于电火花夹具而言, 不需要把夹具固定在机床上, 只要放在磁盘上, 其质量就可以保证其稳定, 不用另外装夹, 所以, 该底盘采用不锈钢材料就可以满足要求, 该底盘有3个作用:1) 底盘下面设计了两个相互垂直的入油口2, 即加工时, 冷却液可以从下喷入夹具, 进而淹没零件从而达到更好的冷却效果。2) 中间有6个安装凸台1可以根据不同需要安装不同的工作台, 而下面的方槽更有利于冷却液的流出。3) 底盘上端有4个出油口3, 更加便于工作液的循环以及熔屑的排出。
1.安装凸台2.入油口3.出油口
2.3 工作台的设计
根据要装夹的零件不同, 可以根据需要更换不同的工作台以完成装夹。限于篇幅, 我们只设计一种工作台, 希望可以达到抛砖引玉的作用。由于主要针对小型零件进行加工, 且电火花加工基本没有切削力的存在, 对力学要求不高, 所以工作台选用铝作为其材料, 如图3所示。其中4个较大阶梯孔为和底盘相连接的4个固定孔, 用来装夹在底盘上, 而中间的口为流油孔 (也方便细长零件或者轴类零件的装夹) , 尤其是针对通孔性零件, 可以达到很好的冷却作用。其中4个较小的阶梯孔为和导轨的链接孔, 用来链接导轨用。
2.4 导轨的设计
图4为夹具用的导轨, 一方面它将被固定在工作台上;另一方面, 小夹具可以根据需要在其上滑动, 便于定位和装夹。
2.5 小夹具的设计
根据前面工作台的设计, 在这里我们将设计3种小夹具, 分别对应矩形零件、弧形零件以及轴类零件的加工, 包括通孔零件和盲孔零件, 分别如图5~图7所示。且夹具下面的2个安装孔可以直接安装在导轨上, 从而实现定位, 而另外2个孔则可以采用销钉来实现装夹。
1) 矩形零件夹具的设计。矩形零件主要指长方形、正方形零件。该小夹具采用平口装夹方式, 可以装夹各种小型矩形零件, 尤其是不能用磁盘吸住的材料的零件, 且由于工作台中心有一圆孔, 在矩形零件上加工通孔时不用再另外设计夹具, 而淹没式冷却方法可以避免通孔型零件加工时下面无法冷却的情况。
2) 弧形零件夹具的设计。弧形零件主要指有弧度的零件, 比如圆形零件。该小夹具采用V型槽装夹方式, 可以装夹各种弧形小零件, 包括不能用磁盘吸住的材料的零件, 同样由于工作台中心有一圆孔, 在零件上加工通孔时, 由于其属于淹没式冷却, 更方便加工及冷却。
3) 轴类深孔型或通孔型零件的夹具设计。轴类深孔型或通孔型零件指的主要是在轴类零件的轴向加工深孔或者通孔的零件, 由于其往往较细长, 且加工较深, 电火花加工通常都需要配专门夹具才行。该小夹具采用V型槽装夹方式, 不过和上面不同的是它采用的是通孔型V型槽, 可以装夹各种轴类小零件, 尤其是不能用磁盘吸住的非钢铁类零件, 且由于工作台中心有一圆孔, 轴类零件可以直接装夹。
3 新夹具的特点
1) 具有可更换性, 可以提高夹具的使用范围。该夹具共分为4部分, 可以根据需求重新设计工作台和小夹具, 从而实现更多零件的装夹, 增加其适用范围。本文用3种零件 (矩形零件、弧形零件、轴类零件) 来说明其可更换性。
2) 采用了特殊的冷却方式。不但可以起到较好的冷却作用, 还可以起到较好的冲屑作用, 避免积碳现象的发生, 从而提高零件的加工质量。电火花加工中, 冷却是极其重要的事情, 为了解决冷却问题, 采用从下往上喷油, 淹没式加工的方式来进行冷却, 以求可以达到更好的冷却效果。而由下而上的入油方式更是可以起到较好的冲屑作用, 避免积碳现象的发生, 从而提高零件的加工质量。
3) 可以直接安装在机床上, 简单易行。新夹具底座采用钢材, 可以直接利用磁性吸附在磁盘上, 可以直接安装在机床上, 简单易行, 不会影响零件的实际加工。
4 结语
设计了一整套夹具, 可以实现3种零件的定位装夹, 根据需要也可以改进工作台和小夹具, 实现更多零件装夹, 且和传统电火花的夹具相比, 该夹具拥有更好的冷却性和适用范围, 希望可以起到抛砖引玉的作用, 使得电火花加工朝着更好的方向发展。
摘要：文中设计研究一套适合电火花微型零件的夹具, 快速而准确地定位和装夹零件, 能根据不同的零件更换部件, 从而提高夹具的适用范围。在整个设计中, 采用了特殊的冷却方式, 有效提高了电火花零件的加工质量。
关键词：电火花,组合夹具,设计,应用研究
参考文献
[1]周太平, 康志成, 夏翔.数控铣床与加工中心夹具设计[J].现代制造工程, 2011 (2) :91-95.
[2]张英.数控机床夹具设计的分析与应用[J].科技资讯, 2012 (8) :101.
[3]徐宏海.数控加工工艺[M].2版.北京:化学工业出版社, 2008.
[4]史俊友, 翟红岩, 张莹.Solidwords产品造型实例教程[M].北京:化学工业出版社, 2007.
[5]杨建明.双面模具型腔数控加工夹具的设计[J].模具工业, 2012 (12) :60-64.
[6]彭文利, 刁仁飞, 党新安.电火花成形加工中积碳问题的探讨[J].机床与液压2009, 37 (8) :58-60.
[7]鲍中美.电火花成形加工常见工艺问题分析和对策研究[J].机械设计与制造2007 (9) :200-202.
[8]袁喜昌.影响电火花成形加工质量的因素及防止方法[J].科技传播, 2010 (6) :70, 77.
组合性原则与逻辑语法 篇8
同转换生成语法一样, 逻辑语法认为语言是生成性的。生成性又称递归性, 通俗地讲就是由有限的语言表达式生出无限多的表达式, 也即所谓“无界语言的有限规律性”。[3]当代理论语言学把递归性看做自然语言的本质特征之一。转换生成语法认为自然语言的句法是生成性的, 一个句子无论是否第一次使用, 也无论它有多么长多么复杂, 都是由一些基本单位出发, 经过若干句法规则的计算得到。在转换生成语法里, 句法居于中心地位, 它是生成性的, 音系和语义居于从属地位, 它们是解释性的, 这个思想称为句法自主。逻辑语法则认为语义也是生成性的:我们每天都听到和说出些从来没有听到或说出的句子, 很难想象这些句子的意思我们是一个个孤立地理解和记住的, 同句子的语形一样, 意义也有递归性:由一些基本意义单位, 依照若干语义规则得到无限多的复杂意义。转换生成语法和逻辑语法的发展都得益于20世纪的科学进步, 前者更依赖计算科学里的形式语言理论, 后者更依赖数理逻辑。
组合性原则 (the principle of compositionality, 以下简称CP) 是逻辑语法最重要的方法论原则, 了解CP不仅是研究逻辑语法的起点, 也是把握其理论发展脉络、预测其发展走向的一条重要线索。[4]本文第一节阐述逻辑语法和CP提出的背景与过程, 第二节从宏观层次讨论CP对逻辑语法的方法论意义, 第三节从微观层次讨论逻辑语法如何通过范畴语法和高阶逻辑等理论构件实现CP。
一组合性原则的提出与逻辑语法的兴起
(一) 组合性原则与组合性语法理论
组合性原则又称弗雷格原则, 由德国逻辑学和数学家弗雷格 (G.Frege) 提出, 他在1884年发表的哲学著作《算术基础》的序言里阐述了他语言哲学思想的两条核心原则, 其中之一称为组合性原则:[5]
一个句子的意义是其组成部分的意义及其组合方式的函数。
函数本是数学概念, 最先由弗雷格引入逻辑学。[6]上述原则表达了三层意思:第一, 句子的意义是可计算、可生成的;第二, 句子的意义由单位意义及其相互组合的句法构造过程共同决定;第三, 求得句子意义是一种函数运算, 以较小单位意义及其相互组合的方式为输入, 以句子的意义为输出。所谓“组合”指提取词汇, 构成符串的过程, 通常是把两个表达式并联起来:给定任意表达式α和β, 二者并联得到αβ或βα。不同的表达式句法性质不同, 把它们一步步组合起来便形成一个句法结构, “组合方式”指句法结构给句子造成的意义。
人工逻辑语言遵循组合性原则。逻辑语言没有歧义和模糊, 每一基本表达式都有一明确的语义解释, 每一句法规则都有一条对应的语义规则, 句法规则说明如何造成合法的复杂表达式, 语义规则说明如何计算复杂表达式的意义, 这种对应如此规则和严整, 使得贯彻CP近乎一个自动机制, [7]换句话说, CP对于逻辑语言的意义更多是哲学特征的抽象提炼。
逻辑语法首次把CP引入自然语言研究, 迄今已发展出蒙太古语法、类型逻辑语法等多种理论。CP对于逻辑语法具有根本性的方法论意义。以CP为根本方法论原则的语法理论又称组合性理论, 道蒂 (D.Dowty) [9]从方法论的角度提出了建立和评价组合性理论必须考虑的三个因素, 分别是组合透明性 (compositional transparency) 、句法经济性 (syntactic economy) 和结构语义经济性 (structural semantic economy) , 这三个因素彼此相联、相互制约。所谓组合透明性是指语义组合在多大程度上可以从句法结构上一目了然, 句法经济性指服务于语义组合生成的句法结构是否简单, 结构语义经济性指语义组合生成所涉及的意义单位以及定义在这些单位上的语义操作是否简易。可以看出句法经济性和结构语义经济性分别涉及意义计算过程中的句子生成和语义生成问题, 组合透明性则涉及二者之间的接口问题, 作语法分析必须综合考虑这三个因素, 无论忽视语义生成的句法分析还是不顾句法的语义分析都是不可取的。
(二) 逻辑语法的兴起及其理论构件
在逻辑语法之前很长一段时间内, 自然语言的意义问题被排斥在逻辑学和理论语言学之外。19世纪末、20世纪初, 以罗素 (B.Russell) 等人为代表的分析哲学家认为自然语言充满了歧义、模糊等不精确现象, 应创制一种完美的人工语言作为科学研究的表达手段。从美国结构主义到转换生成语法, 理论语言学都只关注自然语言的句法形式方面。
20世纪上半叶, 数理逻辑飞速发展, 出现了许多强大的数学和逻辑学工具:罗素建立了类型论, C.I.刘易斯 (C.I.Lewis) 创立了模态逻辑的句法学, 塔士基 (A.Tarski) 建立了外延语义学, 丘奇 (A.Church) 提出了兰姆达演算, 卡尔纳普 (R.Carnap) 发展了逻辑语义分析方法, 提出了外延内涵法, 并首先试图把内涵的概念形式化, 克里普克 (S.Kripke) 提出了可能世界语义学, 给出了内涵的形式定义, 建立了模态逻辑的语义学。这使蒙太古 (R.Montague) 和D.刘易斯 (D.Lewis) 等一些逻辑学家和语言学家逐渐认识到运用逻辑语言的技术和方法来研究自然语言的意义问题是可能的。蒙太古[9]认为自然语言和人工语言之间不存在重大理论差异, 可以通过一套理论框架统一解答这两类语言的句法和语义问题, 他把这种普遍语法称为通用语法 (Universal Grammar) 。转换生成语法学家也要建立一套普遍语法, 目的是如何生成并且只生成所有的自然语言。
20世纪70年代初, 蒙太古语法的出现标志着逻辑语法的形成。当时, 转换生成语法正处于标准理论时期, 还没有建立自己的语义学;另外蒙太古认为转换生成语法业已建立的句法理论“没有太多的语义学意义”[9]110, 用道蒂的理论来讲就是组合透明性和句法经济性比较差, 很难透过多层次的生成和转换以及繁复的句法规则建立有效的语义学。要建立充分而全面的自然语言语义学, 需要一种更简便的句法理论。于是蒙太古采用了范畴语法 (categorial grammar) 这种没有转换机制的单层次语法来生成自然语言的语符串, 他还运用高阶逻辑来表达和生成自然语言的语义, 这就形成了蒙太古语法。[10]此后的逻辑语法理论, 比如类型逻辑语法 (TypeLogical Grammar) 继承和发展了蒙太古语法, 主要体现在更好地贯彻了CP, [11]显现了CP对逻辑语法的重要意义。
二CP对逻辑语法的方法论意义
CP意味着句法不是自主的, 语义也并非处于从属地位, 句法和语义是语法系统里地位相等、密不可分的两个部门, 句子及其意义是同步生成的。因此加缪 (L.T.F.Gamut) [7]215把CP称为转换生成语法和逻辑语法之间的“分水岭”。
意义以语言符号为载体, 根据CP, 一个复杂意义体的意义既取决于单位意义体的意义, 又取决于它们相互组合的方式和过程。符号连缀在一起构成符串的运算属于句法学问题, 符串意义的生成属于语义问题, 符串的每一次组合都带来一步新的语义计算, 造成一个新的意义结构体, 句法和语义互为表里。贯彻CP意味着句法和语义之间的对应关系越简单、越直接越好, 也就是要有较高的组合透明性。逻辑语法由于采用了范畴语法, 大大简化了句法运算, 又由于内涵高阶逻辑集成了类型论和兰姆达演算, 最终使得句法生成和语义生成严格对应、同步联动, 语法系统每进行一步句法运算, 就相应地进行一步语义运算, 句子生成完毕, 意义计算也同时结束。
具体说来, 逻辑语法以如下方式做句法和语义的同步运算:范畴语法首先生成语符串, 并消除语符串的歧义。逻辑语法认为歧义是句法组合过程不同造成的, 从结果看相同的句子, 其生成过程并不相同。逻辑语法用生成树演示句法生成, 一个歧义句对应多棵生成树, 每棵生成树说明造成一种解释的句法生成过程。接着逻辑语法对自然语言作间接的语义解释, 即先把自然语言翻译为某种逻辑语言, 再对后者作语义解释。在间接语义解释的模式下如何使句法和语义严格对应、同步联动?首先, 高阶逻辑每一表达式都有一句法范畴, 俗称语义类, 自然语言每一表达式都归属范畴语法的某个或某些范畴, 每一范畴通过赋类函数对应且仅对应一个语义类。第二, 自然语言每一基本表达式都有一高阶逻辑翻译式, 这个翻译式根据自然语言表达式的语义特征, 依照逻辑语言的句法规则写出。第三, 逻辑语言的语义学部分赋予每一基本逻辑表达式一个明确的语义值, 并有若干规则说明如何计算复杂表达式的语义值。第四, 范畴语法的每一运算规则都有一条对应的逻辑表达式的运算规则, 逻辑语言的每一句法规则又对应一条语义计算规则, 使得自然语言每做一次句法运算, 便相应进行一次语义运算。这种句法和语义同步生成的结果是每一棵句法生成树都对应一棵结构相同的逻辑表达式生成树, 可在前者每一节点上同时标记相应语义运算的结果, 把二者结合起来。
三范畴语法与高阶逻辑———实现CP的手段
本节结合类型逻辑语法, 在微观层次讨论逻辑语法如何实现CP。具体说来有两种手段:范畴语法和高阶逻辑, 前者使逻辑语法获得了一种较之转换语法更具语义学意义的句法理论, 后者则为处理复杂的自然语言意义问题提供了必要的技术手段。
(一) 范畴语法与句法/语义的同步生成
范畴语法是一种单层次的句法理论, 所谓单层次指仅有一个句法表达层次, 不存在转换语法那样的深层结构、表层结构、逻辑形式等多个句法表达层次。范畴语法属于词汇主义语法, 词库内容丰富, 句法规则极少。
CP要求句法和语义同步运算, 可以想见, 如果句法生成机制过于复杂, 整个系统的效率难免低下。范畴语法最大的优势在于可以一种简洁明晰的方式生成自然语言的语符串, 并且可以跟语义表达式 (即高阶逻辑表达式) 形成直接而严格的对应, 从而取得较好的句法经济性和组合透明性。囿于篇幅, 本文无法全面介绍范畴语法, 仅结合主题介绍几个方面。
范畴语法首先有一个递归定义的句法范畴集合Cat:
1. n、np、s属于Cat
2. 如果A、B属于Cat, 则A/B、BA属于Cat
3.其他都不属于Cat
n、np、s是初始范畴, 分别代表普通名词, 名词短语和句子。应用第二步的递归, 可得到无限多的派生范畴。每一表达式都根据其语法特征被指派一个范畴, 比如不及物动词的范畴是nps, 意思是要跟左侧一个np范畴的表达式组合得到s范畴的表达式。再比如修饰普通名词的形容词其范畴是n/n, 意思是要跟右侧一个n范畴的表达式组合得到另一个n范畴表达式。需指出的是, 并非所有范畴都在自然语言里有用武之地, 这种冗余换来的是整个系统的数学精确性。
范畴语法的特点是小句法、大词库, 词库记录基本表达式的语形、逻辑翻译式和句法范畴, 句法规则说明表达式合法的组合方式。所谓“大词库”一方面指许多歧义问题在词库里解决, 比如某个有歧解的词在词库里有多个词条, 每一词条反映一层意思。这里的歧解并不仅仅指一般意义上的歧义词语, 比如bank、corn等, 还指句法行为上的多功能, 比如happy既可以跟普通名词 (比如kid) 组合构成另一个n范畴表达式 (比如happy kid) , 也可以做谓语, 这样就在词库里有两个词条:
1.happy1 λPλx.happy (P) (x) :n/n
2.happy2 λx.happy (x) :nps
另一方面, 句法范畴内置了许多句法组合信息, 比如上面提到的nps和n/n。这使“小句法”成为可能。类型逻辑语法所采用的范畴语法只包括斜线消去规则和斜线引入规则, 可格式化地表达如下:
A/B B→A/E (顺向斜线消去)
B BA→AE (逆向斜线消去)
A→A/B B/I (顺向斜线引入)
A→B BAI (逆向斜线引入)
高阶逻辑的语义类集合Typ也是一个无限集, 可递归定义如下:
1.Ind, Bool属于Typ
2.如果α、β属于Typ, 则 (α→β) 属于Typ
3.其他都不属于Typ
逻辑语法里有一个赋类函数 (type assignment function) T, 它为范畴语法的每一范畴指派且仅指派一个语义类:
1.T (np) =Ind, T (n) =Ind→Bool, T (s) =Bool
2.T (A/B) =T (BA) =T (B) →T (A)
赋类函数建立了自然语言和逻辑语言句法范畴上的对应。斜线消去规则和斜线引入规则分别对应函数应用和函数抽象这两条逻辑句法规则。所谓函数应用指给定语义类为σ→τ的表达式α和语义类为σ的表达式β, 二者做函数应用的运算得到语义类为τ的表达式α (β) 。函数抽象指给定语义类为τ的表达式α, 经函数抽象得到语义类为σ→τ的表达式λx.α (x) , 其中x是语义类为σ的变项。这便建立了两种语言句法运算上的对应。高阶逻辑的语义学部分赋予每一合法表达式一个明确的语义值, 函数应用和函数抽象的运算也各有其真值条件, 这样逻辑翻译式每组合一次, 所得结果的语义值也同时求出, 当整个句子生成完毕, 其语义值也就算出来了。
(二) 高阶逻辑与CP的实现
逻辑语法里的高阶逻辑应用了类型论和兰姆达演算, 前者使得每一逻辑表达式都有一句法范畴, 即语义类, 后者使得每一步句法运算的结果都能得到准确、系统的表达。
逻辑语法遵循CP, 并作间接语义解释, 要把自然语言一步步翻译为逻辑语言, 而自然语言的意义问题纷繁复杂, 传统一阶谓词逻辑不敷其用, 主要表现在两个方面:第一, 有许多自然语言表达式无法翻译。一阶谓词逻辑只有项词、谓词和命题这三类表达式, 相当于高阶逻辑里的Ind类、 (Ind→Bool) (或者Ind→ (Ind→Bool) 、Ind→ (Ind→ (Ind→Bool) ) 等, (视谓词要求的论元数而定) 类、Bool类。句子a happy kid sings很简单, 但happy既不是项词也不是谓词更不是命题, 它是谓词修饰语, 一阶谓词逻辑无法翻译它。第二, 用一阶谓词逻辑处理自然语言的语义问题不能很好地贯彻CP。贯彻CP意味着每做一次句法组合运算, 就要生成一个复杂逻辑表达式, 但一阶谓词逻辑无法表达那些生成过程中出现的表达式, 比如要生成Julie loves Pooh, love先要跟Pooh组合构成谓语, love可译成二元谓词love, Pooh可译成项词pooh, 但是love Pooh怎么翻译?love (pooh) (x) 显然不行, 因为这是一个命题函数, 里面有一个自由变项x, 粗略地说这是he/she loves Pooh的翻译式。这些问题可在应用了兰姆达演算的高阶逻辑里轻松解决。
兰姆达 (λ) 是一个希腊字母, 兰姆达算子是兰姆达演算的核心内容。兰姆达演算由丘奇提出, 原本是为了提供一种准确而统一的语言来表达函数。[13]兰姆达算子的抽象和变换 (-abstraction) 运算可以解决上述一阶谓词逻辑遇到的难题, 从而实现CP。Julie loves Pooh的逻辑翻译式是love (pooh) (julie) , 要求得love Pooh的翻译式, 可以用类型为Ind的变项x去替换love (pooh) (julie) 里同属于Ind类的常项julie, 得到love (pooh) (x) 。然后用兰姆达算子去约束它, 得到λx.love (pooh) (x) , 这就是love Pooh的翻译式, 这个过程称为兰姆达抽象, 又称函数抽象。λx.love (pooh) (x) 是一个语义类为 (Ind→Bool) 的表达式, 而谓语的范畴nps被指派的语义类正是 (Ind→Bool) , 二者相同, 说明λx.love (pooh) (x) 是正确的翻译式。当love Pooh再跟Julie组合得到Julie loves Pooh时, λx.love (pooh) (x) 又跟Julie的翻译式julie组合在一起做函数应用的运算, 得到 (λx.love (pooh) (x) ) (julie) 。由于julie的语义类是Ind, 跟变项x的语义类相同, 可以用julie去替换算子λx所约束的表达式里的x, 结果得到love (pooh) (julie) , 这个过程称为兰姆达变换。类似地, a happy kid sings里的happy运用兰姆达算子翻译为λPλx.happy (P) (x) , 其中P是 (Ind→Bool) 类的变项, x是Ind类变项。
最后以Julie loves Pooh为例, 说明类型逻辑语法如何同步生成自然语言的句法和语义, 实现组合性原则。Julie、love、Pooh在词库中记录如下:
蒙太古语法用两张树图分别演示自然语言句法表达式和语义表达式的生成过程, 上文提到这两者结构相同, 到了类型逻辑语法就用一张树图同时演示, 更好地体现了句法和语义严格对应、同步生成的运行机制。Julie loves Pooh的句法和语义生成过程如下:
love (pooh) (julie) :s
Lx表示从词库提取出的词条, 横线上是语形信息、横线下是逻辑翻译式和句法范畴, /E和E表示顺向斜线消去和逆向斜线消去规则。loves先跟右侧的Pooh组合, 得到范畴为nps、翻译式为λx.love (pooh) (x) 的表达式loves Pooh, 然后loves Pooh再跟左侧的Julie组合得到Julie loves Pooh, 其范畴为s, 翻译式为love (pooh) (julie) 。
本文论述了组合性原则及其对逻辑语法的重要意义, 它既是逻辑语法和转换语法的分水岭, 也是逻辑语法发展和嬗变的主要动因。范畴语法和高阶逻辑使得逻辑语法实现了句法和语义的严格对应和同步推演。
摘要：组合性原则是逻辑语法的根本原则。文章阐述逻辑语法和组合性原则提出的背景与过程, 从宏观层次讨论组合性原则对逻辑语法的方法论意义, 从微观层次说明逻辑语法如何通过范畴语法和高阶逻辑等理论构件实现组合性原则。
融资性投资组合模型之构建 篇9
一、关于投资组合的理论研究综述
投资组合亦称组合投资, 它是通过把投资资金分散到多个资产上以求在获取一定收益的同时能分散投资资产许多非系统性的风险。投资组合是提高投资效率的一种投资策略, 优良的投资组合能为投资者带来可观的投资绩效。
目前证券市场上用到的各种投资组合的理论依据大多都是Markowtiz在1952年提出的Markowtiz投资组合模型理论。后来有许多学者在Markowtiz理论的基础上提出更多的改进模型, 1966年Swalm基于Markowtiz组合模型理论提出均值-半方差的组合投资模型, 指出投资者只关心未来不确定收益低于期望收益的那部分风险。1968年Mossin用动态规划的方法把Markowitz模型原始的一次性投资改进为多阶段的投资, 这一投资策略的改变很有实效。因为投资者往往为了获取最大的投资效率会不断地对投资模型进行修正, 而不是作出投资选择后就一成不变。2001年Basak和Shapiro研究了以Va R作为风险度量指标的投资组合模型, 此模型是以1994年J.P.Morgan投资银行推出的Value at Risk (Va R) 基于Markowitz模型而建立的Va R的投资组合优化模型。
在我国也有不少学者提出了许多有价值的模型和研究方法。如2000年马永开和唐小我利用套利定价理论, 提出了改进的不允许卖空的多因素证券组合投资决策模型;2003年张卫国和聂赞坎研究给定各投资资产投资比例, 提出了限制投资下界风险证券有效组合模型等;2004年陈科燕在Markowitz模型中加入无风险资产和交易费用, 建立多目标决策投资组合模型, 并采用模糊优选法将多目标转化为单目标规划。在近几年, 考虑到市场交易的实际情况, 许多学者开始将实际交易中的交易费用、融资费用等因素加进模型中进行研究。如2005年天津大学的李楠以《考虑完整交易费用组合投资模型的混合遗传算法求解》将交易费用融入投资组合模型中。
综合目前学者对投资组合模型的研究, 结合我国证券市场上证券交易的实际情况, 本文在考虑交易费用、资产买卖最小单位和投资者拥有资金这三个因素的基础上, 建立了一个符合我国证券市场上实际交易情况存在交易费用、存在最小交易单位和存在融资的投资组合模型。在双目标投资组合模型求解的启发式算法研究上, 以往的研究大多是通过将双目标转化为单目标, 再使用传统遗传算法或是模拟退化等算法进行求解。这种将双目标进行转化为单目标的方法, 虽然在一定程度上能得到模型的解, 但是其解集的多样性和可选择性较差, 不能给各类投资者根据自己对风险的喜好程度提供最优解选择。为此, 本文基于双目标投资组合模型的特点, 通过对多目标模型求解算法文献进行研究, 设计了基于传统遗传算法的改进非支配排序遗传算法 (NSGAII) , 这种方法是一种基于pareto最优解集、用于求解低维多目标优化模型的计算方法, 它较好地解决了投资者的风险爱好所产生的策略选择问题, 通过实际案例验证, 该模型的算法是有效的。
二、投资组合模型理论及建立
(一) 考虑存在交易费用
Markowitz的投资组合模型中, 隐含的一个假设就是投资者是允许卖空的, 即可以无限制借入资产。但在证券交易运作中, 投资者每进行一次交易都要按事先约定比例交纳一定的交易费用, 包括佣金、手续费和税金等。根据证券市场实际交易情况, 本文采用常用的V-型函数来表示交易费用。
根据研究需要, 本文将投资产品分成两大类:一类是风险性产品, 如股票、基金、期货等;另一类是无风险性产品, 如银行存款和政府债券等。无风险产品主要是用来平衡风险, 收益率设为银行存款利率。
设投资者要投资n项风险资产和1项无风险资产产品, 并将其投资的无风险产品记为第n+1项;又假设金融市场是有效的, 且n项风险资产的收益率是随机的, 无风险资产的收益率为常数, 记为r0。在投资者拥有n项风险资产的T期历史收益率数据的基础上, 设xi为投资在资产i上的金额数量, rij是风险投资i在第j期的收益率, 用Ri=E (rij) 表示风险资产i的期望收益率, ki是风险资产i的单位交易费用, ci表示风险资产i的交易费用。由于银行存款是不需要任何手续费的, 故投资在无风险资产上的交易费用, 可取cn+1=0, 而使用费用函数用V-型函数表示, 则有交易费用如下模型:
式中, xi0表示已经投资在风险资产i (i=1, 2, …, n) 上的投资金额数量。根据交易费用可得到模型的收益目标如下:
风险在传统的Markowitz均值-方差模型中是用收益率的方差来表示的, 而实际上对于大于期望收益率那部分收益不仅不是投资者的风险, 反而是投资者所希望的, 因此可以把此部分差值平方作为无意义风险, 因为这里仅考虑了低于期望收益率的那部分风险, 即半方差风险。
半方差风险由两部分组成:一部分是同一证券内的半方差S1 (x) , 另一部分是各证券间的半方差S2 (x) 。令dij表示风险资产i收益率小于其期望收益率的偏差, Di表示风险资产i期望收益率小于整个投资组合期望收益率的偏差。用R表示整个投资组合期望收益率, 则可得到用评价风险的半方差S (x) , 可用模型表示如下:
根据上述不允许卖空买空的情况, 可建立存在交易费用的双目标优化的投资组合模型如下:
式中, M0表示投资者拥有的投资资金。
(二) 考虑存在融资情况
融资实际上是证券市场中由券商或者其他专门信用机构为投资者购买证券提供的一种服务过程。通过这一过程投资者将获得的融资资金新投入市场, 将对市场产生积极的效果。我国证券市场经过二十多年的发展, 已由一个新兴资本市场发展成为具有世界影响的资本市场, 很多具有较大实力的证券公司都在积极争取拿到融资资格, 这将成为我国证券市场未来的一大趋势。所以说考虑融资情况对我国证券市场的实际交易具有非常重要的现实意义。
投资者进行融资必须支付融资成本。根据市场的交易情况, 本文合理地用银行贷款利率表示融资成本。实际操作中, 提供融资的机构都会根据投资者的财务等信用情况给予一定融资金额限制, 因此本文令N0为能融资资金的最大值, 同时用f表示单位融资成本 (本文用银行贷款利率来代替) , 则式 (1) 中的总交易费用C (x) 修正为:
将式 (2) 中的总收益函数Q (x) 修正为:
因此, 在考虑交易费用的基础上, 式 (4) (模型) 可修正为如下模型:
(三) 考虑存在最小交易单位
在传统的Markowitz均值-方差投资组合模型中, 投资者的投资金额是任意的。而实际上根据证券交易规则, 投资金额一般存在最小交易单位, 在我国上海和深圳证券市场上A股1手 (100股) 为最小交易单位, 即投资者每次在进行证券交易时都只能买卖1手或是1手的整倍数。
在每次进行证券操作的交易量必须是100股的整倍数的前提下, 在传统模型中用份额概念来分配投资比例将不再行得通。本文前面定义xi为投资在资产i上的金额, 为了适应A股投资交易量在我国证券市场最小单位为一手, 现修正前面xi定义, 即定义xi为投资在资产i上的手数, 且其必须为非负整数。本文同时引进每手股票的价格为Pi, Pi是指资产i每手交易的市场价格, 故将式 (5) 的总交易费用修正为:
同时, 将式 (6) 和风险评估函数相应地修正为:
考虑到前面使用半方差评价风险在计算第二次或者多次费用时有一定的难度, 且半方差实际上是半偏差的平方, 因此本文使用半偏差代替半方差。根据上述加入考虑最小交易单位, 并因在matlab工具箱中适应度函数是默认搜索最小适应度, 所以利用matlab工具箱遗传算法求解模型需先将目标函数都转化成最小, 即利用负号进行转化, 因此本文可建立如下考虑投资组合问题的双目标优化模型:
上述各式中:N为非负整数的数学代号;R (x) 是表示原收益的负值。
上述双目标优化投资组合模型, 本文选取的是基于传统遗传算法改进的NSGAII算法。
三、实例应用分析
本文选取能源、医药、机械、汽车和农业五个行业各2只共10只股票作为样本进行研究。样本数据资料均摘自10只股票2010年5月至2012年5月有关财务公告, 研究样本10只股票月收益率情况受篇幅限制已省略。
本文假定投资者拥有资金100万元, 投资者能融到最大资金50万元, 交易费用系数根据实际交易费用的情况和有关文献数据将其设为0.004, 融资成本采用贷款月利率5.31%, 所以融资成本为:f=5.13%÷12=0.004 425;设Pi为投资者购买股票价格。此处由收集的历史数据是截止到2012年5月, 故以2012年6月为投资基期。则相对应为:
基于matlab7.8 (matlab2009a) 平台, 运用改进NSGAII算法进行求解此双目标模型, 可得到此双目标优化txt格式的所有解数据solution.txt和对应的pareto解集图如下所示:
根据上图, 可知此双目标优化模型可得到很多解, 投资者也有多种投资策略选择, 即可以根据自己对风险的承受能力进行选择适合自己的投资策略。
四、结论分析说明
本文在前人研究成果的基础上, 基于我国沪深两市实际交易情况, 建立了考虑交易费用、最小交易单位和融资情况的投资组合模型, 并采用改进了的NSGAII算法进行求解。
本文研究的亮点在于: (1) 本文建立的模型结合了沪深两个证券交易所的实际交易情况, 使得模型对投资者更具有参考价值。 (2) 本文基于传统遗传算法改进NSGAII算法, 并建立求解双目标优化投资组合模型, 解决了不同投资者对风险的承受能力不同而需采取不同的投资策略问题, 输出的解集可供不同投资者选取, 因而具有一定的投资参考价值。
参考文献
[1].Harry Markowitz.Portfolio seleetion.Fiance, 1952;7
[2].Swalm R.O..Utility theory-insights into risk taking.Harvard Business Review, 1966;44
[3].Mossin J..Optimal multi-period portfolio policies.Business, 1968
[4].Basak S., Shapiro A.Value-at-Risk Based risk manage-ment:Optimal policies and asset prices.The Review of Financial Studies Summer, 2001
[5].马永开, 唐小我.不允许卖空的多因素证券组合投资决策模型.系统工程理论与实践, 2000;20
[6].李楠.考虑完整交易费用组合投资模型的混合遗传算法求解.天津大学硕士论文, 2005
[7].刘金兰, 陈丽华, 郝建春.石油行业基于模糊决策理论的投资组合优化模型方法.工业工程, 2005;4
成语语义的组合性和概念性 篇10
但是, 过去二十年的研究表明, 很大一部分成语看起来是部分组成的, 各组成部分的意义和总意义之间是有关联的, 各组成部分的字面意思和总成语的比喻意义之间的“关联”, 来自于语言使用者头脑中产生的无意识概念结构“动机”。
1.关于成语是非组合性的观点
形式语义学的基本原则之一就是意义的组合性, 一个句子的意义可以从它的组成部分中推导出来。
大部分语言学家把成语定义成无法从组成部分中推导出意义的表达式, 实际上, 当学习一个新的成语, 说话者必须在成语和它的非字面意义中建立一个任意的联系。
然而, 语法的限制定性了很多成语, 导致了这样一种观点, 即成语在语法上是“凝固的元素”。Fraser (1970:33) 认为成语可以组织成“凝固的层次”, 包括能够接受几乎所有的语法转换, 而不会失去其比喻义的表达式。
成语的“固定性”不仅来源于句法的限制, 而且来源于它们的语义。非组合性观点认为很多成语是“凝固的”或是“死去的”比喻。一个句子或者一个成语的隐喻解释大部分是被话语字面意思的不恰当引发的。如果一个隐喻经常性地被作为一种特殊含义来使用, 那么它就会失去个性, 从而将这个隐喻意义储存为它表达方式的一个标准意义。
之所以成语经常被认为是“死去的隐喻”, 是因为语言学家们弄混了死去的隐喻和常规的隐喻, 人们经常对于原始的隐喻缺乏认识, 人们相信, 基于常规, 理解成语的意义和知道每个词汇的意义是一样的。
2.从组合性到概念性
一直以来语言学家们都尝试描述成语在其组合性中是如何不同的。Nunberg (1978, cited in Titone&Connine 1999:1661) 认为成语的描述取决于它组成部分的字面意义是如何参与到整个表达式的意义中去的。根据这个系统, 成语被分成三个类别:通常可分解的成语 (一部分成语是按照字面意义使用的) 、异常可分解的成语 (成语组成部分的所指可以被认定为隐喻) 和语义上非可分解的成语 (组成部分的意义对于整个喻义没有影响) 。
一系列针对阅读时间的研究表明, 被试在阅读可分解的成语时比阅读不可分解的成语时花费更少的时间。这个结果表明了人们在理解成语短语时试着在分析成语的组合性, 通过试着给予单独词汇独立的意义, 辨认出有意义的单位如何组成短语的整体意义。
成语的可分析性和可分解性指出了成语组成部分的意义可能和成语实际所指的概念有关联。Lakoff (1987:447-448) 指出, 常规意象 (文化社区中共享的心理意象) 在语言中起关键作用。常规意象不仅可以帮助形成新的成语, 而且可以用来解释旧的成语。很多成语的意义不是随意的, 而是有动因的。动因来自于常规意象、概念隐喻和概念转喻, 即在成语和意义之间提供“联系”。
Gibbs&O’Brien (1990) 用一个实验将Lakoff的研究进一步发展, 被试被要求详细回答对25个成语的心理意象。他们发现被试在构思成语时的方法惊人相似:平均75%的被试的心理意象描述出相似的一般意象, 人们对于成语理解的相似性是基于概念隐喻的。
很多成语是没有概念隐喻的, 但是有一个概念转喻和常规知识可以把成语和意义“联系”起来。Kovecses&Szabo (1996:337-344) 分析了和手有关的英语成语, 发现关于手的常规知识带来了成语handful和with an open hand。英语中基于手的成语中最重要的转喻之一就是“手代表了人”。
3.语言中的人体
认知语言学家们称, 我们的概念系统是被概念隐喻和转喻结构化的。我们抽象概念的大部分是通过其他更加具体的概念被理解的。人们把“非物理”的概念转换成“物理”的概念, 我们在世界上的物理体验的主要来源就是我们的身体及和环境的互动。我们理解目标域的最主要的源域之一就是人类的身体。
4.和头有关的成语
很多表达式是被一种非常普遍的, 将头概念化成一个装满想法和情绪的容器的隐喻所激发的, 也被头和心理能力之间的关系, 以及头和控制之间的转喻所激发。
4.1头作为一个容器
两种普遍的跟头有关的本体论隐喻是“头是一个容器”和“想法是物理的对象”, 在表达式里就是“get ideas into one’s head, put ideas into someone’s head, 和put out of one’s head”。
头被概念化为一个可以将想法放入或取出的容器。想法原本是在头的区域的外面, 然后通过把想法定位到头脑中的储存空间, 它们就马上变成可获得的, 可量化的, 可以指“我的想法”或“你的想法”。
一些阐述也可以在“头是一个容器”和“想法是物理的对象”的本体论隐喻中找到。在成语have rocks in one’s head中, 如果容器中的空间都被石头占满, 那么就没有想法的空间, 就带来了低心理能力的结果。成语having a thick head暗示说英语者思考程序的一种方法。头是可视的筛子, 想法可以进入, 如果筛子有很厚的墙, 那么对于“想法”来说, 要进入这个容器就很困难。
通过在容器空间里定位和放置东西, 我们可以辨认出和获得先前的无界限的对象。这个特性在表达式need to have one’s head examined中可以检测。通过清除容器中的没用的想法, 新的想法就可以进入头脑。
头不仅装着想法, 而且是一个情绪的仓库。就像成语get a swelled head显示的, 自负是一种液体, 充满了头, 头的尺寸变大。伴随着自负的一个生理影响就是“头不自然地上升了”, 激发的隐喻就是“一个自负的人正在上升”, 就像成语hold one’s head up high或者be head and shoulders abovesomebody。当东西比平常高的时候, 看起来尺寸也更大。给出这两个基本的体验 (身体里的液体及和尺寸相关的高度) , 我们可以容易地理解“头是个容器”和“自负是容器中的液体”, 以及它们激发的成语。
愤怒被认为是在容器里的热的液体, 而容器是身体本身。当愤怒的密度增加, 液体在容器中就上升, 最后会导致容器的爆炸 (比如, my anger kept building up inside me) 。液体的温度不升高, 我们可以保持冷静, 作出合理的判断。液体的温度升高, 我们就失去了沉着冷静, 就像表达式be a hot head所说的那样了。
4.2转喻
概念隐喻不是可以用来解释“头”类成语背后动因的唯一手法。转喻也可以在一些例子中发现。比如have a good head for doing something, have a good head on one’s shoulders。概念转喻“头代表了心理能力”发挥了作用。成语lose one’s head, go out of one’s head都和强烈的情绪有关, 在这种体验下, 人们会失去他/她的头。转喻“头代表了控制 (和理智) ”发挥了作用。
4.3常规知识
除了隐喻和转喻外, 被一个语言社区所共享的非科学的、普遍的理解也可以激发成语表达式。常规知识包括标准的、日常的关于头的所有物、功能、形状和大小的信息。比如, 当一个孩子出生, 他的头盖骨的一部分是软的, 在出生几个月以后才变硬。如果一个人心理能力很低, 就可以使用成语be soft in the head。如果婴儿头盖骨里面软的部分被破坏了, 可能就会导致心理残疾。我们的常规知识也扩展到和头相关的姿势。搔头是一种泄露不确定或者疑惑的标志, scratch one’s head意味着“怀疑, 疑惑”。
成语的意义被认为大部分是约定俗成的, 单独词汇的意义总和与表达式的意义不是相等的, 这种观点已经受到很多语言学家的挑战, 组合性在理解成语中扮演了重要的角色, 大部分成语是被激发的, 这种激发动因来自于常规意象、概念隐喻和概念转喻, 它们给成语和其意义提供“联系”。
本文检查了英语跟“头”相关的成语, 针对“头”如何在英语中被概念化提供了相关的清晰的图像, 分析显示出很多成语通过隐喻和转喻的变化, 彼此之间有很密切的联系。在概念隐喻理论的帮助下, 成语分析最终会有一个良好的开端。
摘要：成语意义是有组合性和概念性的, 文章通过对英语成语的分析, 即那些含有身体部位“头”的成语, 研究这些成语以什么概念隐喻或者转喻做基础。
关键词：成语,组合性,概念隐喻
参考文献
[1]Fraser, Bruce.Idioms within a transformational grammar.Foundations of Language, 1970.6:22-42.
[2]Gibbs, Raymond W.and Jennifer E.O’Brien.Idioms and mental imagery:The metaphorical motivation for idiomatic meaning.Cognition, 1990.36:35-68.
[3]Kovecses, Zoltan and Peter Szabo.Idioms:A view from cognitive semantics.Ap-plied Linguistics, 1996, 17:326-355.