论辩逻辑的理论渊源与现实应用

古代三大逻辑传统从其产生直到中古，都以对话和辩论的原则和技术作为重要的或主要的研究对象。从希腊逻辑发展而成的现代逻辑已经成为全人类共同的知识财富，现代逻辑的主流是被称为现代形式逻辑的数理逻辑。论辩逻辑服务于“取当求胜”，它属于并非形式化的逻辑。由于现实需要，特别是在法律论辩的活动中得到有效应用，论辩逻辑正在复兴，并有所创新，而且从中国名辩学和印度因明学中吸取营养。     

山东威海卫饮用天然矿泉水生成背景与水质评价的研究

本文论述了山东威海卫饮用天然矿泉水的生成条件，对其界限指标、限量指标、污染物指标、微生物指标等进行了综合评价，确定其为重碳酸型的含锶、偏硅酸优质矿泉水．     

频率合成式无线语音传送系统的研究

本文介绍的是一种无线语音传送系统，它是由两部分构成的，发射部分和接收机部分．发射部分采用最先进的频率合成技术，发射频率稳定．最适合大教室教学场合应用。     

以溴化苯并噻唑盐为催化剂合成α—羟基脂肪酮

以溴化苯并噻唑盐为催化剂合成了七种α-羟基脂脂酮,并讨论了反应物结构和催化剂与反应性能的关系.     

高维情形的Vasic定理及其应用

给出了高维情形的Ｖａｓｉｃ定理：定理１设αｉ（ｉ＝１，２，…，ｎ＋１）为ｎ维单形Ω之顶点角，则对任一组实数ｘｉ＞０（ｉ＝１，２，…，ｎ＋１），有本文还给出了它的一些应用．     

探秘强势的老鼠

老鼠,人类最亲密的"朋友",全世界有2 500多种,约有300多亿只,是人口总数的5倍还多。老鼠寄生于地球的历史比人类久远。人类自诞生之初,就在不断进化不断发展,对于老鼠而言,又何尝不是如此呢?适者生存,优胜劣汰,在历史的长河中该有多少"强虏灰飞烟灭"呀,就连曾经主宰过地球的动物之王恐龙也不能幸免。然而,老鼠这一小小生灵,却历经劫难、生生不息地绵延至今,这是一个惊人的奇迹!奇迹背后是什么呢?鼠类家族的成功是一个个必须面对又令人困惑的谜!     

插值Blaschke积的两个刻划定理

信据Ｂｌａｓｃｈｋｅ积在Ｈ＾∞的极大理想空间Ｍ上的零点分布，给出了Ｂｌａｓｃｈｋｅ积是插值Ｂｌａｓｃｈｋｅ积的两个刻划定理。     

适用于中小跨径桥梁频率识别的移动检测车辆参数研究

为了实现对大规模中小跨径桥梁群体的快速检测,提出了一种参数可调的移动检测车辆,并通过理论推导、试验验证和参数分析对车辆参数的合理取值进行研究. 首先,通过车-桥耦合振动理论推导出“拖车-双挂车”过桥振动响应的解析解;其次,利用有限元模型和车桥耦合计算程序的数值计算结果,以及一座简支梁桥的现场试验结果对理论解析解进行验证;最后,基于推导的理论解析解进行参数研究,分析了检测车辆的动力参数、车速以及桥梁参数对间接法识别精度的影响. 结果表明：当车桥频率比在0.8~0.9（或1.1~1.2）之间变化时,桥梁频率识别效果较好;在利用间接法进行桥梁频率识别时,建议移动检测车辆的车速不宜取太大;根据桥梁的截面面积、截面形状和跨度对检测车辆参数进行合理的选取,可提高桥梁频率识别的准确性. 研究结果可为基于车辆响应的桥梁频率间接识别提供参考.     

基金项目管理系统的工作流建模

文章概述了基金项目管理的一般流程,并利用工作流技术对该流程进行了建模,提供了该工作流模型的实现.