赣州城市空间形态演变及其影响因素分析

本文主要对赣州从建城至今的城市空间形态演变过程进行了剖析,并探讨了影响赣州城市空间演变的内在机制与因素．     

一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

分布式调试中动态向量时钟存储空间分配方法

为了解决不同进程之间异步通信时向量时钟存储问题,结合现有事件监测的方法,以及分布式软件系统调试盒监测特征,并针对向量时钟静态存储技术的不足,提出了一种动态更新存储空间的方法.实验结果表明,对监测工具的改进方案能够减轻用户调试时的负担,较大地提高分布式程序调试的效率.     

科技论文的写作技巧

科技论文具有自己独特的文体结构和语言要求，它除了在内容上具有科学性、创造性和时效性外，写作上还具有双重性（自然语言＋人工语言）、规范性和可读性。科技论文的结构通常由以下几个部分组成：题名、署名、摘要、关键词、分类号、主体部分（引言、正文、结论）、致谢、参考文献及英文题名、英文署名、英文摘要、英文关键词等。科技论文结构的实现是通过文章内容来完成的。1．题名是科技论文的眼睛题名要以最恰当、最简明的词语反映论文中内容主要特点。题名应该避免使用不规范的缩略词（及字母）、字符、代号和公式等，一般不宜超过20…