Component-based Control Software Design for Flexible Manufacturing System

A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.

Component-based software reliability process simulation considering imperfect debugging

In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.

CCPA: Component-based communication protocol architecture for embedded systems

For increased and various communication requirements of modem applications on embedded systems, general purpose protocol stacks and protocol models are not efficient because they are fixed to execute in the static mode. We present the Component-Based Communication Protocol Architecture （CCPA） to make communication dynamic and configurable. It can develop, test and store the customized components for flexible reuse. The protocols are implemented by component assembly and support by configurable environments. This leads to smaller memory, more flexibility, more reconfiguration ability, better concurrency, and multiple data channel support.

Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model

For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and quantitative analyses, the impacts to overall trustworthiness by the different types of components are distinguished. Considering the coupling relationship between components, dividing the system into several layers from target layer to scheme layer, evaluating the scheme advantages disadvantages by group decision-making, the trustworthiness of a typical J2EE structured component-based software is assessed. The trustworthiness asses model of the software components provides an effective methods of operation.

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.

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software （ CBS ） reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model （MMFSQM） to illustrate fault detection process （FDP） and fault correction process （FCP）. A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer＇ s quantitatively analyzing, measuring and predicting CBS reliability. K

A component-based back-propagation reliability model with low complexity for complex software systems

Since most of the available component-based software reliability models consume high computational cost and suffer from the evaluating complexity for the software system with complex structures,a component-based back-propagation reliability model(CBPRM)with low complexity for the complex software system reliability evaluation is presented in this paper.The proposed model is based on the artificial neural networks and the component reliability sensitivity analyses.These analyses are performed dynamically and assigned to the neurons to optimize the reliability evaluation.CBPRM has a linear increasing complexity and outperforms the state-based and the path-based reliability models.Another advantage of CBPRM over others is its robustness.CBPRM depends on the component reliabilities and the correlative sensitivities,which are independent from the software system structure.Based on the theory analysis and experiment results,it shows that the complexity of CBPRM is evidently lower than the contrast models and the reliability evaluating accuracy is acceptable when the software system structure is complex.

Reliability Evaluation Optimal Selection Model of Component-Based System

If the components in a component-based software system come from different sources, the characteristics of the components may be different. Therefore, evaluating the reliability of a component-based system with a fixed model for all components will not be reasonable. To solve this problem, this paper combines a single reliability growth model with an architecture-based reliability model, and proposes an optimal selecting approach. First, the most appropriate model of each component is selected according to the historical reliability data of the component, so that the evaluation deviation is the smallest. Then, system reliability is evaluated according to both the relationships among components and the using frequency of each component. As the approach takes into account the historical data and the using frequency of each component, the evaluation and prediction results are more accurate than those of using a single model.

Testing Component-Based Software: What It has to do with Design and Component Selection

In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development.

Leveraging React Components in Business Process Management (BPM) Applications

As organizations increasingly embrace digital transformation, the integration of modern web technologies like React.js with Business Process Management (BPM) applications has become essential. React components offer flexibility, reusability, and scalability, making them ideal for enhancing user interfaces and driving user engagement within BPM environments. This article explores the benefits, challenges, and best practices of leveraging React components in BPM applications, along with real-world examples of successful implementations.

智能井智能优化开采系统软件开发

为提高我国智能井研究与应用水平,结合雷64-34-22井的实际生产状况,设计完成智能井的关键部分——智能优化开采软件系统,实现数据的记录、存储、分析和优化开采等功能。该软件系统将理论合理产量和实际合理产量相结合,以降低含水率、提高产油量为原则,确定油井的最终合理产量,实现油井的智能优化开采。现场应用结果表明,该系统运行安全可靠,采用该系统进行生产,雷64-34-22井采收率提高10.5%,具有良好的经济效益。

J2EE-BASED DISTRIBUTED AND INTEGRATABLE MANUFACTURING EXECUTION SYSTEM

Using the Java 2 enterprise edition (J2EE), the industry standard technique, a component and web-based manufacturing execution system (MES), is presented. It is considered to be open, modularized, distributed, configurable, interoperable and maintainable. After introducing some core techniques of J2EE as the basic foundations of the proposed MES, this paper briefly analyzes the MES domain in manufacturing systems and constructs the abstract object and component model, and then establishes the MES architecture. This MES can be facilely integrated with other manufacturing applications. Finally, an example of integration with the enterprise resource planning (ERP) system is given.

FairWinWin:以公平共赢为目标的需求协商方法

