地名翻译的书同文问题

地名翻译一贯有很大的任意性,也难以统一。秦代书同文重形轻音,而传统地名中译却相反地采取音译法。联合国根据地名应用的需要,通过采用重形轻音的地名单一罗马书同文译法。文章讨论地名字母化在计算机输入、排序方面的好处。建议中文地名采用拼音排序办法,在应用时采用首字母地名输入法。在罗马字获得归化中文后,更可望减少另配汉字地名钥匙的需要。     

报文解析方法在远动调试中的应用

针对电力系统远动传输系统调试过程中出现的各种故障,提出了利用报文解析方法排查故障范围,确定故障性质,快速准确的排除故障。文章例举了工程实践中的实际案例,说明了报文解析方法在远动调试过程中是一种非常有效的方法。     

函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

国际刑事法院管辖权延展下的非缔约国

国际刑事法院的管辖权在一定情况下可能会与非缔约国国内管辖权出现竞权。中国尚未成为《国际刑事法院规约》的缔约国,究其原因也主要在于管辖权方面的疑虑。因此,我们有必要从非缔约国的角度出发,对所涉及的管辖权问题予以深入分析,防范法院管辖权延伸带来的消极影响,并为中国考虑适时加入提供一些参考。     

论经济法中的诚实信用

一、问题的缘起：诚实信用原则向经济法的渗透 （一）诚实信用原则的语源及发展历程 在我国古代典籍中，早就出现了“诚信”一词。《商君书·靳书》把诚信与礼乐、诗书、修善、孝弟、贞廉、仁义、非兵、羞战并称为“六虱”。而诚信原则起源于罗马法中的诚信契约亦为通说，诚实信用原则的发展，大致经历了罗马法、近代民法和现代民法三个阶段。罗马法阶段体现了商品经济对法律的一般要求，当事人的诚实信用是履行契约的可靠保障。近代民法阶段，     

基于．Net框架的物流信息系统的设计与实现

本文给出了一个物流信息系统的业务流程，模块设计以及基于．Net框架的实现方案，其中设计并实现了一种简单的安全策略。     

理性主义的困惑与迷惘——古罗马文学精神论

古罗马文学是罗马社会存在与罗马人精神历史的反映 ,其中既有对为国家尽义务而自我克制、自我牺牲的理性主义精神的价值确证 ,也表现出因国家理性主义与个体价值的冲突带来的矛盾、痛苦、困惑与迷惘。它既使我们看到了罗马帝国兴盛的原因 ,又预示着罗马帝国的衰颓与分崩离析。但是 ,古罗马作家们只是感性地体验和客观地反映了国家理性主义对个体情感的压抑 ,而不能理性地进行批判。所以 ,笼罩在作品中的是一种挥之不去的感伤、困惑与迷惘情绪     

半k-规约基上的最近平面算法

把LLL规约基之间的关系推广到半k-规约基上去,然后分析了在半k-规约基上最近平面算法。与Babai的结果相比,提高了近似率,并具有几乎相同的时间复杂性。     

论科学的人文根源

本文系统阐述了科学本体论、方法论和价值论的人文根源。由逻各斯概念的四层涵义所反映的古希腊文化的相互关联的四方面重要特征，确立了自然科学所预设的本体的认识和信念。科学的数学方法和认知价值，主要导源于推崇理性和真理的希腊文化，而科学的实验方法和非认知价值，主要导源于注重实用和技艺的罗马文化。古希腊和古罗马的人文遗产共同为科学的诞生做出了巨大贡献。