随机保费下带红利的期望贴现惩罚函数

利用Gerber—Shiu期望贴现惩罚函数统一研究了在保费随机到达和红利边界下的破产问题,推广了Albrecher,Kainholer（2002）和Bao Zhen—hua（2006）中的结论。首先本文考虑了索赔到达间隔服从普通概率分布时的期望贴现惩罚函数,并得到无红利边界时的极限解;再将红利边界固定为常数,考虑了平稳更新过程和PH更新过程中的结果。最后本文将结论应用于破产概率、破产前盈余的概率分布及破产前盈余过程到达红利边界的概率等实例,并进行了数值实现。     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

Spectral Properties and Positivity of Flows in Infinite Networks with Dynamic Boundary Control Nodes

In this paper we study transport processes on infinite networks with dynamic boundary control nodes. These flows can be modeled by operator semigroups on a suitable Banach space. Using functional analytical and graph theoretical methods, we investigate its spectral properties of the system and positivity of the semigroup under appropriate assumptions on the network.     

多机器人的改进型边界探索算法

针对多机器人探索未知环境问题,提出了改进型边界探索算法。该算法综合考虑边界角度和距离两种因素,引入分散机制,使机器人团队协同工作,避免出现拥挤,减少探索过程中的重复覆盖和路径交叉现象。基于与其他方法的实验比较结果表明,该探索方法使多机器人具有更好的团队协作能力,提高了探索效率。     

基于BFM算法的空间有形目标识别方法

为了对具有复杂边缘的目标进行更准确的检测识别,提出了一种基于边界片段模板(boundary frag-ment model)训练模式的目标识别方法.方法首先提取目标的边界片段组成弱分类器,然后使用AdaBoost算法将它们提升训练成为强分类器,并用其进行检测和识别目标.仿真实验表明,该方法对有形目标,特别是对具有复杂边缘的空间有形目标有较好的识别效果.     

会计师事务所风险管理策略: 高阶期望风险视角

根据会计师事务所客户组合的风险特征,在给出客户组合风险的高阶期望损失风险测度方法的基础上,建立了客户组合风险管理决策的两阶段优化模型,求出了客户组合的风险边界值, 并分析了风险边界值的决定因素.研究结果表明:会计师事务所可接受客户组合风险的大小及最终客户的多少,主要由可能发生的诉讼损失决定, 即发生的诉讼损失越多,会计师事务所接受新客户和续聘客户的风险越谨慎,拒聘新客户或辞聘老客户的数量也越多.该研究结果对我国会计师事务所的风险管理决策实务和现有的审计风险理论研究都有一定的借鉴和参考价值.     

系统科学研究对象、任务与学科性质探究

以国内外系统科学前沿研究为基础,深入分析系统科学的研究对象、任务和学科性质。研究对象是存在和演化的具体系统中一般意义的关系性特征;研究任务是从发现问题、总结"同型性"、探究"规律性"、解决问题再到发现问题的反馈回路;系统科学具有超越科学性、中立科学性、建构论、弱经验性和问题指向性等特征。     

机械化保护性耕作对土壤理化性质的影响

机械化保护性耕作技术在山西临汾开展研究已经有多年了。在试验区，土壤物理化学性质发生了变化，这些变化给作物的生长提供了良好的土壤环境条件，同时改善了区域环境。通过对13年的保护性耕作试验区与传统土壤耕作技术试验区的对比试验，结果表明：机械化保护性耕作技术可更有效地提高土壤的蓄水量，每年蓄水量平均增加率为17％、每年土壤有机质平均增加0.065％，耕作层土壤的密度减小了10．07％，耕层内SO4^2-含量、Cl^-含量分别减少了11．045％和21．839％。图1，表4，参5。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

不可忽视的前庭研究

<正>2014年10月6日,瑞典卡罗林斯卡研究院诺贝尔奖评选委员会宣布今年的诺贝尔生理学或医学奖授予英国伦敦大学学院教授约翰·奥基夫(John O'Keefe)、挪威科技大学教授梅·布莱特·莫瑟尔(May-Britt Moser)及其丈夫爱德华·莫瑟尔(Edvard I.Moser),以表彰他们发现了组成大脑定位系统的细胞,这些细胞构成了"大脑中的GPS"。