一类基于IPO的工作流过程建模语言规范分析

在工作流管理系统中,过程模型信息的交换是通过过程建模语言来实现的。不同的过程模型由其专有语言来定义,它们的表达方式可作为选择建模语言的基准。该文首先介绍现已存在的工作流过程建模语言的分类,然后针对其中的一类,着重对两个比较典型的过程定义语言规范进行了分析和比较。

Effects of Cu-Wire Surface Fluctuations on Early Failures

Different chemical mechanical polishing （CMP） slurries are used to obtain single-damascene Cu-wires with different surface fluctuations as well as pre-existing surface-defects in wires with rougher surfaces. The presence of such pre-existing defects strongly increases the rate of early failures to almost 100%, reduces electromigration lifetime rapidly to the level of early failures, and changes the multimodal failure distribution into monomodal. The activation energy （0. 74±0.02eV） for the failure mechanism associated with these pre-existing defects confirms a dominant surface diffusion. It shows how a weakest link approximation analysis can he applied to a single wire by dividing the wire into relevant segments and assigning different failure mechanisms to the various segments. The analysis confirms that, although surface-defects are not the fastest early failure mechanism, the ten times higher surface-defectdensity in the rougher wires is responsible for the observed high early-failure rate and unreliable performance.

Numerical investigation of crack growth in concrete subjected to compression by the generalized beam lattice model

The beam lattice-type models, such as the Euler-Bernoulli (or Timoshenko) beam lattice and the generalized beam (GB) lattice, have been proved very effective in simulating failure processes in concrete and rock due to its simplicity and easy implementation. However, these existing lattice models only take into account tensile failures, so it may be not applicable to simulation of failure behaviors under compressive states. The main aim in this paper is to incorporate Mohr-Coulomb failure criterion, which is widely used in many kinds of materials, into the GB lattice procedure. The improved GB lattice procedure has the capability of modeling both element failures and contact/separation of cracked elements. The numerical examples show its effectiveness in simulating compressive failures. Furthermore, the influences of lateral confinement, friction angle, stiffness of loading platen, inclusion of aggregates on failure processes are respectively analyzed in detail.

HSPC117 deficiency in cloned embryos causes placental abnormality and fetal death

Somatic cell nuclear transfer (SCNT) has been successfully used in many species to produce live cloned offspring, albeit with low efficiency. The low frequency of successful development has usually been ascribed to incomplete or inappropriate reprogramming of the transferred nuclear genome. Elucidating the genetic differences between normal fertilized and cloned embryos is key to understand the low efficiency of SCNT. Here, we show that expression of HSPC117, which encodes a hypothetical protein of unknown function, was absent or very low in cloned mouse blastocysts. To investigate the role of HSPC117 in embryo development, we knocked-down this gene in normal fertilized embryos using RNA interference. We assessed the post-implantation survival of HSPC117 knock-down embryos at 3 stages: E9 (prior to placenta formation); E12 (after the placenta was fully functional) and E19 (post-natal). Our results show that, although siRNA-treated in vivo fertilized/produced (IVP) embryos could develop to the blastocyst stage and implanted without any difference from control embryos, the knock-down embryos showed substantial fetal death, accompanied by placental blood clotting, at E12. Furthermore, comparison of HSPC117 expression in placentas of nuclear transfer (NT), intracytoplasmic sperm injection (ICSI) and IVP embryos confirmed that HSPC117 deficiency correlates well with failures in embryo development: all NT embryos with a fetus, as well as IVP and ICSI embryos, had normal placental HSPC117 expression while those NT embryos showing reduced or no expression of HSPC117 failed to form a fetus. In conclusion, we show that HSPC117 is an important gene for post-implantation development of embryos, and that HSPC117 deficiency leads to fetal abnormalities after implantation, especially following placental formation. We suggest that defects in HSPC117 expression may be an important contributing factor to loss of cloned NT embryos in vivo. (C) 2010 Elsevier Inc. All rights reserved.

Layered Architecture for Secure E-Commerce Applications

We present a layered architecture for secure e-commerce applications and protocols with fully automated dispute-resolution process, robust to communication failures and malicious faults. Our design is modular, with precise yet general-purpose interfaces and functionalities, and allows usage as an underlying secure service to different e-commerce, e-banking and other distributed systems. The interfaces support diverse, flexible and extensible payment scenarios and instruments, including direct buyer-seller payments as well as (the more common) indirect payments via payment service providers (e.g. banks). Our design is practical, efficient, and ensures reliability and security under realistic failure and delay conditions.

semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

