搜索筛选:
搜索耗时0.8384秒,为你在为你在102,285,761篇论文里面共找到 39 篇相符的论文内容
发布年度:
[期刊论文] 作者：丁佐华,
来源：数学研究与评论 年份：1989
本文给出概率内积空间的新定义,讨论了通常的内积空间与概率内积空间的关系,建立了Schwarz不等式,讨论了概率内积空间与概率赋范空间的关系,建立了概率内积空间上的拓扑...
[期刊论文] 作者：丁佐华,
来源：江苏电力科技信息 年份：2000
...
[期刊论文] 作者：周远, 丁佐华,,
来源：软件学报 年份：2015
现有的计算软件可靠性的方法采用测试的输入／输出结果，但这些数据并不能真实地反映软件内部的真实行为，如测试中会出现假牲正确的情况以及测试不能显示一个输入有多个错误的输出......
[期刊论文] 作者：章靠,丁佐华,
来源：四川大学学报：工程科学版 年份：2007
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控...
[期刊论文] 作者：郑权,丁佐华,
来源：重庆交通学院学报 年份：1991
本文在抽象度量空间中引入了凸结构的概念，并得到以下非扩张映象的不动点定理：定理：设（X,r)是完备的凸抽象度量空间，K属于X是有界闭星形集，x0为星形中心，K满足r(WA(x,x0),WA(y,x0))......
[期刊论文] 作者：章靠,丁佐华,
来源：浙江理工大学学报 年份：2008
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列......
[期刊论文] 作者：刘莉 丁佐华,
来源：教育教学论坛 年份：2021
[摘 要] 基于建构主义学习理论，在“数据库原理与应用”全英文课程教学中探索并实施学生主体的三维立体教学模式，即基于案例的问题式互动教学为主线的三维立体教学模式，以案例进行问题式互动教学为主线，实践课项目式教学、学生自主课堂主题报告为辅助的三维立体教学......
[期刊论文] 作者：张石生,丁佐华,
来源：数学年刊：A辑 年份：1994
本文在“非线性化”情形研究了干摩擦问题的周期解的存在性条件。...
[期刊论文] 作者：张石生,丁佐华,
来源：自然杂志 年份：1989
本文在某种边界条件下,得到两个关于Banach空间中集值非扩张映象的不动点的存在性定理。关于集值非扩张映象不动点的存在性问题有很多人讨论过(例如见引文[1—4])。但至今,对...
[期刊论文] 作者：张石生,丁佐华,
来源：数学物理学报：A辑 年份：1993
本文研究了包含系统O∈F(λ,x)的解集结构,给出该系统发生分歧的充分必要条件。更多还原...
[期刊论文] 作者：冯潞潞,丁佐华,
来源：计算机工程与应用 年份：2015
软件错误定位是目前软件工程领域的重要研究课题,其中基于程序谱的错误定位（CFL）是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响,因此如何发现该类测试用例或......
[期刊论文] 作者：丁佐华,李永红,
来源：自然杂志 年份：1991
设E是Banach空间,F:[0,T]×E→2~E是集值映射,考虑微分包含其中A是映E到E的单值或集值映射。由于很多实际问题可转化为这样的微分包含,因...
[期刊论文] 作者：马超,林红昌,丁佐华,
来源：浙江理工大学学报 年份：2010
为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进...
[期刊论文] 作者：丁佐华,江明月,刘静,
来源：计算机学报 年份：2009
用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题．文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法，进行进一步实验验证．该方......
[期刊论文] 作者：李晨晨，丁佐华，LIChenchen，DINGZuohua,
来源：黑龙江科技学院学报 年份：2019
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：黄鸿云, 刘卫校, 丁佐华,,
来源：软件学报 年份：2019
在时尚销售领域,如服饰、手袋、钱包等,准确的销售预测对企业非常重要.然而由于客户的需求受诸多因素的影响,要做到准确的销售预测一直是一个富有挑战性的问题.基于改进的多...
[期刊论文] 作者：黄鸿云,张娟,丁佐华,
来源：浙江理工大学学报 年份：2016
软件可靠性是衡量软件质量的重要指标,而软件架构可以帮助预测软件的可靠性。为了研究基于服务组件架构的服务组合的可靠性计算,提出一种新的无需假设组件的失效是独立的可靠...
[期刊论文] 作者：吴正志,章靠,丁佐华,
来源：计算机工程与应用 年份：2009
基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状态可由介于0和1之间的数来度量，显示程序到达......
[期刊论文] 作者：杨晓燕,周远,丁佐华,
来源：软件学报 年份：2015
可靠性是衡量软件质量的一个重要指标.在线预测和提高软件可靠性是一个重要的研究课题.目前大多数在线预测和提高软件可靠性的方法具有如下弱点：不能预测软件不同时段的可靠性......
[期刊论文] 作者：胡梦园,黄鸿云,丁佐华,
来源：计算机科学 年份：2019
软件缺陷预测的目的是有效地识别出有缺陷的模块。对于类别平衡数据,传统的分类器具有较好的预测效果,但当数据类别比例分布不均衡时,传统的分类器往往偏向于多数类,易使得少...
相关搜索：
