【摘 要】
：
由中国计算机学会多值逻辑学组举办的第二届全国多值逻辑学术讨论会于1987年3月9日至12日在重庆大学召开。会议筹备期间共收到论文84篇,经评审确定了71篇为会议论文(作者82
论文部分内容阅读
由中国计算机学会多值逻辑学组举办的第二届全国多值逻辑学术讨论会于1987年3月9日至12日在重庆大学召开。会议筹备期间共收到论文84篇,经评审确定了71篇为会议论文(作者82人)。与会代表分别在十六个分组会上就多值逻辑的数学基础、泛系分析、中介逻辑、逻辑设计与分析、电路设计与分析以及多值逻辑的应用等六个专题交流
The 2nd National Symposium on Multi-valued Logic, organized by China Computer Society Multi-valued Logic Group, was held at Chongqing University from March 9 to March 12, 1987. A total of 84 papers have been received during the preparation of the conference, and 71 papers have been identified by the judges (82 authors). Participants at the sixteen subcommittees discussed the six topics of multi-valued logic in mathematics, pansystems analysis, meta-logic, logic design and analysis, circuit design and analysis, and the application of multi-valued logic
其他文献
建立了高效液相色谱法测定丁诺特呋喃(dinotefuran)含量,实验采用C18柱(250×4.6mm)15﹪3),流速0.8mL/min,UV检测波长为270nm,检测限为0.01mg/L,线性方程为Y=4973.8+39651.3X,
提出反相高效液相色谱法跟踪监测氯噻硝基呱残留量的方法.反相KromasilC18柱,甲醇-乙腈-水(V/V)=35:5:60为流动相,紫外270nm检测,外标法定量.线性范围0.005～0.100g/L,r=0.9999
在标准吸烟条件下采用剑桥滤片收集卷烟主流烟气粒相物,用柠檬酸-磷酸盐缓冲液与环己烷共提取粒相物,用固相萃取进一步纯化,电喷雾正离子多反应监测方式,建立了同时测定卷烟
建立了用HPLC测定调味品中偶氮类化工染料苏丹Ⅰ～Ⅳ的测定方法.利用正己烷[酱类样品用丙酮-正己烷(1:3,V/V)]提取,经氧化铝柱净化,40mL丙酮-正己烷(20:80,V/V)洗脱,洗脱液用氮
随着网络信息技术与GIS的发展,网络地理信息系统(WEBGIS)作为一门综合的交叉学科得到长足的发展,其中企业型网络地理信息服务的应用已经成为各行各业应用的热点.本文着重分析
空间数据框架为"数字城市"各专业的地理信息系统,为城市发展和信息化建设提供了统一的空间定位和基础地理信息公共平台,"数字福州"空间数据框架的建设要建立在健全的"数字福
目前,大区域的路径计算是车辆导航系统中迫切需要解决的一个问题.本文通过对目前已有的一些路径规划算法的分析和对路网的合理组织,提出了一种基于分层搜索的A*算法.该算法很
本文简要论述了基础空间数据在数字城市建设中的重要作用,对当前国内城市基础空间数据的现状进行了描述和讨论,并针对建设数字城市的需要,提出了完善当前城市基础空间数据的
作为数字化区域的重要形式,"数字城市"建设日益受到重视.城市空间基础信息系统的建设是数字城市基础层的核心.本文在阐述数字城市空间基础信息系统研究的理论基础上,着重论述
价值链战略成本管理是在价值链管理、作业成本管理、战略成本管理等理论基础上建立起来的,国内外尚处于探讨阶段,还没有系统性的研究成果,还未明确基于价值链的成本管理体系