摘要：粤剧《搜书院》是马、红表演流派的经典剧目,更被称为是粤剧改革的里程碑。周恩来总理在观看过此剧后曾赞誉粤剧是＂南国红豆＂。在红线女艺术中心成立二十周年之际,红线女艺术中心与广州粤剧院联手重新打磨、整理重排《搜书院》,此剧最大的亮点是由三位出色的红派弟子苏春梅、欧凯明、黎骏声联袂主演,分饰剧中的三个主要人物。

摘要：中国国家经济地图集的编辑工作采用了计算机制图技术，其先进性体现在具有地图设计、编辑和制版等多种功能的一体化制图系统中。这个系统选用了合理的软、硬件支撑环境，并自力更生地完成了制图数据库、地图色彩库的设计和建立，以及智能化统计制图软件、地图色彩自动设计软件、电子地图软件等的开发和应用。本文将主要介绍这些实验研究成果。

摘要：人才政策是由诸多具体政策构成的复杂体系,政策协同性决定其政策竞争力。研究从政策工具视角构建“政策工具—人力资源管理功能—政策目标”三维分析框架,设计量化手册并构建政策协同度量模型,对广西2010—2019年发布的93份人才政策样本进行赋分,以多维、跨维交叉的协调量化测量手段,深入剖析政策协同的工具选择偏好、路径演进特征及其问题。研究发现:广西人才政策工具协同失衡,需求型工具的协同效应长期被忽视;“留才”与“育才”协同度偏低;“规模与环境”目标不协调;政策目标的达成长期存在“留才”路径的协同短板等。研究提出坚持战略需求导向、强化需求型工具的应用、重视“留才”功能发挥的建议,为广西创新人才政策、提升人才政策协同效应提供启示。

摘要：利用软件自动生成的思想，采用应用程序生成器方式，建造了一个用于开发ＭＩＳ的软件生成工具———统计生成器．阐述了统计生成器的结构、应用问题的描述模型、外部模型与内部模型的转换方法．

摘要：石油工业的腐蚀与防腐是个非常复杂的大课题。中国石油学会石油腐蚀与防护委员会为油田、气田、管道、海洋和炼油生产领域中出现的腐蚀问题，开展了各种类型的学术活动，有针对性地解决了一些防腐技术难题，在防腐科研工作上取得了不少成果。如各种新型防腐涂料的问世，各种新耐蚀金属材料的应用，新的金属表面耐蚀处理方法，

摘要：使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

摘要：中国近代史上开眼看世界第一书《四洲志》的主编林则徐,亲自命名并委托魏源担任主编完成的《海国图志》,于1842-1852年连续3次出版,迅速传到日本并被争相购买,而在中国却被皇宫束之高阁。直至1978年中国实施改革开放,史地学界开始了研究《海国图志》的热潮,并高度评价其为"最完备的介绍世界历史地理的鸿篇巨著"、"中国近代第一本自编世界地图集"等。为了探索《海国图志》的成功秘诀,本文首先分析了《海国图志》100卷版内容构成,概括了《海国图志》发表后在中国与日本的不同反响;接着,重点探讨了《海图图志》的"设计思想、内容编排、编纂技术"等方面的地图学价值,以及"师夷长技以制夷"的编辑策略,着重于资料真伪分辨和发挥综合体裁协同效果等成功经验;最后,呼吁当今地图工作者努力吸取《海国图志》的宝贵经验,尽快编纂出版一本"内容真实、大型综合、服务民众"的综合性世界地图集。

摘要：UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·

摘要：针对成品油与原油服务对象的不同,分析并讨论了成品油管道和原油管道形成本质差异的原因,认为这两种管道虽同属输油管道,但在运行经营上是性质完全不同的两种管道,前者的运营必须适应于市场的变化,又要接受市场的监督,而后者只服务于炼油厂。对两种管道的运营情况进行了比较,通过实例介绍了成品油管道的特点,阐述了管道与市场之间的业务关系。为提高管道的利用率,必须采取有效措施,对输送新油品的可能性进行了研究。

摘要：针对无线传感器网络数据融合过程中的数据隐私和完整性保护问题,提出一种安全的数据融合隐私保护方案(SPPDA),把节点的私密因子与原始数据构成复数,采用同态加密方法对复数进行加密,实现在密文不解密的情况下进行数据融合,同时采用基于复数的完整性验证方法,确保数据的可靠性。理论分析和仿真结果表明,SPPDA方案的计算代价和通信开销较少,数据融合的精确度高。