一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

UML建模技术在智能故障诊断系统中的应用

智能故障诊断系统是电站仿真系统中的重要部分,它根据采集到的数据或经转换过的参数进行推理、判断出发生故障的设备.推理诊断采用专家系统和不确定性推理的技术.本文以UML(统一建模语言)为工具,对智能故障诊断系统进行面向对象分析、设计和建模.     

新立城水库三维地理信息系统的构建

针对当前新立城水库信息化管理缺乏三维决策功能的问题,从数据预处理、数据库的设计与建立、基于Sketch Up构筑物的三维建模、三维场景的建立、系统功能开发几个方面论述了新立城水库三维地理信息系统的建立过程,系统建成将为水库管理提供三维可视化和空间分析等辅助决策功能.     

Universal Alignment Probabilities and Subset Selection for Ordinal Optimization

We examine in this paper the subset selection procedure in the context of ordinal optimization introduced in Ref. 1. Major concepts including goal softening, selection subset, alignment probability, and ordered performance curve are formally introduced. A two-parameter model is devised to calculate alignment probabilities for a wide range of cases using two different selection rules: blind pick and horse race. Our major result includes the suggestion of quantifiable subset selection sizes which are universally applicable to many simulation and modeling problems, as demonstrated by the examples in this paper.     

ADAMS在AJC系统仿真中的应用研究

应用CAXA软件对机械系统进行参数化实体建模,液压系统采用ADAMS/hydraulic液压模块进行可视化建模.在ADAMS环境下建立了1500型液压踏步系统的仿真模型,实现机械、液压与控制系统动力学联合仿真研究.在同一仿真界面下,准确计算出了液压缸的负载变化规律和液压缸的油压变化规律,讨论了不同参数对踏步控制系统的影响.     

多尺度模拟与计算研究进展

简要介绍了多尺问题与研究方法.重点论述了两类常见多尺度问题的模拟计算方法与研究进展,分析了各自的优缺点和使用范围.对现有研究的局限性和存在的问题进行分析,指出了进一步研究多尺度模拟与计算的必要性.介绍了求解含有孤立缺陷问题的非局部准连续体法,MAAD等方法以及求解基于微观模型本构模拟问题的局部连续体法、HMM等方法.文章对多尺度模拟与计算的前景进行展望,提出了一些亟待解决的问题.     

数学建模融入经济数学教学中的案例及分析

经济数学是财经类专业的重要基础课程,在经济数学教学中讲授数学的基本概念和定理的同时,怎样引入数学模型进行教学,培养和激发学生学习数学的兴趣,是我们从事经济数学教学的教师都应该探讨的问题.本文结合经济数学教学的实践,介绍了经济数学教学中的几个经典经济模型案例,将数学与经济学有机地联系起来,让数学变得既生动又符合实际,取得了很好的教学效果.     

Combination of pharmacophore modeling and 3D-QSAR analysis of potential glyoxalase-I inhibitors as anticancer agents

Glyoxalase system is an ubiquitous system in human cells which has been examined thoroughly for its role in different diseases. It comprises two enzymes; Glyoxalase I (Glo-I) and Glyoxalase II (Glo-II) which perform detoxifying endogenous harmful metabolites, mainly methylglyoxal (MG) into non-toxic bystanders. In silico computer Aided Drug Design approaches were used and ninety two diverse pharmacophore models were generated from eighteen Glyoxalase I crystallographic complexes. Subsequent QSAR modeling followed by ROC evaluation identified a single pharmacophore model which was able to predict the expected Glyoxalase I inhibition. Screening of the National Cancer Institute (NCI) database using the optimal pharmacophore Hypo(3VW9) identified several promising hits. Thirty eight hits were successfully predicted then ordered and evaluated in vitro. Seven hits out of the thirty eight tested compounds showed more than 50% inhibition with low micromolar IC₅₀.     

基于棱柱体的三维地质建模方法

 矿体赋存条件复杂、地质构造多变。为探究真实地质体情况,通过对现有各类地质体建模方法的分析,尤其是对TIN模型构建、实体(solid)构模的特点进行探讨,提出一种基于工程棱柱体的三维地质建模方法。结合钻孔数据特点和地层分布规律,根据勘探工程的钻孔平面位置将勘探区域划分为若干棱柱体。对每个棱柱体侧面进行矿段对比连接,完成棱柱体线框图搭建,随之逐面、逐层、逐柱构建三角网,直至形成整个地质体的三角网。将实体构模方法结合其中,实现了三维地层实体模型的建立,既能充分反映矿体的三维形态,又能使所显示的三维矿体进行实体描述。使得矿体属性连续并可计算,同时模型能够结合工程师经验自动推理尖灭、分叉、断层和褶皱等复杂地层构造。其具有三维显示又具有实体描述的特点,尤其便于按储量级别进行储量估算等矿量计算,具有实际应用价值。     

临界热流密度值模化方法研究

本文根据相似理论,利用工质热力学性质的相似性,提出了一种通用化的临界热流密度值模化方法.应用本法,可以将各种工质在不同压力下的临界热流密度值表示在一根曲线上.它既适用于流动沸腾工况(包括垂直流动和水平流动),也适合于池式沸腾工况.用此法整理所得的实验数据表明,该方法是成功的.