The subject which is to us propos¨¦ is as follows: calculation of the degr¨¦ d¡ ¯ inconsistance d¡ ¯ un logical program possibilist in C++. We thus work on a logical program possibilist, it be-¨¤-statement a logical program resulting from non-classique logic. The goal first of this project is of d¨¦ terminer if a logical program is consisting or not of share the calculation of sound degr¨¦ d¡ ¯ inconsistance.
ABAQUS is a general purpose finite element analysis program which is widely used to analyses mechanical, structure and civil engineering problems. Abaqus has some special feature for analysing fracture mechanics problems, and therefore it is a main tools for the FE-analysis in the Fracture Group at the Mechanical Engineering at Glasgow Universtity. The software which can transfer
data from Abaqus into a Matlab readable environment has been developed as a part of a research program in Constraint Estimation in Fracture Mechanics. This research program was funded by a grant from the Defence Research Agency through Prof. J. Sumpter.
This a full 3-tier dababase application which includes a activex dll project(business objects) and a standard exe(UI). Besides all the database techniques it demonstrates, it also shows how to make MSHFlexgrid a editable grid(with combobox, checkbox, datetimepicker) and how to merge a toolbar for multi forms.
This is a serial mouse driver, which is compliant with Plug and Play, supports dynamic detection (via serenum) and removal (either hotplug or via the device manager). The code serves as a sample for any serial-enumerable device. The behavior of the various routines is documented in the source code files.
Displays CPU time usage, the list of processes (can be terminated) and the task which are running (can be close or switch to). Plus a little net traffic monitor and a disk status report.
This a program to implement the so-called "dancing link" which is introduced in Knuth s paper. This is really a super
acrobatic and I am sure that not many programmers can understand the algorithms.
