This book provides a definition and study of a knowledge representation and reasoning formalism stemming from conceptual graphs, while focusing on the computational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and reasoning mechanisms are based on graph operations, with graph homomorphism at the core.

Computer architecture, A Quantitative Approach (solution for 5th edition) 91頁pdf Solutions to Case Studies and Exercises

Output your GPS enabled Android phone location to nearly any BlueTooth device Transform your GPS enabled Android phone into a fully functional Bluetooth GPS NMEA SPP Slave for your laptop w/Bluetooth or other Bluetooth device. 6 h/run limit in free mode. 试用6小时，够用了

本书《并行与分布式处理手册》由国际知名专家团队编写，旨在为实践者、科学家和研究生提供并行和分布式处理领域的全面概述。书中涵盖了高效并行算法、并行处理语言、并行操作系统、并行和分布式系统的架构、资源管理、计算工具、并行数据库系统及多媒体对象服务器等基础主题。此外，还深入探讨了并行和分布式科学计算、分子科学中的高性能计算以及多媒体应用等实际应用案例。该手册不仅提供了理论基础，还结合了大量实例，帮助读者更好地理解和掌握这一复杂领域。

Abaqus是一款强大的有限元分析软件，广泛应用于工程仿真领域，而MATLAB是一种高性能的数值计算和可视化软件，它们两者之间的数据交互在工程计算中具有重要的意义。Abaqus odb（output database）文件是Abaqus软件用于存储分析结果的专用格式，包含了丰富的分析数据，例如位移、应力、应变等。如何将这些数据高效地转移到MATLAB环境中，是一个值得探讨的技术问题。 在将Abaqus odb信息输出到MATLAB mat文件的过程中，首先需要开发一个能够读取odb文件的应用程序或者脚本。这些工具通常利用Abaqus提供的API接口，通过编程语言如Python、C++等进行开发。开发过程中，需要对odb文件的内部结构有深入的理解，包括其对象模型、数据结构等，从而实现精确的数据提取。 提取出的数据接下来需要被转换成MATLAB能够识别和处理的格式。由于MATLAB提供了丰富的数据处理功能，因此，将数据转换成mat文件格式，可以使得数据在MATLAB中的操作变得更为便捷。Mat文件格式是一种特定的二进制格式，它能够存储MATLAB的数据类型，如数组、矩阵等，同时也支持结构体和单元数组的存储。 在MATLAB环境中使用从Abaqus odb导出的数据，可以进行更深入的数据分析，包括绘图、数据处理和后续的数值计算。例如，可以对提取的应力应变数据进行处理，得到分析对象的力学响应特征，或者进行数据拟合，从而为工程设计提供理论依据。同时，用户还可以通过MATLAB强大的图形显示功能，将分析结果以图形的方式直观地展示出来，这对于理解模型的物理行为和验证模型的正确性具有重要作用。 进行数据交互时，还需要注意数据格式和精度的匹配问题。Abaqus odb文件中数据的精度和类型需要与MATLAB中定义的数据类型相对应，以确保数据在转换过程中的准确性。这对于保证分析结果的可靠性至关重要。此外，用户在使用时，还应该考虑数据量的大小，因为过大的数据量可能会导致处理速度降低，影响计算效率。 随着计算机技术和数值分析方法的发展，Abaqus与MATLAB之间的数据交互技术也不断进步。现在市场上已经有成熟的工具和插件可以帮助用户完成这一过程，这些工具或插件能够简化用户操作，缩短学习周期，提高工作效率。当然，对于专业的用户来说，了解这一过程的底层实现原理，不仅可以帮助他们更好地使用现成工具，也可以在必要时对工具进行二次开发，以满足特殊的应用需求。 Abaqus odb信息到MATLAB mat文件的数据转换是一个涉及软件接口、数据结构和数值分析的过程。通过理解这一过程的技术细节和实施步骤，用户可以有效地利用Abaqus的仿真结果进行进一步的分析和设计工作，从而在工程实践中发挥更大的作用。

