程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

福建省无烟粉煤流化床混合气催化气化影响因素分析

在实验室小型流化床反应器中研究了影响福建省永定无烟煤混合气 (水蒸汽 /空气 )催化气化的主要因素 .实验结果表明 ,催化剂添加量和气化温度对碳转化率和煤气组成的影响最为显著 .适宜的混合气催化气化条件为复合催化剂浓度 10 %和气化温度 85 0℃ .     

热压干燥工艺对速生杉木板材尺寸稳定性的影响

取速生杉木生材制成试件后，在几种工艺条件下热压。测定了试片在全干状态下尺寸的弹性恢复率，吸湿膨胀率，平衡含水率等物理性质的变化情况。结果表明：１．随着压缩率的增加，木材压缩弹性恢复率减少，当压缩率大于４５％时，试件基本定形；２．热压干燥还可以改变木材的吸湿膨胀特性，降低木材的吸湿能力，有利于提高木材折尺寸稳定性。     

砖混结构砌体工程量的统筹计算法

以砌体结构为例，阐明在工程量计算中应正确应用统筹法，并得出了砌体工程量计算的统筹公式。     

纤维蛋白原三种测定方法的比较及临床应用评价

目的：对纤维蛋白原三种测定方法在出血、血栓疾病中的临床应用进行评价。方法：病人血浆用双缩脲法、凝血酶原时间法、凝血酶时间法测定纤维蛋白原含量,测定结果进行ｔ检验。结果：ＰＴ法Ｆｇ结果高于双缩脲法近一倍,ＴＴ法结果较双缩脲法略低。结论：不主张ＰＴ法测定血浆Ｆｇ含量,ＴＴ法简便、快速,反应血浆Ｆｇ活性水平,是出血、血栓性疾病的诊断、病情观察和疗效判定时Ｆｇ的一种较好的测定方法。     

实质重于形式原则对所得税的影响

《企业会计制度》中新增加的实质重于形式原则，要求企业应当按照交易或事项的经济实质进行会计核算，而不应当仅仅按照它们的法律形式作为会计核算的依据。实质重于形式原则的运用使得会计制度与税法在融资租入固定资产的确认与计价、借款费用资本化的确认、收入的确认和资产减值准备的计提等方面的处理存在差异，当企业向税务机关缴纳所得税时，必须将企业的会计所得调整为纳税所得。     

多功能CPTU与我国CPT液化判别对比试验研究

考虑到孔压静力触探(CPTU)能够同时获取静力触探(CPT)及孔隙水压力测试结果,结合济宁-徐州高速公路液化场地CPT和CPTU测试资料,采用我国规范法、通用Robertson法(CPT法)和Juang法(CPTU法)对场地进行了液化评价.利用CPTU土分类图及其状态指标等值线、超孔压、归一化超孔压和新的联合图法对土体...     

Mathematical model of cylindrical form tolerance

Tolerance is essential for integration of CAD and CAM. Unfortunately, the meaning of tolerances in the national standard is expressed in graphical and language forms and is not adaptable for expression, processing and data transferring with computers. How to interpret its semantics is becoming a focus of relevant studies. This work based on the mathematical definition of form tolerance in ANSI Y14.5.1M-1994, established the mathematical model of form tolerance for cylindrical feature. First, each tolerance in the national standard was established by vector equation. Then on the foundation of tolerance's mathematical definition theory, each tolerance zone's mathematical model was established by inequality based on degrees of feature. At last the variance area of each tolerance zone is derived. This model can interpret the semantics of form tolerance exactly and completely.     

基于反向传播神经网络的遗传算法在酒类气体识别中的应用

把基于反向传播神经网络的遗传算法用于酒类气体识别实验中的传感器阵列的筛选,通过评价传感器组合对反向传播神经网络识别酒类气体结果的影响,建立一种挑选传感器阵列的方法,该算法选出的变量与用统计方法得到的结果一致     

青年颈椎病初探

长期以来,人们普遍认为颈椎病为中老年人的多发病,但在我院自1984年7月至1987年12月止的355份颈椎病病例中,年龄在30周岁以下者竟有43例,比率高达12.11%.由于医师、患者均对青年罹患颈椎病之可能缺乏认识,其中13例(30.23%)曾被误诊,29例(67.44%)患者自恃年青,拖延到症状出现,1—9年以后才来就医.本文所强调的是对颈椎病的注意力不应仅限于中老年人,无论是临床或基础研究,都应将视野扩展到青年领域中去.并对青年颈椎病的临床表现、病因、发病机理及治疗等问题进行了初步探讨.