搜索筛选:
搜索耗时1.2566秒,为你在为你在102,285,761篇论文里面共找到 86 篇相符的论文内容
发布年度:
[期刊论文] 作者:吴尽昭,,
来源:电子科技大学学报 年份:2011
评《面向传感网的服务构建与并发控制》复杂网络的研究及应用涉及工程、生物、自然与社会等多个领域,可以为真实复杂系统的分析与设计提供方法论和指导。无线传感器网络是由...
[期刊论文] 作者:吴尽昭,,
来源:电子科技大学学报 年份:2012
评《面向语义Web的Expressive格值描述逻辑》面对互联网上的海量信息,传统的基于语法的信息处理理论与方法面临巨大的挑战。为了给用户提供准确和高效的信息服务,需要将信息...
[期刊论文] 作者:吴尽昭,
来源:数学研究与评论 年份:1995
本文对一类初等几何定理的证明给出了一种机械化方法,利用这种方法,可计算出一个由有限个素理想组成的集合,所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现......
[期刊论文] 作者:吴尽昭,
来源:计算机学报 年份:1996
由给定的多值逻辑系统中的一组公式ψ1,、…,ψm,ψ出发,构造了一组表理数域睛的多项式PS,全副独ψ是ψ1,…,ψm的逻辑结论,当且仅当PS定义的代数簇为空集,当且仅当PS生成的理想是平凡理想。从而......
[期刊论文] 作者:吴尽昭,
来源:数学杂志 年份:1997
本文给出了一种不全用线性的变换和v.d.Waerden的指数方法的零维多项式理想准素分解的新方法:...
[期刊论文] 作者:吴尽昭,
来源:电子科技大学学报 年份:2011
许多复杂系统可以用复杂网络模型刻画,而社团结构是复杂网络的重要特征。寻找复杂网络的社团结构,是复杂系统研究的一个重要问题。该文提出了一种寻找复杂网络中社团结构的简...
[学位论文] 作者:吴尽昭,
来源:兰州大学 年份:1991
...
[期刊论文] 作者:匡鹏,吴尽昭,,
来源:计算机应用 年份:2016
针对制造业中生产计划的不确定问题,提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率,然...
[期刊论文] 作者:谢盈, 吴尽昭,,
来源:计算机应用研究 年份:2019
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。本文改进IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任......
[期刊论文] 作者:邓辉,吴尽昭,
来源:吉林大学学报:工学版 年份:2013
针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基...
[期刊论文] 作者:邓辉,吴尽昭,
来源:北京交通大学学报:自然科学版 年份:2011
针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取......
[期刊论文] 作者:乔瑞,吴尽昭,
来源:四川大学学报:工程科学版 年份:2009
为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式...
[期刊论文] 作者:谭红艳,吴尽昭,
来源:兰州大学学报:自然科学版 年份:1997
对一类初等几何定理,通过根理想的分解,给出一种机械化方法,利用这种方法,可恰好同时获得所时的不可约物征列,因而一类几何定量是一般真确的当且仅当终结多项式对这些不可约特征列......
[期刊论文] 作者:袁红,吴尽昭,
来源:中国科学院研究生院学报 年份:2004
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义,使得这一操作语义与指称语义相对应,即:由指称语义导出的传输系统和操作语义定义的传输系统双模拟.操作语义的......
[期刊论文] 作者:齐芳,吴尽昭,
来源:现代电子技术 年份:2009
错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的......
[期刊论文] 作者:冯昭,吴尽昭,,
来源:电视技术 年份:2010
研究设计了一种可用于中国地面数字电视广播传输标准DMB-TH的高速数字中频接收机,并给出了主要功能模块的设计方法,最后得到了令人满意的结果。...
[期刊论文] 作者:吴尽昭,李廉,
来源:应用数学 年份:1997
本文利用Groebner基,给出了一种分解零维代数簇的方法,并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用。...
[期刊论文] 作者:黄勇,吴尽昭,
来源:计算机科学 年份:2015
针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出...
[期刊论文] 作者:武鹏,吴尽昭,,
来源:计算机应用 年份:2021
误差在系统中是普遍存在的。在安全关键系统中,对误差的定量分析是必要的,而以往的推理验证方法较少考虑误差。误差通常用区间数来刻画,从而推广了线性断言,并给出了线性误差断言的概念。此外,结合凸集的性质,提出了求解线性误差断言顶点的具体方法,并验证了该......
[期刊论文] 作者:赵林,吴尽昭,,
来源:系统科学与数学 年份:2008
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种...
相关搜索: