1) File system semantic
文件系统语义
2) semantic file system
语义文件系统
1.
Since it is a challenge for semantic file system to get high quality attributes of files,user access patterns,which is an indirect attribute assignment method,was combined to direct attribute assignment by semantic based ASAS file system.
ASAS能够自主地发现存储系统中所使用的存储设备的种类和可利用的各种资源;针对传统语义文件系统的主要缺点,即无法得到质量较高的文件属性,利用用户访问的模式捕捉用户状态,将直接文件属性设置与间接属性设置方法结合起来,实现基于语义的ASAS文件系统;通过ASAS文件系统扩展元数据的帮助,增加文件属性的数量,提高文件的可分类性;使ASAS能够自动收集用户的应用信息和需求,便于用户合理地存储数据并高效地进行访问。
3) semantic system
语义系统
1.
In this essay the authors compare the Chinese and English semantic systems and try to find the cause of the inequality between them.
本文通过对比汉英两大语义系统 ,结合语言国情学理论 ,挖掘造成汉英两大语义系统不对等的根源 ,并结合外语教学理论探讨这种对比对于词汇教学的意义和启
2.
The semantic system of modern Chinese is composed of three key elements, namely, semantic units,the structural relations between them, and structural hierarchy.
语义单位、语义单位之间的结构关系、结构层次是现代汉语语言意义系统的三要素 ,不同性质的语义单位彼此之间复杂纠联 ,使构成语义系统的两子系统 (词汇意义、语法意义子系统 )、两次子系统 (词法意义、句法意义次子系统 )紧密地联结在—起 ,构成一个统一的内部饶有联系的结构整
3.
Through an analysis of the“ structure－ system” proposition by Firth, this paper concludes that collocation in English is mainly determined by the semantic system constraint which manifests itself in logical inferences, lexical properties and semantic themes.
通过对 Firth“结构—系统”组词造句规则的分析，指出英语词组的搭配组合主要受到语义系统的限制，这一限制表现为逻辑意义、词性特征及语义题材 3种形式。
4) Chinese Semantic Net
中文语义网络系统
1.
Chinese Semantic Net Query Optimization Based On Ontology
本文借助于本体论,通过建立语法树,应用中文语义网络系统(CNS)对查询关键字词法特性和本体实例之间语义关联强弱的分析,提高了查询关键字到本体概念映射的完整性和准确率,帮助搜索引擎对用户的意图做出有效推测,有效地提高搜索的查全率和准确率。
5) speech filing system
语言文件生成系统
6) File system
文件系统
1.
Implementation and performance improvement of embedded file systems;
嵌入式文件系统的实现及性能改进
2.
Design and implementation of file system in intelligent player;
智能播放器文件系统的设计与实现
3.
HANDY: a cluster file system with dynamic scalability and high availability;
HANDY集群文件系统
补充资料：逐步语义系统
逐步语义系统
stepwise semandc system
逐步语义系统!ste沙isese兹.涌c卿st助;cTylle。，aT.ceMa.”气ecK，c“cTeMaj 一个由Markov在互2」夕f31中提出的构造性语义学的变种.在这个系统的构造中对一个语义学问题—蕴涵(川IPlica力on)的构造性解释给予了特别的重视.传统的直觉主义对论断(AOB)的解释是，(A OB)表示结构p的可实现性，使得如果q是任意一个断言A的结构，那么p和q一起就可能找到一个断言B的结构.这个非形式的解释从很多方面考虑并不能引导到一个精确的定义，Markov的想法是，蕴涵(A“B)可以被考虑成为用含有无限归纳法原则的理论(一个半形式化的理论(s。的l一化rznal theory))作为手段形成由前提A推导B的论断.因此，问题中的半形式化的理论以及公式A和B的语义可以在构造的早期阶段就得到解释.作为结果一个逐步语义系统产生了，其中作为下一步的公式的意义是用前一步的对象来定义的. Markov构造了两个互相等价的逐步语义系统的变种—“长塔”t2]和“短塔”汇3〕.下面简单地在谓词演算(predicate calculus)的传统记号以及形式算术(forl花d颐如拙tic)的语言中对短塔作出解释(Mar-kov自己用了不带括号的公式记号).语言L。的初等公式采取(t二;)或(t笋r)的形式，其中t，r为原始递归项(L。的项).采用逻辑运算合取(c onjunc-tion)八，析取(disjunction)V以及限定皿词(restri-cted quan山滋r)(丫x‘t)中，(日x簇r)毋，其中沪是L。中的一个公式，而t是L。中的一个项，其他L。的公式可以用通常方式构造出来.语言L。在存在一个由全体L。的式子中辨认出真的闭式子来的一般方法的意义之下是可判定的.L。的公式的语义是由对于公式的结构作归纳法来定义的.每一个L。的公式都等价于一个没有量词的公式. 乙，的公式是由L。的公式利用任意数量的V，八以及存在量词构造出来的.语言L，是不可判定的，但是可以构造一个演算C，在它里面恰好真的闭式子可以推演出来.L:的公式是由L、的公式通过一次使用运算。和任意多次使用运算八和量词丫归纳地构造出来的.因此L:的公式采取如下形式的一种:l)L:的公式;2)(价八沙)，其中尹，价是LZ的公式;3):。刀，其中:，刀是Ll的公式;4)丫x:，其中甲是LZ的公式.蕴涵(仪“川解释如下:(，“刀)表示一个一般的方法出现，它对于语言字母表中的任意字Q，或者能确立Q不是二在C中的一个推演，或者能在C中给出刀的一个推演.一个半形式化的理论s:就这样地被构造出来，其中L:的闭式子可以被推导出来(对Ll而言S:的角色由C来扮演).L:的真公式是S:的公理.在通常的推演规则之间有带有无限多个前提条件的有效的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条