基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

含HFC混合物的气液相平衡计算模型评价

含氢氟烃(HFC)混合物是一类很有前景的替代工质,其气液相平衡性质的准确描述非常重要.该文对23种有代表性的含HFC二元和4种三元混合工质,采用PR状态方程结合vdw混合规则及其改进形式,以及两种GE-EoS型混合规则进行了相平衡性质研究,详细分析了各模型对二元体系,以及应用于三元体系相平衡性质预测时的适用性.结果表明:简单的vdW混合规则对多种二元体系的计算精度较低,而SV、MHV1、WS混合规则均可准确再现各二元体系的相平衡性质.vdW、MHV1、WS混合规则结合优化得到的二元交互作用参数可以较好地用于文中三元体系的预测,SV混合规则对三元体系的适用性不佳.     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。     

协议设计过程中认证测试组件的构造规则研究

针对基于认证测试理论的协议设计方法在测试组件构造方面存在非形式化因素的缺陷,根据唯一源发消息项组件在不同测试类型中的地位和作用,在消息组件重新归类定义的基础上,通过对不同类型消息组件之间存在的关系性质和主体可知性研究,以及协议执行主体密钥在测试组件构造上的性质分析,给出测试组件的构造规则.     

藏文音节七元组类型分析研究

在藏文信息处理中,实现藏文字符排序的关键在于准确地判断藏文音节,而藏文音节判定的关键是对音节构件的识别.文章在借鉴藏文传统语法理论的基础上,结合现代语言学、计算机理论和统计学等知识,介绍了藏文音节的组合形式与特征,规则等问题,以藏文国际标准编码体系为依据,根据音节组件的约束关系,分析了藏文音节七元组的组合规则与类型,有利于藏文音节字符构件的研究和七元组类型的分析、识别与处理.     

覆盖变精度粗糙模糊集模型

在研究覆盖粗糙集模型的基础上,凭借所提出的对象最小描述邻域对于一个特定模糊集的相对错误分类率,考虑对象最小描述的近邻域、邻域、规则置信度和元素隶属度4种覆盖,定义并建立了4种类型的覆盖变精度粗糙模糊集模型,讨论了其性质和相互关系,推广和统一了已有的结果,并给出了算例.     

行列式的归纳定义及其性质的证明

在不同的代数教材中给出了行列式的不同定义,一般教材中n阶行列式的古典定义,学生学习起来比较困难,有些教材采用归纳法定义n阶行列式,但是行列式性质的证明却很复杂,不得不把证明放入附录中.为了使学生学习起来比较顺畅,采用归纳法定义n阶行列式,利用全新的方法给出了n阶行列式性质的简单证明,并给出了n阶行列式的古典定义与归纳法定义的等价性的证明.     

二自由度4WS汽车运动稳定性分析

建立了二自由度4WS汽车系统的动力学模型,给出了相应的动力方程。同时从理论上分析了这一系统的稳态和瞬态响应问题。在考虑横向轮胎力非线性效应的影响下进行了相应的理论分析与数值计算,与传统的前轮转向系统对比分析,得到采用同相位转向的4WS汽车明显有利于提高车体的行驶稳定性的有益结论。     

数学创新方法漫谈(二)--归纳法和类比法

归纳法和类比法是数学创新的基本方法。本文在给出归纳法和类比法定义的基础上,分析了其在数学学科发展中的重要作用,并从学生创新的角度出发,介绍了利用归纳法和类比法进行数学创新的基本途径。     

特征分类的子类型关系

采用什么方法对客观事物进行分类 ?传统数据类型分类方法习惯于用行为规范作为分类的依据 .我们认为事物应依据其结构、行为、性质、职能等诸方面的特征来进行分类 ,并在此基础上建立了对象类型之间的子类型关系 .     

关于短信网关的分析论述

信息作为我们生活交流媒介的一部分,那么信息的接收和发送更值得我们深入的认识和研究.主要从短信网关的引入、短信网关的系统组成、短信网关的系统功能以及应用短信网关服务进行分析论述.     

空间环境对植物影响的研究进展

从蛋白质和基因水平分别介绍空间微重力、强电离辐射、亚磁场及空间综合因素对生物性状和遗传变异的影响,并对今后空间诱变育种的前景和存在问题加以概述。     

基于Hyper-V的校内私有云构建研究

