计算机科学哲学研究 认知、计算与目的性的哲学思考 【工业技术】

本书以哲学、进化生物学、认知科学、逻辑学、计算机科学与自动机理论的结合点为轴心，以计算机科学哲学领域的计算主义和反计算主义相对立的研究立场为主线，试图在计算机革命或哲学的信息转向的背景下对人机类...

碱-表面活性剂-聚合物三元复合体系/大庆原油间界面张力的研究 【工业技术】

多模态框架下日语语用能力的研究作为应用语言学里面的一门新兴的学科，其理论建设、研究方法都还处于起步阶段，研究方法有限。本研究立足于汉语母语者日语专业大学生日常课堂学习的过程，着重课堂教学过程与语言...

形式语义学的稳定论域理论 【工业技术】

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

认知无线电中多信道动态频谱管理方法研究 【工业技术】

认知无线电由于能较好地解决无线频谱资源匮乏和频谱利用率低下的矛盾，成为下一代无线网络研究的热点。本书围绕多信道动态频谱管理所涉及到的关键技术，具体介绍了认知无线电中多载波调制技术、多信道多用户协...

形式语义学引论 第2版 【工业技术】

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

日常生活视野下的旧城开放空间重构研究 【工业技术】

形式语义学基础与形式说明 【工业技术】

本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...

食品安全治理机制研究 政府与供应链共生演化的视角 【工业技术】

认知无线电网络中基于博弈论的功率控制算法研究 【工业技术】

《认知无线电网络中基于博弈论的功率控制算法研究》是根据国家自然基金课题“基于认知的无线资源管理与利用”的研究结果，本书较为系统和全面阐述认知无线电网络中功率控制问题的研究现状、认知无线电网络构...

基于统计视角的数据挖掘研究 【工业技术】

随着数据存储技术的不断发展，可用于数据分析的数据量越来越大，对传统的统计分析技术提出了极大的挑战。本文从统计学视角，对数据挖掘统计方法、质量问题及可视化数据挖掘原型实现等几方面开展了系统研究，并给出...