ArtiFlow中artifact生命周期的可满足性问题

以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.     

基于点的鞋楦CAD/CAM技术

提出了实用的基于点的鞋楦CAD／CAM技术,给出了基于点的鞋楦几何模型定义,由经过规则化处理的鞋楦表面数据点集表示鞋楦模型;在此基础上研究了鞋楦CAD方法,通过对点集的操作完成鞋楦设计;实现了鞋楦数控编程,建立刀具模型并给出刀位点计算的详细过程．该技术已经成功地用于鞋楦CAD／CAM系统的开发,并用于实际生产,完成鞋楦的高效设计与制造。     

产品生命周期管理的访问控制模型研究

探讨了产品全生命周期管理环境下对数据的访问控制需求,分析了实施数据访问控制的相关要素及其相互关联,提出一种基于生命周期和角色的L-RBAC访问控制模型,对比分析了L-RBAC模型中“推模式”与“拉模式”权限算法的优缺点,给出了“拉模式”权限算法的具体实现．以L-RBAC模型在某汽车制造企业PDM二期工程的应用为实例,验证了其先进性与高效性．     

移动环境下数据多副本关联删除方案设计

针对个人数据在移动互联网环境下存储或共享期间产生的多个数据副本无法进行关联删除导致存在的安全隐患、浪费存储空间的问题,本文提出一种数据多副本关联删除方案。该方案使用加密技术、副本关联技术,通过对原始数据进行加密,结合副本因子、生命因子封装生成副本关联对象RAO,并上传到云端进行存储、共享;云服务器接收到RAO后,通过创建副本目录实现对RAO及其数据副本的生命周期管理和关联删除。实验分析表明,本方案能够有效实现数据多副本管理与关联删除,为实际生产应用提供参考。     

面向网络化制造的ASP服务全生命周期管理技术

提出ASP服务全生命周期管理的概念．在对ASP服务作出形式化定义的基础上,建立了服务的生命周期状态模型;进而,对ASP服务管理中的服务集成规范、服务启动流程、运行监控以及服务评价等关键技术实现方案进行了探讨;最后,介绍了该技术在绍兴轻纺区域网络化制造系统中的应用实例．     

基于生命周期的测试用例管理方案

针对软件开发和软件测试的工作经历,给出一套测试用例的管理方案,该方案定义了测试用例在其生命周期中的各个状态,并详细描述了测试用例在各个状态之间的转换过程,然后根据测试用例生命周期中的各个角色,在测试用例权限管理中给出了权限和角色分配方法,并对方案提出了一些不足和改进之处。     

软件缺陷管理方案分析

基于作者软件开发和软件测试的工作经历,给出了一套软件缺陷管理方案,该方案对软件缺陷的管理内容和生命周期进行重点分析,定义了软件缺陷在其生命周期中的各个状态,以及状态之间的转换过程,然后在软件缺陷权利管理中给出了权限和角色分配方法,最后对方案提出了一些不足和改进。     

基于AI的主动数据挖掘技术在网络故障管理中的应用

讨论了基于人工智能的主动空间数据挖掘技术在故障管理中的应用，给出了一个应用模型，其中主动空间数据挖掘技术主要体现在数据融合，数据挖掘和知识发现的过程中，文中首先给出了规则定义和触发器定义，并对专家系统的知识发现过程给出了基于时间窗口的告警关联算法，最后给出了在仿真环境下的系统性能测试分析，模型实现和分析数据表明该模型是的可行的。     

一个基于图的音乐数据模型与查询语言及其实现

图数据模型广泛应用于各种具有复杂关联数据的领域.针对现有音乐数据模型与查询语言在功能上的缺陷,首先提出了一个基于图的音乐数据模型Gra-MM,用图数据模型对复杂音乐数据进行建模,定义了图逻辑数据结构以及相关的图代数操作,然后给出了建立在Gra-MM之上的音乐数据查询语言Gra-MQL,定义了查询语言的BNF定义.Gra-MQL能够较好地处理音乐数据之间的复杂关联,同时具有音乐元数据检索和音乐内容数据检索能力,从而满足用户对音乐数据不同层次的查询需求,克服了传统图数据查询语言对复杂关联数据的表达能力有限、不能直接应用于音乐内容检索等不足.最后对实现的音乐数据库原型系统进行了介绍,对原型系统进行测试并给出实验数据,证明了模型以及查询语言的可行性.     

