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

从多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可信软件进行建模和分析.     

城市空间结构演变的动力机制分析

城市空间结构是城市地理学的主要研究内容之一,它是一个动态演变的过程,促使其演变的力是错综复杂的.文章梳理了城市空间结构演变过程中的各种力,并将其分为内力和外力两大类,又将内力划分为向心力和离心力,外力划分为人为因素和自然因素,然后分别从城市经济发展、基础设施与服务、土地集约利用、社会心理引导、环境承载力、技术发展、追求田园生活、政府政策、突发自然灾害等方面分别对其进行具体诠释.结果表明,城市空间结构是内外力达到平衡时的结果,内力在城市空间结构演变过程中起着决定性作用,外力起到辅助性作用.合理的城市空间结构兼顾经济效益、生态效益、便民生活、可持续发展等方面,政府应通过制定合理的政策、规划来引导城市空间结构向着最合理的方向发展.     

地球的陆壳是怎样形成的?——神秘而有趣的前寒武纪地质学

地球的年龄大约有46亿年。以5.45亿年为界,之前的称为前寒武纪,它有大约40亿年,是地球历史上漫长的地质时代。之后的称为显生宙,寒武纪就是显生宙的第一个纪元。地球陆壳的80%～90%以上是在前寒武纪形成的,记录了复杂和惊心动魄的地质构造事件,赋存着丰富的矿产资源。前寒武纪地质,就是研究地球在前寒武纪时期的地质演化,特别是大陆的形成和增生以及演化的学科。     

演化博弈论在虚拟企业和谐互动研究中的应用

演化博弈论作为一种前沿数理工具,在虚拟企业和谐互动的研究中具有十分重要的应用价值.以复杂性为视角,对虚拟企业伙伴间的和谐互动演变过程进行博弈分析,有助于建立良性互动的虚拟企业管理模式.     

论崇高理论的演进

文章以崇高理论演进过程中的具有里程碑意义的朗吉努斯、康德、席勒、利奥塔德的崇高理论为代表,论述了崇高理论由提出到基本完备的演进过程。     

论两种绘景中的散射矩阵

通过阐述散射矩阵在薛定谔绘景和相互绘景的求解及其含义，提出了采用相互作用绘景求解散射矩阵更为简单。     

论崇高理论的演进

文章以崇高理论演进过程中的具有里程碑意义的朗吉努斯、康德、席勒、利奥塔德的崇高理论为代表,论述了崇高理论由提出到基本完备的演进过程。     

山东半岛人地系统演进的历史进程简析

山东半岛是山东省和我国东部沿海地区经济社会较为发达的地区之一，也是人地关系较为紧张的地区．山东半岛当前的人地关系与人地系统演进状态，是历史时期不断积累的结果．是经历了先秦、秦汉魏晋南北朝、隋唐五代、宋金元、明清等5个人地关系演进时期的叠加与继承．只有充分认识历史时期的人地关系与人地系统演进状态，才能使未来的人地系统得以持续、协调地演进．     

“得意”词义分析与复合过程探析

“得意”是我们日常生活中常用的一个词,在古代汉语中有四个意思,分别是：领会旨趣;犹得志;及第;称心,满意。但这四个意思并不是同时出现的,而且经过漫长的历史发展演变,在现代汉语中只保留了“称心如意、感到非常满意”的意思。“得意”连用较早出现于春秋战国时期,但最初并不是一个能够独立运用的词,而是一个词组。直到明代,“得意”才演变成一个能够独立充当句子成分的词。     

利他主义人口模型与性别差异的探讨

在单性利他主义理论研究的基础上，通过引入性别比率，建立新的数学模型，得到有着性别差异的的人口公式中利他主义进化的充分条件，从而说明雌性利他主义在利他主义的进化过程中所起的作用。