反应系统的建模规约与验证

计算机科学建造人工制品，这些人工制品应为用户提供某些明确的服务。它们正确地完成所担负目的的行为规约是至关重要的。确定计算系统是否确实提供了由它的规约所描述的行为问题叫做正确性问题，它是计算机科学中最基本的问题。研究描述计算机模型及它们的规约，以及根据它们的规约建立系统正确性的方法（有可能是自动的），叫做算法验证。     

试析不列颠早期城镇化过程中的罗马因素

不列颠早期城镇化过程包含两个阶段。一是凯撒入侵至克劳狄征服不列颠。这一时期罗马影响主要体现在对不列颠的政治控制、与不列颠的贸易互动以及罗马人向不列颠的移民等。其二是克劳狄征服后的罗马不列颠时期。这一时期引进罗马因素,推进城镇化政策,建立重要的要塞和城镇;罗马文化影响着不列颠,也促进不列颠城镇罗马化,使不列颠逐渐效法罗马。而在不列颠早期城镇化过程中,罗马帝国所坚持的原则是在减少管理成本获得收益的同时,也给予不列颠人获得好处的权利,从而达到了与不列颠的合作与共赢。     

电力系统远动功能的研究与实现

本文介绍了电力系统中远动装置发展的各个阶段及其对远动功能的需求,论述了电力系统对四遥的要求及变电站实现无人值班的条件,远动终端与主站配合可以实现四遥功能,并探讨了电力系统对微机远动功能的基本要求。     

格基规约算法在 MIMO 检测中的应用

研究了格基规约（lattice reduction,LR）技术中的 LLL（Lenstra-Lenstra-Lov’asz）算法,以及格基规约辅助（LR Aided, LRA）的多输入多输出系统（multiple input multiple output,MIMO）检测技术,重现了已有的多种 LRA 低复杂度检测算法的结果,探讨了 LR 与 MIMO 检测的本质,继而提出了一种带边界限定的格基规约辅助的选择性的快速枚举展开算法。仿真结果表明：LLL 算法能大幅度提高矩阵的正交性,使低复杂度 MIMO 检测算法的性能接近最优检测;而本文提出的改进算法能进一步逼近最优检测的性能,使误码率为10－4时,和最优检测算法的检测性能仅差0．8 dB。     

发现两艘罗马古船

不久前，在希腊科孚岛和意大利之间海域的1600米深的海底，两艘公元3世纪（罗马时期）的商船的残骸被发现。通过雷达扫描和潜水机器人拍照，发现了散落海底的货物，包括装食物和酒的陶罐、     

DF3211通信管理机故障检查及调试探讨

对DF3211通信管理机在故障检查及调试过程中遇到的各种问题进行了详细的分析,并针对存在的问题提出了解决的方法。     

试析撒路斯提乌斯在罗马史学史上的地位

撒路斯提乌斯是罗马共和时期的政治家、史家。他的作品无论在选材上、写作上都有自己的独到之处。他从当代政治、军事事件入手，以道德为评价准绳，尽量客观地描述了共和时期罗马社会的发展状况，他的写作特点和他的史学思想对后来罗马和西方史家有一定影响。     

数据挖掘技术在统计预处理中的应用

目前统计分析面临的数据大多不再是预先设定的样本数据，而是杂乱、不规范的大规模的海量数据，所以统计分析之前进行数据预处理是非常必要的。采用数据挖掘技术，对存在空缺值、噪声数据等不规范的数据集进行清理，对海量数据进行维规约和自动产生概念分层处理，以缩小数据集的规模。经过预处理的数据集能更好地适应原有统计方法，并提高了统计质量。     

从中国目前户籍制度的改革说开去

一个理想的社会应该是一个人人享有公平竞争机会以及"各领风骚三五年"的社会,这就要求这个社会的体制设置具有弹性,从而使这个社会具有平行、垂直流动性,进而带动整个社会的发展。从某种程度上来讲,中国目前户籍制度改革的主要目标就是要促进社会平行与垂直的双重流动,以缩小城乡差距,促进社会发展,构建一个更和谐的社会。     

变电站自动化系统选型问题的探讨

阐述了关于变电站自动化系统选型中存在的若干问题和应遵循的原则,介绍了[被屏蔽广告]变电站自动化系统的结构形式、功能、通讯网络和传输规约等内容,强调了抓好选型工作的重要性。