基于小波和动态时间弯曲的时间序列相似匹配

提出了一种基于小波和动态时间弯曲(DTW)距离的时间序列索引和相似匹配方法. 该方法采用小波变换进行数据降维,利用R·-tree建立多维索引结构. 给出了查询序列的DTW距离边界和其在小波空间的查询超矩形的计算方法,从而将原始空间的基于DTW距离的相似匹配转换为小波空间基于欧氏距离的相似匹配. 证明了此匹配方法不会产生漏报,给出了基于DTW距离的范围查询算法和近邻查询算法. 实验结果表明该方法具有较高匹配精度和其较低的计算代价.     

结构智能的调节器:符号化及示范实现

通过三种控制功能,将调节问题层层归约,并利用拓广了的调节问题归约与或图,来显式地表示出结构智能调节器的逻辑推理和数值计算的细节和过程。整套方法直观形象,避免了逻辑上的冗余性或(和)不完备性,容易理解和分析。     

保险失效或退保概率的马尔可夫链预测模型

利用连续时间时齐马尔可夫链构建关于保险失效或退保概率的预测模型,用以计算任一时刻处于各个状态的概率,并给出参数估计的方法.由于实际中保单的状态在特定的时刻会发生离散事件,因此使用多阶段的马尔可夫链模型来刻画这一特点,即在发生离散事件的特定时刻,定义一个跳跃矩阵描述该时刻的状态转移情况.将该模型应用到保险公司的寿险失效或退保概率的研究中,通过实际的数据对模型参数进行估计和校准,通过校准的马尔可夫链模型对其寿险失效或退保概率进行预测并得到较好的预测结果.     

2018年12月21日虹桥机场平流雾天气漏报原因研究

2018年12月21日,虹桥机场出现了平流雾天气,虽然此次平流雾未造成航班延误或取消,但由于没有提前预警,服务效果较差。本文对此次平流雾天气的预报思路和服务过程进行了反思,为提高平流雾预报能力,及时准确发布预警积累经验。预战术阶段,客观预报均未预报出此次过程,天气形势预报与实况也有较大差异,导致预报员对21日晨天空云系变化及平流雾发生未能做出正确判断。战术阶段,预警与实况较一致,影响结束时间的预报误差仅为14min。分析发现,基于目前的业务技术水平,雾的准确预报仍十分困难,预报着眼点和预报流程存在不确定和不稳定的问题,服务产品与空中交通管制运行过程的融合深度仍需提升针对性。因此,加强科技攻关和推进空管气象联合复盘分析是缓解预报能力与业务需求之间矛盾的有效途径,通过技术创新和业务探索,改进服务方式,实现精准、定向、多元的航空气象信息发布。     

细胞低氧感知与响应——2019年诺贝尔生理学或医学奖成果简析

 2019年诺贝尔生理学或医学奖颁给了William G.Kaelin、Jr、Sir Peter J.Ratcliffe、Gregg L.Semenza，以奖励他们在细胞低氧感知与适应的相关研究中所做出的开创性贡献。他们发现细胞利用了转录因子HIF-1的α亚基上的羟基化修饰来感知细胞内的氧水平，而低氧条件下未羟基化的HIF-1α会快速累积，并进入细胞核内调控上千个基因的转录。细胞低氧响应与多种人类疾病紧密相关，包括贫血症、红细胞增多症、心血管疾病、卒中以及癌症。回顾了细胞低氧响应信号通路的发现过程以及与低氧响应有关的人类疾病。     

浅议工程造价的管理——以生物制品厂房建设为例

造价管理贯穿整个项目实施的各个阶段,工程前期阶段管理结果对整个工程造价影响约占75%,在生物制品厂房建设过程中更因注意GMP规范的变化趋势,对项目全生命周期内造价有着重大影响。因此坚持动态管理,充分利用和认真分析建设周期中的重要信息,是可以提高全生命周期建设资金的投资效益。     

一个Bendixson型定理及其应用

本文首先讨论不可约竞争或合作系统的闭轨的不存在性，然后讨论了负反馈系统的闭轨的存在性及稳定性．     

一种新的显式与或图搜索算法

给出了一种新的能找出含圈与或图的最佳解图的算法，证明了其性，并分析了其复杂性。     

并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。