基于GIS、GPS、GSM的救护车智能管理系统研究

文章提出了一种救护车智能管理系统。该系统基于GIS、GPS、GSM技术,它能在发生紧急事故时,提供救护车到达出事地点,再从出事地点到达最近医院的最佳路径,该系统能够使救护车始终处于监控之下。我们通过设计有效的数据结构和算法来实现系统的上述功能。     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

遗传进化算法搜索斜坡最小安全系数的研究

介绍了斜坡滑裂面搜索问题和遗传进化算法,并试用遗传进化算法从斜坡任意形状滑裂面组合中搜索最有可能的滑裂面,也就是安全系数最小的滑裂面.作为实例,分析了遗传进化算法在天生桥二级电站首部枢纽进水口右岸滑坡案例中的应用.分析结果表明,在搜索斜坡滑裂面问题上遗传进化算法较其它搜索算法具有准确性和可靠性的优势.     

三种咪唑物质检测技术研究进展

咪唑、2-甲基咪唑及4-甲基咪唑是一类五元杂环小分子化合物,2-甲基咪唑和4-甲基咪唑是同分异构体,常是氨(铵)法生产食品添加剂—焦糖色素的副反应产物,是影响食品添加剂安全性的重要因素.其中4-甲基咪唑会抑制细胞色素P450同功酶,引起人体畸变、癌变等症状,危害人体健康.近年来,有文献先后报道了咪唑及(2-或4-)甲基...     

多层次模糊综合评价在信息化产品投资机会评价中的应用

对信息化产品的投资机会影响因素提出了多层次模糊综合评价的投资评价方法,接着讨论了这一方法的应用程序,最后进行案例分析.这对投资者筛选信息化产品项目具有重要的现实意义.     

纳米颗粒球形度对平板通道中Al2O3-水纳米流体强制对流换热的影响

数值研究了水中添加立方体形、球形或柱状Al2O3纳米颗粒的纳米流体在平板通道中的层流强制对流换热,分析了纳米颗粒球形度、纳米颗粒体积分数和雷诺数对平板通道中Al2O3-水纳米流体强制对流换热的影响.结果表明:当纳米颗粒体积分数和雷诺数一定时,随着纳米颗粒球形度减小,通道壁面平均努赛尔数增大,对流换热增强;当纳米颗粒球形...     

港口竞争力与腹地经济协同机制面板数据分析

本文在港口竞争力评价模型中同时引入港口硬件竞争力和软件竞争力指标,进一步完善了港口综合竞争力评价指标体系.在此基础上,结合面板数据模型分析国内9大港口综合竞争力与其腹地发展的协同机制,基本克服了现有港城研究中普遍存在的单角度、单维度和单主体问题.研究表明:港口综合竞争力存在惯性,较弱港口实现超越较难,但可通过充分结合腹地供需结构和贸易特色提升软实力来以长补短.腹地经济结构以及贸易和物流发展水平对港口综合竞争力具有显著正向影响,港口综合竞争力提升又会改善腹地经济结构,而腹地区域产出水平并不是港口综合竞争力的主要影响因素.研究揭示港口综合竞争力提升应从以基建为核心的要素驱动转变为结合创新和服务驱动,通过整合港口与腹地资源来优化港口竞争力结构,做到港口-腹地相互促进,共同发展.     

应用MVC模式构建Web信息系统框架研究

为了缩短信息系统开发周期,降低开发成本,采用了基于MVC设计模式的Web应用框架-Struts,它有效地实现了事务逻辑与表示逻辑的分离,使得Web层更易于管理和扩展。该文在对MVC模式及Struts框架研究的基础上,构建了基于MVC设计模式的Web信息系统框架,并以实例进行了验证。     

国产计算机的环境适应能力优化与可靠性提升研究

以国产计算机(龙芯3A3000+7A1000)为研究对象,分析其基于车载环境计算资源受限情况下的环境适应能力,通过压力测试和可靠性摸底实验进行验证与改进,采用冒烟测试获取计算机平台的环境适应阈值,并提出计算环境适应能力优化与可靠性提升的解决方案.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。