ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

2013 ◽  
Vol 655-657 ◽  
pp. 7-10
Author(s):  
Ben Chi Jiang ◽  
Jian Bin Wang

Displacement is one of the most important parameters of vane pump, but the physical meaning of the pumps’ displacement is relatively difficult to understand. A new approach is presented to simplify the calculation process. On the basis of analyzing the working principle of vane pumps, corresponding visual geometric models were separately built, and then the displacement of vane pump can be directly calculated by those models. This method is applicable not only to single-acting pump but to double-acting pump, it shows a novel vision and is easy to master.


SINERGI ◽  
2020 ◽  
Vol 24 (3) ◽  
pp. 237
Author(s):  
Hadi Pranoto ◽  
Andi Adriansyah ◽  
Dafit Feriyanto ◽  
Abdi Wahab ◽  
Supaat Zakaria

In 2015, there were 55 deaths from 6,231 accident cases that occurred in Jakarta. A severe problem in Indonesia is the absence of a unique safety device in both commercial transport or personal vehicles and the very high complexity problem of human highways. Consequently, there are many traffic accidents caused by the negligence of the driver, such as driving a vehicle in a drunken, tired, drowsy, or over-limit speed. Therefore, it needs to be innovative using devices to increase speed but able to detect the level of tired or sleepy drivers. This paper tries to propose a concept of improving safety engineering by developing devices that can control the speed and level of safety of trucks and buses, named SLIFA. The proposed device captures the driver's condition by looking at the eyes, size of mouth evaporating, and heart rate conditions.  Theses condition will be measured with a particular scale to determine the fatigue level of the driver. Some performance tests have been carried out on truck and bus with 122 Nm and 112 Nm torque wheels and 339 HP and 329 HP power values, respectively, and the minimum speed is 62 km/h. At a top speed of 70 km / h, the torque and power of the truck are 135Nm and 370HP, with average fuel consumption of 3.43 liters/km before SLIFA installation and average fuel consumption of 4.2 liters/km after SLIFA installation. SLIFA can be said to have functional eligibility and can cut fuel consumption by 81 percent.


Author(s):  
T. Gebreegziabher ◽  
E. Ayorinde ◽  
T. Singh

A Newtonian fluid is used in a simplified experimental hydraulic model of a cardiovascular system (CVS) to study pulsatile flow in arterial geometric models with different stages of stenosis (restriction rates) and understand the progression of stenosis and how the fluid flow properties in stenosed sections of arteries behave. In this study, 16mm long cylindrical stenosis models (orifices) with different restriction rates were pressed into the middle section of a 570 mm long arterial geometric model (polyethylene tube) one at a time. The arterial geometric models were connected to a solenoid or reciprocating pump (DC Voltage) capable of generating pulsatile flow at different pumping frequencies. The effects of pulsatile flow properties (pressure pulse, flow rate, etc) on acoustic emission (AE) signal levels using sensors for the detection of elastic waves in the arterial models for different restriction rates of stenoitic geometric models (orifices) at different pumping frequencies have been investigated. The results from this research show that there is a strong correlation between the flow properties of the Newtonian fluid in the arterial geometric models and the level of the flow induced AE signal indicators such as the waveforms, elastic energy, number of events, etc. Thus, as AE techniques can be used to predict flow characteristics in a given geometric model to assess the restriction level of a flow passage, the same principle could be applied in the detection of severe atherosclerosis or stenosis in large arteries — human external carotid arteries.


2000 ◽  
Vol 24 (2) ◽  
pp. 415-435 ◽  
Author(s):  
Shyue-Cheng Yang ◽  
Cha’o-Kuang Chen

Using the envelope theory of two-parameter family of ball surfaces, two geometric models of spherical cam can be easily obtained when the follower-motion program has been given. The results of the envelope theory are used to determine an optimal spherical cam profile with an oscillating cylindrical follower. Some investigations of geometric characteristic, such as pressure angle and cutting path, are determined using the obtained geometric model. The principle curvatures are analyzed to avoid undercutting. Finally, a numerical example is given to illustrate the application of the procedure.


2002 ◽  
Vol 14 (02) ◽  
pp. 47-54 ◽  
Author(s):  
CHING-HAN HSU

Quantitative positron emission tomography (PET) using statistical techniques requires: (a) a system geometric model that represents the probability of detecting an emission from each image pixel at each detector-pair, and (b) an iterative algorithm that reconstructs image as quantitative measurements of radiotracer distribution in vivo. Conventional implementations of iterative reconstruction use system geometric models based either on linear interpolation or on computing the volume of intersection of detection tubes with each voxel, but these simple models ignore many important physical system factors, like depth dependent geometric sensitivity and spatially variant detector pair resolution. In this paper, we evaluate a more accurate system geometric model that includes these physical factors. In addition, implementation variation among different iterative algorithms is another factor that limits the performance. Here, we compare performance of filtered backprojection (FBP) with the ordered subsets expectation maximization (OSEM) algorithm and a maximum a posteriori (MAP) method using a Gibbs prior with convex potential functions. Using the contrast recovery coefficient (CRC) as a performance measurement, we conducted various phantom experiments to investigate how the choices of algorithm and system matrix affect reconstruction accuracy. The results of these studies show that all of the iterative methods tested produce superior CRCs than FBP at matched background variance. And the combination of the accurate system geometric model and MAP reconstruction algorithm outperforms the other statistical methods.


