Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics
从公理语义看UNITY模型和GAMMA模型的关系
互联网摘选
本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。
互联网摘选
CBR: A Component-Based Reduction Method for Semantics Verification of Workflow Processes
CBR:一种支持工作流过程语义验证的组件级化简方法
互联网摘选
由于中文语法和语意的复杂性,使得中文的文本匹配变得异常困难,因此设计一个基于中文的高效、准确的非结构文本匹配系统具有广泛的现实意义。
互联网摘选
A statistical and scientific database definition language based on semantic data model
一个基于语义数据模型的统计与科学数据库定义语言
互联网摘选
实验表明:命名实体识别、语义依存关系和案例规则模板能有效地实现答案抽取,获得较高正确率。
互联网摘选
在提出基于特征的业务构件模型之后,研究构件之间存在的结构和语义依赖关系,并分析了构件组织方式与建模效率之间关系。
互联网摘选
二语习得动机因素与语料输入语料处理及语言生成间的关系基于语义依存关系的汉语语料库的构建
互联网摘选
公司产品主要以各种规格铁基高强度粉末冶金结构件为主,产品广泛应用于电动工具、电动绞盘、汽车、摩托车、家用电器等领域。
互联网摘选
基于MATLAB系统,在方法研究的基础上给出了电容式料位传感器电压与砂石料高度的变化规律曲线,进而建立了电容式料位传感器的特征数学模型。
互联网摘选
对传感器的电学模型进行了分析和说明,提出了一种新型的基于阻抗原理的土壤含水率检测装置的基本原理。
互联网摘选
基于频响分析法的脉冲电源与容性负载间匹配电路设计
互联网摘选
Design of temperature controller for cemented carbide furnace based on fuzzy control
基于模糊控制的硬质合金炉温度控制器的设计
互联网摘选
Image detection for carbide tool wear based on laser grating projection is presented.
提出一种基于激光光栅投影技术的硬合金刀具磨损的图像检测方法。
互联网摘选
