基于虚拟样机的智能诊断系统知识组织与表达

基于虚拟样机的智能诊断系统由协同支撑平台、模型库、样机引擎和虚拟环境组成.按系统-分系统-部件的次序进行故障诊断.诊断知识分为结构、故障处理、故障机理等10类.故障知识分经验、因果和定律三种类型.其知识表示把抢修对象的原理、维护、故障机理和维修等知识,以集合框架形式分类封装于诊断辅助系统知识库.试验证明该系统能准确表达诊断知识.     

高灵敏度环境中子剂量当量仪的优化设计与实验验证

本工作采用MCNP程序对探测器探头的主要参数进行了模拟计算和优化选择。提出了高灵敏度环境中子剂量当量仪的设计方案。最后通过实验验证，试验结果与计算结果基本吻合。     

一起煤矿瓦斯爆炸事故分析

介绍了某煤矿发生的一起瓦斯爆炸事故，对其爆源和爆源点进行了分析，并通过FLUENT模拟分析软件对事故进行了模拟验证，总结了该煤矿此次事故暴露出来的问题及教训，可对类似条件的矿井的安全生产提供参考。     

优选钻井液中暂堵剂颗粒尺寸的理想充填新方法

应用颗粒堆积效率最大值原理阐述了优选钻井液中暂堵剂颗粒尺寸的"理想充填"理论和D90规则,提出了一种特别有利于对中、高渗储层实施暂堵和保护的新方法.依据该方法研制、开发的配套软件能够根据相关地层参数,快速、准确地对具有不同粒径的暂堵剂产品按一定比例进行合理的复配组合.试验结果表明,优选出的复配暂堵方案能有效地形成致密泥饼,与传统方法相比,岩心的渗透率恢复值明显提高,从而能有效阻止钻井液中固相颗粒和滤液侵入油气层.现场试验证实,应用该项技术可取得十分理想的保护储层的效果.     

含蜡原油屈服特性的试验研究

使用高精度的控制应力流变仪,采用多种控制应力试验,探索了大庆原油屈服特性随加载条件变化的规律.通过蠕变和应力匀速增加两种试验,发现胶凝原油屈服应力对测量条件如应力加载时间和应力加载速率等具有依赖性,但胶凝原油的屈服应变不随测量条件变化,从而进一步验证屈服应变的客观存在性,认为屈服应变可作为胶凝原油结构屈服的判据.通过蠕变、应力匀速增加、振荡剪切应力增加和恒剪切率等试验,对胶凝原油的屈服应变展开了研究.结果表明,胶凝原油的屈服应变随胶凝强度增加而减小.通过应力匀速增加试验对胶凝原油的屈服特性进行研究,发现对较低胶凝强度的原油存在应变软化现象.     

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。     

基于无证书的可认证组密钥协商协议

文中基于多线性表的性质,综合椭圆曲线上离散对数问题,提出一个新的基于无证书的多方密钥协商方案.新协议避免了传统的基于证书的方案中复杂的证书管理问题,解决了基于身份的组密钥协商方案中固有的密钥托管问题,实现了对通信各方的身份认证,有效防止了主动攻击.最后,通过计算验证了会话密钥的一致性,采用应用Pi演算对协议进行形式化分析验证了协议的安全性.和其它可认证组密钥协商协议相比,新方案用较小的计算开销换取了协议的更强安全性,协议的实用性大大增强     

HTML5新输入类型及其对RIA界面效率支持研究

HTML5新增了13个新的表单输入类型及浏览器内置的表单验证功能为RIA Web应用提供了更好的支持.文中以典型的RIA开发平台Visual WebGui为参照基础,对HTML4和HTML5在实现表单输入和表单输入验证的代码简易度进行了研究.根据Visual WebGui应用程序在客户端产生的HTML4文件和脚本文件,得到了HTML4和JavaScript实现这些表单输入类型及其验证所需要的代码字符量,与HTML5实现这些表单输入类型及其验证所需要的代码字符量作比较,并据此得出HTML5新的表单输入类型极大地提高了RIA的客户端代码生成及客户端执行效率     

POWERLINK创造的世界记录

快速发展的电气传动控制需要大量的数据交换,使得POWERLINK能够体现其强大的特性,这一点最近已经被它在驱动同步方面所达到的世界记录所验证。制造商布鲁克纳的连续薄膜拉伸生产线采用了直