The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
BIM is a detailed expression about information of projects which is based on 3D digital technology and integrates all kinds of visualization digital architectural models of relevant information in construciton project. At the same time, it supplys scientific cooperation platform about "simulation and analysis" for designer, architect, engineer, developer and end user, and helps them utilize...
The modeling and kinetic simulation on a pendular telescopic coal flowing equipment are introduced in this paper based on the software Pro/E. There are five main components' modeling included the train and the railway are given through this software. Using the software, the simulated assembling is provided, and the moving relation is established about the practice working state. The reasonable drivers...
Encapsulated invoking structural analysis can be carried out by using VB to realize the secondary development of ANSYS. Firstly, the parametric command flow file of the problem to be analyzed will be compiled, which is based on the exploitation capability of APDL of the finite element analysis software ANSYS. Then, the analysis of the structure will be automatically completed, through a convenient...
The constraints to manage in a telecom splitter design are numerous and according to a given splitter structure, the choice became difficult. The paper proposes a software tool allowing the design of such filters. This one carries out the modelling of the electrical circuit configurations, and creates the corresponding computation code, used for simulation or optimisation. The methodology is detailed...
State charts is widely used as a behavioral modeling language for reactive systems for its concise and intuitive expression, especially a few high security system. However, the lack of formal semantics makes it difficult to analyze and validate the system which it described. The paper proposed a formalization method based on temporal description logic. Firstly, temporal description logic (TDLs) is...
The reusability of the Product Quality Tracking System is currently very poor. And the software resources' sharing is not adequate. Because of these shortages, this paper researches on the component-based software development, and uses the idea of domain engineering to get the domain modeling of Product Quality Tracking and the DSSA (domain-specific software architecture). This paper first analyzes...
This work presents a Hybrid Model Library (HML) for enhancing the analysis of ship electrical systems. Lots of studies were made in order to select the most appropriated software platform to test the new models developed. This work shows examples of models developed in Simulink-MATLAB and PSIM platforms. Later on, we present a research methodology based on modeling techniques by hybridization. Several...
This paper describes a graphical method for the optimization of Quadrature Voltage Controlled Oscillators (QVCOs) based on the coupling of two LC-tank VCO. A three-dimensional phase noise analysis diagram and graphical optimization approach is presented, to optimize QVCO phase noise while satisfying design constraints such as power dissipation, tank amplitude, tuning range and start up condition....
On the basis of interrelated researches, this essay summarizes the basic definition and classification, and provides a model which consists of six views to modeling composite connector. The center of this model is function view, with the aspect view, framework view, logic/data view, behavior view and integrated view running through, and then the above six views form a systematic whole describing and...
Depth study of the network environment based on software engineering theory and cutting-edge technology to improve the competitiveness of China's software industry breakthrough. Only by having a strong independent research and development of software innovation can fundamentally industrial upgrading its software, and resolve network resources brought by the deepening of the software application bottlenecks...
The reliability of automated system management solutions will increase in importance as the use of cloud computing and data centres expands. As part of a study to improve reliability, this paper provides a classification of faults that can occur in automated system management and proposes a method for determining the severity of such faults. A baseline deployment is compared with an alternate proposed...
Due to the problem of complex relation between different data types existing in information model of fault tree diagnosis, the modeling method for information model of fault tree diagnosis based on UML is proposed. Firstly, the requirement of integrated diagnosis and AI-ESTATE to information in test and diagnostic environment and the shortage of information model of fault tree diagnosis is analyzed...
An evaluation model of plastic forming process and forming quality of metal tubes is proposed by considering restrictions of manufacturing resource, geometry and forming quality. Three key technologies including evaluation index system, modeling of evaluation knowledge and evaluation workflow are studied in detail. Simulation method of bending process is introduced to study the machining character...
Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To handle specification...
Automated verification of noninterference is commonly considered more precise than type-based approach on enforcing secure information flow for program. We propose an approach on model checking symbolic pushdown system generated from Java bytecode, and develop a deployment-time verification framework to ensure noninterference of bytecode. In order to overcome the constraints brought by the nature...
Products with new features need to be introduced on the market in a rapid pace and organizations need to speed up their development process. The ordinary way to develop products, one at a time, is not time efficient enough and is costly. Reuse has been suggested as a solution, but to achieve effective reuse within an organization a planned and proactive effort must be used. Product lines are the most...
In order to solve the problem of rigidity in IT architecture and the existence of heterogeneous information islands within most enterprises, a novel service-oriented IT architecture-SOA (service-oriented architecture)emerges. The realization of SOA is embodied in the accomplishments of various IT applicable functions in the form of service encapsulation and the interconnection and interoperation of...
Programmable logic controllers (PLCs) are widely used in computer-based industrial applications. Timers play a pivotal role in PLC real-time embedded system applications. The paper addresses the formal validation of PLC systems with timers in the theorem proving system Coq. The timer behavior is characterized formally. A refinement validation methodology is presented in terms of an abstract model...
Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software development through convincing examples to improve software trustworthiness.
Hirschsprung's disease, or HD, is a disease of the large intestine. Mutations in the RET gene is one of the cause of Hirschsprung's disease, HD. Homo sapiens ret proto-oncogene AAH04257 from NCBI database was taken for this work. Homology modeling studies was done and 3D structure of RET protein was modeled. Tinospora is an Ayurvedic Herb. The structure of Tinospora was made and converted to Tinospora...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.