非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

“膜筏”的国际规范定义

细胞膜上存有一种以鞘脂（sphingolipids）和胆固醇（Ch）为基本成分的微域（micro—domain），近年来引起广泛注意，本文作者曾予简介。鞘脂所含长的多饱和脂酰链呈高度有序排列，在其紧密填充之间又散布大量胆固醇，形成了质地较致密的富集胆固醇的小斑块结构，而其周围膜介质的流动性较强，因此该结构经常处于浮动状态，类似江流中拖运的木筏，[第一段]     

数学教学中观察能力的培养

观察是我们认识客观世界的重要手段之一。许多的数学定义，定理都来自于观察。数学问题的解决，离不开观察，敏锐的观察能使学生尽快抓住问题的本质，产生联想，发现解决问题的方法。通过认真观察，能启发学生的思考，推理能力。前苏联教育家苏霍姆林斯基曾经说过：“一个有观察能力的学生，决不会是学习落后或文理不通的学生。”因此，培养学生掌握观察的方法，形成较强的观察能力，是我们数学教学中的一项重要任务，下面谈一些自己在教学实践中的体会。     

浅析邯郸农行金库盗窃案涉案巨款追缴

倍受关注的河北省邯郸市农业银行支行金库被盗案近期有了一审结果,任晓峰、马向景二人以贪污罪被判处死刑。任、马二人非法获取四千多万元巨款用于购买彩票,案件受害方邯郸农业银行能否向当地体彩中心索回任晓峰等人用于买彩票而支付的巨款?善意取得能否适用于该案?本文通过分析善意取得制度基本理论,结合新出台的物权法规定,指出此案不适用善意取得,巨款应予追缴返还给邯郸农业银行。     

自然数同次幂级数求和的方法

本文利用微积分方法，推导出自然数同政幂级数的求和公式。     

利用积分算子方程的小波－矩量法分析频率选择反射面

小波－矩量法以小波基作为矩量法中的基函数，通过Ｇａｌｅｒｋｉｎ法可以获得很稀疏的阻抗矩阵，用迭代法求解时可减少计算机内存和计算时间。该文以有限尺寸的频率选择反射面为例，用小波－矩量法分析散射特性和电流分布，着重讨论了阻抗矩阵的稀疏化程度对计算精度的影响。结果表明，当非零元素仅为１０％时，仍能达到满意的精度，因此小波－矩量法不失为分析电大尺寸问题的一种有效方法     

论追诉时效超期适用程序

分析了设立追诉时效超期适用程序的必要性,论证了该程序适用的条件,并就该程序的内容设计了相应的法律条文,供立法机关将来修改刑事诉讼法时参考。     

标准ML语言基本库

在所有的现代编程语言中，标准ML被公认为是属于最高级别的，由于其严密的语法定义，因此，被许多应用优先选择；另外由于其定义明确，因此可移植性很高。本书描述了标准的ML基本库，该基本库足够的丰富和有效支持这一通用语言的日常任务，书中提供了用于标准ML(SML)语言的基本类型及函数的集合，它们是由标准的ML定义(经修订的)[MTHM97]所描述的。     

HP3562A动态信号分析仪的计算机控制

本文在分别简要介绍ＨＰ－ＩＢ接口、ＨＰ３５６２Ａ和ＨＰ９０００／３２０及其控制之后，较详细地讨论了ＨＰ－ＩＢ接口总线控制ＨＰ３５６２Ａ和进行数据传输的四种有效方法，并给出了程序实例。本文所述的方法同样适用于对其它ＨＰ－ＩＢ（ＧＰ＿ＩＢ）仪器的控制。     

最小二乘解存在的充分必要条件

本文提出了当观测值的权矩阵为正定或半正定的前提下，其最小二乘解存在的充分必要条件为并以间接平差为例验证了该结论的正确性。