论文部分内容阅读
该文针对BAN逻辑及其语义模型的不足之处，提出了改进后的定义，它比BAN原作者们所提供的信念定义更加合理。
关于BAN逻辑的语义模型的分析与改进
【摘 要】
：
该文针对BAN逻辑及其语义模型的不足之处，提出了改进后的定义，它比BAN原作者们所提供的信念定义更加合理。
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年15期
其他文献
目的：探讨颅脑损伤患者血液流变学变化及高压氧治疗的影响。方法：经确诊的颅脑损伤患者72例，按是否接受高压氧治疗分为高压氧治疗组（HBO组）37例，男22例，女15例；对照组35例，男11例，女24
文章论述了基于Web的LonWorks远程监控系统体系结构和实现原理。利用嵌入到Web页面中的ActiveX控件，形成了丰富的监控画面和复杂的监控功能。同时结合ASP技术，实现了时远程LonW
近年来，随着并行计算技术的不断发展，机群技术成为并行处理研究的热点和主题。其中的关键技术之一——机群系统管理是一个重要的研究方向该文分析了Java的RMI技术在曙光3000机
提出了一种获取正则化参数的新方法。利用随机理论解决正则解模糊误差能量期望值最小化问题,确定正则化参数。对正则化算子给定为Laplacian算子的情形予以测试,实验结果表明该文的恢复技术比传统方法的恢复性能好,恢复效果接近最佳且性能稳定。
目的：研制合格的乙肝表面抗原单克隆抗体（HashgMab）标记的胶体金探针。方法：采用柠檬酸三钠还原法制备15nm的胶体金；所制备的胶体金通过透射电镜和紫外分光计度计鉴定其大小和均匀
为了使DNC系统适应不同配置的制造单元，同时有效地控制和管理制造单元中数控机床的加工过程，该文从DNC系统的控制软件可重配置以及硬件通讯平台可重配置的角度出发，提出了一种可
业务质量评估是实现服务质量(QoS)保障的前提之一。面对用户日益增长的QoS需求，如何评价占互联网流量主体的TCP业务的质量成为急待解决的问题。论文在分析TCP业务质量评估工作