基于一致分布的时间Petri网模型

时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.

低年级大学生课堂参与度课堂观察研究

为了解低年级大学生课堂参与情况,本文采用课堂观察法记录了一年级本科生课堂学习状态,运用量化描述的参与度概念从学生的课堂参与方式、学生整体的课堂参与度、教室的不同区域以及不同时间段学生的课堂参与度这4个方面定量地进行了分析.发现低年级大学生的课堂参与方式虽然多种多样,但以倾听为主,缺乏主动性、缺乏表达的欲望与能力,造成学生的整体课堂参与度偏低,学习积极性不高的现象;教室不同区域的学生参与度不尽相同,学生个体的课堂参与度与学生所处位置关系不大;学生课堂参与度随课堂时间的前、中、后时段呈下滑趋势.

柔性制造系统的时间Petri网建模与分析

时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。

建立状态图启发式搜索的面向对象模型

将人工智能学科中状态图搜索技术与JAVA中面向对象技术结合起来,并利用JAVA语言建立了一个状态图启发式搜索算法的面向对象模型,然后利用这一模型成功地解决了人工智能学科中典型的状态图搜索问题———"八数码"难题.

一种用于类测试的新方法

面向对象程序的复杂性和类对象间广泛的相互依赖性使得对这样的程序的测试变得非常困难,而类又是面向对象测试中最基本的单元。对类的测试又可以分为3个级别(方法内测试,方法间测试,类内测试),难点主要集中在类内测试上。文章提出一种基于OSD(对象状态图)的新的算法用来产生进行类内测试的方法调用序列。这种算法是对传统的类测试的两种方法基于规格说明的测试和数据流测试的综合,可以使产生测试用例的复杂度大大的降低。

基于多特征融合分析的设备故障状态智能分类方法

设备复杂度的增加和自动化水平的提高,设备故障的发生频率和类型也日益增多,导致生产中断、产品质量下降,甚至引发安全事故。在此背景下,研究一种基于多特征融合分析的设备故障状态智能分类方法。通过集成多种传感器和数据采集设备,实现对设备运行状态的全面监控和实时数据采集。从采集数据中挖掘出对故障分类具有关键价值的特征向量并通过分配权重实现多特征融合。在此基础上,构建基于多分类支持向量机的分类模型,通过训练和优化模型参数,使其能够准确识别并分类各种复杂的设备故障。结果表明:所研究方法应用下,绝大部分测试样本与实际的故障类别重合,极少部分被错误分类,由此证明了所研究方法的准确性。

建设世界一流国有企业:内涵特征、测度方法与发展方向

将我国国有企业培育成为具有全球竞争力的世界一流企业既是以习近平同志为核心的党中央对国有企业改革作出的重要部署,也是以央业为代表的众多国有企业发展的战略目标和宏伟愿景。全民所有制性质决定了世界一流国有企业不仅应具备产品与服务一流、企业效率领先、管理水平先进等世界一流企业普遍特征,还应成为引领经济高质量发展、提升国有经济“五力”、做强做大做优国有资本的重要支撑。因此,在世界一流国有企业的测度中,应将企业的社会价值和企业个体价值放在同等重要的位置。建设世界一流国有企业,在国家层面,要打造世界一流的营商环境;在国资监管层面,要明确国有企业市场主体地位;在企业层面,要塑造品牌价值、提高创新能力、提升经营管理效能。