According to the website security and judicial forensics demands, a new Website Intrusion Forensics Model is proposed foe research. The model can discovery the website intrusion and forensic in time. This paper first ...
详细信息
In crowd animation production, it is difficult to design realistic and natural crowd motion paths using traditional methods. In order to solve the problems in generating paths of a crowd, a new approach based on an in...
详细信息
On the problem of data quantity in anomaly detection, traditional dendritic cell algorithms should be improved by proposing an antigen data preprocessing method which introduced suspected abnormal base. The abnormal d...
详细信息
The design of 3D model family in knowledge support framework has been recognized as an efficient means to realize sufficient 3D model variety to satisfy a range of customer demands. This paper proposed 3D model family...
详细信息
This paper proposes a new program on the integrity of the data to the probabilistic methods when the number of documents inserted the pseudo-tuple becomes large. In this program, pseudo-tuple inserted in accordance wi...
详细信息
This paper studies the characteristics of cloud computing environment, based on the traditional access control management technology, proposes a reference model for access control management in the cloud computing, de...
详细信息
Su-Field analysis, as one of the inventive problem solving tools, can be used to analyse and improve the efficacy of the technical system. Generally, the process of using Su-Field model to solve a specific inventive p...
详细信息
Su-Field analysis, as one of the inventive problem solving tools, can be used to analyse and improve the efficacy of the technical system. Generally, the process of using Su-Field model to solve a specific inventive problem includes: building a Problem Model, mapping to a Generic Problem Model, finding a Generic Solution Model based on the corresponding inventive standard, and finally establishing and instantiating a Solution Model. As one of the most important phases of Su-Field analysis, the last step is normally implemented manually with the help of physical effects, which link generic technical functions with specific applications and systems. The physical effects compatible with the context of the specific problem should be chosen to assist the users to instantiate the Solution Model. However, the physical effects and the specific problems are built at different levels of abstraction, and it is difficult for the users to choose, that is, given a certain function, too many physical effects are chosen while with the detailed context of the problem, no physical effect is returned. This paper firstly proposes a new way of representing physical effects using the change of two states, that is, the couple of two states before and after applying physical effects. Then, the knowledge about using physical effects is formalized in OWL (Ontology Web Language) - an ontology language for semantic web, and the constraint knowledge, such as the condition to use each kind of physical effect, is formalized in SWRL (Semantic Web Rule Language) - a rule language. Finally, the reasoning process of using physical effects is performed with the support of JESS (Java Expert System Shell) rule engine.
While TRIZ is increasingly developing both in research and education, users always encounter difficulties in their attempts to practice it, especially for one of the most complicated inventive problem solving tools, t...
详细信息
While TRIZ is increasingly developing both in research and education, users always encounter difficulties in their attempts to practice it, especially for one of the most complicated inventive problem solving tools, the Su-Field analysis, which is used to analyze and improve the efficiency of a technical system. Generally, the process of using a Su-Field model to solve a specific inventive problem includes: building a Problem Model, mapping it to a Generic Problem Model, finding a Generic Solution Model based on the corresponding inventive standard and finally establishing and interpreting a Solution Model in real life. As one of the most important phases of the Su-Field analysis, the last step is normally implemented manually with the help of the pointers to physical effects, which link generic technical functions to specific applications and systems. The adequate pointer, compatible with the context of the specific problem, should be chosen to assist the users to instantiate the Solution Model. However, the pointers to physical effects and the specific problems are built at different levels of abstraction, so it is difficult for the users to choose among many eligible pointers to physical effects given a certain function. This paper proposes a heuristic method to use the pointers to physical effects based on ontology reasoning. The use of formal models, called ontologies, allows to formally define the concepts about the models and the effects and to apply logical reasoning on them. An inventive standards ontology and a physical effects ontology are firstly built to describe the process of Su- Field analysis, and then the logical reasoning rules are established according to a lexical dictionary, the analysis of the inventive standards and the physical effects. The lexical dictionary, based on WordNet, is built to improve the selection of the appropriate effect to apply. Finally, ontology reasoning is implemented to provide heuristic physical effects for the users.
While TRIZ is increasingly developing both in research and education, new users always encounter difficulties in their first attempts to practice it. In such situation, Altshuller's original matrix often appears a...
详细信息
While TRIZ is increasingly developing both in research and education, new users always encounter difficulties in their first attempts to practice it. In such situation, Altshuller's original matrix often appears as an “easy-to-begin- with” tool. However, while not being representative of what TRIZ really is, it continues to seduce new users, teachers and trainers. Several approaches to automate the use of the contradiction matrix have been proposed in literature, and researches on the automatic match between specific parameters of the artefact being considered and Altshuller's generalized parameters remains a topic of interest. In this paper, we propose a way to automate the proposal of equivalencies between a specific parameter and a generic parameter from the matrix. This method calculates the semantic distance between short texts, and uses it to fill the semantic gap between the specific parameters of the artefact and the generalized ones. Case-based reasoning is also used to improve the whole accuracy of the method.
Coding practice is the most efficient way in learning of programming related courses. In this paper, we propose a programming related courses' E-learning platform based on online judge. This platform is designed a...
详细信息
暂无评论