Verification Process Design for a Program

2016 ◽  
pp. 155-180
Author(s):  
Jeffrey O. Grady
Author(s):  
I. B. Odarchenko ◽  
V. A. Zharanov

The parameters were selected and the analysis of their compliance to assess the processing complexity of castings was made. A variant of the organization of process design for the castings of varying difficulty, defined on a set of proposed geometrical parameters was proposed. 


Author(s):  
Pramesti Intan Meuthia ◽  
Litasari Widyastuti Suwarsono ◽  
Atya Nur Aisha

Higher education is one of the places to develop competencies, which will prepare students (human resources) to become people who have academic and professional abilities. In universities, lecturers carry out the main task known as the Tri Dharma College, namely education and teaching activities, research and development, and community service, while at Telkom University in addition to the Tri Dharma College there are also supporting tasks and special obligations of the professor. In supporting lecturers for supervisory supervision is still subjective and there is injustice in the verification process, as well as collecting data related to supporting lecturers manually. The lack of supervision and the absence of a system in integrating the supporting data resulted in uneven distribution of support (both assignments and points obtained) and the absence of track records for lecturers. So that it requires a proposed business process design, blueprint document design, and the design of a user interface that is in accordance with the penunjang mechanism based on Tel-U Point in the Telkom Industrial Engineering Faculty with interesting and accessible visualization anywhere. With the design of this website-based information support mechanisms, it is expected that the control holders in each process can be clearly illustrated, supporting data can be well integrated, and data filling and storage can be automated in the system.


Author(s):  
Junichi Seki ◽  
Yuichiro Oguchi ◽  
Naoki Kiyohara ◽  
Koshiro Suzuki ◽  
Kohei Nagane ◽  
...  

2020 ◽  
Author(s):  
Tsuyoshi Mita ◽  
Yu Harabuchi ◽  
Satoshi Maeda

The systematic exploration of synthetic pathways to afford a desired product through quantum chemical calculations remains a considerable challenge. In 2013, Maeda et al. introduced ‘quantum chemistry aided retrosynthetic analysis’ (QCaRA), which uses quantum chemical calculations to search systematically for decomposition paths of the target product and propose a synthesis method. However, until now, no new reactions suggested by QCaRA have been reported to lead to experimental discoveries. Using a difluoroglycine derivative as a target, this study investigated the ability of QCaRA to suggest various synthetic paths to the target without relying on previous data or the knowledge and experience of chemists. Furthermore, experimental verification of the seemingly most promising path led to the discovery of a synthesis method for the difluoroglycine derivative. The extent of the hands-on expertise of chemists required during the verification process was also evaluated. These insights are expected to advance the applicability of QCaRA to the discovery of viable experimental synthetic routes.


2020 ◽  
Author(s):  
Tsuyoshi Mita ◽  
Yu Harabuchi ◽  
Satoshi Maeda

The systematic exploration of synthetic pathways to afford a desired product through quantum chemical calculations remains a considerable challenge. In 2013, Maeda et al. introduced ‘quantum chemistry aided retrosynthetic analysis’ (QCaRA), which uses quantum chemical calculations to search systematically for decomposition paths of the target product and propose a synthesis method. However, until now, no new reactions suggested by QCaRA have been reported to lead to experimental discoveries. Using a difluoroglycine derivative as a target, this study investigated the ability of QCaRA to suggest various synthetic paths to the target without relying on previous data or the knowledge and experience of chemists. Furthermore, experimental verification of the seemingly most promising path led to the discovery of a synthesis method for the difluoroglycine derivative. The extent of the hands-on expertise of chemists required during the verification process was also evaluated. These insights are expected to advance the applicability of QCaRA to the discovery of viable experimental synthetic routes.


2020 ◽  
Vol 40 (6) ◽  
pp. 488-490
Author(s):  
S. Yu. Kalyakulin ◽  
V. V. Kuz’min ◽  
E. V. Mitin ◽  
S. P. Sul’din

2018 ◽  
Author(s):  
Мария Григорьевна Алпатова ◽  
Мария Игоревна Щеглова ◽  
Elmira Kalybaevna Adil’bekova ◽  
Nuradin Alibaev ◽  
Arunas Svitojus

The conference is a major international forum for analyzing and discussing trends and approaches in research in the field of basic science and applied research. We provide a platform for discussions on innovative, theoretical and empirical research. The form of the conference: in absentia, without specifying the form in the collection of articles. Working languages: Russian, English Doctors and candidates of science, scientists, specialists of various profiles and directions, applicants for academic degrees, teachers, graduate students, undergraduates, students are invited to participate in the conference. There is one blind verification process in the journal. All articles will be initially evaluated by the editor for compliance with the journal. Manuscripts that are considered appropriate are then usually sent to at least two independent peer reviewers to assess the scientific quality of the article. The editor is responsible for the final decision on whether to accept or reject the article. The editor's decision is final. The main criterion used in assessing the manuscript submitted to the journal is: uniqueness or innovation in the work from the point of view of the methodology being developed and / or its application to a problem of particular importance in the public sector or service sector and / or the setting in which the efforts, for example, in the developing region of the world. That is, the very model / methodology, application and context of problems, at least one of them must be unique and important. Additional criteria considered in the consideration of the submitted document are its accuracy, organization / presentation (ie logical flow) and recording quality.


Sign in / Sign up

Export Citation Format

Share Document