模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

自动垂直钻井工具指向式导向纠斜机构原理方案研究

在了解国内外自动垂直钻井技术的发展及应用概况的基础之上,本文依据自动垂直钻井技术的相关要求和技术特点,分析了目前国内外自动垂直钻井技术的研究现状,并对具有代表性的导向系统进行总结归纳,创造性提出指向式纠斜机构原理方案。     

边染色图中的正常染色的路和圈

讨论了无三角形的边染色图中的正常染色的路和圈,在无三角形图中改进了原有的结果。证明了在顶点的最小色度至少为d(d≥2)的条件下,边染色图G或者存在长至少为4d-2的正常染色的路,或者存在长至少为2「2d/3的正常染色的圈。     

大理学院面向东南亚汉语国际人才培养模式的创新与实践

社会的发展带来人才需求的变化,人才培养模式一直是高校改革的重要领域。作为一所地方性院校,大理学院抓住桥头堡建设机遇,结合自身的办学特点和优势,创建了＂面向东南亚汉语国际人才培养＂的模式。     

任职教育教员队伍建设的几点思考

当前,部分军队院校正在以学历教育为主,向以任职教育为主转型,在这一转型体系的实施过程中取得了一些成绩,但是任职教育的发展仍存在很多薄弱环节。文中针对任职教育中教员队伍建设存在的几个薄弱环节进行了思考,在加深教员对任职教育的认识,任职教育教员队伍人才的引进、培养、成长等方面给出了几点改进意见。     

一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

有色聚氨酯的合成与性能研究

采用4,4′-二苯甲烷二异氰酸酯(MDI)和端羟基染料合成了有色聚氨酯,通过红外光谱表征了其分子结构。利用这种有色聚氨酯作为高分子染料对聚氨酯树脂进行着色,研究了有色聚氨酯及其着色后聚氨酯的色牢度、耐溶剂性能、热机械性能。结果表明:有色聚氨酯及其着色的聚氨酯树脂具有优异的色牢度,干湿摩擦色牢度均达到5级;有色聚氨酯的耐溶剂性能与聚氨酯树脂相同,在水及甲苯中无溶解掉色现象;有色聚氨酯的玻璃化转变温度与聚氨酯树脂接近,可以作为一种性能优异的高分子染料用于聚氨酯着色。     

基于Petri的分布式网络流量优化

基于Petri网建立一种分布式流量优化模型,解决了网络的重复转发问题,并在此基础上,结合线性规划方法,实现了网络流量流向的多目标控制,有效提高了网络质量.     

三重积分换元公式的一个新证法

利用在线性空间上推广混合积的思想,建立微分线性空间、引入广义向量外积,给出三重积分换元公式的一个简单证法.     

面向复杂产品的分布式协同设计系统

在回顾国内外并行工程和协同设计发展情况的基础上,结合多学科协同设计优化理论,明确分布式并行协同设计的概念;提出一个基于SORCER(Service oriented computing environment)的面向复杂产品的协同设计系统DCDSCP(Distributed collaborative design system for complex product)。给出DCDSCP的架构和工程软件工具封装和集成为服务的方法,描述服务被调用的临时联盟环境。在DCDSCP支持下,顺序调用Pro/E,HyperMesh,Ansys和Human Expert服务,部署面向机车转向架静态强度分析的协同设计任务,实现在动态网络环境中的可扩展性、可靠性和柔性。计算结果表明:新系统能缩短服务交换周期,支持复杂产品的异地分布式协同设计。