“拉丁字母”和“罗马字母”

ABCD……这26个字母,既称"拉丁字母",又称"罗马字母".两个名称有什么不同?什么时候用"拉丁字母",什么时候用"罗马字母",有什么规律?本文从这套字母的发展史谈起,通过考察两个名称在中国及英语国家的使用情况,得出"罗马字母"应该取代"拉丁字母"的结论.     

罗马帝国的权力与荣耀

帝国的诞生对古罗马历史的叙述充满了我们耳熟能详的名字和词汇:我来了、我看见了、我征服了,安东尼和克里奥帕特拉,斯巴达克思,人身保护令,尼禄,卡利古拉,马可·奥勒留,汪达尔人,西哥特人,匈奴王阿提拉.对于20世纪末的人们来说,读古罗马的历史尤其易有切身感触之情.不过,在讲述古罗马的历史之前,我们需要先厘清一个重要的定义——也就是,当我们说罗马帝国的时候,究竟是指哪段时期.古罗马的整个历史,从公元前8世纪罗马城建立的那个传奇日子开始算起,到最后一个罗马皇帝于1453年在君士坦丁堡惨败,长达2200多年.     

罗马共和国小农阶层的壮大及影响

罗马共和国前期小农阶层的社会经济地位不断提高,对罗马共和国的兴起产生了巨大的影响。第一,促进了罗马共和国政治体制的完善;第二,促进了罗马共和国经济的发展;第三,促进了罗马共和国军事力量的强大;第四,有利于社会的稳定。     

关于图的3-罗马控制

把图G的罗马控制推广为图G的k-罗马控制,得到了当k=3时的3-罗马控制函数的性质,并对完全图的3-罗马控制数进行了研究.     

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.     

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

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

DELPHI编程实现与ARM控制器的多机通信

介绍了一种基于RS-485总线型的微机与ARM控制器间多机串行通信数据采集控制处理系统。以PC机为上位机和ARM控制器为下位机,下位机可以灵活控制多台配电智能终端,也可以与上位机组成网络进行远程数据传输。系统软件以Delphi语言编写,实现了系统体积小、性能可靠、外围电子元件少的特点,整个系统使用灵活方便,具有很大的实用性。     

证明嵌入式系统设计的UML-B规约

本书介绍了贯穿整个模块系统设计方法论的系统性质形式证法。该方法沦将子系统的共同验证与虚拟系统部件的系统精化和复用性相结合，通过规约的形式与非形式方法相结合，由UML和B语言来完成。这样就允许通过经证明的子系统的合成来验证系统规约（对于接口则给予某些特别的注意，符合VSIA／SLIF方法）。将B语言与C、VHDL和SystemC语言相连。将通过构造校正设计的过程扩展到较低的单片系统开发阶段。因此证明嵌入式软件产品是与证明硬件产品相配套的。书中开发了用于从UML和B语言产生代码的原型工具，现有的B语言验证工具被拓展成支持IP的再使用，这部是根据VSIA的推荐。书中所涉及的方法论及工具是通过开发三个工业应用来验证的，即无线移动终端、建立在HIPERLAN／2协议基础上的电信单片系统、以及汽车的防碰撞组件。     

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

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

基于多机器人臂间协作的通信机制的设计与实现

随着多智能体(multiple agent system,MAS)在多机器人系统中的应用,机器人间的信息交换显得尤其重要.以网络传输为基础,提出了将基于传输介质的CSMA/CA(可避免冲突的二次检测)技术用于多机器人臂间在共同工作空间中的路径协调,并制定了相应的通讯协议.实验证明此方法有效.