带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

胃癌AgNOR银染色的定量分析研究

应用银胶染色法和计算机图像分析技术,对48例胃粘膜活检标本的石蜡切片进行Ag-NOR形态、定量分析研究。结果表明其对于区别胃疾患的良恶性和判定胃癌的分化程度有重要意义。     

智能CAD／CAM技术对建筑机械业的影响

本文首先介绍ＣＡＤ／ＣＡＭ的产生及发展。然后谈ＣＡＤ／ＣＡＭ对建筑机械业的影响。本主独道见解是：ＣＡＤ／ＣＡＭ技术对建筑机械业影响巨大，一个全新的计算机辅助建筑工程制造ＣＡＥＭ概念将产生。当ＣＡＥＭ实现时，建楼房将象儿童搭积木房子一样轻而易举。“安得广厦万千间，使得天下寒士尽欢颜”梦想会成真。     

WHOLLY-AROMATIC COPOLYESTERS CONTAINING IPA, 2.6-NDA, TPA, CLHQA AND PABA MONOMERS

The crystallinities, thermal properties, liquid crystal properties and rheologic properties oftwo series of the aromatic copolyesters are studied. One of them is composed of IPA, 2,6-NDA,CLHQA, PABA and. the other composed of TPA, 2.6-NDA, CLHQA, IPA. The results showthat the crystallinities of the aromatic copolyesters are relatively low and the melting point of thecopolyesters decreases with an increase of the unsymmetrical contents. These two series of aro-matic copolyesters are both suitable for the conventional melt spinning process and have a goodfiber forming property and a good thermal stability. The viscosities of aromatic copolyestermelts are greatly affected by the shear rate, hence the so-called" thinning under shearing" phe-nomenon. The melts have a rather high viscosity flow activation energy and a relatively lowelasticity.     

三旋钮高精度数字酸度计的研制

本文具有对一次仪表转换系数进行校准的功能,温度补偿及模数转换电路设计方法独特,只用一块运算放大器与一块单片模数转换电路完成了pH转换功能。     

Liénard方程极限环的电子计算机计算分析

本文提供了用电子计算机计算分析和绘制Ｌｉｅｎａｒｄ方程极限环的方法及其ＢＡＳＩＣ 语言程序,并利用此方法构造了具有三个极限环的两个Ｌｉｅｎａｒｄ方程,绘制了极限环 图形,指明了Ｃ．Ｃ．Ｐｕｇｈ猜想中极限环的存在性与特征函数的二阶导数Ｆ（Ｚ）的变号 有相当的关系。     

基于差异化绿色电力交易需求的省级绿色电力市场绩效评价

绿色电力作为环境友好型能源在近年来得到了广泛的应用,为探索省级电力市场绿色电力交易成效,首先通过梳理国外绿色电力市场机制和交易组织情况,并对比分析国内国网区域和南网区域的绿色电力交易现状,总结出国内各网省绿色电力交易的开展情况和规则特点。然后从分布式绿色电力参与市场交易、绿色电力偏差调整和绿色电力曲线形成三个方面,进行了差异化绿色电力交易需求分析与实践探索。最后针对性构建省级绿色电力交易的绩效评价指标体系,并进行实例分析,为省级电力市场绿色电力交易方法和市场评价提供参考方案。     

上海市集成电路及机电一体化产品的比较优势研究

本文用一种“节汇成本比较”的方法,对上海市集成电路及机电一体化产品的比较优势进行调查研究,提出了上海市在这两个产品领域发展重点的建议。     

H-800高分辨透射电镜的开发及其在矿物研究中的应用

本文介绍了在H-800透射电镜上获取高分辨矿物晶格象和薄箔样本能谱定量分析的开发工作。用环氧树脂包埋方法和离子减薄技术,对非导体的地质样品可以制成很好的超薄样本,从而可以方便地在透射电镜上观察样品的内部超微结构和高分辨的矿物晶格象。为了采用“比例法”进行薄箔样本的x-光能谱定量分析,先用已知化学组成的矿物薄箔标样,对配在透射电镜上的能谱分析系统进行校正,求出各元素的k-系数。最后将上述方法用于对我国不同海区绿色自生矿物颗粒的研究。     

小型文献资料检索系统

本文介绍的这种情报资料检索系统,采用了数据压缩存贮技术,并使用链表记录的存贮结构解决了变长信息的存贮问题,系统的功能以“菜单”和“快速”两种方式提供给用户,使用方便。