论文部分内容阅读
该文从构造和发展中介逻辑的思想背景与原则、数学背景与相关方案的实施情况以及中介逻辑在计算机科学中的应用前景等几个方面阐述了开始研制中介逻辑至今年１５年来的发展概况。
中介逻辑十五年
【摘 要】
：
该文从构造和发展中介逻辑的思想背景与原则、数学背景与相关方案的实施情况以及中介逻辑在计算机科学中的应用前景等几个方面阐述了开始研制中介逻辑至今年１５年来的发展概况。
【机 构】
：
航空航天大学计算机科学研究所人民解放军空军气象学院数学教研室(南京)
【出 处】
：
1998年计算机专题学术会议
【发表日期】
：
1998年6期
其他文献
考察了两种熔融纺丝用中间相沥青的流变性。表观粘度η及粘流活化能△Eη变化，说明了温度和剪切速率是控制中间相沥青熔融纺丝的重要参数。低粘平稳流动区的温度范围以及极低
采用有偶联剂的增强型浸润剂，可使中碱纤维聚酯、环氧玻璃钢强度性能比采用无蜡型浸润剂的提高10—30℅，达到无碱无蜡玻璃钢水平，代替无碱玻璃钢可将成本降低10—45℅。中碱单向
通过对增强型浸润剂、玻纤表面处理方法及树脂的研究，用经Ａ－１７４硅烷后处理或Ｃ９Ａ、Ｃ７Ａ浸润剂前处理中碱布及折射率低于１．４９９０的树脂做成的中碱玻璃钢板材，其透光率最高达８６℅，透明度最高达８４℅；浸水２４小时
该文研究了以中碱玻纤为增强材料的透光复合材料用的基体树脂，研究了从原料单体出发调节树脂的折射率，分析了树脂的固化性能和耐水性。在满足中碱玻纤要求的前提下，该文研制的树
在高职院校,学生社团补充和延伸了学校课堂教育的职能,在校园文化建设、促进学生全面发展等方面起着重要的作用.以学生职业成功为导向,通过特色立“站”、技能立“站”、文化
圆叶青又名湘苎2号是中国农科院麻类所以湘苎1号为辐射亲本,从~(60)CO-γ射线1万伦琴的辐射后代中选育而成,经检索是国内外第一个苎麻辐射新品种。1987年通过湖南省品种审定
经济中介服务对市场经济的发展有巨大推动作用。为了让更多的人了解经济中介服务，文中详细介绍了经济中介的基本含义，经济中介的功能和服务范围。
该文主要采用水热合成法及溶剂热（非水体系）合成方法，通过选择合适的Ｓｏ１－Ｇｅ１前驱体的制备路线以及适当的晶化温度，以组装溶液沉积（ａｓｓｅｍｂｌｙ ｓｏｌｕｔｉｏｎ ｄｅｐｏｓｉｔｉｏｎ）的方法制备取向良好、厚度均匀的介孔分子筛薄膜。借鉴