替换性相关论文
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,......
对比语言学是一门研究两种或两种以上语言之间异同的语言学学科。连淑能在《英汉对比研究》一书中提出英语是替换性的语言,汉语是......
形式化的分析有助于Web服务的合成．已有的合成分析方法，验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配，忽......
一个语言族能被有限分支自动机识别等价于它是自相容的且是有限可微的,而自相容的语言族又等价于它是闭的且具有替换性.自从语言族......
美国政策学家艾利森认为：“在实现政策目标的过程中，方案确定的功能只占10%，而其余90%取决于有效的执行[1]。”在我国义务教育“禁止......
在1972年《命名与必然性》的演讲中,作者提出了直接指称论的观点:名字的语义学内容仅仅就是所指称的对象。一般认为,如果接受直接......
某型飞机侧向限动导轨零组件布置在机身两侧,导轨内装有货台挂钩、电气系统电缆等,通过其工作面限制货台的左、右运动;货台挂钩限......
隐喻语言渗透着情感,与远古人们面对自然的惊惧而释放的心智密切关联,是人类在蒙昧状态下的一种创造性思维,透着诗性智慧的本质。......
