信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

以滞量为参数的 Vanderpol型方程的 Hopf分支

本文以滞量为参数讨论了时滞 Ｖａｎ ｄｅｒ ｐｏｌ型方程的 Ｈｏｐｆ分支情况。     

鲫幼鱼易钓性与标准代谢及形态特征的关联

【目的】考察鲤科(Cyprinidae)鱼类的标准代谢率(Standard metabolic rate)及形态参数与易钓性是否存在关联。【方法】以广布种鲤科鱼类鲫(Carassius auratus)幼鱼为实验对象,在(25±0.5)℃条件下测定体质量相近、体格健康的40尾幼鱼的标准代谢率,随后在实验室环境中连续进行5d垂钓,每日垂钓20尾幼鱼即停止当日垂钓活动。【结果】1)第1d被钓出幼鱼的标准代谢率高于未被钓出幼鱼,具有统计学意义(p<0.05);随后连续4d中被钓出幼鱼与未被钓出幼鱼的标准代谢率之间的差异均不具有统计学意义。另外,每日被钓出幼鱼与未被钓出幼鱼的体质量之间的差异也无统计学意义,但被钓出幼鱼的体长在第3d和第5d大于未被钓出幼鱼,且具有统计学意义(p<0.05),并且被钓出幼鱼的肥满度在第3d高于未钓出组,具有统计学意义(p<0.05)。2)在5d的连续垂钓中,被钓上5次的幼鱼有3尾,被钓上1~4次的幼鱼分别为7,7,6,10尾,仅7尾幼鱼从未被钓出,单因素方差分析显示不同被钓出频次的幼鱼的标准代谢率之间差异不具有统计学意义。3)对5d中均被钓出的幼鱼的钓出顺序进行分析,发现它们每日被钓排序在整体上保持一致,而幼鱼的平均被钓次序号与它们的标准代谢率和形态参数均无统计学意义上的相关性。【结论】鲫幼鱼的首次被钓经历并不影响自身再次被钓;在体质量相近条件下,鲫的易钓性与外部形态(如体质量、体长或肥满度等)以及维持代谢有关。
     

供应链效率损失的结构性分析

供应链效率受到结构的制约，据此，从供应链的信息和决策结构出发，分别研究在供应链内部信息对称与不对称情形下，不同的决策结构对供应链效率的影响，探讨非合作决策结构下供应链效率损失的内生性；并得出：销售商（零售商）在供应链内占据的权威越大，则该决策结构就越有效，效率损失也越小。     

Lagrange方程在振动系统中的应用

介绍了从系统能量的观点出发去分析一个系统,运用Lagrange方程建立结构动力学基本方程,并特别地推导了考虑轴向力的欧拉粱振动模态与系统质量矩阵、刚度矩阵的关系.最后进行了算例分析.     

双强少油点火火检偷窥问题的分析与解决

火检系统是火力发电机组不可缺少的重要组成部分,油枪火检的可靠性对提高机组主辅设备的可靠性和安全性具有十分重要的作用,火检的偷窥是困扰发电厂安全生产的一大难题,本文通过分析大唐林州热电双强少油点火火检存在的问题,以及影响火检偷窥的一系列因素,提出了改造双强少油点火火检系统的方法和实施步骤以及要求,并对所产生的经济效益进行了估算,改造对机组的安全性、可靠性影响做了定性分析.     

基于SPACE分析法的泰宁金湖宾馆月艮务营销探析

泰宁酒店业的竞争随着泰宁旅游业的发展而日趋激烈，如何在服务制胜的年代确定胜人一筹的营销战略，首要的一步的做好服务营销的战略定位。运用SPACE矩阵（Srategic Positionand Action Evalutionmatrix）分析工具，结合酒店业的服务性特征，可以分析出泰宁金湖宾馆的服务营销的战略定位，即金湖宾馆应采取竞争型战略。最后根据分析结果，金湖宾馆需要侧重从竞争力方面具体实施进一步的服务营销策略。     

索赔额服从卡方分布的破产概率及其渐近估计

通过建立合适的数学模型，运用古典概率论的有关知识，针对索赔额服从卡方分布的模型导出了保险公司最终破产概率的显式表达式，并得到了相应的渐近估计，所得结果推广包含了文献[1]和文献[8]的相关结论。     

把握研究生阶段,成长在此时

曾有幸和施鹏老师讨论一些关于科研管理和学生培养的问题.施鹏老师是中国科学院昆明动物研究所研究员,进化和功能基因组学科组负责人.他的一些见解对研究生应该有所帮助.     

批判与重构:陈独秀的国民想象

"国民"话语是近代以来中国启蒙思潮演进的主题.如何在现代民族国家的框架内,培育具有现代民主意识的新国民,凝结了数代中国知识精英的智慧与探索.陈独秀在批判反思中国国民性问题的基础上,勾画了一幅现代公民的精神图像,提出了重构现代新国民的多重维度,开启了中国国民性论争的新篇章.