2006 ◽  
Vol 12 (1) ◽  
pp. 147-152 ◽  
Author(s):  
ROSS ANDEL ◽  
CHERYL VIGEN ◽  
WENDY J. MACK ◽  
LINDA J. CLARK ◽  
MARGARET GATZ

We explored the effect of education and occupational complexity on the rate of cognitive decline (as measured by the Mini-Mental State Examination) in 171 patients with a confirmed Alzheimer's disease (AD) diagnosis. Complexity was measured as substantive complexity of work and complexity of work with data, people, and things. Average lifetime occupational complexity was calculated based on years at each occupation. Participants were followed for an average of 2.5 years and 3.7 visits. In multivariate mixed-effects models, high education, high substantive complexity, and high complexity of work with data and people predicted faster rates of cognitive decline, controlling for age, gender, native language, dementia severity, and entry into the analyses at initial versus follow-up testing. These results provide support for the concept of cognitive reserve according to which greater reserve may postpone clinical onset of AD but also accelerate cognitive decline after the onset. (JINS, 2006, 12, 147–152.)


2013 ◽  
Vol 416-417 ◽  
pp. 1187-1191
Author(s):  
Hao Shen ◽  
Hean Liu

In order to solve some high-complexity problem including traditional video tracking method, pedestrian movement shelter and calculation, target pedestrian detection technology basing on the video track is proposed. By collecting prospect of video and picture dealing technology, detecting and tracking moving target, detecting and analyzing the data of video, the result shows that this way is more accurate than traditional way and it can clearly draw the moving track of pedestrian.


Author(s):  
A. Y. Lakhov ◽  
K. A. Lakhov

The methods of data exchange between CAD and CAE systems are described. The first method is using direct conversion, the second method is using neutral formats. The description of the modular system for designing and analysis the strength and stability of single-contour and double-contour geodesic shells GeoTran is given. The direct translation of geometric models from ArchiCAD to Patran/Nastran / Dytran has the disadvantage of having to develop translators for each data exchange scheme. It is proposed to implement the translation of geometric models in a neutral STEP format, which reduces the number of required translators. It is noted that the STEP format is recognized by various CAE systems that implement the finite element method (Autodesk Mechanical Desktop, Bentley Microstation, CATIA V4, CATIA V5, MSC Patran/Nastran, UGS PLM Solutions NX). The characteristics of the OBJ format used for storing a geometric model in the ArchiCAD CAD system and the STEP format used for data exchange with CAE systems are studied. A translator of geometric models of single-contour geodesic shells from ArchiCAD to STEP format in the Visual Basic programming language has been developed. For this purpose a syntactically oriented approach was used. The translator has a graphical user interface that makes it easier to use. The translator allows you to automate the exchange of data between the ArchiCAD CAD system and various CAE systems designed for strength analysis and supporting import from the STEP format. The applicability of the translator for the exchange of data on geometric models of single-contour geodesic domes with triangular plates between ArchiCAD and the Delcam Exchange converter program is verified. It is demonstrated that the STEP file format generated by the OBJSTEPTranslator is recognized by an external program.


2021 ◽  
pp. 1-28
Author(s):  
Rohan Prabhu ◽  
Joseph Berthel ◽  
Jordan S. Masia ◽  
Nicholas Meisel ◽  
Timothy W. Simpson

Abstract Designers from around the world have proposed numerous engineering design solutions for problems related to the COVID-19 pandemic, many of which leverage the rapid prototyping and manufacturing capabilities of additive manufacturing (AM). While some of these solutions are motivated by complex and urgent requirements (e.g., face masks), others are motivated by simpler and less urgent needs (e.g., hands-free door openers). Previous research suggests that problem definition influences the creativity of solutions generated for it. In this study, we investigate the relationship between the definition of problems related to the COVID-19 pandemic and the characteristics of AM solutions that were openly shared for these problems. Specifically, we analyze 26 AM solutions spanning three categories: (1) hands-free door openers (low complexity problem), (2) face shields (moderate complexity problem), and (3) face masks (high complexity problem). These designs were compared on (1) DfAM utilization, (2) manufacturability (i.e., build time, cost, and material usage), and (3) creativity. We see that the solutions designed for the high complexity problem, i.e., face masks, were least suitable for AM. Moreover, we see that solutions designed for the moderate complexity problem, i.e., face shields, had the lowest build time, build cost, and material consumption. Finally, we observe that the problem definition did not relate to the creativity of the AM solutions. In light of these findings, designers must sufficiently emphasize the AM suitability and manufacturability of their solutions when designing for urgent and complex problems in rapid response situations.


2015 ◽  
Vol 27 (6) ◽  
pp. 1252-1293 ◽  
Author(s):  
Giacomo Cocci ◽  
Davide Barbieri ◽  
Giovanna Citti ◽  
Alessandro Sarti

The visual systems of many mammals, including humans, are able to integrate the geometric information of visual stimuli and perform cognitive tasks at the first stages of the cortical processing. This is thought to be the result of a combination of mechanisms, which include feature extraction at the single cell level and geometric processing by means of cell connectivity. We present a geometric model of such connectivities in the space of detected features associated with spatiotemporal visual stimuli and show how they can be used to obtain low-level object segmentation. The main idea is to define a spectral clustering procedure with anisotropic affinities over data sets consisting of embeddings of the visual stimuli into higher-dimensional spaces. Neural plausibility of the proposed arguments will be discussed.


Sign in / Sign up

Export Citation Format

Share Document