在信息技术领域，硬件设备的固件升级是一个常见的需求，以提升设备性能、修复已知漏洞或是增加新功能。海康威视作为知名的监控设备供应商，其录像机产品深受市场欢迎。然而，在固件升级过程中，可能会遇到各种问题，例如电源中断，这将导致升级过程失败。为了应对这种情况，海康威视提供了一套专门的刷机工具，让用户可以在升级失败后通过特定的方式抢救设备。 这套工具由几个关键组件构成。PuTTY是一个流行的开源终端仿真器、串行通信程序和网络文件传输应用程序。它支持多种网络协议，如SSH、Telnet、rlogin等。当海康威视录像机的固件升级因断电等原因中断时，用户需要借助PuTTY来重新建立与设备的连接，进行后续的固件重新下载和刷写工作。 除了PuTTY，工具包中还包含了Tftpd64，这是一个简单易用的TFTP服务器及客户端软件。TFTP（Trivial File Transfer Protocol）是一个较轻量级的文件传输协议，常用于固件更新等场景。通过Tftpd64，用户可以搭建一个本地TFTP服务器，用于存放需要刷入录像机的固件文件。这样，一旦设备可以通过串口连接恢复通信，就可以从TFTP服务器下载固件进行更新。 为了与海康威视录像机进行通信，还需要使用TTL串口转接线。TTL（Transistor-Transistor Logic）信号通常用于电子设备之间的数据传输。用户需要通过这条连接线将个人电脑与录像机的相应串口连接起来，从而通过PuTTY等软件工具发送指令和数据。 值得注意的是，使用这套工具进行刷机抢救工作要求用户具备一定的技术知识和经验。用户在操作前应当充分理解各个步骤，严格按照海康威视提供的指导手册执行。在刷机前务必要保证固件版本与设备型号相匹配，并确保电脑和设备的电源供应稳定，以避免再次发生升级失败的情况。 此外，这套刷机工具的使用是具有风险性的。操作不当可能会导致设备完全损坏。因此，对于不具备相关技术背景的用户来说，寻求专业技术人员的帮助会是更加稳妥的选择。同时，海康威视也会提供官方的刷机工具和专业指导，确保用户能够安全有效地完成刷机过程。 对于海康威视的用户来说，熟悉这些工具并掌握基本的刷机技能，可以在面临类似问题时快速有效地进行自救，减少设备故障带来的损失。海康威视提供的这套刷机工具，无疑是为专业用户和技术爱好者提供了一个强大的支持工具。

