一种通用的城市道路交通流微观仿真系统的研究

交通流仿真是研究交通问题的有效工具,本文采用复合概率、模糊逻辑等方法建立了描述交通流中不确定性因素、车辆的到达,在路段上行驶以及通过路口的微观仿真模型,并利用面向对象的方法设计实现了于种基于上述模型的通用城市交通流微观仿真系统,比较真实地再现了车辆在道路网络的行驶过程。     

可编程的VXI总线消息基接口芯片设计与实现

本文介绍了用大规模可编程逻辑器件设计和实现ＶＸＩ总线消息基接口芯片。该接口芯片具有中断ＲＯＲＡ、Ａ１６／Ｄ１６、Ａ２４／Ｄ３２及块传输能力,传输速率高达２０ＭＢ／ｓ。由于采用可重配置可编程逻辑器件,故很易实现ＶＸＩ总线Ａ３２／Ｄ３２的能力。     

DDoS主动防御建模仿真研究

建模仿真是研究网络攻防的一种行之有效的手段。在研究DDo S主动防御理论模型的基础上,基于多Agent建模思想建立了DDo S主动防御多Agent模型;基于网络仿真软件OMNe T++建立了DDo S主动防御仿真模型;针对网络仿真软件操作复杂等问题,采用MFC开发工具对OMNe T++进行二次开发,构建了具有友好界面的DDo S主动防御仿真验证演示系统。进行了DDo S攻击与主动防御仿真实验。实验结果证明了所建模型的正确性和仿真验证演示系统的可用性。为进一步研究网络安全仿真提供了模型和平台支持。     

错误逻辑变量论域未知的对象识别状态与应该状态之间的转化

研究空间p、事物S(t)、特征T(t)、量值L(t)参数为确定常量的条件下,论域参数为变量且未知时,错误识别对象的识别状态与应该状态的转化,提出消除系统对象错误的方程和路径,以便减少或消除由系统错误带来的损失或灾难。研究发现,当对象识别状态的论域包含应该状态的论域时,可以采用错误矩阵一类5集合方程构建错误矩阵集合方程;当对象识别状态的论域包含于应该状态的论域时,可以采用错误矩阵一类4集合方程构建一元置换变换错误矩阵集合方程。     

可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

论逻辑的自然与自然的逻辑

"能高度逻辑地思维"是智慧与非智慧的唯一区别与分水岭,而人类能逻辑地思维是长期进化自然形成的。人类一旦学会逻辑地思维,其认知的获取与传承也根据逻辑而进行,人类认知的逻辑传承就成为自然而必然。由此,不仅存在人类认识自然的相同逻辑范式,而且一切自然皆逻辑,自然是逻辑的标准。     

经验论的自由化——重审逻辑经验主义的后期发展

后期逻辑经验主义在实用主义等哲学的影响下,构造了自由化的经验论。一方面,后期逻辑经验主义反思了传统经验论的三大教条,弱化乃至部分消解了观察与理论、分析与综合以及事实与价值的界限;另一方面,后期逻辑经验主义根据更为自由的命题意义标准,凸显科学概念框架的历史性,强调科学哲学与科学实践的紧密关联。经验论的自由化,不仅开启了科学文化哲学的研究进路,而且也为当代科学哲学克服相对主义和非理性主义提供了宝贵的思想遗产。     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

上海地面沉降InSAR技术应用研究

该文以上海地区丰富的地面监测资料为基础,开展适合上海地区微小形变阶段的InSAR技术研究。根据研究中所出现的问题,总结出适合上海微量沉降地区的InSAR技术测量精度的验证工作方案及工作流程。同时,结合实际沉降现状,在国内首次提出以应用为前提的“点对点”、“点对面”、“面对面”等多方法、多数据、多技术融合的解译结果评价方法。     

新一代超宽带无线通信芯片研发

超宽带（Ultra-Wide-Band,UWB）具有传输速率高、功耗低且不干扰现有无线系统等优点,主要用于短距离、超高速的无线通信。预计未来几年内,UwB技术将逐步应用于数字家庭娱乐,尤其是视频传输。UWB国家标准的制定也接近尾声,即将公布。但由于还没有成熟的芯片,当前的研究工作多处在系统级开发和FPGA验证阶段。所以低成本、高可靠、标准化的芯片是UWB走向实用化和产业化的前提。为了解决这个难题,推动UWB技术的应用和产业化,该项目针对新一代超宽带无线通信,进行芯片研发。