扩展原理注解下的语言动力学轨迹

语言动力系统(LDS)以词计算代替常规的数值符号计算,通过将常规数值动力系统的状态或参数抽象化得到对应的LDS.为了简便计算语言动力学轨迹,采用分类法来注解扩展原理,并讨论了相应的语言动力学性质.     

提高核电站安全可靠性的平行系统方法

安全可靠性是核电站存在和发展的生命线,目前它还主要是通过人的经验和严格管理等来保证, 但其智能性和科学性还不够.核电站是一个涉及多方面的动态变化要素的复杂系统,现有控制、 仿真和管理技术还不能为其生产运行和管理提供安全可靠的充分保证.本文以ACP方法为基础, 基于信息技术最新发展成果,提出了采用自上而下的规划和自下而上的设计相结合的方法, 来开发"核电站可靠性规划和设计软件包",使得核电站在建造前就有了安全可靠方面的科学依据. 进而提出平行系统方法, 分析其基本原理和成功应用实例,并介绍其在核电站中应用的人工系统、计算试验和平行执行的具体内容, 给出了PTS、PES和PMS等具体应用.     

纪念Pnueli教授：一位信息科学领域的开拓者和“拯救者”

2009年12月在上海参加IEEE CDC会议时,一位过去留美的同行告诉我Pnueli教授刚去世.我已很长时间不碰形式化研究了,但对Pnueli Calculi和Pnueli的Temporal Loglc还印象深刻.春节之后.收到国际计算机协会的通讯CACM,整个封面是Pnueli的半身画像和暗红的标题,Amlr Pnueli:Ahead of His Time.     

关于复杂系统的建模、分析、控制和管理

以人工系统、计算实验、平行执行为讨论基础,以“不断探索和改善”为指导原则,提出具有不可分和不可知特性的复杂系统的建模、分析、控制和管理的理论体系和施行方法。     

基于ACP方法的电子商务系统复杂性研究

运用复杂系统研究中的“人工系统＋计算实验＋平行执行（ACP）”方法，结合新兴电子商务的特点，提出了基于ACP方法的电子商务复杂性研究方法论。讨论了其中的代理建模、实验、决策和量化计算4个主要问题；设计了与真实电子商务系统平行执行的电子商务社会实验平台，为复杂性研究结果的评估、验证和修正提供了实验环境。该方法论与实验平台的研究，有助于加快新兴电子商务复杂性研究的步伐、提升企业的国际竞争能力。     

《科学新领域的探索》读后感

引子 我是2004年夏末答应就<科学新领域的探索>写一篇书评.收到此书,方知是考夫曼Investigation的中译本.粗读之后,有许多困惑,只好再买一本英文原版来读.可读完原版之后,一些文字上的困惑是没有了,却又多了一些内容上的不解.     

关于城市交通、物流、生态综合发展的复杂系统研究方法

必须综合考虑城市交通、物流和生态等城市化问题；这类问题不存在“一劳永逸”的解决方案；这类问题不存在一般意义的最优解，更不存在唯一的最优解。因此，基于复杂系统的思想，讨论在“不断探索和改善”的原则下，如何利用人工系统、计算实验、平行系统等新方法和理论，结合从定性到定量的综合集成方法和并行分布式高性能计算技术。寻求城市交通、物流和生态等城市化问题的有效解决方案，建立城市交通系统全面、协调、可持续发展的新型研究体系和方法。     

从人工生命到人工社会--复杂社会系统研究的现状和展望

介绍了人工社会研究工作的内容、方法及其思想基础，并对其应用和未来趋势进行展望。文中简述了社会学研究的历史阶段、主要问题和困难，人工生命和人工社会方法的有效性，并着重描述了Epstein和Axtell的工作，以及相应的涌现方法在复杂社会系统研究中的中心作用。本文还讨论了目前对人工社会方法的各种批判意见及其回应。     

论导致节能建筑实施率低下的原因及对策

当前房地产行业实施节能建筑的难度很大,节能意识薄弱、缺乏内在经济动力、性价比不明显及相关环节的管理失控是导致节能住宅实施率低下的主要原因。加大建筑节能的宣传力度、加大行政监督力度和处罚力度、让用户来监督建筑节能的实施是推行建筑节能的重要举措。     

开源信息在突发事件应急管理中的应用

互联网上的开源信息具有很高的潜在应用价值,对其进行开发利用可以提高突发事件中应急管理的效率。阐述了开源信息处理的三个重要环节,讨论了突发应急事件中开源信息处理的特殊要求与主要方法,最后以"天网工程"在四川汶川地震中的作用进行了案例分析,主要侧重于监测和分析地震中网络群体对事件的关注及各类情绪的变化特征。