软盘特殊格式化及加密技术的研究

通过对软盘结构、物理参数、逻辑参数的分析,给出了一种实现软盘在不破坏原盘数据的基础上,通过使用Int 13H等中断技术,进行重新格式化、扩充软盘容量的方法及加密技术的实现.     

城市火灾风险认知述评及其逻辑局限和对策

城市火灾风险认知旨在理解城市火灾风险的本质,是城市火灾研究的一项重要内容,是城市火灾风险分析和评估的基础.本文对国内外学术论文和消防标准中有关城市火灾风险的各种概念构建或思想学说进行了整理,归纳出还原论、整体论和复杂论等三个不同阶段的若干视角及其主要观点,展现了其系统化、多维化演进态势和中国学者的一系列突出贡献;发现了其三个方面的逻辑性认知局限问题:科学逻辑缺乏明确性、数学逻辑缺乏普适性、理论逻辑和实践逻辑之间具有冲突性;最后,以引入哲理科学、哲理数学及和谐管理理论等原创性理论为契机和前提,提出了解决上述逻辑问题的研究对策暨未来研究的初步规划.     

基于系统思维的智慧城市治理创新研究

新一代信息技术在提供城市治理手段的同时,重塑了智慧城市的社会结构和城市治理规则。用系统科学的思维范式指导复杂城市治理模式的智慧化转型,是实现城市善治的重要途径。本文从智慧城市治理的技术基础入手,考察智慧治理的逻辑起点,以及智慧化的技术逻辑与城市治理的融合路径,进而探讨整体性、系统性、自组织性、协同性、精确性思维对于创新城市治理,建构适应复杂性要求的智慧治理模式的作用机理。     

可逆计算原理与实验进展

计算能耗高和散热问题使传统计算芯片的集成度和运算能力的提升遇到瓶颈.大规模量子计算探索的关键是比特的相干叠加性和可逆性.因此,可逆计算既作为一种可能从根本上解决计算耗能高和散热问题的方案,又作为一种兼容量子计算的方案,近年来在理论上和实验上得到了深入的研究.本文介绍了可逆计算的基本原理,总结了目前基于微机械、传统微电子和超导领域的可逆计算实验研究进展,分析了超导器件实现可逆计算的独特优势,并着重对其中两种器件的工作原理进行了论述.     

容量有限非门限方式的逻辑环网建模与分析

讨论了具有以下特征的逻辑环通信网(1)系统队列容量有限;(2)采用非门限服务方式;(3)服务数上额受限。阐述了该系统站点队列结构和运行特点,说明了其状态转移特征;提出了非门限方式中存在的步转移特殊问题;给出了此类系统有关工作特征参数的算法或近似算法,利用计算机进行运算,给出了在忽略溢出损失率时,容量和站点数不同时的部分参数的特征曲线。     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

MOS电流模逻辑标准单元设计方法

分析了一种基于二叉判定图算法的MCML标准单元的设计方法。仿真分析采用SMIC0.18 CMOS标准工艺对电路进行晶体管级仿真。     

基于遗传优化的图像增强模糊算法

将协同进化遗传算法(CGA)应用于图像增强的模糊算法优化,以优化模糊逻辑处理效果.在CGA算法中,同时优化选择了模糊逻辑规则、最佳隶属度函数和优化了隶属度函数的参数.通过具体图像处理实验,在客观评价上证明了本方案的有效性.     

基于逻辑回归的巫山县滑坡易发性区划研究

[目的]在已有文献研究基础上,构建基于逻辑回归的滑坡易发性评价模型,并与基于随机森林的模型进行分析比较,探讨出适用于三峡库区巫山县的滑坡易发性评价模型.[方法]选取地质条件、地形地貌、环境条件、人类工程活动等4方面影响下的22个因子作为滑坡易发性影响因子,根据研究区963处历史滑坡点,建立30 m×30 m栅格地理空间...