硫化矿石堆动态自热过程模拟

为揭示采场硫化矿石堆氧化过程中的自热特性,以从某硫铁矿采集的矿石样品作为实验材料,应用自主设计的实验装置,室内模拟硫化矿石堆动态自热过程.实验结果表明:矿石堆温度与时间的关系符合指数曲线模型特征,利用该模型可对矿石堆温度进行初步预测;矿石堆温度离散趋势包括相对平稳、离散增大和离散减小3个阶段;在离散增大阶段,局部区域矿石产生明显自热;随着深度的增大,平均升温率呈现先增大后减小的趋势,矿石堆内存在一定厚度的自热层;矿石堆对环境温度变化的响应存在空间差异,其中浅层区域响应快,响应效果明显,深层区域响应慢,但其响应持续时间更长.     

基于角色访问控制系统中角色结构安全性分析问题的模型检测验证

提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.     

A Unified Framework for Multilingual Text-to-Speech Synthesis with SSML Specification as Interface

This paper describes the design of a unified framework for a multilingual text-to-speech (TTS) synthesis engine – Crystal. The unified framework defines the common TTS modules for different languages and/or dialects. The interfaces between consecutive modules conform to the speech synthesis markup language (SSML) specification for standardization, interoperability, multilinguality, and extensibility. Detailed module divisions and implementation technologies for the unified framework are introduced, together with possible extensions for the algorithm research and evaluation of the TTS synthesis. Implementation of a mixed-language TTS system for Chinese Putonghua, Chinese Cantonese, and English demonstrates the feasibility of the proposed unified framework.     

一种基于数据流聚类的动态目标分群框架

为了解决动态目标分群问题,提出了一种基于数据流聚类的动态目标分群框架.该框架分为在线和离线两部分.在线部分采用临时存储结构和金字塔时间框架保存侦察数据集的概要信息;离线部分采用CNM算法对时间框架的信息进行聚类,最终得到分群结果.实验表明,该框架具有灵活的精度和效率平衡性,能够较好地满足决策辅助系统处理实时信息的需要.     

DIAGNOSTICS FOR EMPIRICAL BAYES MODELS

1.IntroductionInthelilleaxmodels,manykindsofBayesiandiagnosticshavebeenproposedtoassesstheinfluenceofeaChindividualobservationandthelocalinfluenceofminorperturbationsontheposteriordistributioll(see,[l--4])oronthepredictionoffutuxeobservation(see[5]).However,allthosediagnosticscannotbedirectlyappliedtotheempiricalBayes(EB)models(see[6]and[7]).Inthisarticle,westudythediagnosticproblemsinEBmodelssystematically.FirstlyjadeletiondiagllosticisobtainedtoexaminethesensitivityofeachcaseonEBestimate…     

Responsibilities of Science Funding Agencies in Research Innovation

Mr. Chairman Ladies and Gentlemen, Good morning. It is my great pleasure to participate in this event, which celebrates the 30th anniversary of KOSEF and is of great significance to the international community of funding institutions.     

书籍评论——British Far Eastern Policy

著者在自序中说他写这本书有两个理由。第一,从一八九四至一九OO年(甲午至庚子)远东问题很紧急而且左右了世界的大局。第二,自Morse:International Relations of the Chinese Empire 出版以来,各国政府及私人发表了许多有关远东问题的新史料,其中最要紧的是:British Documents on theOrigins of the World War 和 Die Grosse Politik der Europaischenkabinette。第一个理由极有根据,第二个则不然,因为在Morse书出版十年以後此书出版三年以前,还有Philip Joseph:ForeignDiplomacy in China,1894-1900。此书与Joseph的书的题目大致…     

地震探测无人机遥控震源实验研究

震源是保证地震勘探数据采集质量的决定性因素之一。在高山、河流等复杂环境,传统震源常受到道路交通、激发条件等限制而难以应用,对实现高精度地震勘探非常不利。无人机遥控震源充分发挥了无人机不受地形限制的特点,能够有效克服复杂环境对传统震源的限制。本文在河北洋河实验区首次开展了无人机遥控震源实验,包括不同激发能量的采集实验、与五台可控震源车对比实验和水中的激发采集实验,并对数据频带和信噪比等方面展开对比分析。实验结果表明,无人机遥控震源勘探性能良好,具有对环境的破坏性小、能源消耗少、操作简单的优点,是复杂环境中低成本的优质震源选择。     

Ｗeak（S）—积分的极限定理

在引进了Weak^*(S)－积分的基础之后，对Weak^*(S)－积分的极限定理进行研究，并给出了两个重要的Weak^*(S)-积分的积分极限定理。