简介：语用学理论研究过程中形成了构成观与综观、英美流派与欧洲大陆学派、微观语用学与宏观语用学、Habermas的规范语用学等主要观点和理论流派。语用学的研究对象应该是语言的使用，其规范目标应该是探索言语规律，在研究中将语形、语义、语用有机结合起来，使语用学成为研究语言使用、探索言语规律的科学，从而保持语用学作为语言学分科的特点和品格。

简介：基于信息融合的观点解决大型设备故障的综合诊断问题。从证据合成的基本理论出发，分析了故障综合诊断中证据的支持和冲突，以风机液压制动系统的故障诊断为例，表明证据理论可以提高故障判决的准确度。

简介：ANSYS是一个大型通用的有限元分析软件,网格划分是利用ANSYS进行有限元分析的一个重要环节。总结了ANSYS中网格划分的主要步骤,介绍了网格划分的主要方法并分析了各种方法的优缺点,结合实例对网格的划分技巧进行了探讨。

简介：针对基于IRBAC2000模型的跨域访问过程中所面临的动态性和细粒度问题，提出了基于使用控制（UCON）跨域访问控制方法。在跨域访问过程中，采用推拉模式实现请求域和资源域属性的同步，将请求域主体的属性变化及时、主动地在资源域反应，实现了授权规则的快速匹配，解决了跨域访问过程中的动态性；同时边界策略执行点上条件和义务的执行起到边界防御和控制细粒度性的作用。

简介：具有五轴联动功能的高档数控机床的设计和制造能力代表了现代装备制造业的技术水平，自主开发的五轴联动数控系统需要突破一系列的关键技术。在比较了2种不同的五轴参数插补方式的基础上，提出一种适合五轴联动加工的双非均匀有理B样条（NURBS）曲线数据格式，然后详细给出了保持恒定进给速度的插补算法和实现过程。

简介：提出了基于志愿计算模式的云计算平台的构想，在对比分析了传统的志愿计算平台和云计算平台架构的基础上，阐述了志愿计算的云平台的理论模型和实现框架，并提出了今后的研究内容与方向。

简介：在零件加工前，对其可制造性进行评价是实现零件智能化加工的一个关键环节。针对STEP—NC新型接口标准引入数控加工后的可制造性评价问题，提出了一种面向STEP—NC数控加工的零件可制造性评价方法。在对STEP—NC数控加工程序中工艺信息描述进行分析的基础上，建立了面向STEP～NC的机床信息模型，阐述了零件的可制造性评价目标，提出了实现零件可制造性评价的具体算法。基于Solidworks三维CAD平台，开发了面向STEP—NC的零件可制造性评价模块，并通过实例对所提方法的可行性与有效性进行了验证。

简介：量子信息学是物理学与信息学交叉而形成的一门新兴学科。论述了其建立的理论基础——量子态的纠缠现象，介绍了量子计算机、量子密钥、量子隐形传态等相关高新技术，分析了今后的研究方向，以期对该学科有全面的了解。

简介：介绍了企业产品形象设计开发过程中对产品形象进行设计的原则和方法，分析了国内外机床产品形象设计的发展问题，针对国内机床产品的特征及要求，寻找出属于自我特色的设计方法，并对机床产品形象展开设计及应用，以起到行业内推广运用。

简介：本研究提出了一项综合技术，可以用于几乎对任何旋转设备的滑动轴承金属与金属支承面接触问题进行识别和诊断。用试验方法测得了一些轨迹并进行了分析，这种曲线可以确定轴承在不同工作方式下运转时采用的参数。上述参数包括：偏位角、最小油膜厚度和金属对金属摩擦的出现可能性。利用由大量资料证明的雷蒙迪－博伊德设计图，证实了提出的试验技术总原则是有根据的，取得了试验结果和分析结果之间相当一致。

简介：

简介：本文介绍了对电子设备维修人员的基本要求及检修常见电子设备的基本方法.文章通过实践证实在检修电子设备的过程中"理论是必不可少的基础,实践是提高技术的途径",进一步总结出检修电子设备的八字方针:"框→级→路→点,直→管→交→校",以及基本方法和步骤.

简介：以房地产市场供求的非均衡问题为中心，采用协整分析法确定非均衡计量经济模型参数估计迭代的初始值，运用非均衡计量经济模型对我国房地产市场供求总量进行了分析，从定量的角度对房地产市场的非均衡问题进行了研究。研究表明，房地产价格、国民经济发展水平、城市化水平、经济政策、生产投入等因素在不同程度上影响房地产市场的供求，而且我国房地产市场有效程度不够。

简介：餐厨垃圾是我国生活垃圾的主要成分,分离处理既可解决生活垃圾处理量大、含水率高等问题,又可提高其内含有机物资源化效率。针对校园餐厨垃圾产量大、产生时间集中、组分相对单一的特性,在比较现有餐厨垃圾处理技术基础上,认为集中规模化处置,如堆肥和厌氧消化等,是校园餐厨垃圾处理的可行方法。厌氧消化产沼发电可对接可持续发展校园的建设,但需要注意沼气贮气罐的安全问题;就地堆肥则需要注意脱盐和脱水,特别要外接良好的堆肥市场。为保证餐厨垃圾后续处理工艺的正常运行,破碎、脱水和脱油是必要的预处理单元,其中热干燥-压滤脱水脱油可满足处理需求。

简介：

简介：介绍了相位噪声测试方法中直接频谱仪法、相位检波器法和双通道互相关法的测量原理及方法。将3种方法的测量结果与原微波信号源进行对比，分析了它们在相位噪声测量中应注意的事项。

简介：审计收费是注册会计师审计机制在具体运行中的一个重要环节，是影响审计独立性和审计质量从而关系到注册会计师行业健康发展的关键因素。收集了我国沪市A股市场上披露的2003年年报审计收费的427家样本公司后，通过对国外审计收费模型的必要修正，建立了适合于我国的审计收费和其相关影响因素的多元线性回归模型，对我国的沪市A股上市公司审计收费的影响因素进行了实证研究。并针对性地提出规范审计收费行为的若干政策建议。

简介：

简介：分析了统一建模语言（UML）主要部件和全功能点规模估算方法COSMIC_FFP主要元素之间的概念映射关系，建立了22条度量映射规则，提出了UML的全功能点度量方法，阐述了UML的全功能点度量过程，并提出了相应的度量步骤。对实例分析后表明，该方法能比较客观和有效地度量软件功能规模。

简介：随着文献信息量的增加和文献载体的变化,大学的内容、教学方式和教学方法也应有所变化,传统的文献检索方法已不再适应目前的形式.本文从应用多媒体课件进行课程教学的必要性谈起,讲述了多媒体文献检索课件的制作原则和方法,以及如何利用光盘塔内文献检索来锻炼学生检索电子文献的能力等,对传统的文献检索课程提出了一定的更新设想.