The basis function of hyperbolic polynomial B-spline of n order with shape parameter is constructed, so that the shape of the constructed curve can be adjusted by changing the parameter value. The hyerbola can be repr...
详细信息
This article has carried on the simple introduction to the V AR meaning and the computational method, uses CAPM (capital asset fixed price model) to carry on the modeling to the financial property repayment, carries o...
详细信息
Because of the current control systems are all nonlinear control systems, how to set up a mathematical model of nonlinear control systems has been a hot issue in the study of control, such problems are solved with neu...
详细信息
A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified modeling Language) to model the function requir...
详细信息
ISBN:
(纸本)9781424472369
A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified modeling Language) to model the function requirement and FSM (Finite State Machine) to verity the safety requirements of the specification. The device specifications of railway interlocking system are modeled with UML, and dynamic behaviors of the device and whole system are modeled with FSM, the safety specification is translated LTL (Linear Temporal Logic) and analyzed with NuSMV. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signaling system.
The CIELAB space is known as hue non constancy. This is why gamut mapping in constant hue angle in CIELAB space may not give satisfactory performances. To solve this problem, a new color space tLAB was constructed, wh...
详细信息
In view of China's one-child policy, as a learner, each only child in the family has his or her personality. This article built a learner's personality-centered model of Human-computer Interaction system, then...
详细信息
Network GIS has a bright future, and gradually becomes the mainstream of GIS applications. ArcGIS Server is ESRI's enterprise-class GIS platform, it can be used to publish a variety of standard Web Services, and c...
详细信息
Orthogonal space-time block code (OSTBC) can greatly improve transmit speed rate and mitigate the effect caused by atmospheric turbulence, furthermore it can reduce the error rate in the wireless optical communication...
详细信息
Implementation in a low-level language exposes problems with the systemmodeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementa...
详细信息
ISBN:
(纸本)9781424472369
Implementation in a low-level language exposes problems with the systemmodeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementation and lead to significant changes being made. Implementation in a high-level language with well-defined and safe semantics could be a good solution to this issue. In this paper, Petri nets have been used to model systems. By defining rules to map Petri net to Haskell, a functional language, we get a high level implementation of the system. After executing Haskell program, we can check in the early design phase the problems that will be found in the late implementation phase. Gas station problem has been employed to illustrate our method.
Because of complex status of the burning zone, cement rotary kiln production control depends on man-watch operation mode, which causes problems of weak coherence of product quality and big depletion of resources. Put ...
详细信息
暂无评论