公平分配是协商理论中选择共赢协议的基本原则。基于最小潜在价值比例最大化公平分配方法和经典的WinWin需求协商过程,提出一种以公平共赢为目标的需求协商方法FairWinWin。该方法包括一个实现公平共赢的需求协商过程和一个选择帕累托最优共赢需求协议的算法。通过一个案例对FairWinWin方法进行验证,实验结果表明,FairWinWin方法可以有效促进涉众对共赢决策的理解,帮助涉众得到帕累托最优的共赢需求协议。

创新实践教学模式,培养复合型人才

针对目前高校现行实践教学体制存在的弊端,在分析产生原因的基础上,提出一种科学的实践教学模式,该模式与信息与计算科学专业培养的目标以及社会发展的内在需求相结合,在信息处理和软件开发能力培养方面取得一定效果,增强了学生就业竞争力。

A formal description method for P2P network models

To meet the requirements of modeling the new modality of peer-to-peer（P2P）network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurrent network interactions is studied. The main characteristics and the classifications of P2P systems are discussed. Considering the requirements of P2P application modeling and referring to the component-based modeling thought, a description method based on communicating sequential processes （CSP）is proposed for the P2P network models. By using a CSP process group, this method can describe the dynamic interactive relationship which focuses on multiparty concurrent interaction of P2P systems more advantageously and accurately. The application of nondeterministic semantemes of CSP in describing the interactive relationship of P2P networks is discussed. The advantages and description abilities of the proposed method are demonstrated through the modeling of a new P2P media-on-demand system.

Retrieving reuse component based on semantic

According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process model is put forward by combining the domain ontology with the relative concept match algorithm. A detailed illustration of a component reasoning engine and a component classification engine is given and the component classification algorithm is provided by using the Naive Bayes algorithm based on domain ontology. The experimental results show that the recall ratio and the precision ratio are obviously improved by using the method based on semantics, and demonstrate the feasibility and effectiveness of the proposed method.

一种缩短某型飞行器飞控组件测试数据处理时间的方法

某型飞行器的飞控组件测试数据量大,处理这些测试数据需要耗费大量的时间,造成产品交付进度慢。为解决这个问题,文章首先分析了造成某型飞控组件测试数据处理时间长的主要原因,通过建立理论模型、优化试验流程、开发数据处理软件等手段进行控制,缩短了产品试验数据处理时间。结果表明,与改进前对比,使用该方法后飞控组件测试数据处理时间明显缩短。

调洪演算数值计算软件在康家沟灰场改造中的应用

利用吴江江等人编译设计出的拦洪坝调洪演算数值计算软件对大唐略阳发电厂康家沟灰场改造中的拦洪坝进行调洪演算。通过与传统的试算法和图解法进行对比发现,使用该软件能够快速、灵活、方便地进行调洪计算,很大程度地提高了设计人员的效率,且可以精确合理地确定坝高及排水构筑物的尺寸,使得整个工程造价最小,有很大的经济效益。

基于OpenGL的航空发动机高空舱试验数据回放系统

根据航空发动机高空舱试验,应用VC++6.0开发环境,结合OpenGL图形接口,对发动机试验模拟演示。首先应用3ds Max软件,对发动机进行真实建模;其次应用OpenGL技术,模拟出气流流动和发动机的火焰,用图像显示发动机各截面的压力场及温度场;然后应用MFC,设计人机有好的操作界面;最后利用虚拟仪表技术,设计发动机试车过程中的虚拟表盘。系统可应用于发动机试车演示、教学和模拟操作等领域。

rCOS： a formal model-driven engineering method for component-based software

Model-driven architecture （MDA） has become a main stream technology for software-intensive system design. The main engineering principle behind it is that the inherent complexity of software development can only be mastered by building, analyzing and manipulating system models. MDA also deals with system complexity by provid- ing component-based design techniques, allowing indepen- dent component design, implementation and deployment, and then system integration and reconfiguration based on com- ponent interfaces. The model of a system in any stage is an integration of models of different viewpoints. Therefore, for a model-driven method to be applied effectively, it must pro- vide a body of techniques and an integrated suite of tools for model construction, validation, and transformation. This requires a number of modeling notations for the specifica- tion of different concerns and viewpoints of the system. These notations should have formally defined syntaxes and a unified theory of semantics. The underlying theory of the method is needed to underpin the development of tools and correct use of tools in software development, as well as to formally ver- ify and reason about properties of systems in mission-critical applications. The modeling notations, techniques, and tools must be designed so that they can be used seamlessly in sup- porting development activities and documentation of artifactsin software design processes. This article presents such a method, called the rCOS, focusing on the models of a system at different stages in a software development process, their se- mantic integration, and how they are constructed, analyzed, transformed, validated, and verified.