雷恩堡宝藏之谜

雷恩堡,法国南部科尔比埃山中的一座小镇.虽然地处偏僻,雷恩堡却奇闻迭起,充满神秘色彩.     

带扰动的延迟对偶风险模型的渐近解

本研究将延迟和扰动同时引入对偶风险模型中,讨论了带一般L(e)vy过程扰动的延迟对偶风险模型.主要通过构造几类特殊函数,结合It(o)公式和积分-偏微分方程等工具,得到了破产概率和破产时间期望值的渐近解.然后在延迟时间为有界的条件下推导出了破产概率的显示解.最后进行了数值模拟研究,模拟结果显示该模型下的破产概率比延迟对...     

基于Beta过程的高分辨ISAR成像

对于高信噪比、完整回波、目标平稳运动等理想观测环境,现有成像技术已经较为成熟,可以获得聚焦良好的高分辨逆合成孔径雷达(inverse synthetic aperture radar, ISAR)像。但在实际中的方位回波缺损与低信噪比观测情况下,随机相位误差等因素会降低现有成像算法的性能甚至使其失效。本文首先建立了ISAR稀疏观测模型,并基于稀疏贝叶斯学习理论,通过引入Beta过程非参数先验构建层级概率模型,进而交替利用Gibbs采样及最大似然方法对ISAR像及随机相位误差进行估计。实验结果表明,所提方法在低信噪比、回波缺损等复杂观测环境下能够获得聚焦良好的ISAR图像。     

濒临灭绝的动物

导致野生动物濒危的原因很多,归纳起来致危因素主要有以下几类。物种自身的原因物种特化和遗传衰竭,往往是导致物种濒危甚至灭绝的内在原因。某些种类的野生动物在长期的进化过程中,适应了某种特定的栖息环境而产生了特别的习性(包括食性),使其难以适应变化了的环境,最终落得“     

与祖先同行

在土耳其乡村一个偏僻的角落,人们发现有一家人的5个兄弟姐妹能够十分自然地手脚并用地行走.科学家认为,这一发现为洞察人类的进化过程提供了独一无二的视角和很有价值的信息.     

基于过程模型的分布式工作流引擎的研究

通过CORBA规范,按照过程模型的特点,提出一种基于过程模型的分布式工作流引擎的协同运行机制,可以解决集中式工作流引擎控制结构的运行瓶颈,最后给出了一个银行贷款过程的实例。     

数字化测图作业方法、数字化测图的业过程及注意事项

阐述了数字化测图的作业方法、数字化测图的作业过程及注意事项.     

基于不规则二阶树的多尺度表示和多尺度建模

多数现象或过程具有Markov性,对在不同尺度上拥有对同一目标进行观测的多传感器系统,利用Markov过程的条件独立性,提出了不规则树的新概念,建立了动态过程基于不规则二阶树的多尺度表示方法,给出了确定多尺度模型中各种参数的具体步骤,并通过计算机仿真实验验证了所建立的动态过程基于不规则树的多尺度表示方法和多尺度模型的有效性与实用性.     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

重庆市交通区位演化过程与空间异质性格律初探

厘清物质交通建设与城镇化发展的时空响应过程有助于理解区域发展的驱动机制。以重庆市为例,基于多年断面数据,采用指数建模、地理加权回归、全局莫兰指数、LISA集聚分析等方法以揭示交通区位演化与城镇化发展之间的动态关联机理。研究发现：近20年来,重庆市城镇化与交通建设取得了同向快速发展,交通建设的绝对增长幅度快于城镇化的增速;交通设施建设对城镇化发展的正向拉动不断增强,同时,二者发展具有空间依赖性;山地交通设施与城镇化布局的空间集聚特征显著,其高值区集中在主城及周边地区;基于地形、历史、政策、经济等地区差异的长期性,物质交通建设与城镇化的时空协同结构具有明显的空间稳定性。近20年来,重庆市城镇化与交通建设的协同效应明显,且基底约束效力较强,空间特征显著。