虚拟企业模型一致性检查算法设计与实现

针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法.首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联.在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性.最后,利用一个系统验证了算法的可行性.     

基于NET的PDM系统用户管理模块的研究应用

提出了静态控制权限和动态控制权限的设置方案,研究了应用新的面向对象语言C#.NET编程,在NET编程环境中利TreeView Web控件通过数据库编程生成动态目录树.TreeView Web控件的直观性、易用性和NET良好的异构语言编程环境为企业建立用户管理系统提供很好的操作平台.     

通用数控程序解析方法研究

针对虚拟加工系统的数控程序解析问题,提出一种通用数控程序解析方法.通过分析不同数控系统的数控程序格式,设计了规则数据库.利用正则表达式进行语法分析,提出了建立语法规则方法和语法分析算法,以及基于调用堆栈的子程序处理算法.设计了数控系统定制界面,以便将现有的解析器扩展到新的数控系统.开发出一个通用数控程序解析器,并验证了所提方法的有效性,为虚拟加工系统的实现提供了技术支持.     

基于规则的业务构件组装规约

为解决业务层次构件组装问题,确保组装的灵活、高效及构件自身的高重用性和动态适应性,提出了一套基于规则的业务构件组装方法,将引起业务动态多变的核心因素业务规程和行为规则提取出来,在业务层次上将构件分为行为规则构件、业务构件框架、原子业务构件、组合业务构件等,分别基于行为规则服务总线和构件框架,实现原子业务构件、组合业务构件两个层次的多级组装.采用层级图、Z语言、巴科斯范式、通讯顺序进程规范等描述方式,给出了方法的组装原理、形式化模型规约、演算空间定义、组装演算等关键技术.该方法为基于构件的软件工业化生产提供了一种新的研究思路.     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于本体的判定树分类算法抽取应急决策规则的研究

在传统数据挖掘算法的基础上,提出了一种基于本体的判定树分类算法,根据属性度量增益对不同层次本体进行抽取,产生高层次或多层次的分类规则,并对规则进行优化.经验证,此种算法用于应急系统中能为决策者提供更有意义的辅助决策建议.     

一种多准则库存分类的混合预测方法

提出一种基于混合模型，对企业库存信息管理系统中的物质项目进行多准则分类预测的方法。整个分类过程包括两部分：其一，以粗糙集方法作为初始分类工具，实现库存分类中多准则属性的约简，减少计算量．但不损失任何有效信息，同时，基于提出的三个信息测量概率规则，发展了抽取决策规则的穷尽算法和覆盖算法；其二，对于不能由粗糙集模型正确分类的物质项目，进一步采用BP算法的人工神经网络进行分类。该方法不仅克服了神经网络分类模型输入个数受限的缺点，而且可得到较高的预测精度。为验证方法的有效性，仿真实验时比较了具有BP算法的神经网络模型和粗糙集模型的分类预测精度。结果表明，混合模型是企业库存信息管理系统中进行决策预测的一种可行方法。     

一种油液分析仪器数据文件内容解析方法*

在状态监测与诊断领域,需要利用油液分析方法进行特征获取,但这些仪器需要用自带的软件才能进行数据的查看操作。为摆脱该约束,设计一套利用API函数获取仪器软件窗体中控件的位置坐标和具体内容,再以控件间坐标相对关系确定其具体含义,以控件中的具体内容作为搜索值,自动获取特征值在文件中位置的辅助格式解析方法和工具。该工具能将特定分析仪器产生的文件以二进制格式打开,通过依次提取二进制文件中的4个连续字节,并依据浮点数存储格式进行转换,将转换数值与搜索值进行比对,从而输出特定内容在文件中的保存位置,进而解析出文件的存储格式。以光谱分析仪器数据为例进行算法测试验证,表明算法可行,能正确分解出仪器数据的存储格式,为进行文件格式解析和信息提取提供了一种新的思路。     

关于工业企业档案实体分类的探讨

依据《工业企业档案分类试行规则》要求，结合本单位的档案管理工作的实际情况提出了档案分类管理方法。     

基于组合赋权的备件分类方法研究

针对备件分类方法中存在分类的主观性较强,导致分类结果具有片面性的问题,提出了基于组合赋权的备件分类方法。在构建备件分类评估指标的基础上,利用层次分析法和熵权法分别求取备件分类指标的主、客观权重。运用博弈论的方法有机耦合两种权重,实现对备件分类评价指标进行组合赋权,降低备件分类中的主观偏差性和客观片面性;然后利用优劣解距离法（TOPSIS）法,根据库存策略有侧重性地对备件进行综合评价;结合层次聚类,挖掘备件之间的潜在联系,实现对备件的分类。最后以某天然气管输企业的实际数据验证了方法的合理性,对企业库存管理具有实际的应用价值。     

NEW NONSTANDARD JOB SHOP SCHEDULING ALGORITHM

Considering the complex constraint between operations in nonstandard job shop scheduling problem （NJSSP）, critical path of job manufacturing tree is determined according to priority scheduling function constructed. Operations are divided into dependent operations and independent operations with the idea of subsection, and corresponding scheduling strategy is put forward according to operation characteristic in the segment and the complementarities of identical function machines. Forward greedy rule is adopted mainly for dependent operations to make operations arranged in the right position of machine selected, then each operation can be processed as early as possible, and the total processing time of job can be shortened as much as possible. For independent operations optimum scheduling rule is adopted mainly, the inserting position of operations will be determined according to the gap that the processing time of operations is subtracted from idle time of machine, and the operation will be inserted in the position with minimal gap. Experiments show, under the same conditions, the result that operations are scheduled according to the object function constructed, and the scheduling strategy adopted is better than the result that operations are scheduled according to efficiency scheduling algorithm.     

