面向嵌入式实时软件的需求规约语言及检测方法

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.

软件需求工程--方法及工具评述

文中从需求工程的基本概念和研究内容出发，简单介绍了需求工程生命周期和需求规范等概念；比较全面地总结了现有的有代表性的需求工程开发方法和工具，对其中一些重要的方法及工具作了分类和评述，并指出了需求工程方法和工具开发与实际领域相脱离等不足之处；最后探讨了需求工程研究现状中存在的一些主要问题及一些相应的解决方案

Some engineering issues of an FBG sensor with the dual gratings parallel matched interrogation method

The key issues of engineering application of the dual gratings parallel matched interrogation method are expanding the measurable range, improving the usability, and lowering the cost by adopting a compact and simple setup based on existing conditions and improving the precision of the data-processing scheme. A credible and effective data-processing scheme based on a novel divisional look-up table is proposed based on the advantages of other schemes. Any undetermined data is belonged to a certain section, which can be confirmed at first, then it can be looked up in the table to correspond to microstrain by the scheme. It not only solves inherent problems of the traditional one (double value and small measurable range) but also enhances the precision, which improves the performance of the system. From the experimental results, the measurable range of the system is 525 mu epsilon, and the precision is +/- 1 mu epsilon based on normal matched gratings. The system works in real time, which is competent for most engineering measurement requirements. (C) 2007 Elsevier GmbH. All rights reserved.

Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

波动方程模拟与偏移的实用化方法研究

Along with the widespread and in-depth applications in petroleum prospecting and development, the seismic modeling and migration technologies are proposed with a higher requirement by oil industrial, and the related practical demand is getting more and more urgent. Based on theories of modeling and migration methods for wave equation, both related with velocity model, I thoroughly research and develop some methods for the goal of highly effective and practical in this dissertation. In the first part, this dissertation probes into the layout designing by wave equations modeling, focusing on the target-oriented layout designing method guided by wave equation modeling in complicated structure areas. It is implemented by using the fourth order staggered grid finite difference (FD) method in velocity-stress 2D acoustic wave equations plus perfectly matched layer (PML) absorbing boundary condition. To design target-oriented layout: (a) match the synthetic record on the surface with events of subsurface structures by analyzing the snapshots of theoretical model; (b) determine the shot-gather distance by tracking the events of target areas and measuring the receiving range when it reaches the surface; (c) restrict the range of valid shot-gather distance by drawing seismic windows in single shot records; (d) choose the best trace distance by comparing the resolution of prospecting targets from the simulated records with different trace distance. Eventually, we obtained the observation system parameters, which achieve the design requirements. In the second part, this dissertation presents the practical method to improve the 3D Fourier Finite Difference (FFD) migration, and carefully analyzes all the factors which influence 3D FFD migration’s efficiency. In which, one of the most important parameters of migration is the extrapolating step. This dissertation presents an efficient 3D FFD migration algorithm, which use FFD propagator to extrapolate wavefields over big layers, and use Born-Kirchhoff interpolator to image wavefields over small layers between the big ones. Finally, I show the effectiveness of this hybrid migration method by comparing migration results from 3D SEG/EAGE model with different methods.

任职者工作分析评价结果影响因素的多水平探讨

As the foundation of other human resource practices, job analysis plays an essential role in HR management. Exploring sources of variance in job analysis ratings given by incumbents from the same job is of much significance to HRM practices. It can also shed lights on employee motivation in organizations. But previous studies in job analysis field have usually been conducted at individual level and take variance in job analysis ratings given by incumbents of the same job as error or bias. This dissertation takes the position that the variance may be meaningful based on role theory and other relevant theories. It first reviewed pervious studies on factors which may influence job analysis ratings provided by incumbents of the same job, and then investigated individual, interpersonal and organizational level variables which may exert impacts on these job analysis ratings, using multilevel data from 8 jobs of 1124 incumbents. The major findings are as follows: 1) Level of job performance and job attitudes affect incumbents’ job analysis ratings by incumbents of the same job at individual level. Specifically, incumbents with high level of job performance rated their job require higher levels of technical skills (power plant designers), and regarded information processing activities as more important to their job (book editors). Regarding the effects of job attitudes, incumbents of the four jobs with high level of job satisfaction gave higher importance and level ratings on organizational and cognitive skills, as well as higher level ratings on technical skills. Further, incumbents with higher affective commitment provided higher importance and level ratings of cognitive skills. Lastly, more involved job incumbents perceived organizational skills and cognitive skills as more important, and required at higher levels, for their job. 2) Leader-Member Exchange and goal structure also have effects on job analysis ratings by incumbents of the same job at interpersonal level. In good quality LMX relationship, news reporters rated decision-making activities and interpersonal activities as more important to their job. On the other side, when book editors structured their goals as cooperative with others’, they provided higher importance ratings on reasoning and interpersonal skills, and related personality requirements, as well as higher level ratings on reasoning abilities. 3) Worker requirements for the identical job are distinct from one organization to another. Specifically, there were between-organization differences in achievement orientation and conscientiousness related personality requirements. In addition, two dimensions of organizational culture, achievement-oriented culture and integrity-oriented culture in particular, were significantly associated with importance ratings of achievement orientation and conscientiousness related personality requirements respectively. Furthermore, achievement-oriented culture both directly and indirect (through job involvement) influenced achievement orientation related personality requirements. The results indicate that variation in job analysis ratings provided by incumbents of the same job may be meaningful. Future job analysis studies and practices should consider the impacts of these individual, interpersonal and organizational level factors on job analysis information. The results also have important implications for employee motivation concerning how organizational demands can be transformed into specific job and worker requirements.