数学证明中的推理问题

演绎推理和非演绎推理经常被运用到数学证明中。二者的共同之处在于:都是从前提推出结论、从已知达于未知;非演绎推理除归纳法之外,与演绎推理一样,只要前提都真,结论必真。不同之处在于:演绎推理从前提到结论之间的推理是逻辑推理,而非演绎推理的推理过程则是根据具体问题进行具体分析;演绎推理的前提与结论之间的关系必然能被数理逻辑的逻辑演算中的形式定理所反映,非演绎推理的前提与结论间的关系则不能;演绎推理对应着一个演绎推理规则,非演绎推理则无对应的推理规则。     

番茄红素的生产与检测研究

基于番茄红素有防癌抑癌的生理功能,使之成为具有广阔应用前景的天然色素。该文针对番茄红素生产过程中产品产率低、纯度差的现状,对番茄红素的稳定性、生产方法、纯化方法、异构体的分离以及检测进行阐述。为番茄红素工业生产提供理论和实践依据。     

中国农业经济增长波动的统计分析

农业经济的增长波动,是中国农业发展中循环出现的一种不稳定现象。研究农业经济增长波动的主要目的在于:为农业经济景气分析勾画出一个跨度较大的历史背景;通过对农业经济增长波动内在机制的剖析,寻求相应的经济政策,减轻农业经济增长波动对整个国民经济发展造成的干扰和影响;通过对农业经济增长波动节律和特点的把握,探索工业增长发展与农业增长波动相匹配的最佳方案,提高整个国民经济抗波动干扰的能力,取得较为理想的增长效益。     

CCD图象检测信号的失真校正

本文从CCD图象输入系统误差引起图象检测信号失真的原因分析出发,以降低系统装校误差精度要求和增大元器件离散性的宽容度为目标,讨论朱真校正方法的原理和数学描述。最后,介绍两种失真校正方法。     

圆锥轴受扭时静、动力的传递矩阵法求解

本文提出了圆锥轴受扭时静、动力的传递矩阵。该方法简便实用,适于工程技术人员在微机上应用。     

数字技术与法律之间的互动关系

数字技术的飞速发展 ,其辐射性、渗透性影响着人类法律生活的各个方面 :从法的规范到法的形式 ,从立法内容到立法过程 ,从执法到司法 ,几乎无一不在数字技术影响的范围内。这种全方位的影响既为法的进步和发展创造新的机遇和前提 ,又对法、法的运作和法学研究提出了挑战和问题 ,两者相互作用、相互协调、相互补充 ,共同推动全人类的进步     

350keV Yb~＋注入Si（100）的射程分布和晶格损伤研究

用３５０ｋｅＶＹｂ~＋在室温下注入了单晶硅，并用卢瑟福背散射／沟道技术测量了注入离子在硅中的射程分布谱和晶格损伤谱。用表面能量近似和平均能量近似从背散射谱上计算了射程深度和射程分布的标准偏差。实验和计算结果表明，大部分注入离子都处于非替位位置。表面能量近似方法已能给出相当理想的计算精度，它与更精确的平均能量近似所得出的结果相差甚微。晶体与非晶体界面附近的损伤并由Ｙｂ~＋直接产生，它是一种次级级联碰撞效应。     

21世纪高校图书馆的读者服务

本文从职业道德、业务素质、服务方式三个方面讨论高校图书馆的读者服务工作。提出了如何加强职业道德建设，提高图书馆员业务素质，更新信息服务方式。     

全面建设小康社会条件下精神文明建设的思考

党的十六大提出的全面建设小康社会的奋斗目标,为我国的社会主义精神文明建设提出了新的时代要求。论文从我国全面建设小康社会条件下的社会主义精神文明建设的意义入手,客观分析了我国社会主义精神文明建设面临的新形势,并对新形势下如何推进社会主义精神文明建设进行了探讨。     

论人大代表听审制度

人大代表旁听人民法院的审判活动 ,既是人大代表了解情况的有效途径 ,又是人大对“一府两院”实行监督的重要方式。又可以防止人大对“一府两院”工作的过多干预。目前 ,人大代表听审活动急需立法的推动和规范。人大在进行有关立法时 ,既要保证人大了解情况和监督目的的有效实现 ,又要保证人民法院审判活动的相对独立。