SET协议形式化研究及模型检测摘要:随着移动网络技术的快速发展,电子商务的大量普及,电子商务不在单单只是局限于有线网络,商家们开始将商机延续到移动网络。移动网络用户群体中手机移动上网用户占绝大部分,在这样的商机驱动下,移动电子商务得到快速发展。移动电子商务中最为核心的技术是移动电子支付协议SET,它直接决定了移动电子商务的安全性、高效性。本文就在这样的背景下采用AVISPA工具研究SET协议,通过形式化分析与...
【重点关注】尾矿库溃坝模型设计及试验方法张红武,刘磊,卜海磊,钟德钰(清华大学水沙科学与水利水电工程国家重点实验室,北京100084摘要:在简要回顾前人有关模拟方法研究成果的基础上,分析了尾矿库溃坝及其模型试验的特点,理清了设计思路,提出了模型相似条件,然后以预备试验为依托,通过模型尾沙选择与要求、模型制作、测验手段等环节的研究,进一步论述了尾矿库溃坝模型的设计方法与试验方法。尾矿库溃坝模型设计应遵循水流重力相...
四足步行机器人动力学模型及脚力分配的研究四足步行机器人动力学模型及脚力分配的研究第33卷第12期____年12月华中科技大学学报(自然科学版)Vol.33No.12____J.HuazhongUniv.ofSci._amp;Tech.(NatureScienceEdition)Dec.四足步行机器人动力学模型及脚力分配的研究王新杰李培根陈学东陈宏娟(华中科技大学机械科学与工程学院,湖北武汉430074)摘要:推导了四足步行机器人的动力学模型,在此基础上利用平方规划方法研究开发四足步行机器...
神经因子分解机推荐模型改进研究吴韦俊李烨摘要:因子分解机对特征各维度之间的一阶线性关系和二阶线性关系建模,在推荐系统中已有较多应用。神经因子分解机模型(NFM)是因子分解机与神经网络的结合模型,它能捕获特征之间的高阶交互信息,使得模型预测效果更佳。但由于神经因子分解机模型一般都是采用全连接的前馈神经网络,使得整个推荐网络过于复杂,存在过拟合风险。为了降低神经因子分解机模型的整体复杂度,提高推荐模型...
文章编号:1006-8309(2001)03-0051-03人的可靠性模型的回归分析庞志兵,李晓(郑州防空兵学院,河南郑州45()052)摘要:根据回归分析理论,提岀了建立人的可靠性单变量模型的一般方法。并在试验的基础上,利用子样试验数据,构造了小型人群的动作可靠性的单变量模型。关键词:人的可靠性;回归分析;分布函数;线性化中图分类号:N945.17;E92文献标识码:A1引言任何一个武器系统都是典型的人-机系统,都离不开人的操作、使用和维护,因此在...
理论新探结构方程模型及其在顾客满意度研究中的应用廖颖林!上海财经大学统计学系#上海!SNN摘要%本文分N个部分%首先#简要地介绍了结构方程模型其次#以瑞典和美国的顾客满意度指数为例#介绍了结构方程模型在顾客满意度中的应用最后#讨论了运用结构方程模型研究顾客满意度需要注意的问题$关键词%结构方程模型顾客满意度中图分类号%=!!S5文献标识码%T文章编号%D!KUSVW!!X#$K!SKN分别为内生变量和外生变量的通径系数矩阵$为残差向量#...
建筑信息模型(BIM)技术在房屋建筑工程中应用摘要:近年来,随着建筑技术,信息传递技术的提高和人们对可持续性建筑的不断深入研究,传统的CAD等之类二维设计的施工图无法表达一些复杂的造型,而BIM技术可以通过三维参数化设计能完美表达设计师的创意。BIM还能高效地解决复杂管线的空间布置问题。BIM在设计、施工方面带来了极大的便利。本文主要分析建筑信息模型(BIM)技术在房屋建筑工程中应用并分析应用效果。Abstract:Inrec...
基于钻石模型的湖南省农业产业集群分析基于波特的钻石模型,从生产要素,需求状况,相关与辅助产业,企业战略、结构和同业竞争等4个关键因素,及机会和政府行为2个辅助因素,对湖南省农业产业集群的现状进行了简述和相关分析,提出在当前大力推进现代化农业建设的背景下,湖南应大力发展农业产业集群,促进现代农业建设。湖南农业科学21,5:0_001()10l2HnnA6utrlcecsuagclaineuS基于钻石模型的湖南省农业产业集群分析郭菁,胡麦秀(上海海...
基于综合评价模型的区域耕地质量评价与空间集聚研究陈逸飞施晓辉朱春成王晓瑞摘要从耕地质量的综合性、生产性、生态性出发,界定了耕地质量包括自然质量、生产质量、绿色质量3个层次的内涵,建立了耕地质量评价的综合模型。通过土壤样品采集与外业调查获取相关数据,应用综合评价模型评价区域耕地质量,并研究耕地质量的数量及空间分布规律。结果显示,研究区自然质量、生产质量、绿色质量、综合质量分别平均为2.6级、2.4级、2....
基于思维模型建构的“物质转化”的教学实践郝秀芳何文杰刘晓军摘要:以学生自主建构“物质转化”思维模型为目标来设计教学,以自然界中“氮循环”的真实情境来贯穿整个教学设计,引导学生开展科学性探究活动。通过氮循环中含氮物质转化的探究任务,促使学生自主调用价类二维的认识角度,经历多样化的思维发展过程,建构物质转化的思维模型,从而提高学生解决陌生物质转化问题的能力,培养学生“证据推理与模型认知”“科学态度...
基于生产函数模型的地区经济发展影响因素分析葛邵飞摘要:首先定性分析经济发展的影响因素,经济学家普遍认为投资资本、劳动力状况、科学技术和社会性质、社会生态环境等因素和区域经济的发展有着密切的关系。因此选取其中重要的三个因素作为考察对象,进行预测毕节市经济发展情况。然后根据2001-2016年毕节市生产总值、就业人员和固定资产的统计数据,基于对毕节市经济发展影响的科技进步、固定资产投资、人口发展三个因素,建...
基于时间序列季节性分解模型的科技查新课题量预测研究孟婷婷++贾宝平DOI:10.16660/j.cnki.1674-098X.2017.23.145摘要:本文采用时间序列的季节性分解模型,利用IBMSPSSStatistics软件对科技查新课题量统计数据进行分析,建立了乘法预测模型。并对其预测值和实际值进行了曲线拟合和相关性检验,发现该的模型能较好的对科技查新课题量进行预测,从而为科技查新工作安排提供了参考依据。关键词:时间序列季节性分解科技查新预测:...
基于排队模型的封闭小区道路开放管理可行性研究汪茂华++张雷++黄士朋++王榕锋DOI:10.16660/jki.1674-098X.2017.11.184摘要:该文通过对封闭小区开放前后周边道路车辆通行能力和车辆平均等候时间的分析,建立了交通流的函数与多服务窗等待制排队模型,进而研究了小区开放之后对周边道路通行的影响。并通过对一些不同类型的小区交通流数据的计算,使不同小区开放对道路通行受到的影响可进行定量化分析,最终根据计算结果与实际生...
2007年7月数理统计与管理ApplicationofStatisticsandManagement第26卷第4期Jul1,2007Vol126No14文章编号:1002-1566(200704-0589-06基于结构方程模型的旅游网站使用者满意度量的比较研究李云鹏吴必虎12(1首都经济贸易大学工商管理学院,北京市,100070;2北京大学旅游研究与规划中心,北京市,100871摘要:基于电子商务系统成功(ECSS(T旅游网站使用者满意的概念模型(,获得的837,。,。关键词:;使用者满意;ECSS模型;TWUS模型;比较研究中...
2008年第12期基于技术创新扩散环境的Bass扩散模型修正研究赵维双,刘涛(沈阳理工大学经济管理学院,沈阳110168)摘要:对技术创新扩散环境进行了界定和分类,,得出由于环境的不确定性决定了技术创新扩散轨迹的不稳定性的结论。在此基础上,Bass模型和扩展的Bass模型进行了修正,并对新模型的性质进行了分析。关键词:技术创新扩散;扩散环境;扩散模型中图分类号:F204(2008)12-0063-03技术创新扩散推广应用的过程。熊彼特认为,技术创新的...
基于改进Shapley值模型的PPP项目收益分配研究刘欢徐敏峰[摘要]自2014年我国在基础设施和公共服务领域全面实践PPP模式以来,PPP模式已经成为地方债务风险管控下有效缓解地方财政压力、拓展融资渠道、激发社会资本提高运营水平以及促进政府职能转变等方面重要模式。随着大量PPP项目进入落地和运营期,尤其在日益趋紧的金融领域风险与地方债务管控等政策环境影响下,PPP模式“风险分担、利益共享”的合作机制逐步经受现实考验。PPP...
基于分布式水文模型的长江上游水资源时空变异性分析秦丝丝宋小燕向晓宇摘要:主要对长江流域气象站的降水总量和干、支流水文站水流量变化的主要趋势进行了研究,分析了水量的变化对水资源的影响。在此基础上,构建了很多物理分布的水文模型,并模拟了自然河道中的水文过程,分析了长江流域河流水流量发生变化的原因。关键词:长江流域;水资源;降水量;水文情况:TV131.6:ADOI:10.15913/j.cnki.kjycx.2015.13.096当前,有两...