COOPERATIVE CLUSTERING BASED ON GRID AND DENSITY

Based on the analysis of features of the grid-based clustering method-clustering in quest (CLIQUE) and density-based clustering method-density-based spatial clustering of applications with noise (DBSCAN), a new clustering algorithm named cooperative clustering based on grid and density (CLGRID) is presented. The new algorithm adopts an equivalent rule of regional inquiry and density unit identification. The central region of one class is calculated by the grid-based method and the margin region by a density-based method. By clustering in two phases and using only a small number of seed objects in representative units to expand the cluster, the frequency of region query can be decreased, and consequently the cost of time is reduced. The new algorithm retains positive features of both grid-based and density-based methods and avoids the difficulty of parameter searching. It can discover clusters of arbitrary shape with high efficiency and is not sensitive to noise. The application of CLGRID on test data sets demonstrates its validity and higher efficiency, which contrast with traditional DBSCAN with R* tree.     

采油树水压检测监控系统设计

根据采油树水压检测系统的工作要求,采用了“传感器＋PLC＋工控机”的数据采集与控制模式。利用MCGS6．2组态软件,完成了采油树水压检测系统的监视软件、控制软件以及数据通讯软件的开发设计。通过现场试验,验证了监控系统的稳定性和可靠性。     

基于递归循环的层次化爆炸图自动生成方法

提出以递归循环和深度优先搜索层次化装配序列的策略自动生成复杂产品层次化爆炸图的方法。为使设计结构符合装配规划的要求,设计了可方便定义子装配体和编辑装配树的装配结构重构功能。为避免重复的干涉检测,研究干涉矩阵合成方法,通过对原始装配关系信息的整合,柔性化生成面向层次化结构的装配关系矩阵。为降低大规模序列规划问题的复杂性,将整体规划任务分解为若干个及若干层级子任务,子任务内采用多规则筛选算法,以基于干涉矩阵的几何可行性为前提,并行性、连续性、稳定性和方向性等为优化筛选指标,循环构建序列。提出递归爆炸算法,循环对层次化装配序列进行深度优先搜索,实时计算已爆炸零部件的累积包围盒,从而确定待爆炸零件位移矢量,自动生成间隔均匀有序、结构紧凑且空间层次感强的爆炸图。开发了基于Siemens NX的装配规划系统Auto Assem,以减速器及汽车部件实例验证了方法的有效性。     

基于复杂网络的故障诊断策略

从故障诊断的模式识别本质出发,利用网络表示故障数据结构,通过网络结构反映故障状态及其特征,把故障诊断聚类问题建模为子网络探测问题,提出基于网络结构分析的故障诊断策略。为了解决子网络划分中数据间相似度测度和划分测度设计这两个重要问题,引入复杂网络社群结构分析中的模块性概念,设计状态区分准则函数,并采用自底向上模块合并层次过程优化准则函数实现故障状态聚类,提出一种基于模块合并的故障诊断聚类算法。通过算法在标准数据集分类和真实压缩机故障系统诊断上的应用,分析相似度测度对算法的影响并验证了算法的性能。试验结果表明,与遗传算法,人工免疫网络等人工智能诊断方法相比,本文提出的算法能以较少的计算耗时,有效提取故障特征,获得理想的诊断正确率。     

Product cooperative disassembly sequence planning based on branch-and-bound algorithm

This paper focuses on the cooperative disassembly sequence planning (CDSP) problem which is essential to disassembly a large and complex product in practice. A disassembly hybrid graph model (DHGM) is constructed to describe the mating contact and noncontact priority relationships among constituting product components. Thus, the disassemblability constraint expression can be deduced from it by reasoning. The CDSP is different from the disassembly sequence planning except for they are NP-complete. Therefore, a novel method is presented to generate cooperative disassembly hierarchical tree (CDHT) from the DHGM based on branch-and-bound algorithm in which two user-defined variables are introduced to control the size of the CDHT .The optimal solutions with a minimal disassembly time are derived according to the objection function. Finally, an example illustrates the proposed method.     

插电式混合动力汽车控制策略与建模

为了深入分析插电式混合动力汽车能量管理控制策略就需要建立准确的插电式混合动力汽车仿真测试模型,分析影响能量管理系统的因素。利用MATLAB/SIMULINK软件基于实验数据和理论模型相结合的方法对插电式混合动力汽车建模,根据插电式混合动力汽车传动系部件的工作特征对应建立各部件的数学模型,并建立了基于规则的能量管理控制策略对整车的动力性与经济性进行计算仿真验证,计算结果表明建立的插电式混合动力汽车仿真模型和能量管理控制策略能够有效确保发动机处于高效区域运行并改善整车燃油经济性,控制策略可靠有效。     

可重构控制系统框架的设计与实现

针对控制系统存在的开发周期长、开放性差、操作复杂、设备利用率低等问题,将可重构技术的思想理论应用到机电控制系统的开发中,提出了一种模块化静态可重构的控制系统设计框架,在此基础上定义了一组行为规则库,并详细说明了上位机任务解析方法和下位机任务耦合机制;最后,基于三菱FX系列编程口通信协议,利用可视化编程软件和可编程控制器对该框架进行了可行性和有效性的验证。实验结果表明,该系统框架的设计方法可以实现系统输出逻辑的快速重组,降低操作复杂性,有效提高机电设备的开发效率和利用率,增强了系统的柔性。     

智能CAD系统中的知识表示与知识获取策略

分析了智能ＣＡＤ系统中复杂产品设计过程特点和设计目标的可分解性,论述了设计子目标与知识库间的内在联系,建立了基于元知识控制的分层框架引导的层次化知识表示与知识库模型,提出了基于概念与或树模型的智能化多级领域知识获取策略。     

Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net

Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.