张梅
- 作品数：67 被引量：156H指数：7
- 供职机构：贵州大学更多>>
- 发文基金：国家自然科学基金贵州省教育厅自然科学研究项目贵州省科技厅科学技术基金更多>>
- 相关领域：自动化与计算机技术经济管理医药卫生电子电信更多>>
- SARS传播控制时间序列建模与仿真
- 时间序列分析原理与方法,对北京市公布的疫情数据进行研究,构建了反映SARS传播过程的非线性回归模型.获得了累计确诊病例、累计死亡病例的变化趋势曲线,分别做出了累计确诊病例和累计死亡病例的预测值和实际值对照图.对控制时间T...
- 张梅文静华
- 关键词：严重急性呼吸系统综合症疾病传播时间序列非线性回归模型
- PB7.0通用任意字段查询技术的实现
- 查询是数据库管理系统中不可缺少的功能。本文给出一种在PB7．0下实现的可对任意指定的查询项目(对应一个数据窗口对象,可关联一个或多个数据库表)、按任意字段、任意指定条件进行纵向和横向组合查询并排序的技术。该技术新颖、独特...
- 张梅
- 关键词：SQL数据窗口组合查询
- 文献传递
- 一个新的认证协议及其形式化分析被引量：5
- 2006年
- 认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。
- 文静华张梅李祥
- 关键词：BAN逻辑
- 基于SMV的网络协议形式化分析与验证被引量：7
- 2006年
- 提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷。结果表明,利用符号模型检验方法分析检验网络协议是可行的。
- 文静华余滨张梅李祥
- 关键词：网络协议符号模型检验
- VGE多用户协作建模与虚拟演示
- 2007年
- 提出将多智能体技术集成到虚拟地理环境(VGE)中,以有效地虚拟表达面向"人"GIS。主要研究VGE中基于遗传算法(GA)和多智能体系统(MAS)的多用户之间的协作。分析和研究了基于GA的多用户集体操作行为学习的算法,建立多智能体与对象之间动态交互的动力学作用模型和运动策略;最后以进化的3个智能体如何协作完成群体推立方体箱任务为例,基于V-Realm Builder 2.0设计了VGE中3用户集体推箱的虚拟世界原型,并用Simulink 6.0进行建模与虚拟演示。
- 张梅文静华张祖勋张剑清
- 关键词：多智能体系统动力学模型遗传算法
- 空间点三维重建新方法及其不确定性研究被引量：3
- 2008年
- 研究了立体视觉的基本原理和空间点的传统三维重建方法;提出基于空间两异面同名光线的公垂线中点的新方法进行空间任意点的三维重建,并验证该意义上的最优解即为满足最小均方误差的最小二乘解;最后在三维重建点的解析解基础上,采用概率描述法定量研究其不确定性,并用基于Mahalanobis距离的超椭球体直观表示其不确定性大小。
- 张梅张祖勋张剑清文静华
- 关键词：三维重建最小二乘法不确定性
- 基于ATL的电子商务协议建模与形式化分析
- LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系.引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析.利用新方法对Markowitch和Krem...
- 张梅文静华张焕国
- 关键词：形式化分析
- 文献传递
- 乌江流域生态农业体系的构建--以贵州省沿河县为例
- 以乌江流域典型的农业大县贵州省沿河县为例,在论述生态农业构建模式和沿河县农业发展现状的基础上,构建了沿河县生态农业体系,提出了相应建议以推进沿河县生态农业的产业布局和结构优化.
- 张梅文静华文传浩
- 关键词：生态农业产业结构乌江流域
- 基于MDA的农业电子商务平台研究与实现
- 2012年
- 将一种新的软件开发框架模型驱动架构应用于农业电子商务系统的建设中,按照模型驱动架构划分的3个阶段对农业电子商务系统进行了建模和实现,并与传统的农业类软件开发方式进行比较。模型驱动架构用于农业电子商物平台不仅提高了开发效率,缩短开发时间而且能够快速构建出坚固、安全性好的农业电子商务系统,满足农业类企业和消费者的需求。
- 蒋合领文静华张梅
- 关键词：农业模型驱动架构电子商务
- 一种可升降的图书馆阅读刊物存放装置
- 本实用新型公开了一种可升降的图书馆阅读刊物存放装置，包括柜体，所述柜体的内部安装有第一丝杆，第一丝杆和第二丝杆的上方均连接有电机，螺母之间设置有连接板，连接板的一侧安装有刊物存放框，支撑板的正侧粘接有固定框，固定框的内部...
- 梁学渊张梅张懿源
