闻晓
- 作品数：10 被引量：9H指数：2
- 供职机构：西南大学更多>>
- 发文基金：重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学更多>>
- 基于UMMs的Web软件统计测试方法研究被引量：2
- 2009年
- 随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计测试方法,该方法将访问信息用于构建UMMs,相关的错误信息用于评价Web软件的可靠性和Web统计测试的有效性。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。
- 黄娟张为群闻晓梁智远
- 关键词：WEB软件统计测试可靠性分析
- 一种柑橘自动施肥的方法及系统
- 本发明公开了一种柑橘自动施肥方法及系统，涉及柑橘自动化肥水技术领域，其方法包括：柑橘管理终端构建并保存基于语义的柑橘施肥本体；柑橘采集终端获取柑橘的基本生长信息和柑橘所处环境信息，并将所获取的柑橘基本生长信息和环境信息发...
- 李晖廖剑伟王艺闻晓
- 一种基于分布式源编码的数据聚合及编码速率分配方法
- 本发明公开了一种基于分布式源编码的数据聚合及编码速率分配方法，涉及计算机数据传输技术领域，为了消除冗余和降低网络内数据流量，我们提出了一种结合动态编码速率分配和流调度的跨层优化框架，并设计出松弛算法对原约束进行了松弛，从...
- 杨阳黄莉唐鹏闻晓朱颖欧攀王英董一璠陈武李健王智余敏
- 文献传递
- 软件工程管理现状以及创新发展研究
- 2015年
- 在我国社会经济不断发展的同时，软件工程管理工作也面临着新的发展形势。基于此背景，分析研究软件工程管理现状以及创新发展对策，就显得非常重要。本文通过对软件工程管理的现状进行简单介绍，提出几点提高软件工程管理工作效果的创新策略，以供相关人士参考。
- 闻晓
- 关键词：软件工程管理现状
- 一种基于Mealy机的BPEL程序验证模型研究
- BPEL作为描述Web服务编制的语言之一，在商业流程中被用来描述活动和对活动的控制。BPEL具有类似程序设计语言的语法结构，如顺序、分支和循环等，能表达对业务流程的控制。BPEL语法中还有专为商业流程设计的结构，兼顾了I...
- 闻晓
- 关键词：BPELWEB服务
- 文献传递
- 一种用于软件定义业务感知的安全网关系统
- 本发明涉及网络安全技术领域，具体涉及一种用于软件定义业务感知的安全网关系统，包括快速检测模块和协同处理模块，所述快速检测模块，用于将通信流量数据与规则库比对，放行合法通信流量数据，阻止非法通信流量数据；所述协同处理模块，...
- 陈武唐明闻晓陈强杨阳唐鹏张渝
- 一种柑橘自动施肥的方法及系统
- 本发明公开了一种柑橘自动施肥方法及系统，涉及柑橘自动化肥水技术领域，其方法包括：柑橘管理终端构建并保存基于语义的柑橘施肥本体；柑橘采集终端获取柑橘的基本生长信息和柑橘所处环境信息，并将所获取的柑橘基本生长信息和环境信息发...
- 李晖廖剑伟王艺闻晓
- 文献传递
- 无线传感器网络中基于最小跳场的可控半径成簇路由协议被引量：5
- 2008年
- 针对无线传感器网络中节点能量有限等特点,提出了分布式的半径可控分簇算法-CRMH.该算法不依赖全局信息,基于节点最小跳数和剩余能量等参数并针对节点能耗分布不均的特点,构造通信半径大小不等的簇,使能量合理分布.理论分析和仿真表明,本算法在簇首分布和拓扑控制等方面取得了较好的结果,有效地平衡了网络的能量消耗.
- 杨阳刘枫闻晓胡志竹
- 关键词：无线传感器网络路由最小跳数分布式
- BPEL应用程序验证模型研究被引量：2
- 2009年
- 在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。
- 闻晓张为群杨阳黄娟
- 关键词：WEB服务组合BPEL有限自动机形式化验证
- 一种基于分布式源编码的数据聚合及编码速率分配方法
- 本发明公开了一种基于分布式源编码的数据聚合及编码速率分配方法，涉及计算机数据传输技术领域，为了消除冗余和降低网络内数据流量，我们提出了一种结合动态编码速率分配和流调度的跨层优化框架，并设计出松弛算法对原约束进行了松弛，从...
- 杨阳黄莉唐鹏闻晓朱颖欧攀王英董一璠陈武李健王智余敏
- 文献传递