吲哚生物碱Desbromoarborescidine A 的全合成及烯胺C-亚磺酰化反应研究

从新几内亚核桃木的树皮中分离得到的吲哚类喹诺里西定生物碱10-Desbromoarborescidine A，因发现其具有阻滞钙离子通道的活性而倍受关注。10-Desbromoarborescidine A由A、B、C、D四个环组成，只有一个手性中心，是吲哚生物碱中结构较简单的一种，常作为此类生物碱全合成方法的模型化合物。但迄今为止，能高效而简便的实现手性10-Desbromoarborescidine A不对称全合成方法线路不多，大多数以不对称诱导的方式建立其手性中心，手性催化的方式仅有一例金属催化。从逆合成分析可知，Desbromoarborescidine A的全合成可以通过亚胺不对称催化还原进行关键的手性中心构建，而本课题组在之前的研究中通过手性有机小分子催化剂的发展，已将三氯硅烷氢转移还原亚胺发展成了一类简便实用、高效、高对映选择性并具有优良底物适应范围的不对称催化反应，我们希望以这一反应作为关键手段，发展一条Desbromoarborescidine A及其类似物不对称合成新路线。 根据我们设计的新路线，首先成功合成了其关键中间体，然后我们进行了关键的不对称催化尝试。用本实验室已有的高性能有机小分子催化剂虽得到了较好的对应选择性，但是产率很低。同时，为了验证整条线路的可行性，我们也用消旋的中间体进行拉通线路的尝试。但不幸的是，在脱除保护基时遇到了很大困难。尝试换不同的保护基，或改变脱保护基的顺序，都未能成功合成目标产物。究其原因可能是由于吲哚的特殊性造成的，吲哚类亚胺与常规的芳香亚胺有较大的差异，其NH基团无论保护还是不保护，对与其2位相联接的C=N双键均有很大的影响，导致其不对称催化还原难以进行。另外，由于所设计的还原产物含有处在吲哚苄位的胺基，稳定性较差，造成保护基脱除困难。 烯胺C-亚磺酰化反应是本课题组最近发现的一个新反应，之前未见文献报道。本研究对该反应进行了反应条件优化和底物扩展，发现带Cbz，Ac，COt-Bu，CO2Et，Bz等保护基的一系列环状和非环状烯胺在亚磺酸钠、DMAc和MeSiCl3的共同作用下能高效高产率生成β-胺基烯基亚砜类新化合物，为合成多官能团化的烯基亚砜新化合物提供了一条简便实用的途径。 The main constituent of Dracontomelum mangiferum B1, indoloquinolizidine alkaloid 10-Desbromoarborescidine A, has drawn great attention due to its calcium channel blocking activity. Its molecular structure is relatively simple compared with the other alkaloids of the same type, which has only one chiral center, albeit with four cycles A, B, C, and D. This compound is often used as a model target for exploring different strategies for the total synthesis of indole alkaloids. Nevertheless, so far there still lack practical and highly efficient methods for the asymmetric total synthesis of 10-Desbromoarborescidine A. Most of the current available methods rely on stoichiometric asymmetric synthesis for the construction of the chiral center. There is only one example reporting utilization of asymmetric catalysis, but with transition metal complex as the catalyst. Our retrosynthetic analysis shows that catalytic asymmetric reduction of imine could be used as the key step for the construction of the chiral center of Desbromoarborescidine A. Since in the previous studies our group has developed the asymmetric reduction of imines by trichlorosilane into a practical and highly efficient and enantioselective method using newly designed chiral organocatalysts, we hope to apply this method to develop a novel synthetic route for the total synthesis of Desbromoarborescidine A and its analogues in this study. According to the newly designed synthetic route, we first accomplished the synthesis of the key intermediates which was then examined for the critical asymmetric catalysis. The asymmetric reduction using the highly efficient organocatalysts, developed in our lab afforded high ee but poor yield. We tried different reaction conditions to improve the yield, but failed to get any good results. Simultaneously, to vertify the feasibility of the synthetic route we designed, we also tired to go through the route toward the racemic synthesis of Desbromoarborescidine A. But unfortunately, protection and deprotection proved to be big hurdles. All the different protection groups and different sequences of protection and deprotection we tried failed to get us through the designed synthetic sequence and furnish the final product. Most likely, the indole part is the culprit behind the failures.The NH group of the indole, no matter protected or not, may impact the catalytic asymmetric reduction of C-N double bond connected with 2-C. Additionally, the reduction product we designed contains an amino group in the β-position of the indole, which may cause problems due to its instability. C-sulfenylation of enamines is a novel reaction discovered recently by our group, which has not been seen before in the literature. In this study, optimization of the reaction conditions and exploration of the substrate scope were further undertaken for this reaction, which reveal that a series of enamines with N-Cbz, Ac, COt-Bu, CO2Et protection groups could all undergo smooth C-sulfinylations with the comined use of sodium benzene sulphinate, DAMc and MeSiCl3, efficiently furnishing the β-amino vinylsulfoxide products in high yield, affording a practical and highly efficient methods for synthesis of functional vinylsulfoxides.

