《金银岛》中吉姆·霍金斯身份意识解读

<金银岛>是一篇探险故事,但同时又是一篇有关成长的故事.吉姆·霍金斯在他的成长过程中经历了身份意识的萌发和一系列的"身份焦虑",并不断试验各种男性角色模型来充当他心目中的英雄,以最终实现对自我身份的确认.吉姆·霍金斯是如何由一个充满天真幻想、胆怯、困惑的小男孩逐步成长为一个勇于面对现实、勇敢、成熟的男子汉?将对这一过程中吉姆·霍金斯的身份意识进行解读.     

多频无线通信网路由协议

针对多频无线通信网的特点,设计了一种多频无线通信网路由协议(MCWN-RP).协议采用组播扩散机制优化扩散路径,采用非重传确认机制减少报文种类,采用最短路径树构造算法降低扩散内容,采用自适应定时器调整机制减少网络冲突,从而大大降低了协议开销;同时采用差别拓扑更新方式,提高收敛性能.对MCWN-RP进行了协议开销和收敛时间的性能分析,得出协议性能与拓扑更新包大小和协议包发送间隔的关系.OPNET仿真结果表明,与OSPF、OLSR协议相比,MCWN-RP具有非常小的协议开销和较高的收敛性能,是一种高效的动态路由协议.     

水电站尾水河道定床变态模型相似律

水电站尾水河道的水流几何形态变化得足够强烈或频繁时，尾水河道中水流单位 长度上的能量损失．主要是局部阻力损失．考虑水流局部能量损失，得到模型相似参 数。采用不同的方法证明了水力摸型试验成果的缩尺影响很小．水力模型试验成果与 原型观测资料比较，两者符合较好。     

高斯基函数CMAC快速算法的改进及应用研究

该文对基于高斯基函数小脑模型(CMAC)的快速算法进行了改进,针对其学习速率的选取问题,提出了一种基于遗传算法的学习速率最优选取方法,使得CMAC学习速率的选取得到了最优化。讨论了该算法的实际可行性,提出了参数选择和实时控制相分离的策略,并在某转台伺服系统模型中进行了应用研究。仿真结果表明,改进算法避免了学习速率选取的经验不确定性,提高了CMAC学习收敛的快速性。     

用ANSYS分析钢筋混凝土梁的应力

随着计算机运算能力的不断增强,有限元方法已经成为了一个强有力的数值分析工具,比如美国AN—SYS公司开发的大型通用有限元软件ANSYS,就在土木、机械等多个工业领域中都有着广泛的应用。对于建筑行业中最常见的钢筋混凝土结构,可以采用ANSYS中的Solid65单元进行模拟计算。本文就是采用了solid65单元建立钢筋混凝土简支梁的结构模型,对结构在荷载作用下的应力和挠度等进行分析,     

信息获取中两类不确定性的风险表达模型研究

分析了搜索引擎在信息获取中效率低下的原因,在Lafferty等人提出的风险表达形式化模型基础上,提出了风险表达的认知模型,并对该模型中风险函数R的可计算问题进行了分析和讨论。     

ARIMA和Prophet模型在艾滋病发病预测中的应用

根据国家疾病预防控制局提供的2013年1月至2019年10月艾滋病发病数的相关数据,分别建立ARIMA(0,1,1)×(0,1,1)₁₂乘积季节模型和Prophet模型,并对两种模型的预测效果进行对比.结果表明,两种模型均能很好地预测我国艾滋病的发病人数以及变化趋势,其RMSE分别为345.46、328.88,且Prophet模型的预测效果更优.     

对系统工程中模型化原则的研究

从模型的定义、模型的表现形式以及建模的原则和步骤等方面对实施系统工程时应遵循的原则之一——模型化原则进行了研究,阐述了对模型化原则的理解和认识。     

耐用消费品的销售规律研究——以我国彩电业为例的研究

本文试图通过对新型的耐用消费品的销售规律的分析,建立logistic模型,通过实证分析的方式来验证本人的对其销售规律的分析.并对其中的某些特例的市场前景给出预测.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.