面向对象的CAD系统建模研究

数据管理是CAD系统的核心。该文通过对CAD系统的数据研究,分析了CAD系统各部分数据的描述及数据操作的特点;结合面向对象的ITCAD系统的实例,给出了ITCAD系统数据管理的主要功能,最后讨论了如何用面向对象技术实现ITCAD系统的实体管理的方法。     

基于Virtools的某火箭炮技术检查训练仿真研究

技术检查训练是火箭炮训练的重要内容;针对传统训练存在的不足,提出以Virtools为平台开发火箭炮技术检查训练仿真系统,重点研究了开发训练仿真系统所需要的关键技术和方法,如模型的创建与优化、碰撞检测实现、交互控制实现和检查过程仿真实现等,另外还研究了加载力、屏显和阴影等效果的实现方法;作为实例开发了火箭炮闭锁力检查训练仿真系统,并根据需要开发了操作演示、引导训练和自主训练三种模式;系统经部队试用,效果良好;为类似系统的开发提供了参考。     

Topology based 2D engineering drawing and 3D model matching for process plant

Process plant models mainly include 3D models and 2D engineering drawings. Matching calculation between these CAD models has wide applicability in model consistency check and retrieval. In process plant, engineering design standards make 2D engineering drawing and 3D model differ in geometry, proportion and structure, leading to the inapplicability of current shape-feature based matching approaches. Since connection relationships between components are the core of a process plant, a topology based algorithm is proposed. Firstly, by exploiting components as vertices and relationships as edges, both 2D engineering drawing and 3D model are preprocessed into graph structures. Then each model’s relationship types are extracted from the graph. Finally, regarding the extracted relationship types as primary feature, feature similarity is calculated to measure the matching degree between their corresponding models. The proposed algorithm is geometric deformation invariant. Experiments with industrial applications are presented, which demonstrates the effectiveness and feasibility of the proposed algorithm.     

浅析电子支票中的安全技术

在分析电子支票原理以及安全性需求的基础上,探讨了电子支票的几种核心安全技术以及他们在电子支票系统中的实现,重点分析了数字签名技术以及密钥管理在电子支票中的应用,提出电子支票安全技术发展的迫切性需要。     

并行计算机中基于令牌的许可证管理

提出一种适用于并行计算机系统的基于令牌的许可证管理模型。该模型将软件许可证的使用显式分开为申请与检出两步,许可证的释放分开为检入和回收两步,并由资源管理系统代理软件进行许可证资源的申请和回收。在此模型中,软件许可证的使用将由资源管理系统完全控制与调度,避免了现有模型中存在的资源管理系统外作业使用许可证、作业错误指定许可证信息、应用进程残留等情景下,出现用户作业因许可证不可用而造成的运行失败或资源浪费。设计了两种在现存遗留应用软件和许可证管理软件上实现基于令牌的许可证管理模型的方法,充分表明了此模型的现实意义。     

工程设计数据库管理中版本模型的研究

版本管理是工程数据库管理中的重要部分,也是保证设计数据一致的手段。文中提出了设计对象的概念,以设计对象为基础组织和描述完整的产品设计信息,建立了设计对象之间的组合联系、等价联系以及版本联系,提出了设计对象的层次模型表示方法。针对工程数据管理的特点建立了其版本机制,提出了设计对版本历史、对象版本之间的联系等概念,研究了设计对象的版本操作－检入／检出、当前版本的选择以及版本的动态配置等主要内容。     

Consistency constraints and 3D building reconstruction

