InventionTool 3.0, which is a CAI software based on TRIZ, is created by Institute of Innovation of Hebei University of' Technology. Using the CAI software, designers can solve innovation problem. During the design process, the InventionTools 3.0 plays a very important role. Firstly, the technical evolution module of the InventionTools 3.0, as an effective method, is used to obtained conceptual ...

We consider the individual points on a Martin-Löf random path of Brownian motion. We show (1) that Khintchine’s law of the iterated logarithm holds at almost all points; and (2) there exist points (besides the trivial example of the origin) having effective dimension < 1. The proof of (1) amounts essentially to showing for almost all times t, the path f is random relative to t and the dimension...

Knowledge is the essential source of enterprise competitive predominance. As the changes of the enterprise environment, the multinational corporation will pay more attention to the effective flow of knowledge and internal integration. But the cross-border transfer of the knowledge has many obstacles, especially the tacit knowledge sharing. As viewed from the tacit knowledge characteristic, it i...

Description The library contains R-functions to estimate the effective dimension reduction space in multi-index regression models.

In this paper we propose a simple and effective method to find the inverse of arrowhead matrices which often appear in wide areas of applied science and engineering such as wireless communications systems, molecular physics, oscillators vibrationally coupled with Fermi liquid, and eigenvalue problems. Amodified Sherman–Morrison inversematrix method is proposed for computing the inverse of an ar...

Complex, perilous domains like surgery and aviation require accurate responses under extreme time constraints. Checklists improve important outcomes in these domains. However, current designs are based largely on intuition; there is little theory or empirical work about designing effective procedure aids. Furthermore, discretionary checklist use is fragmented and bursty rather than predictable ...

The Normalized Difference Snow Index (NDSI) is an effective index for snow-cover mapping at large scales, but in forested regions the identification accuracy for snow using the NDSI is low because of forest cover effects. In this study, typical evergreen coniferous forest zones on Qilian Mountain in the Upper Heihe River Basin (UHRB) were chosen as example regions. By analyzing the spectral sig...

Friedman showed how to turn a classical proof of a Σ 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classical proofs of such formulae. In this paper we show how to achieve the same goal efficiently using Krivine realizability with primitive numerals, and prove that the corresponding program is but the direct-style equivalent...

Action refinement is a practical hierarchical method to ease the design of large reactive systems. Relating hierarchical specification to hierarchical implementation is an effective method to decrease the complexity of the verification of these systems. In our previous work [15], this issue has been investigated in the simple case of the refinement of an action by a finite process. In this pape...