图解和解析法结合解决斜孔和斜面的加工问题

用画法几何图解空间几何问题具有求解简单、直观性好的优点 ,解析法具有计算精确度高、应用范围广的特点。但二者均有不足。采用图解法和解析法结合解决问题 ,彼此取长补短 ,达到对空间几何问题的定性与定量相结合 ,直观与抽象相结合 ,能更深刻地理解投影特性的几何本质 ,又为应用于实际创造了条件。     

裂纹宽度对岩石断裂韧性测试结果的影响

深部地层岩石的断裂韧性是水力压裂设计和数值模拟中的一个重要参数。通过试验分析和有限元数值计算 ,研究了试件的裂缝宽度对应力强度因子的影响 ,给出了确定无因次应力强度因子与裂尖半径关系的数值方法 ,弥补了解析方法中裂缝零宽度假设的不足。研究结果表明 ,当裂缝宽度较小时 ,解析方法可以用于计算断裂韧性 ;当裂缝宽度较大时 ,采用解析方法计算出的断裂韧性偏差较大。试验测定时 ,应使裂尖半径尽可能小 ,并且破裂压力应该与裂尖半径相对应。这为正确确定岩石的断裂韧性提供了可靠的理论依据和试验方法     

实际物质体系标准态及化学势的图解说明

实际物质体系标准态及化学势的图解说明@王绪绪@刘守信@王小芳...     

框架—抗震墙高层建筑抗震墙的计算机辅助设计

本文成功地研制了地震作用下框架-抗震墙结构中抗震墙的计算机辅助设计系统SWCAD.并指出,优化设计思想是结构CAD系铣中不可分割的组成部分,本文提出一个新的概念:制图模式及模式填表.这一概念的提出,为解决长期以来困扰着CAD科研界的计算机制图方法统一化问题提供了一种可能性,为CAD系统中图形数据库的建立和程序的结构化指明了方向.     

面向二十一世纪,发展系统仿真技术

介绍了我国仿真技术的发展过程及美国科学局为建立集成的综合仿真环境和仿真系统归纳的五个层次的使能技术。着重探讨了模型的校核,验证与确认,环境仿真,分布交互仿真和虚拟技术等关键技术,最后,结合国外应用仿真技术要解决的难题和我国目前的实际情况,提出了发展系统仿真技术的几点看法。     

运用竞争反样本的人脸认证算法

为了在认证中增强类间可鉴别性,通过引入竞争反样本,提出一种新的人脸认证算法.算法中,测试人脸不仅与所声明客户人脸进行匹配比对,同时也与各竞争反样本逐一计算匹配分值.所有分值综合起来,形成最终认证决策.设计最近邻反样本决策、全体反样本决策、最近邻域反样本决策等3种方案,并结合开集模式的人脸认证领域分别在多个人脸库、不同特征和不同分类器上进行实验和比较.在该文的测试中,新算法的3种方案与原有基于相似度的认证算法相比,错误率依次平均降低25.13%、30.24%、30.97%.     

鉴别局部特征分析及其在人脸识别中的应用

由于传统的鉴别主分量分析(DKL)算法中,主分量分析(PCA)基于全局特征,难以提取人脸的局部特性,该文提出鉴别局部特征分析算法.该算法中,局部特征分析(LFA)代替PCA作为线性鉴别分析(LDA)的前端.一方面,LFA在保留大部分全局信息的同时提取局部特征.另一方面,它为信号提供一种有效的低维表示,增强LDA在小样本问题中的数值稳定和推广性能.文中结合开集模式的人脸认证领域,在PoliceFace、OCRLab人脸库和它们的组合库上对新算法和DKL算法进行实验比较.实验表明,通过结合LFA和LDA,新算法明显降低认证错误率在PoliceFace库上,等错误点错误率降低43.10%;在OCRLab库上错误率降低25.87%;在组合库上错误率降低33.16%.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

一种新的证件防伪技术研究

提出了一种新的应用于证件防伪的数字水印技术,实验结果表明,本方法对证件防伪过程中所遇到的几何失真等各种攻击都具有很好的鲁棒性,具有很高的实用价值.     

浅谈建筑物防雷设计审核

介绍了建筑物防雷设计审核的原则、方法及程序,提出了高层建筑防雷设计审核应注意的几个问题,从而提高建筑物防雷设计审核的正确率,使建筑物防雷设计更加合理,建筑物防雷设计审核程序更加科学。