搜索筛选:
搜索耗时1.0993秒,为你在为你在102,285,761篇论文里面共找到 46 篇相符的论文内容
类      型:
[期刊论文] 作者:赵锡英,, 来源:兰州交通大学学报 年份:2008
对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的...
[学位论文] 作者:赵锡英,, 来源: 年份:2007
随机进程代数(SPA)是一种功能与性能相结合的并发系统模型,是通过给经典进程代数模型中的动作发生附加上一个随机变量值,来反映在系统的运行中,动作出现的时间延迟规律而得到的......
[期刊论文] 作者:赵锡英, 来源:兰州大学学报:自然科学版 年份:2002
讨论了有限可交换特殊图厄系统(Σ∶R)及其字问题,证明了一个有限可交换特殊图厄系统(Σ∶R)是一个有限群与一个自由幺半群的直积;在所讨论的系统是完备的情况下,得到了一个...
[期刊论文] 作者:赵锡英, 来源:兰州大学学报:自然科学版 年份:2001
串重写系统(Σ∶R)是定义在字母表Σ上的所有字符串的集合,一般情况下集合中的元素是不可刻画的.对于一个有限可交换的Thue系统(Σ∶R),令 ΔR={((t1,t2,…,tn),(s1,s2,…,sn))|(at1...
[期刊论文] 作者:赵锡英, 来源:甘肃工业大学学报 年份:2001
给出了判定可交换特殊Thue系统完备化的方法.对于所考虑的Thue系统,检验Church-Rosser性质可进行系统完备化判定.而使Church-Rosser性质成立的重叠条件在规则的向量形式表示下...
[期刊论文] 作者:赵锡英, 来源:兰州工业高等专科学校学报 年份:2000
串重写系统(∑:R)是定义在字母表∑上的所有字符串的集合。对于一个有限可交换的特殊Thue系统(∑:R),证明了(∑:R)是有限生成交换群;相反,任意有限生成交换群都有一个有限可交换的特殊Thu......
[期刊论文] 作者:赵锡英, 来源:河北建筑科技学院学报:社会科学版 年份:2000
本文分析了大学生在恋爱中错罪的表现形式。原因及应采取的相关措施。...
[期刊论文] 作者:赵锡英, 来源:兰州工业高等专科学校学报 年份:2002
对非合作两人对策的求解进行了讨论,当一个所考虑的系统没有纯策略下的纳什均衡时,需考虑它的混合策略,而混合策略的求解可等价于求解两个不等式方程组.在没有明确解法的现状...
[期刊论文] 作者:赵锡英,, 来源:中国农业科学 年份:1957
山东莘县王奉区农技站去年试用双输双铧犂收刨花生效果很好。每一小时可以收刨1.5亩(用牛拉犂),用劳力刨花生每天只可以刨3—4分地;更解决了单粒条播花生收获时的困难。而且...
[学位论文] 作者:赵锡英, 来源:兰州大学 年份:1997
该文讨论的是有限可交换特殊图厄系统的有限元问题.作者得到结论:如果该文所讨论的系统是完备的,则可以得到一个判定有限元问题存在的线性时间算法.这个算法同时还构造了字方...
[期刊论文] 作者:赵锡英, 陈胤,, 来源:兰州工业高等专科学校学报 年份:2005
利用药物动力学中的房室线性消除模型,描述了酒精在人体内的代谢过程.利用给出的酒精在血液中的浓度参数Ct和模型的要求,建立了快速吸收模型和慢速饮酒模型,通过在数学软件Ma...
[期刊论文] 作者:赵锡英,鲁华, 来源:兰州工业高等专科学校学报 年份:1995
计算机软件是计算机的是灵魂,是指其程序和文档。由于用户使用正版的意识不强,版权意识薄弱,人才流失严重,软件被非法公开、复制、展开、发行、修改、翻译、注释、泄露或使用他人......
[期刊论文] 作者:李兵,赵锡英, 来源:兰州工业高等专科学校学报 年份:2004
介绍在Delphi中访问和控制AutoCAD的基本原理和一般方法,实现了用Delphi创建、选择、编辑和管理AutoCAD实体等具体功能,解决了利用Delphi完成AutoCAD软件二次开发中与Auto CAD软件的接口问题....
[期刊论文] 作者:赵锡英, 孙建仁, 来源:兰州工业高等专科学校学报 年份:2004
在对多项式方程组进行求解的过程中,两个多项式f(x)、g(x)相除所得的商quo(f,g,x)和余式rem(f,g,x)是两个非常基本的概念.根据rem(f,g,x)的性质及其显示表示detrem(f,g,x),给...
[期刊论文] 作者:阎家灏, 赵锡英,, 来源:兰州工业高等专科学校学报 年份:2002
矩阵的乘法运算一般不满足交换律,但在特殊的条件下,存在可交换矩阵。从可交换矩阵的定义出发对可交换矩阵做了深入的探讨,得到了一些新的性质和特殊的求法。...
[期刊论文] 作者:尚坡利,赵锡英,, 来源:兰州工业学院学报 年份:2016
设计了一种基于AT89S51型号单片机控制的风板摆向控制系统.系统风板角度变换功能由风机控制模块完成,显示和输入功能由LCD及键盘模块完成,信号测量功能由角度传感器模块完成,...
[期刊论文] 作者:杨海宣,赵锡英, 来源:兰州大学学报:自然科学版 年份:1998
对幂等元是本原的半群进行了讨论。特别地,证明了非零幂等元是本原的E-逆半群是一个TE-半群关于半群S的理想扩张,而半群S是完全0-直并关于一个TE-半群的理想扩张。......
[期刊论文] 作者:赵锡英,张明新,, 来源:兰州理工大学学报 年份:2008
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能...
[期刊论文] 作者:赵锡英,叶燕文, 来源:甘肃工业大学学报 年份:2002
在2×2矩阵对策的基础上,讨论了3×3矩阵对策Г={SⅠ,SⅡ;A}的代数法求解,给出了矩阵对策A有非零混合最优策略的条件,最优策略的求解公式及3×3矩阵对策的一般求解步骤......
[期刊论文] 作者:祁忠斌, 赵锡英,, 来源:数学的实践与认识 年份:2006
把人体对酒精的吸收、排放简化为一般的房室模型,提出了吸收因子、消除因子的概念.针对短时间饮酒、长时间饮酒以及间断饮酒等情况,分别建立了关于人体体液中酒精浓度的微分...
相关搜索: