PowerMILL中的常用精加工策略（1）

本文主要介绍PowerMILL精加工中常用的加工策略包括三维偏置精加工、等高精加工和最佳等高精加工。     

基于固定内存和状态管理的模型检测方法*

在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测.     

PowerMILL刀具路径的编辑

本文主要介绍编辑刀具路径的功能包括移动、旋转、镜向、裁剪、分割等操作。     

多智体系统时态认知规范的模型检测算法

模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充.     

苦味西葫芦果实木脂素类成分研究

采用色谱技术对苦味西葫芦果实的抗炎活性部位的化学成分进行分离,应用1HNMR、13CNMR确定化合物的结构.从正丁醇萃取部位分离得到4个木脂素化合物:Larisiresinol 4'-O-β-D-glucopyranoside(Ⅰ)、( )-5'-Methoxyisolarisiresinol 3α-O-β-D-glucopyranoside(Ⅱ)、Lyoniside(Ⅲ)、Isolariciresinol-9-O-β-D-xylopyranoside(Ⅳ).化合物Ⅰ、Ⅱ、Ⅲ和Ⅳ均为首次从南瓜属植物中分离得到.     

安全协议认证的形式化方法研究

安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向。     

高密度聚乙烯装置循环气冷却器腐蚀原因分析及防护

针对高密度聚乙烯装置循环气冷却器在使用中存在的腐蚀问题进行分析。通过采用相应的防护办法,取得良好的效果。     

冀中坳陷马西洼槽异常高压与油气成藏

冀中坳陷马西洼槽古近系沙河街组普遍发育异常高压带,异常高压主要发育在沙二段、沙三段,其中沙三上亚段最大压力系数达1.37,且异常压力系数由洼槽向洼缘逐渐降低。烃源岩生排烃是该区形成异常高压的主要原因。异常高压对马西洼槽油气成藏主要有3种作用:一是改善储层;二是增加盖层的封闭性;三是为油气运聚成藏提供动力。在此基础上建立了任东斜坡区高压—中孔岩性—构造油藏、洼槽区高压—中孔构造—岩性油藏及南马庄陡坡区常压—中高孔岩性或构造岩性复合油藏等3种成藏模式。     

基于特征的轴类零件工序图的生成

本文介绍了上海交通大学CIM研究所开发的集成化CAPP软件系统(SIP)中工序图生成子系统所用的工序图生成原理、方法及总体方案.该子系统以基于特征的轴类零件信息模型为基础,根据本文所提出的轴段参数构形原理进行工序图形绘制,以AutoCADR12forWindows为平台,利用该软件的C语言开发工具——ADS进行系统开发,系统使用方便,实用性强且易于扩充,是工序图绘制软件开发的成功尝试.     

北美焦煤和肥煤的配煤炼焦研究与实践

为缓解低灰、低硫焦煤与肥煤资源紧张现状,稳定焦炭生产,公司引进了北美焦煤与肥煤。通过开展单种煤煤质与炼焦特性、配煤炼焦试验研究,分析了配合煤煤质与焦炭质量的相关性关系。结果表明：北美焦煤与肥煤具有低灰、低硫的优质特性,但其热性质相对国内同类煤种差,其参与的配煤结构中配合煤的挥发分、黏结指数及灰成分指标,均与焦炭的机械强度、热性质具有较高的线性拟合度,均大于0.80。通过优化配煤结构,在7m顶装焦炉中应用北美焦煤或肥煤的比例可达8%～12%,并可稳定生产出CSR约为67.5%与CSR约为70%的合格焦炭。