Virtual architectural (indoor) scenes are often modeled in 3D for various types of simulation systems. For instance, some authors propose methods dedicated to lighting, heat transfer, acoustic or radio-wave propagation simulations. These methods rely in most cases on a volumetric representation of the environment, with adjacency and incidence relationships. Unfortunately, many buildings data are only given by 2D plans and the 3D needs varies from one application to another. To face these problems, we propose a formal representation of consistency constraints dedicated to building interiors and associated with a topological model. We show that such a representation can be used for: (i) reconstructing 3D models from 2D architectural plans (ii) detecting automatically geometrical, topological and semantical inconsistencies (iii) designing automatic and semi-automatic operations to correct and enrich a 2D plan. All our constraints are homogeneously defined in 2D and 3D, implemented with generalized maps and used in modeling operations. We explain how this model can be successfully used for lighting and radio-wave propagation simulations.     

票据识别系统数据分割与提取

在手写体票据识别系统研究过程中,从带表格及噪声的背景中获取数据字符是至关重要的环节。实践证明［１］,阈值图象分割方法是一种简单而有效的数据获取方法,该文以国家统一发票为研究对象,在样本直方图分析的基础上,讨论了阈值选取和样本明暗度之间的关系．并由此设计了一种新的票据数据获取过程结构。与通常方法比较,将使系统整体速度有明显的提高。     

River bed identification for check‐dam engineering using SPOT‐5 image in the HongShiMao watershed of the Loess Plateau,China

The Loess Plateau located in the upper and middle reaches of the Yellow River is the most serious soil erosion region in China. Check‐dams (also known as silt trappers) have been demonstrated to be an effective soil and water conservation measure in the region and a traditional workflow for check‐dam planning and engineering is time‐consuming and cannot meet the requirement of efficiently locating optimal check‐dam sites. Fine resolution satellite imagery and analysis can play a key role in screening and determining special river bed segments that can be candidates for check‐dam sites. In this research, HongShiMao watershed of the Loess Plateau was selected as our case study area. Based on a detailed analysis of spectral characteristics of a fused SPOT‐5 imagery for dominant land covers and geomorphological features of a constructed digital elevation model, the river bed of key channels within the watershed was automatically identified. Then we selected four check‐dam sites on the river bed and four orientations of a check‐dam site to explore locational and directional profiles. Such profile information is most useful for locating optimal check‐dam sites in a cost‐effective manner and reducing associated expenditures surrounding check‐dam constructions. This remote sensing application demonstrates the latest spatial information technologies such as fine resolution satellite imagery and 3D geospatial visualisation hold promises for changing traditional workflows and advancing scientific decision making of environmental conservation projects.     

Face recognition by applying wavelet subband representation and kernel associative memory

In this paper, we propose an efficient face recognition scheme which has two features: 1) representation of face images by two-dimensional (2D) wavelet subband coefficients and 2) recognition by a modular, personalised classification method based on kernel associative memory models. Compared to PCA projections and low resolution "thumb-nail" image representations, wavelet subband coefficients can efficiently capture substantial facial features while keeping computational complexity low. As there are usually very limited samples, we constructed an associative memory (AM) model for each person and proposed to improve the performance of AM models by kernel methods. Specifically, we first applied kernel transforms to each possible training pair of faces sample and then mapped the high-dimensional feature space back to input space. Our scheme using modular autoassociative memory for face recognition is inspired by the same motivation as using autoencoders for optical character recognition (OCR), for which the advantages has been proven. By associative memory, all the prototypical faces of one particular person are used to reconstruct themselves and the reconstruction error for a probe face image is used to decide if the probe face is from the corresponding person. We carried out extensive experiments on three standard face recognition datasets, the FERET data, the XM2VTS data, and the ORL data. Detailed comparisons with earlier published results are provided and our proposed scheme offers better recognition accuracy on all of the face datasets.     

光成型法三维模型的动态截交和实体重现仿真

光成型法是将三维实体模型转化为一系列二维平面，再逐层固化叠加成型。为此，利用0bject ARX编程，对AutoCAD进行二次开发，获取立体模型的结构特征，再经过处理得到所需的二维平面数据图形；同时，运用区域二叉树原理，拾取平面图形所含的各轮廓环，并生成一个单一区域，再按照光成型法的层叠成型原理，对区域逐层“拉伸”，实现三维实体模型的重组再现。另外，通过实时显示，动态地展示了截交和三维再现的过程，以便于检验所得平面图形数据和成型物的正确性。