并行计算机体系结构是计算机科学中的一个重要分支，它专注于设计和分析能够同时处理多个任务的计算机系统。并行计算机体系结构的核心在于同时使用多个处理器来提高计算效率，它与传统的串行计算机体系结构存在本质的区别。并行计算机设计中重要的挑战之一是如何高效地在多个处理器之间分配和管理任务，以及如何有效地交换信息。 并行计算机体系结构的设计方法论可以分为硬件和软件两个方面。在硬件方面，设计师需要考虑如何构建物理处理器、存储器以及处理器之间的通信机制。在软件方面，则涉及到操作系统、编程模型、并行算法和程序设计等领域的知识。 斯坦福大学的这本教材《并行计算机体系结构：硬件/软件结合的设计与分析》涵盖了一系列并行计算机的设计方法和实例，从简单的并行个人计算机到大规模的超级计算机。这本书强调了定量分析和仔细的工程权衡，这在以往的并行计算研究中并不常见。书中的方法论旨在为设计人员提供一套理解基本架构问题和可用于解决设计权衡的技术的工具。 书中提到了并行计算机架构中最激动人心的发展，即传统上截然不同的方法——共享内存（shared-memory）、消息传递（message-passing）、单指令多数据流（SIMD）以及数据流（dataflow）——在共同的机器结构上的汇聚。这一趋势的驱动力一部分来自于技术与经济的共同力量，另一部分来自于对并行软件更深入的理解。这种汇聚允许我们关注主要的架构问题，并发展一个共同的框架来理解并评估架构权衡。 并行软件已经发展到一个成熟的阶段，流行的并行编程模型现在可以在更广泛的机器上应用，并具有实际意义。这表明，软件体系结构的演进方向以及将决定硬件设计遵循的具体路径的力量正在变得更加清晰。 并行计算机体系结构的一个关键概念是“技术收敛”。过去，不同的并行计算机架构模型被认为是完全独立的，每种模型都有其独特的实现方法和应用范围。例如，共享内存模型依赖于多处理器共享同一块内存，而消息传递模型则依赖于处理器之间的显式消息交换。SIMD架构专注于单指令多数据的并行处理，而数据流模型则侧重于根据数据之间的依赖关系来调度计算任务。 然而，随着技术的进步和对并行处理更深入的理解，这些架构方法开始融合，并在许多方面互相借鉴。硬件和软件的设计者现在可以采用一个更加统一的方法来开发和优化并行计算机系统。这种融合不仅简化了并行系统的开发，而且提高了并行软件的可移植性和通用性。 书中还强调了并行计算机体系结构设计师在设计多处理器系统时需要考虑的关键因素，包括但不限于性能、可扩展性、可靠性、可编程性、成本和功耗。并行计算机体系结构中的权衡是一个复杂的过程，因为不同因素之间可能存在相互制约的关系。例如，为了提高系统的性能，可能需要增加处理器的数量，而这可能会导致成本的上升和功耗的增加。因此，设计者必须在这些因素之间找到平衡点，以满足特定应用的需求。 《并行计算机体系结构：硬件/软件结合的设计与分析》一书的出版，对于并行计算领域的教学和研究产生了深远的影响。它不仅为学术界提供了一本权威的教材，也为工业界提供了宝贵的参考。尽管这本书现在已经绝版，但它所包含的核心概念和方法论对于当今的并行计算研究和实践依然具有参考价值。

视网膜图像扫描技术在糖尿病视网膜病变的计算检测领域具有重要的应用价值。随着计算能力的飞速发展和医学影像处理技术的不断进步，对视网膜图像的精确分析已经成为可能。计算机辅助诊断系统能够有效地识别和分类糖尿病视网膜病变的不同阶段，为临床医生提供重要的辅助诊断信息。在糖尿病视网膜病变的计算检测中，重要的是要能够准确识别出视网膜图像中的异常结构，比如微动脉瘤、出血点、渗出物和新生血管等。这些异常结构的存在与糖尿病视网膜病变的严重程度紧密相关。 为了提高检测的准确性，研究人员运用了多种图像处理和机器学习算法。其中，深度学习技术，特别是卷积神经网络（CNN），在自动特征提取和分类任务中展现了极高的性能。通过大量带有标注的视网膜图像训练，深度学习模型能够学习到病变区域的复杂模式，并能对新的图像进行有效的检测和分级。此外，数据增强、迁移学习和集成学习等技术也被广泛采用以提高模型的鲁棒性和泛化能力。 在实际应用中，计算检测系统不仅需要具备高准确率，还要有较快的处理速度，以适应临床工作的需求。因此，研究者们还致力于优化算法，使其能够在普通硬件上运行，降低部署成本。在临床实践中，计算检测系统通常被集成到现有的眼底图像采集设备中，或者作为独立的后处理软件与之配合使用。系统设计时，用户界面的友好性和操作的简便性也是重要的考虑因素，以确保医生能够快速理解和使用检测结果。 计算检测的发展同样伴随着对医学伦理和隐私保护的关注。视网膜图像涉及患者的重要健康信息，因此在图像的存储、处理和传输过程中必须严格遵守相关法律法规，保证数据安全。随着技术的成熟和规范的建立，视网膜图像的计算检测有望在全球范围内普及，为糖尿病视网膜病变的早期发现和治疗做出重要贡献。

