搜索筛选:
搜索耗时1.2952秒,为你在为你在102,285,761篇论文里面共找到 39 篇相符的论文内容
类      型:
[期刊论文] 作者:吴正志,胡觉亮,丁佐华,, 来源:浙江理工大学学报 年份:2009
首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度......
[期刊论文] 作者:夏海浜,黄鸿云,丁佐华, 来源:纺织学报 年份:2020
针对传统服装舒适度评估需要直接试穿服装导致的舒适度评估精确度不高和评估过程耗时的问题,提出一种从试穿服装数据库学习服装舒适度评估模型的方法,可以快速准确地评估服装...
[期刊论文] 作者:秦兴生,胡觉亮,丁佐华,, 来源:计算机工程与应用 年份:2014
软件系统故障预测是软件测试过程中软件可靠性研究的重点之一。利用软件系统测试过程中前期的故障相关信息进行建模,预测后期的软件故障信息,以便于后期测试和验证资源的合理分......
[期刊论文] 作者:张石生,康世焜,丁佐华, 来源:成都科技大学学报 年份:1993
在较弱的条件下,借助Ekdland变分原理,研究了下面的微分包含解的存在性:X'(t)∈F(t,x(t)),t∈[0,T],x(0)=x0...
[期刊论文] 作者:林红昌,胡觉亮,丁佐华, 来源:计算机工程与应用 年份:2009
软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性。一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不......
[期刊论文] 作者:李晓雪,丁佐华,胡觉亮,, 来源:浙江理工大学学报 年份:2014
失效数据常被用于评估软件的质量、监测和预测软件的运行情况,不同的测试方法对失效数据的影响是研究的重点。采用随机测试、分支覆盖测试和分块覆盖测试这3种不同的测试方法选取测试用例集,运用Daikon动态地获取程序不变量,再从这些不变量中提取失效数据,比较......
[期刊论文] 作者:张石生,康世焜,丁佐华, 来源:成都科技大学学报 年份:1992
本文研究了形如 x’(t)∈-Ax(t)+F(t,x(t)),0≤t≤T,x(0)=x0的微分包含解的存在的局部性和整体性的结果,并在某种条件下研究了解的稳定性....
[期刊论文] 作者:张石生,康世焜,丁佐华, 来源:成都科技大学学报 年份:1993
本文解决了由G.Wenzel在1986年提出的一个隐式微分包含解的存在性问题。...
[期刊论文] 作者:张石生,康世焜,丁佐华, 来源:成都科技大学学报 年份:1994
本文把M.Martclli中得到的一个不动点定理随机化,并用以求解一类随机微分包含解的存在性问题。...
[期刊论文] 作者:宗芳芳,黄鸿云,丁佐华, 来源:软件学报 年份:2016
故障定位是软件调试过程中耗力和耗时的活动之一,尤其是对规模大和复杂性高的软件.目前的一些定位技术可分为两类:基于组件和基于语句.前者太粗,不能准确地定位到地方;后者太细,运算......
[期刊论文] 作者:陆军rrrrrrrrn,丁佐华rrrrrrrrn,刘元进, 来源:有色金属工业 年份:2005
曹龙文,现年38岁,中共党员,是大冶有色有限公司冶炼厂副总工程师,主要从事硫酸生产技术管理和改造工作。1989年毕业于武汉大学化学系,同年7月分配到冶炼厂硫酸车间实习,1999...
[期刊论文] 作者:丁佐华,JeffSanders,江明月,张娜,蒲戈光, 来源:计算机学报 年份:2014
提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格......
[期刊论文] 作者:夏海浜,缪永伟,张佳婧,丁佐华,, 来源:计算机辅助设计与图形学学报 年份:2020
为了克服基于视频的布料材质识别中由于忽略了动态因素的影响导致材质识别准确率低的难点,利用布料仿真视频库,提出一种基于增强动态稠密轨迹特征的布料材质识别方法以有效识别布料的材质属性信息.首先利用材质合成方法构造64种不同材质的布料仿真视频数据库;然......
[期刊论文] 作者:方梦琳,唐文兵,黄鸿云,丁佐华, 来源:计算机科学 年份:2020
由于机器人导航任务对实时性要求高,以及机器人自身的非线性导致很难精确建模,而基于规则的控制可解释性好,可以实时响应。因此,文中提出了一种基于模糊信息分解(Fuzzy-based...
[期刊论文] 作者:舒挺,黄明献,丁佐华,王磊,夏劲松, 来源:软件学报 年份:2018
缺陷定位是软件调试的重要阶段,依赖程序频谱信息实现软件缺陷定位,是当前比较行之有效的方法.基于频谱缺陷定位方法应用的前提是,程序频谱和执行结果之间存在的潜在关联.通...
[期刊论文] 作者:吕军,莫志宏,金海,丁佐华,冯泽霖, 来源:教育现代化 年份:2021
以赛促学背景下,针对电子信息类实验教学过于依赖实验箱、易受教学环境时空限制、实验与竞赛脱节等问题,通过制定多层次的电子设计竞赛培训内容、修订电子信息类实验教学内容,以......
[期刊论文] 作者:陈博琛, 唐文兵, 黄鸿云, 丁佐华, 来源:计算机科学 年份:2020
随着无人机相关技术的成熟,无人机的发展前景和潜在的应用场景也被越来越多的人所认识,其中无人机编队能够打破单个无人机在载荷和任务种类等方面受到的限制,因此无人机编队飞行是未来重要的发展方向。在飞行的过程中,无人机编队可能会受到新建高楼、临时禁飞区等未......
[期刊论文] 作者:方梦琳,唐文兵,黄鸿云,丁佐华,FANGMeng-lin,TANGWen-bing,HUANGHong-yun,DINGZuo-hua, 来源:计算机科学 年份:2020
[期刊论文] 作者:李鼎基,糜泽羽,吴保东,陈逊,赵永望,丁佐华,陈海波, 来源:软件学报 年份:2020
人工智能技术的长足发展对于云计算的算力提出了更高的要求,云服务提供商在数据中心内添置了拥有大量并行计算单元的加速器,这些加速器需要与已有的虚拟化平台相结合以进行计...
相关搜索: