基于过程组件的物流管理系统模型设计及分析

物流管理系统是工作流管理系统的重要组成部分,是企业经营过程的核心,借鉴组合Petri网的思想,在组件技术和分布式对象技术的基础上,提出了基于过程组件的物流管理系统的层次结构模型,该模型中,可复用的中等粒度的过程组件通过内部建立数据流和控制规则库,屏蔽了精细粒度的原子性对象之间的调用关系,提高了组件的重用性,提出了重组策略,给出了该模型的Petri网映射模型,为模型的性质分析提供了可靠的分析工具。

基于过程组件模型的流程引擎设计

针对目前工作流界标准众多、流程引擎和定义语言绑定、各业务领域重复开发流程引擎的现状,设计并实现一种基于过程组件模型的流程引擎框架。该框架采用流程虚拟机的架构设计,从多个流程语言提取流程的共性,摈除流程语言间活动类型的差异性,从流程定义中分离节点执行定义,从而支持多种流程定义语言。验证结果表明了该设计的可行性。这种过程组件框架能够降低从业务模型到流程定义语言之间的损耗,实现流程引擎与流程语言的解耦。

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.

基于目标驱动和过程重用的Web服务客户化定制模型

Web服务不仅是一项技术，它也代表了软件产业的一种商业模式,即通过开发、提供和维护 Web服务来获取利润.因此,需要研究如何使Web服务能够更好地满足客户的个性化需求.该文参考了制造业中的“大规模定制”的概念,提出了Web服务客户化定制的思想.文中建立了Web服务客户化定制的模型及其支持系统的框架,该模型通过目标本体建模、过程组件重用和过程柔性定制来实现服务的定制.通过该模型,系统提供的知识和客户的隐性知识实现了融合,满足了客户直接构造和驱动个性化Web服务过程的需要.

工程图档设计过程管理模型的设计与实现

提出一个支持工程图档设计过程的设计事务管理模型 ,并详细介绍了设计过程管理组件的安全管理方法和日志管理方法的设计与实现。

A simulation of diesel hydrotreating process with real component method

Computer simulation is a good guide and reference for development and research on petroleum refining processes. Traditionally, pseudo-components are used in the simulation, in which their physical properties are estimated by empirical relations and cannot be associated with actual chemical reactions, as no molecular structure is available for pseudo-components. This limitation can be overcome if real components are used. In this paper, a real component based method is proposed for the simulation of a diesel hydrotreating process by using the software of Unisim Design. This process includes reaction units and distillation units. The chemical reaction network is established by analyzing the feedstock. The feedstock is characterized by real components, which are obtained based on true boiling point curve. Simulation results are consistent with actual data.

An Orthogonal Approach to Reusable Component Discovery in Cloud Migration

As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuable components need to be discovered and reused in order that the target system could be developed/integrated more efficiently.An innovative approach is proposed in this paper to extract the reusable components from legacy systems.Firstly,implementation models of legacy system are recovered through reverse engineering.Secondly,function models are derived by vertical clustering,and then logical components are discovered by horizontal clustering based on the function models.Finally,the reusable components with specific feature descriptions are extracted.Through experimental verification,the approach is considered to be efficient in reusable component discovery and to be helpful to migrating legacy system to SaaS.

Knowledge-based engineering approach for the support of ship structure design

The paper presents a knowledge-based engineering （KBE） approach for ship node components design. In the ship design process, many design tasks need design experiences to support. Howev- er, a ship design process is a complicated process with many simultaneously repetitive and time-con- suming activities. In this research, the method combines KBE with Tribon system＇s built-in devel- opment language tools of Vitesse, captures and applies design knowledge for achieving standard com- ponents intelligent design modeling. A case study and industry implementation illustrate the feasibili- ty of the proposed methodology. The KBE technique can provide not only proper references, sug- gests and supports but also knowledge integrated in the ship structure design. Especially, these rules related to the design can avoid lots of design mistakes. During the ship design stage, getting more precise and better designs will not only reduce the time of rework and wasting resources but also shorten the construction time_ imnrov~ clilnl;hz ~nA nrnf;t

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.

An Effective Long String Searching Algorithm towards Component Security Testing

In the execution of method invocation sequences to test component security,abnormal or normal information is generated and recorded in a monitor log. By searching abnormal information from monitor log,the exceptions that the component has can be determined. To facilitate the searching process,string searching methods could be employed. However,current approaches are not effective enough to search long pattern string. In order to mine the specific information with less number of matches,we proposed an improved Sunday string searching algorithm in this paper. Unlike Sunday algorithm which does not make use of the already matched characters,the proposed approach presents two ideas — utilizing and recycling these characters. We take advantage of all matched characters in main string,if they are still in the matchable interval compared with pattern string,to increase the distance that pattern string moves backwards. Experimental analysis shows that,compared to Sunday algorithm,our method could greatly reduce the matching times,if the scale of character set constituting both main string and pattern string is small,or if the length of pattern string is long. Also,the proposed approach can improve the search effectiveness for abnormal information in component security testing.

Components of Liquid Media on the Production of High Spore Concentrations of Lecanicillium lecanii （Zimm.） Gams and Zare

Two Lecanicillium lecanii isolates, ATCC26854 and V3, were evaluated for spore production in liquid media. Both isolates have interesting known properties for the production of high concentrations of chitinases （ATCC26854）, and an outstanding pathogenic activity against the green cabbage aphid, Brevicorine brassiacae （L.）. The isolates were grown on thirteen different liquid media, which had been used to produce other entomopathogenic Hyphomycetes. Experiments were carried out at 27 -4- 1 ℃ with a 12：12 photoperiod using shake flasks. The production of spores was quantified during a seven days period, and the effects of the media were evaluated by determining spore concentration and morphology. Submerged conidia yields were higher with ATCC26854 than with V3 in all thirteen media, while higher concentrations （5.3×10^9, 4.6 ×10^9 and 3.4 ×10^9 conidia/mL） were found with ATCC26854 isolate in the Camaron, Minerales and Jenkins-Prior medium, respectively; lower yields （2.3 ×10^8, 2.2 ×10^8 and 2.3 ×10^8 conidia/mL） were found with the V3 isolate in Catroux, TKI and Camaron media, respectively. Spore production curves were adjusted to different sigmoid models. The process was better explained by the Richards model （r^2 = 0.99）. Concerning conidia morphology, submerged conidia seemed to look like aerial conidia, but they were different in size （ATCC26854 2.73-6.99 μm and V3 5.28-14.29 μm）; however, the dimensions fall within the ranges reported for L. lecanii. The analysis of shake flask cultures with the Richards model allowed selecting two low-cost liquid medium, Camaron and Jenkins-Prior, for scaling up conidia production for use in aphid biological control programs.

＂Add-ons＂ to the Value-Added of ELTs

Teacher evaluations intend to cultivate quality among teachers. However, since they are traditionally dependent on observers and their reports that are likely biased, the procedures probably effectuate discords among the calling-teaching professionals. An evaluation procedure that can ascertain fairness in the decisions about teacher retentions, terminations, promotions, and sanctions can capture the accordance of all teachers and teacher facilitators. This paper identifies the possibility of such an evaluation system that is built upon the existing value-added methods. Drawing upon the observations and recommendations by Chetty, Friedman, and Rockoff （2012） on value-added methods of evaluation, and considering the uniqueness of ELTs （English Language Teachers） as it was observed by Borg （2006） and Lee （2010）, this paper describes the application of the value-added evaluation method, in gauging the quality of ELTs. The paper further explicates the vantages and conformities embodied in the procedure that could boost up the morale of ELTs as independent professionals of a creative art, and help them perform to their fullest potential

On the non-synchronous rotation of binary systems

During the evolution of the binary system, many physical processes occur, which can influence the orbital angular velocity and the spin angular velocities of the two components, and influence the non-synchronous or synchronous rotation of the system. These processes include the transfer of masses and angular momentums between the component stars, the loss of mass and angular momentum via stellar winds, and the deformation of the structure of component stars. A study of these processes indicates that they are closely related to the combined effects of tide and rotation. This means, to study the synchronous or non-synchronous rotation of binary systems, one has to consider the contributions of different physical processes simultaneously, instead of the tidal effect alone. A way to know whether the rotation of a binary system is synchronous or non-synchronous is to calculate the orbital angular velocity and the spin angular velocities of the component stars. If all of these angular velocities are equal, the rotation of the system is synchronous. If not, the rotation of the system is non-synchronous. For this aim, a series of equations are developed to calculate the orbital and spin angular velocities. The evolutionary calculation of a binary system with masses of 10M~ ＋ 6Me shows that the transfer of masses and angular momentums between the two components, and the deformation of the components structure in the semidetached or in the contact phase can change the rotation of the system from synchronous into non-synchronous rotation.

Tensile behaviors of filaments with misfit of chirality

Slender chiral filaments are ubiquitous in both artificial and biological materials.Due to their chiral microstructures,chiral filaments usually exhibit favorable properties such as superior elasticity and unusual stretch-twist coupling deformation.However,how these chiral microstructures affect the elastic behavior of filaments remains unclear.In this paper,a refined Cosserat rod model with misfit or mismatching of chirality induced by inhomogeneous arrangement of chiral microstructures incorporated is developed.Using the refined rod model,the force-displacement relationships and variation of structural chirality during the tensile processes of two typical helical structures,i.e.,single-strand helix and double-strand helix,are investigated.The results show that the misfit of chirality can lead to a bend-twist deformation with a high coupling degree,which makes the rod much“soft”when stretched.The chiral filaments undergo an unusual twist when stretched,corresponding to an obviously nonlinear variation of structural chirality.The work suggests that the misfit of chirality can be used to tune the elastic behavior of chiral filaments,which is helpful in guiding the design of flexible actuators and soft devices.