针对云计算的发展趋势,结合校园网基础设施特点,研究和分析了虚拟化技术和云计算模式,提出一种基于Hyper-V的私有云计算环境模式,并在校园网内实现了该模式的私有云构建,为云计算环境在高校的实现提供了具体方法。     

基于迁移学习的危险行为识别方法研究

深度学习中卷积神经网络在行为识别领域有着良好的识别效果,但是由于深度学习需要较大数据集训练模型,而现今公开数据集中危险行为识别相关方向没有大量数据集。针对危险行为识别领域样本少、无法进行深度学习训练等问题,建立了危险行为识别数据集,并采用迁移学习方法对C3D网络模型进行迁移训练。结果表明,迁移学习后C3D网络模型对危险行为识别数据集平均识别率达到了83. 2%,可以有效识别危险行为动作。     

基于Carsim的弯道路段行车轨迹研究

针对受驾驶人自身驾驶经验和习惯、视野、道路周边环境等因素影响的车辆行驶轨迹,探究了典型车辆行驶轨迹(正常轨迹、理想轨迹、切线轨迹、漂移轨迹、摇摆轨迹和修正轨迹)条件下的车辆动力学响应. 在Carsim环境中构建了以6种行车轨迹为道路中心线的弯道路段,并使车辆的左前轮始终沿道路中心线行驶,仿真过程中记录车辆动力学参数的时变曲线. 研究表明:车辆沿切线和正常轨迹行驶时,能够以安全、高效、舒适的理想状态通过弯道路段;而当车辆沿修正轨迹、摇摆轨迹等行驶时,行驶稳定性和舒适性较差.     

基于MFOP的可靠性维修方案研究

基于无维修工作期(Maintenance Free Operating Period,MFOP)的可靠性理论既可有效改善飞机及其设备的可用性,同时也可大大降低后勤保障成本;首先对MFOP及其相关概念进行了介绍,然后重点讨论了基于MFOP的维修方案的制订方法及其对飞机可用性、维修成本和设计的影响。     

绝缘体上硅高温压力传感器研究

采用有限元分析工具ANSYS完成了一种矩形弹性膜绝缘体上硅(SOI)高温压力传感器的优化设计，制作出样品，并与相同结构、工艺的多晶硅压力传感器进行了对比测试。结果表明：1：2的膜片宽长比可以使SOI压力传感器的灵敏度达到220mV／MPa，远大于多晶硅压力传感器的灵敏度(约50mV／MPa)。此外，该传感器能够工作在200℃的高温环境中，有良好的长期稳定性，30d内的零点时间漂移为0．12％。     

基于SOPC的SVPWM波形研究

介绍一种采用SOPC技术设计的SVPWM波形发生器,在FPGA中嵌入了32位NiosⅡ软核系统,用以处理SVPWM波形的计算、输出与显示等功能.利用可编程逻辑器件的可在线编程特点和SOPC的技术优势,灵活、快捷地将所需功能模块完全集成在单片的FPGA上,使电路的硬件结构简单,具有较高的性价比.     

Study on copper adsorption on olivine

The copper adsorption on olivine supplied by A/S Olivine production plant at Aheim in western Norway has been studied. The factors which affect the uptake of copper have been evaluated. The results reveal that the equilibrium PH in aqueous solution has the greatest influence on the copper adsorption thanks to the competitive adsorption between proton and copper ions, and the adsorption of copper to olivine increases rapidly with the pH increasing from 4 to 6. The initial copper concentration and olivine dose also possess significant effect on copper adsorption. The adsorption efficieny of copper increases with the increase of olivine dose or the decrease of initial copper concentration at the same pH. The ionic strength effect on the adsorption has also been investigated, but it owns little effect on the adsorption process of copper due to the formation of inner sphere surface complexation of copper on olivine. The experimental data show that olivine has a high acid buffer capacity and is an effective adsorbent for copper.     

基于AJAX的WebGIS应用

针对目前WebGIS中所存在的问题,介绍了AJAX方法的概念和内涵,提出了基于AJAX方法构建网络地理信息系统的思路。并以森林资源信息网络发布系统的原型开发为例,阐述了该方法的优点和一些关键技术。结果表明通过AJAX方法的使用不仅能够快速地实现森林资源信息的网络发布功能,而且能够很好地改善WebGIS应用中以地图为载体的地理信息的网络传播和显示速度,带来丰富的用户体验。