西门子计算机的服务处理机分析和故障诊断方法

本文介绍了西门子7570-C计算机服务处理机的特点、逻辑结构、硬件配置、软件系统和故障诊断方法。该文对从事西门子计算机和其他计算机系统的硬件维修人员将有所帮助。     

多播水印协议MAMWP的BAN逻辑分析

 用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.     

热学教材中的一处谬误及其纠正

本文指出了现行热学教材上对“理想气体定律的推证”一节内容中的逻辑循环问题;探讨了由此产生的热学教学过程中的危机;同时又举出了另一种简便的推证法,并论证了该推证法不存在,也不隐含逻辑循环。用它替代后,能避免危机的出现。     

噪声声源分析方法及应用

本文系统地介绍了噪声声源的分析方法 ,着重介绍了信号分析技术在噪声声源分析中的应用。利用功率谱分析噪声信号的特性 ,利用相干性确定噪声源。     

大学生体质与心理健康因素关系的测试分析

运用多种心理测验方法和模糊聚类分析、灰色关联分析等数学方法，从研究大学生的个性特征入手，探讨了体质水平与心理健康因素，以及影响体能发挥的心理因素内在的数量化关系。提出了心理测验需针对性的综合运用16PF和SCL－90两个量表，并辅以相关的心理测验方法，去获取大学生心理行为变量个体之间的差异。     

基于FPGA的QPSK调制器设计与实现

采用FPGA设计芯片技术对多进制数字通信技术的QPSK调制器实现进行了设计研究,将调制器中原有多种专用芯片的功能集成在一片大规模可编程逻辑器件FPGA芯片上,实现了高度集成化、小型化.实际研究仿真表明,该方案具有突出的灵活性和高效性,为设计者提供了多种可自由选择的设计方法和工具.     

关于形式化及其实现的可能世界

形式化公理学为研究可能世界的存在条件提供了新的基础.在此基础上,可能世界完全摆脱了直观的干扰,因此它只受限于逻辑的制约;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现等方式生成可能世界.     

完全k叉树理论的可数模型及其胞腔性

将在逻辑Lω1ω中把完全k(kω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.