学科分类
/ 19
371 个结果
  • 简介:Petri作为一种有完备自动化理论的形式描述语言,既有严格的数学表述方式,也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri自身也在不断的变化发展之中,在基本Petri的基础上,添加了很多新的语法特性,增强了Petri的描述能力。新特性的加入在丰富了语义概念的同时,也带来了兼容性、完备性、一致性的问题,所以有必要对Petri语义方面的研究做一个梳理.为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri语义方面的研究现状,主要集中在Petri语义的转换、扩充及其在具体运用中的语义.

  • 标签: PETRI NET 语义 形式描述
  • 简介:本文提出了一个项目参与者数T是随机变量的广义合作网络模型,新节点与随机选择的节点合作,通过节点度演化所满足的马尔可夫性,利用马.尔可夫链的方法和技巧得到了度分布的精确解析表达式.并说,明了此广义合作网络不是无标度网络.

  • 标签: 广义合作网络 马尔可夫链 度分布 无标度网络
  • 简介:故障的产生和传播是一个动态的过程,具有突发性、并发性和随机性等特点,精确的推理方法难以有效地对复杂特性的故障进行诊断。利用模糊Petri对舰炮武器系统进行故障分析,首先分析舰炮故障类型以及故障的规则表示形式,然后给出了基于模糊Petri的故障传播模式模型及其推理算法,最后以某舰炮武器系的弹药盘点异常故障为例进行了建模并用推理算法计算故障发生概率。结果表明,该模型具有直观和表达能力强的优点,可应用于工程实践。

  • 标签: 模糊数学 舰炮故障诊断 模糊PETRI网模型 推理算法
  • 简介:【教学内容】25.1.1随机事件【教学目标】1.知识技能目标了解必然发生的事件、不可能发生的事件、随机事件的概念;理解随机事件发生的可能性是有大小的,不同的随机事件发生的可能性的大小可能不同。

  • 标签: 随机事件 教学设计 教学内容 教学目标 知识技能
  • 简介:你可曾玩过掷硬币的游戏?假如你已连输10次,你是否觉得第11次该你赢了?如果下赌注,你是否会孤注一掷?

  • 标签: 高中 数学 阅读知识 课外阅读
  • 简介:利用初等方法,研究与广义欧拉函数有关的方程φ2(n)=2^ω(n)、φ2(φ2(n))=22^ω(n)的可解性,并获得方程的所有正整数解.

  • 标签: 广义欧拉函数 方程 正整数解
  • 简介:设G是一个图,f是从V(G)∪E(G)到集合C的一个映射,如果f满足相邻点染色不同,相邻边染色不同,任意一个点与其关联的边染色不同,则称f是图G的全染色。针对此概念研究了路的广义Mycielski图的全染色。

  • 标签: 全染色 广义MYCIELSKI图
  • 简介:早在旧约时代就已经有许多牵扯到宗教与战争的记载与规定,其中许多描述特别强调上帝的"神圣性",许多圣经及宗教学者皆指出旧约确实有"圣战"的观念,可说是后代圣战观念的始祖。本文尝试从广义和狭义两个层面探讨旧约中的"圣战"观念.

  • 标签: 旧约 “广义圣战” “狭义圣战”
  • 简介:Classicalnetworkreliabilityproblemsassumebothnetworksandcomponentshaveonlybinarystates,fullyworkingorfullyfailedstates.Butmanyactualnetworksaremulti-state,suchascommunicationnetworksandtransportationnetworks.Thenodesandarcsinthenetworksmaybeinintermediatestateswhicharenotfullyworkingeitherfullyfailed.Asimulationapproachforcomputingthetwo-terminalreliabilityofamulti-statenetworkisdescribed.Two-terminalreliabilityisdefinedastheprobabilitythatdunitsofdemandcanbesuppliedfromthesourcetosinknodesunderthetimethresholdT.Thecapacitiesofarcsmaybeinastochasticstatefollowinganydiscreteorcontinuousdistribution.Thetransmissiontimeofeacharcisalsonotafixednumberbutstochasticaccordingtoitscurrentcapacityanddemand.Tosolvethisproblem,acapacitatedstochasticcolouredPetrinetisproposedformodellingthesystembehaviour.Placesandtransitionsrespectivelystandforthenodesandarcsofanetwork.Capacitatedtransitionandself-modifiedtokencolourwithrouteinformationaredefinedtodescribethemulti-statenetwork.Bythesimulation,thetwo-terminalreliabilityandnodeimportancecanbeestimatedandtheoptimalroutewhosereliabilityishighestcanalsobegiven.Finally,twoexamplesofdifferentkindsofmultistatenetworksaregiven.

  • 标签: 有色PETRI网 可靠性问题 多态网络 能力约束 随机 终端
  • 简介:致力于随机一致凸性概念的进一步探讨.首先,通过一个特殊的层次剖分指出对任意的随机赋范模而言随机凸性模都有良好定义,从而改进了近期的文献中许多已知的结果.然后,提出并研究了一种与随机一致凸性密切相关的新性质,从一个新的角度阐述了随机一致凸性的复杂性.

  • 标签: 随机赋范模 随机一致凸性 随机凸性模
  • 简介:每个人从呱呱坠地,就开始不断地接受教育。教育是人类社会所特有的一种社会现象,是培养人的活动。幼儿园的教育教学活动是教师根据幼儿的生理发展、智力发展的年龄特点,以多种活动、游戏形式有目的、有组织、有计划地引导幼儿生动、活泼、主动参与的活动过程,是促使幼儿在体、智、德、美等诸方面全面发展的活动,所以幼儿园教育要求幼儿教师不仅要遵循一定的教育规律,系统地制定教育计划、选择教材、设计教育活动.

  • 标签: 随机教育 教育教学活动 智力发展 幼儿教师 幼儿园 接受教育
  • 简介:小学生作文的性质是练笔、是习作,不是创作。作文是生活的需要,它不是一种点缀、一种装饰,而是生活本身。它能够使生活更加丰富,更加充实。作为教师要启发、引导学生准确地表达出丰富的情感和对世界的认识,让学生在读中积累、读中提炼、读后练笔,提高他们的写作能力。

  • 标签: 练笔 习作 教学
  • 简介:信用风险建模中广泛使用跳跃过程描述违约和等级转移事件,从信用风险的角度研究跳跃过程的基本概念和性质十分必要。泊松过程用来描述一般动态变化,而复合的及广义双重随机泊松过程用来描述非时齐动态变化。相关实例和模拟研究有助于更好的理解信用风险随机过程的特征并正确建模。

  • 标签: 信用风险 马尔科夫过程 泊松过程
  • 简介:目的:拼接DNA片段并克隆。方法:用T4DNA连接酶将DNA片段以平末端随机连接,随后用限制性内切酶切割,琼脂糖电泳分离酶切产物,挑选特定片段纯化回收,与线性化的载体质粒连接,转化大肠杆菌感受态细胞。结果:通过以上步骤,成功拼接了不同DNA片段,构建了含有目的拼接片段的重组质粒。结论:该方法简便、易行、可靠,可作为拼接、克隆DNA的备选方案,在分子生物学研究和基因工程中应用。

  • 标签: 平末端DNA 随机连接 DNA拼接 基因克隆
  • 简介:

  • 标签:
  • 简介:为实现煤层气的低成本高效开发,有必要加强煤层气开采中长期规划工作,以最大限度地降低采气成本,提高经济效益。根据煤层气开采过程中的产量变化规律,将广义翁氏预测模型应用于其产量预测过程,可以实现快速、准确地预测煤层气井产气高峰及其出现时间。将模型计算结果与数值模拟结果进行了对比,二者之间的误差小于5%;在此基础上,根据某实际气井的早期少量的生产数据,利用该模型准确地预测了气井中长期的产量,进一步验证了方法的正确性。从实际应用来看,该方法计算过程简便、预测结果准确,具有一定的应用价值。

  • 标签: 煤层气 广义翁氏预测模型 线性回归 产量预测
  • 简介:塔尔水库是博尔博松流域规划的一项非常重要的水利设施,有巨大的防洪灌溉的功能和作用。以塔尔水库为例.基于该水库1970~2010年夏汛共40a相关模拟洪水资料,运用随机模拟法,模拟出3000场夏汛洪水过程,进而计算分析水库防洪风险。结果表明,实行分期汛限水位控制可以有效降低水库的防洪风险;分时段提高汛限水位可以有效提高汛末水位,增加水库汛末蓄满率;后汛期水位不是变化很大时水库的风险不会发生大变化,但不宜将水位提的过高。希望研究结果能为今后塔尔水库的建设或类似水利设施的防洪工作提供科学指导。

  • 标签: 随机模拟法 水库 防洪 风险
  • 简介:采用广义逆矩阵方法分析空间可展桥梁的运动过程.以笛卡尔坐标系下节点的自然坐标为未知量,建立空间可展桥梁展开过程的动力学基本方程,将刚性杆长、套筒、边界约束、锁定条件、4节点等长剪刀撑、4节点刚性板的约束方程嵌入动力学方程,导出一组不含乘子且方程数等于结构自由度数的动力学方程.通过数值仿真,得出空间可展桥梁在展开过程中的各个状态及动力学参数.进行了缩比模型的研制,在电机驱动下能得到较好的控制并平稳展开,验证了该空间可展桥梁的合理性,也为空间可展桥梁的进一步研究提供了参考.

  • 标签: 空间可展 桥梁 动力学 广义逆