The book is about twenty-five percent longer. There are new sections on fast transforms ( § 1 .4), parallel LU (§3.6), fast methods for circulant systems and discrete Poisson systems ( §4.8) , Hamiltonian and product eigenvalue problems (§7.8) , pseudospectra (§7.9) , the matrix sign, square root, and logarithm functions (§9.4) , Lanczos and quadrature (§10.2), large-scale SVD (§ 10.4) , Jacobi-Davidson (§ 10.6) , sparse direct methods ( § 1 1 . 1 ) , multigrid ( § 1 1 .6) , low displacement rank systems ( § 12. 1 ) , structuredrank systems ( § 12.2) , Kronecker product problems (§12.3), tensor contractions ( § 12 .4) , and tensor decompositions ( § 12.5) . New topics at the subsection level include recursive block LU (§3.2 . 1 1 ) , rook pivoting (§3.4.7) , tournament pivoting (§3.6.3), diagonal dominance (§4. 1 . 1 ) , recursive block structures (§4.2. 10), band matrix inverse properties (§4.3.8) , divide-and-conquer strategies for block tridiagonal systems (§4.5.4) , the cross product and various point/plane least squares problems ( §5.3.9) , the polynomial eigenvalue problem (§7.7.9) , and the structured quadratic eigenvalue problem (§8. 7.9) . Substantial upgrades include our treatment of floating-point arithmetic (§2.7) , LU roundoff error analysis (§3.3. 1 ) , LS sensitivity analysis (§5.3.6) , the generalized singular value decomposition (§6. 1 . 6 and §8.7.4) , and the CS decomposition (§8.7.6) .

双输出Buck直流-直流（DC-DC）转换器是一种电力电子设备，它能够将一个高电压直流电源转换为两个可调电压的低电压直流输出。这种转换器在需要独立控制多个负载电压的系统中非常常见，如分布式电源系统、电池管理系统以及复杂的电子设备。 在传统的双输出Buck变换器设计中，每个输出都配备了一个PI（比例-积分）控制器，以实现对输出电压的精确控制。PI控制器是控制理论中的基础元件，它通过结合即时误差（比例部分）和过去误差积分（积分部分）来调整控制信号，从而确保输出电压稳定且跟踪设定值。对于双输出系统，这意味着每个PI控制器都需要独立工作，以满足各自输出的要求。 在MATLAB环境中，开发这种双输出Buck DC-DC转换器的闭环控制系统涉及以下步骤： 1. **模型建立**：需要建立转换器的电路模型，包括开关晶体管、电感、电容和负载电阻等。MATLAB的Simulink模块库提供了构建这类模型所需的所有组件。 2. **PI控制器设计**：接着，需要为每个输出设计PI控制器。这涉及到选择合适的增益参数，以确保快速响应和良好的稳态性能。MATLAB的PID Tuner工具可以帮助进行控制器参数的优化。 3. **仿真设置**：设置仿真时间和步长，确保在足够的时间范围内捕获系统动态行为，同时保持计算效率。 4. **闭环仿真**：连接控制器到电路模型，形成闭环系统，并运行仿真。这将展示系统在不同工况下的性能，如负载变化或输入电压波动时的响应。 5. **性能分析**：分析仿真结果，包括输出电压纹波、瞬态响应时间、稳态误差等，评估系统性能并根据需要进行调整。 6. **优化与验证**：如果性能不满足要求，可以通过调整控制器参数或优化电路元件值来改进。多次迭代后，应达到理想的设计指标。 7. **代码生成**：可以利用MATLAB的代码生成功能，将模型转换为实际硬件可执行的代码，例如C代码，以便在微控制器上实现。 通过上述过程，我们不仅理解了双输出Buck DC-DC转换器的工作原理，还掌握了如何使用MATLAB进行闭环控制系统的开发和优化。这个过程不仅适用于教学和研究，也对实际工程应用具有重要价值。在实际应用中，这样的转换器可以提供稳定、独立的电源，满足各种电子设备的供电需求。