二值命题逻辑F(Sn)中的基本推理链

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:gordontang530
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
以流量为扰动参数,对连续搅拌釜式反应器(CSTR)中的Belousov Zhabotinsky(BZ)反应体系小振荡进行周期或噪声扰动,改变扰动周期或扰动强度,在某些条件下可以诱导非平衡相变.以
An NAD analogue, N-(2-thiol-ethyl)-nicotinamide (TENA), was synthesized. TENA was used to modify the Au electrode through self-assembled monolayer.The cyclic vo
The purpose of this work was to investigate the effect of the chemical structure of various drugs on the exchange reaction kinetics and the release kinetics of
dimethylamino)phenyl]ethenyl pyridine N-oxide was synthesized . Electrochemical properties of this new hemicyanine dye were studied by means of cyclic voltammet
利用层状结构在超声振荡下可以弯曲变形的特点 ,以TritonX 100/n C10H21OH/H2O体系生成的层状液晶为介质制备泡囊,所得泡囊分布比较均匀 ,囊径在0.2~0.5μm之间.研究了层状液
用PM3半经验量子化学方法研究了模型分子筛对水分子吸附的性质.通过模拟计算确定了两个低能吸附位点及相应的吸附热,结果与实验值非常接近.同时,从两个不同低能吸附位点可以
首次报导1,2,5 噻二唑衍生物3 氯 1,2,5 噻二唑(A)和3,4 二氯 1,2,5 噻二唑(B)化合物的紫外光电子能谱 (UPS).谱带的指认建筑在对谱带形状、相对强度、实验电离能 (IPs)的
以常压气相苯加氢为探针反应,首次考察了酸改性前后海泡石的加入对非晶态NiB合金催化剂的加氢及抗硫性能的影响;用TPR、TPD表征了催化剂的表面性质,测定了酸改性前后海泡石的