高可用性工业以太网技术的研究与实现

针对现场总线控制系统对高可靠性和稳定性的要求会限制工业以太网的应用问题,在原有网络的基础上添加一个并行的冗余链路,以增强通信的可用性,减小通信链路故障对系统运行的影响。结合EPA通信协议栈,设计并行网络冗余解决方案,包括协议栈结构、帧结构和通信过程。给出该方案的性能分析。

PASSIM卷接机组新型电控系统的设计与实现

PASSIM卷接机组原控制系统采用电路板进行逻辑控制,抗干扰性能差,故障率高,造成生产效率降低、原材料消耗增大、维修工作繁重等。为此,设计了一套新型卷接机组电气控制系统。该系统采用PLC进行过程控制,以工控机为上位机完成人机通信,采用交流伺服驱动,并通过高速信号处理专用系统完成重量检测控制及烟支质量检测功能;利用PROFIBUS、CAN及MPI多种总线方式完成各单元间的通讯,实现信号和数据间的传递和共享。改进后的PASSIM机组运行稳定可靠,采样速度快,实时性强,且维修方便。机组的有效作业率由85%左右提高到90%以上,降低了卷烟纸和烟丝等原材料的消耗。

具有随机机器故障的制造过程建模与性能分析

为研究机器故障和维修活动对制造过程性能的影响,提出一种基于广义随机Petri网的制造过程建模与性能分析方法。分析了随机机器故障特征;定义了两种故障发现模式和两种中断作业处理策略;给出具有随机机器故障的制造过程的不同模型方法;通过对模型结构特征的分析,证明了其有效性。针对不同策略和参数设置进行了性能仿真。分别以平均产量和平均过程流时间等性能指标,分析了单个工作站的性能;采用平均产量,分析了具有两个工作站的流水线的性能。仿真结果表明,故障率、平均维修时间、缓存数量配置、维修工人数量、故障发现模式和中断作业处理策略是影响具有随机机器故障的制造过程性能的主要因素。

基于时间Petri网的制造过程模型研究

分析了时间Petri网的激发规则、托肯可用时间和抑制弧等特性,以及制造过程中随机故障的特征。提出不同的时间关联方式对应的多种建模方法,考虑不同的故障发现模式、不同的作业处理策略,建立相应的单机制造过程模型。在此基础上采用模块化和层次化方法可以构建复杂制造过程的时间着色Petri网模型,并可以转换成仿真模型,进一步分析随机机器故障对制造过程性能的影响。

小湾坝基卸荷岩体参数研究

The Xiao-wan Power Station is the second highest arch dam in the world under construction. The height of the dam is about 292m. Large-scale excavation in the dam foundation of Xiao-wan Power Station has brought intensive unloading phenomenon. We collected a large number of firsthand data on unloaded rock mass in dam foundation, which supplies a natural testing ground for researching unloaded rock mass after excavation. Detailed study was carried out on the parameters of unloaded rock mass in the dam foundation of Xiao-wan Power Station. The study is not only importance for the Xiao-wan Power Station, but also has important instruction significance to similar projects in the Southwest of China. In order to study the mechanical parameters of unloaded rock mass, large field and laboratory tests were carried out. The test results showed the size effect of the sample is obvious. The change of deformation modulus of rock is not obvious. However, the Poisson's ratio of rock is increased under unloaded condition, its value is even more than 0.5. The theoretical forecasted results is accordance to the field tests including sound wave data and deformation monitoring data, which shows the forecasted results were reasonable. The soften yield criterion was adopted in the thesis to study the characteristics of the brittle rock mass in order to simulate their brittle failures. Based on the study results above, the transform of the structural plane network model to the numerical one was carried out, which made it feasible to consider the influence of large amount joints on the mechanical characteristic of rock mass in the numerical analyses. Using a factor, the degree of the damage or strengthen of rock mass can be determined rapidly, which proposed a rapid and feasible method for the determination of the parameters of rock mass.

藏东南巨厚松散堆积体发育条件、成灾模式及防治对策——以川藏公路然乌至鲁朗段为例

The unique geologic, geomorphic and climatic conditions of southeast Tibet have made the region to develop the multi-style and frequently occurring geologic hazards, especially the collapses and landslides and debris flows along the section of Ranwu-Lulang in Sichuan-Tibet highway. However, most of those geologic hazards have close relationship with the loose accumulations. That is, the loose accumulations are the main carrier of most geologic hazards. Thereof, the huge-thick accumulations along the highway is regarded as the objective in the thesis to study the geologic background, hazarding model and mitigation methods comprehensively, based on the multi-disciplinary theories and former materials. First of all, in the paper, based on field engineering geologic investigations, the genetic type and the characteristics of spatiotemporal distribution of the huge-thick loose accumulations along the highway, have been analysized from the factors of regional geology and geomorphy and climate, as well as the coupling acting of those factors with inoculation and eruption of the loose accumulations geologic hazards. The huge-thick loose accumulations has complex genetic types and specific regulations of spatiotemporal distribution, closely controlled by the outer environment of the region. The accumulations are composed of earth and boulder, with disorder structure and poor sorting, specific forming environments and depositing conditions. And its physical and mechanic properties are greatly distinguished from rock and common earth inland. When Sichuan-Tibet highway was firstly constructed along the north bank of Purlung Tsangpo River, the huge-thick loose accumulations was cut into many high and steep slopes. Through the survey to the cut-slopes and systematic investigation to their failures, the combination of height and angle of the accumulations slope has been obtained. At the same time, the types of genetic structure of those cut-slopes are also analysized and concluded, as well as their failure models. It is studied in the paper that there are piaster, duality, multielement and complexity types in genetic structure, and rip-dump-repose, rip-shear-slip and weathering-flake types in failure models. Moreover, it is briefly introduced present engineering performance methods and techniques dealing with the deformation and failure of the accumulations cut-slope. It is also suggested that several new techniques of slope enforcement and the method of landslide and rockfall avoiding should be applied. The research of high and steep cut-slope along the highway has broadened the acknowledgement of the combination of cut-slope height and angle. Especially, the dissertation also has made the monographic studies about the geologic background and hazarding models and prevention methods of some classic but difficult accumulations geologic hazards. They are: (1) Research of the engineering geologic background of the 102 landslide group and key problems about the project of tunnel. The 102 landslide group is a famous accumulational one composed of glacial tills and glaciofuvial deposit. The tunnel project is a feasible and optional one which can solve the present plight of “sliding after just harnessing” in the 102 section. Based on the glacial geomorphy and its depositing character, distribution of seepage line, a few drillhole materials and some surveying data, the position of contact surface between gneiss and accumulations has been recognized, and the retreating velocities of three different time scales (short, medium and long term) have been approximately calculated, and the weathering thickness of gneiss has also been estimated in the paper. On the basis of above acknowledgement, new engineering geomechnic mode is established. Numerical analysis about the stability of the No.2 landslide is done by way of FLAC program, which supplies the conclusion that the landslide there develops periodically. Thereof, 4 projects of tunnel going through the landslide have been put forwards. Safety distance of the tunnel from clinohefron has been numerically analysized. (2) Research of the geologic setting and disaster model and hazard mitigation of sliding-sand-slope. From the geologic setting of talus cone, it is indicated that the sliding-sand-slope is the process of the re-transportation and re-deposit of sand under the gravity action and from the talus cone. It is the failure of the talus cone essentially. The layering structure of the sliding-sand-slope is discovered. The models of movement and failure of the sliding-sand-slope has been put forwards. The technique, “abamurus+grass-bush fence+degradable culture pan”, is suggested to enforcement and green the sliding-sand-slope. (3) Characteristics and hazarding model and disaster mitigation of debris flow. The sources of solid material of three oversize debris flows have been analysized. It is found that a large amount of moraine existing in the glacial valley and large landslide dam-break are the two important features for oversize debris flow to be taken place. The disaster models of oversize and common debris flows have been generalized respectively. The former model better interpret the event of the Yigong super-large landslide-dam breaking. The features of common debris flow along the highway section, scouring and silting and burying and impacting, are formulated carefully. It is suggested that check dam is a better engineering structure to prevent valley from steeply scouring by debris flow. Moreover, the function of check dam in enforcing the slope is numerically calculated by FLAC program. (4) Songzong ancient ice-dammed lake and its slope stability. The lacustrine profile in Songzong landslide, more than 88 meters thick, is carefully described and measured. The Optical Simulated Luminescence (OSL) ages in the bottom and top of the silty clay layer are 22.5±3.3 kaB.P., 16.1±1.7 kaB.P., respectively. It is indicated by the ages that the lacustrine deposits formed during the Last Glacial Maximum ranging from 25ka B.P. to 15ka B.P. The special characteristics of the lacustrine sediment and the ancient lake line in Songzong basin indicated that the lacustrine sediment is related to the blocking of the Purlung Tsangpo River by the glacier in Last Glacial Maximum from Dongqu valley. The characteristics of the lacustrine profile also indicate that the Songzong ice-dammed lake might run through the Last Glacial Maximum. Two dimensional numerical modeling and analysis are done to simulate the slope stability under the conditions of nature and earthquake by FLAC program. The factor of safety of the lacusrtine slope is 1.04, but it will take place horizontal flow under earthquake activity due to the liquefaction of the 18.33 m silt layer. The realign to prevent the road from landslide is suggested.

典型人类活动对边坡变形及稳定性的影响研究

China is a mountainous country in which geological hazards occurred frequently, especially in the east of China. Except the geology, topography and extreme climate, the large scale human activities have become a major factor to landslides. Typical human activities which induced landslides are fill, cut and underground mining. On the topic of the deformation mechanism and slope stability, taking three different man-made slopes as examples, deformation mechanism and slope stability were studied by several methods, such as field work, numerical modeling and monitor. The details are as following: (1) The numerical modeling approach advantages over other conventional methods such as limit methods, so the numerical modeling is the major tool in this thesis. So far, there is no uniform failure criterion for numerical simulation. The failure criterion were summarized and analyzed firstly, subsequently the appropriate criterion was determinated. (2) Taking 220kV Yanjin transformation substation fill slope as example, the deformable characteristic, unstable mode and laboratory tests were studied systematically. The results show: the slope deformation was probably caused by a combination effect of unfavorable topographic, geological and hydro geological conditions, and external loading due to filling. It was concluded that the creep deformation of the slope was triggered by external loading applied at the back of the slope. In order to define the calculating parameters, a set of consolidated drained (CD) tests, consolidated undrained (CU) tests, repeated direct shear tests and UCS tests were carried out. The stability of the slope before and after reinforcement was assessed using 3D numerical modeling and shear strength reduction technique. The numerical modeling results showed: the factor of safety (FOS) of the slope was 1.10 in the natural state, and reduced to 1.03 after fill, which was close to the critical state and it caused creeping slip or deformation under rainfall. The failure surface in the slope is in active shear failure, whereas tensile failure occurs at the slope crest. After the site was reinforced with piles, the FOS was 1.27. Therefore, the slope is stable after reinforcement measures were taken. (3) The cut slope stability is a complex problem. Taking the left cut slope of Xiangjiaba as example in this thesis, the deformation and slope stability were studied systematically by numerical modeling and monitor methods. The numerical results show: the displacement is gradually increasing along with the cutting, and the largest displacement is 27.5mm which located at the bench between the elevation 340 and 380. Some failure state units distribute near the undermining part and there is no linked failure state occurred from crest to bottom during cutting. After cutting, some failure units appeared at the ground surface between elevation 340 and 360. The increasing tense stress made the disturbed rock failed. The slope is stable after cutting by the monitor method, such as surface monitor, multipoint displacement meter, inclinometer and anchor cable tensometer. (4) The interaction between underground mining and slope stability is a common situation in mountainous. The slope deformation mechanism induced by underground mining may contributed significantly to slope destabilization. The Mabukan slope in xiangjiaba was analyzed to illustrate this. Failure mechanism and the slope stability were presented by numerical modeling and residual deformation monitor. The results show: the roof deformed to the free face and the floor uplift lightly to the free face. The subsidence basin is formed, but the subsidence and the horizontal movement is small, and there is no failure zone occurred. When the underground mining is going on, the roof deformation, subsidence and the horizontal movements begin increasing. The rock deformation near the free face is larger than the ground surface, and the interaction between these coal seams appeared. There are some tensile failures and shear failures occurred on the roof and floor, and a majority of failure is tensile failure. The roof deformation, subsidence and the horizontal movements increased obviously along with the underground mining. The failure characteristic is shear failure which means the tensile stress transformed to the compressive stress. So the underground mining will induced tensile stress first which lead to structure crack, subsequently the compressive stress appeared which result in slippage. The crest was subjected to horizontal tension which made the rock crack along with the joint. The long term residual deformation monitor demonstrates that the slope is stable after the underground mining stopped.