Simulation synergy : expanding TRNSYS capabilities and usability

Developers of simulation packages are now able to take advantage of the increase in available desktop computing power to expand the capabilities and usability of their programs. This paper will illustrate these opportunities by discussing the different techniques the developers of the TRNSYS software package have used to try and create a synergy between TRNSYS and external programs and between the developers and users of the program

Projected Density Matrix Embedding Theory with Applications to the Two-Dimensional Hubbard Model

Density matrix embedding theory (DMET) is a quantum embedding theory for strongly correlated systems. From a computational perspective, one bottleneck in DMET is the optimization of the correlation potential to achieve self-consistency, especially for heterogeneous systems of large size. We propose a new method, called projected density matrix embedding theory (p-DMET), which achieves self-consistency without needing to optimize a correlation potential. We demonstrate the performance of p-DMET on the two-dimensional Hubbard model.Comment: 25 pages, 8 figure

Calling the lp_solve Linear Program Software from R, S-PLUS and Excel

We present a link that allows R, S-PLUS and Excel to call the functions in the lp_solve system. lp_solve is free software (licensed under the GNU Lesser GPL) that solves linear and mixed integer linear programs of moderate size (on the order of 10,000 variables and 50,000 constraints). R does not include this ability (though two add-on packages offer linear programs without integer variables), while S-PLUS users need to pay extra for the NuOPT library in order to solve these problems. Our link manages the interface between these statistical packages and lp_solve. Excel has a built-in add-in named Solver that is capable of solving mixed integer programs, but only with fewer than 200 variables. This link allows Excel users to handle substantially larger problems at no extra cost. While our primary concern has been the Windows operating system, the package has been tested on some Unix-type systems as well.

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study

Recent advances in propositional satisfiability (SAT) include studying the hidden structure of unsatisfiable formulas, i.e. explaining why a given formula is unsatisfiable. Although theoretical work on the topic has been developed in the past, only recently two empirical successful approaches have been proposed: extracting unsatisfiable cores and identifying strong backdoors. An unsatisfiable core is a subset of clauses that defines a sub-formula that is also unsatisfiable, whereas a strong backdoor defines a subset of variables which assigned with all values allow concluding that the formula is unsatisfiable. The contribution of this paper is two-fold. First, we study the relation between the search complexity of unsatisfiable random 3-SAT formulas and the sizes of unsatisfiable cores and strong backdoors. For this purpose, we use an existing algorithm which uses an approximated approach for calculating these values. Second, we introduce a new algorithm that optimally reduces the size of unsatisfiable cores and strong backdoors, thus giving more accurate results. Experimental results indicate that the search complexity of unsatisfiable random 3-SAT formulas is related with the size of unsatisfiable cores and strong backdoors. 1

Технологии применения JDOM-функций для организации взаимодействия Java и приложений Microsoft на примере Excel

В настоящее время актуальными являются проблемы взаимодействия программ, написанных на разных языках программирования. Как, например, из Visual Basic вызвать функции некой DLL, написанной на C. Также необходимо обеспечивать взаимодействие между различными приложениями. В данном докладе рассматривалось взаимодействие Java-приложений и табличного процессора Excel, особенно популярном в образовательном пространстве. Данная проблема решалась в ходе написания курсового проекта «Использование JDOM-функций для работы с научными данными в XML-документах на языке Java». В результате работы была написана программа на языке Java, взаимодействующая посредством XML-файлов с табличным процессором Excel. Программа решает задачу оптимизации и записывает результаты ее решения в другой XML-файл. Для решения задачи оптимизации в Excel использовался сервис «Поиск решения», вызов которого из программы на Java реализован в виде vbs-скрипта.Nowadays the problems of programs interaction are actual, which are written on different programming languages. For instance, some DLL function written in C is called from Visual Basic. Also it is necessary to provide interaction between different applications. In this report interaction between Java-applications and Excel spreadsheet is considered, especially popular in education field. This problem was solving within writing of course work “JDOM-functions usage for work with scientific data in XML-files on Java programming language”. As a result of the work the pro-gram was written in Java, interacting by means of XML-files with Excel spreadsheet, which solves optimization task, and writing results of its solution to the another XML-file. To solve the optimization task in Excel the service Solver was used, whose call from Java program was implemented as the vbs-script

Technologies of JDOM-functions using for organisation of interaction Java and Microsoft applications for example Excel

В настоящее время актуальными являются проблемы взаимодействия программ, написанных на разных языках программирования. Как, например, из Visual Basic вызвать функции некой DLL, написанной на C. Также необходимо обеспечивать взаимодействие между различными приложениями. В данном докладе рассматривалось взаимодействие Java-приложений и табличного процессора Excel, особенно популярном в образовательном пространстве. Данная проблема решалась в ходе написания курсового проекта «Использование JDOM-функций для работы с научными данными в XML-документах на языке Java». В результате работы была написана программа на языке Java, взаимодействующая посредством XML-файлов с табличным процессором Excel. Программа решает задачу оптимизации и записывает результаты еѐ решения в другой XML-файл. Для решения задачи оптимизации в Excel использовался сервис «Поиск решения», вызов которого из программы на Java реализован в виде vbs-скрипта.Nowadays the problems of programs interaction are actual, which are written on different programming languages. For instance, some DLL function written in C is called from Visual Basic. Also it is necessary to provide interaction between different applications. In this report interaction between Java-applications and Excel spreadsheet is considered, especially popular in education field. This problem was solving within writing of course work ―JDOM-functions usage for work with scientific data in XML-files on Java programming language. As a result of the work the program was written in Java, interacting by means of XML-files with Excel spreadsheet, which solves optimization task, and writing results of its solution to the another XML-file. To solve the optimization task in Excel the service Solver was used, whose call from Java program was implemented as the vbs-script

Fusion of Head and Full-Body Detectors for Multi-Object Tracking

In order to track all persons in a scene, the tracking-by-detection paradigm has proven to be a very effective approach. Yet, relying solely on a single detector is also a major limitation, as useful image information might be ignored. Consequently, this work demonstrates how to fuse two detectors into a tracking system. To obtain the trajectories, we propose to formulate tracking as a weighted graph labeling problem, resulting in a binary quadratic program. As such problems are NP-hard, the solution can only be approximated. Based on the Frank-Wolfe algorithm, we present a new solver that is crucial to handle such difficult problems. Evaluation on pedestrian tracking is provided for multiple scenarios, showing superior results over single detector tracking and standard QP-solvers. Finally, our tracker ranks 2nd on the MOT16 benchmark and 1st on the new MOT17 benchmark, outperforming over 90 trackers.Comment: 10 pages, 4 figures; Winner of the MOT17 challenge; CVPRW 201