Tabl相关论文
AIM: To develop a new formulation with hydroxy propyl methyl cellulose and Shellac coating for extended and selective de......
分析了短波自组网通信中的3种路由协议，重点研究了基于路由表的路由协议，并设计实现了基于路由表的短波自组网。实验结果表明：基于路......
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法，但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况，有......
甘薯新品种‘徐薯32’是以品质性状良好的‘徐薯55-2’为母本、‘红东’为父本,经有性杂交培育而成。该品种于2015年通过河南省农......
【正】During the four and half months of my staying at the Albright Institute of Archaeological Research in Jerusalem an......
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及......
直拍一直是中国队传统打法,但现在却危机四伏、举步维艰。通过世界大赛实践证明,横打技术创新思路是正确的,王皓、马琳等选手采用......
在不增加纹理内存的条件下,纹理压缩技术是提高纹理容量的一种有效方法。本文详细介绍了纹理压缩的基本算法及其4种改进算法,并以......
大数据时代的来临使得对数据的高速捕获和实时分析变得越来越重要。相对于传统商业智能软件体量大、对业务变化响应时间长、灵活性......
通过水槽试验,探讨了清水作用下由非均匀沙构筑而成的全动床复式河槽的演变特性,包括河床完全粗化后河道稳定宽度及滩岸侵蚀的沿程......
鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理，涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和......
介绍两种在Labwindows／CVI环境下调用WordTable的实现方法，结合具体的实例，简述两种方法之间通过互补，可以实现对Word文档的更多功能应......
结合单纯形方法对解为无限集的线性规划性质作进一步的分析， 论证了单纯形表中的某些数值特性与解集的几何性质之间的对应关系，同时......
传统平行移动方式模型之探讨每道工序只有一台设备时生产周期计算，没有考虑每道工序具有多台设备时的解法。与多数实际情况不相符，因......
