Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In this thesis, the main objective is to do scantling, weight optimization and possible cost optimization for a platform supply vessel (PSV) for different polar classes with respect to the rules of Llyod’s Register. Taking polar class 2 as an example, scantling of hull structure was calculated based on equations in the rules (rules for PSV, for general cargo ships, for polar class vessel). According to the calculation and data first processed in Excel, all parameters affecting the scantling can be pointed out, which is critical for the later weight optimization. Regarding to the limitation of the rules, the structural optimization methodology has to be limited in the relationship of a variety of parameters in the equations. The main weight optimization operation was performed by MALAB according to all equations and constrains needed. The optimized result including dimension of plate, deck, framing and other elements was obtained in the final comparison. In optimization process, panel based optimization was programmed and the combination of serial and parallel algorithm was selected to optimize CPU time. After finding the relationship of variables by using Excel, quantitative relationship and trend between variables was analyzed by using MATLAB. The top appropriate solution corresponding with the criteria was founded based on the database created by MATLAB. As for some detailed design, this research will specially consider about. In this research, several important trends were concluded which could significantly influence the design process. Cost optimization is a complicated topic for any kind of ship involving variety of aspects. In this research, several main parameters including weight, welding length and part number were identified and taken into account for multi-objective optimization, which was made with the same optimization method. According to Pareto Frontier chart, suitable solution could be found with respect to specific weight of parameters. To check the optimized design, Rules Calc was selected to prove that the design satisfies the requirement of rules. According to plastic design theory, FEM was performed to prove the design is acceptable in strength.

Ice breaking, Platform Supply Vessel, Structural design and optimization, cost optimization, part number, welding length, Rule based design --- Ingénierie, informatique & technologie > Ingénierie civile

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013. The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.

Computer science. --- Software engineering. --- Logic design. --- Information systems. --- Data mining. --- Information storage and retrieval systems. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Systems and Communication Service. --- Information Storage and Retrieval. --- Data Mining and Knowledge Discovery. --- Software Engineering. --- Logics and Meanings of Programs. --- Logic programming --- Semantic Web --- Rule-based programming --- Data structures (Computer science) --- Engineering & Applied Sciences --- Computer Science --- Rule-based methods (Computer science) --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Design, Logic --- Design of logic systems --- Computer software engineering --- Informatics --- Computer logic. --- Computers. --- Information storage and retrieval. --- Computer programming --- Information storage and retrieva. --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Engineering --- Database searching --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer networks. --- Computer and Information Systems Applications. --- Computer Communication Networks. --- Computer Science Logic and Foundations of Programming. --- Science --- Data centers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing