格值命题逻辑系统Lvpl中的推理规则

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证明了对于适当的语法语义协调水平，当Lvpl的公式集的L型模糊集为同态映射时，它们关于这几类推理规则都在一定程度上封闭.     

配送系统优化中的客户分组

基于配送周期的客户分组以个体最佳配送日期为主要分组标准，基于空间距离的客户分组以客户空间距离的邻近程度为主要分组标准．为了说明客户分组对配送调度方案的影响，构造了均匀分布于50，100，200km^2范围内的3组模拟客户集合，分别基于配送周期以及空间距离进行客户分组研究，得到了相应的分组方案及系统总费用．结果表明，基于配送周期的分组方案在客户分布较为密集时较有优势，基于空间距离的分组方案在客户分布较为分散时较有优势．     

某预应力混凝土连续梁桥裂缝分析及加固设计

通过数值计算分析某预应力混凝土连续梁桥裂缝产生的原因，并提出了相应的加固设计方案。     

浅析许渊冲教授的诗歌翻译理论

许渊冲教授是著名的诗歌翻译实践家和理论家,在诗歌翻译理论的继承和发展中发挥了重要的作用．然而,对于许教授的诗歌翻译理论应采取怎样的科学态度尚无明确定论．在借鉴众多学者对许教授诗歌翻译理论评述的基础上,文章从三个方面进行系统分析,指出应采取“扬弃”的态度,继承和发展许渊冲教授的诗歌翻译理论．     

船舶碰撞诉讼中采证对象的确定及其法律效力

船舶碰撞诉讼中采证对象的确定由包括事实推定和司法认知在内的诸多客观事项所决定。这是船舶碰撞诉讼活动和船舶碰撞诉讼证据的内在特性所使然。考察船舶碰撞诉讼活动中采证对象的法律效力,是以对各种常见船舶碰撞诉讼证据的证明能力和证明力的探悉为基础的。     

科技英语翻译对专业知识的要求

本文从词汇、表达方式和语法结构理解三方面论述了专业知识对科技英语翻译的重要性,同时也简要说明了语言知识也很重要,两者缺一不可,相辅相成。     

财富积累与可持续发展:华村的启示

财富的积累与社会的变迁相联系。华村集体与村民财富的积累得益于城市化和市场经济的机遇。经济精英的创新作为是华村可持续发展的主体动因。     

晚清《行政裁判院官制草案》的意义与影响

本文以中国历史上第一部关于行政诉讼制度的法律《行政裁判院官制草案》为对象,着重研究其产生的原因、基本特点及历史地位。本文认为,《行政裁判院官制草案》的诞生是西方宪政思想传播和清末立宪思潮兴起的结果,标志着中国社会权力分立与制衡思想的启蒙和现代权利意识的觉醒,对中国北洋政府、南京国民政府的行政诉讼制度产生了重大影响,具有重要的历史意义。     

线路坐标的通用计算及代数系统验证

基于各类道路线型曲率呈线性变化的共同特性,给出了线元上任意点坐标方位角的统一计算公式,进而提出了适用于所有道路线型平面测设计算的中桩坐标、边桩坐标的数值积分通用公式,且在M icorsft Excel中得以实现。并对数值积分公式给出了相应的计算机代数系统验证方法。实例计算结果表明通用公式正确有效。     

GIS在铁路勘测设计一体化中的应用

在分析我国铁路勘测设计一体化发展现状的基础上,探讨了将地理信息系统技术应用于铁路勘测设计一体化的可行性与必要性;研究了基于GIS的铁路勘测设计一体化系统的设计目标、功能结构与处理流程以及系统的体系结构;作为开发实例,简要介绍了基于GIS的铁路线路设计系统的实现方法。