scholarly journals Design and testing of an sTGC ASIC interface board for the ATLAS New Small Wheel upgrade

Author(s):  
Xu Wang ◽  
Liang Guan ◽  
Siyuan Sun ◽  
Bing Zhou ◽  
Junjie Zhu ◽  
...  
2006 ◽  
Author(s):  
L. Janssen ◽  
N. Anderson ◽  
R. Weber ◽  
P. Cassidy ◽  
T. Nelson
Keyword(s):  

2006 ◽  
Vol 3 (1) ◽  
pp. 27
Author(s):  
Mustaffa Samad

The Internet has been an integral part of the Information and Communication Technology (ICT) community in recent years. New internet users have been growing steadily over the years. This has lead to the depletion of new Internet Protocol (IP) addresses worldwide. To overcome this predicament, the new Internet Protocol version 6 (IPv6) had been introduced. The existing Internet Protocol version 4 (IPv4) is expected to be eventually replaced by this IPv6. The changeover from IPv4 to IPv6 is expected to be implemented progressively. During this transition period, these two protocols are expected to coexist for a number of years. IPv4-to-IPv6 transition tools have been designed to facilitate a smooth transition from IPv4 to IPv6. The two most basic IPv4-to-IPv6 transition tools available are the hybrid stack mechanism and tunneling. Tunneling is the encapsulation of IPv6 traffic within IPv4 packets so they can be sent over an IPv4 infrastructure. This project was initiated to set up an experimental IPv6 testbed, in order to study the performance as well as transition and migration issues of IPv6 networks under controlled conditions. This paper looks at how tunneling can be performed over existing internetwork infrastructure at Fakulti Kejuruteraan Elektrik (FKE), UiTM.


Author(s):  
E.O. Shmelkova ◽  
M.A. Slugina ◽  
A.A. Meleshin ◽  
E.V. Romanova

Работа посвящена разработке и тестированию универсальных праймеров для ПЦР-амплификации полноразмерных генов-ортологов β-фруктофуранозидазы (кислой вакуолярной инвертазы) у видов и сортов картофеля (Solanum tuberosum). Крахмал – основной источник энергии и резервный углевод, накапливающийся в амилопластах клубней. Образовавшаяся в результате фотосинтеза молекула глюкозы при реакции с фруктозой образует сахарозу – основную транспортную форму углеводов в растении. В клубни сахароза доставляется по флоэме (апопластный путь), где в межклеточном пространстве расщепляется до глюкозы и фруктозы, которые затем проникают в клетки паренхимы. Глюкоза служит в дальнейшем субстратом для синтеза крахмала в амилопластах. Однако при воздействии пониженных температур крахмал в клубнях картофеля разрушается до редуцирующих сахаров. Параллельно этому процессу идет ресинтез сахарозы до глюкозы и фруктозы за счет фермента кислой вакуолярной инвертазы (β-фруктофуранозидазы), кодируемой геном Pain-1. В совокупности эти процессы приводят к избыточному накоплению моносахаров в клубнях картофеля, так называемому холодовому осахариванию (cold-induced sweetening). При этом создаются условия для интенсивного образования меланоидинов, вызывающих потемнение мякоти картофеля, что значительно ухудшает товарное качество продукта. Таким образом, изучение гена Pain-1, кодирующего вакуолярную инвертазу, а именно, его идентификация и анализ структуры – важная задача, необходимая для поиска доноров, устойчивых к холодовому осахариванию. Первоочередная задача для этого – разработка и тестирование праймерных комбинаций, позволяющих амплифицировать полноразмерный ген у диких видов картофеля, а также сортов и линий культивируемого картофеля (S. tuberosum). В данной работе приведены результаты разработки и тестирования универсальных праймеров, с помощью которых можно амплифицировать как полноразмерные гены-ортологи, так и фрагменты гена Pain-1, а также подобраны оптимальные условия для проведения ПЦР реакции. Было разработано 6 праймерных комбинаций (PainF – PainR, PainF – Pain1exR, Pain1exF – Pain3exR, Pain2inF – Pain2inR, Pain3exF – Pain5exR, Pain5exF – PainR), среди которых комбинация PainF – PainR позволяла амплифицировать полноразмерный ген, остальные – внутренние и будут использованы в дальнейшем при секвенировании фрагментов исследуемого гена. Эти праймеры были успешно протестированы на 15 образцах, включающих представителей пяти дикорастущих видов картофеля (S. gourlay, S. chacoense, S. pinnatissectum, S. stoloniferum, S. vernei) и десяти сортов российской и зарубежной селекции (Гала, Ласунок, Ред Скарлетт, Рассет Бербанк, Мирас, Башкирский, Жуковский ранний, Матушка, Елизавета, Сударыня).The purpose of research is design and testing of universal primers for PCR amplification of full-length-fructofuranozidase orthologs genes (acid vacuolar invertase) in wild species and potato (Solanum tuberosum) varieties. Starch is the main source of energy and a reserve carbohydrate, that accumulates in tubers amyloplasts. Glucose molecule, produced by photosynthesis, reacts with fructose and forms sucrose, which is the main transport type of carbohydrates in the plant. In the tuber, sucrose is delivered via phloem (apoplast), where it splits into glucose and fructose, which then go to the parenchyma cells. Glucose is a further substrate for the starch synthesis in amyloplasts. However, low temperatures influence on potato tubers leads to starch break down to reducing sugars. In parallel to this process there is happens resynthesis of sucrose to glucose and fructose by acid vacuolar invertase enzyme (β-fructofuranosidase) encoded by Pain-1 gene. Together, these processes lead to an excessive accumulation of monosaccharides in potato tubers. This process also called as cold-induced sweetening. It creates conditions for the intensive formation of melanoidins, which cause a potato tubers darkening, which considerably impairs the commercial quality of the product. Thus, the study Pain-1 gene that encodes the vacuolar invertase (its identification and structure analysis) is an important task required for the search of donors resistant to cold-induced sweetening. The primary task for this is the design and testing of primer combinations that allow to amplify the full-length gene in wild potato species, varieties and lines of cultivated potato. In this work, we develop and test universal primers, that can amplify both full-length orthologs and fragments of the Pain-1 gene, and also select the optimal conditions for carrying out the PCR reaction. Summary. The purpose of research is design and testing of universal primers for PCR amplification of full-length-fructofuranozidase orthologs genes (acid vacuolar invertase) in wild species and potato (Solanum tuberosum) varieties. Starch is the main source of energy and a reserve carbohydrate, that accumulates in tubers amyloplasts. Glucose molecule, produced by photosynthesis, reacts with fructose and forms sucrose, which is the main transport type of carbohydrates in the plant. In the tuber, sucrose is delivered via phloem (apoplast), where it splits into glucose and fructose, which then go to the parenchyma cells. Glucose is a further substrate for the starch synthesis in amyloplasts. However, low temperatures influence on potato tubers leads to starch break down to reducing sugars. In parallel to this process there is happens resynthesis of sucrose to glucose and fructose by acid vacuolar invertase enzyme (β-fructofuranosidase) encoded by Pain-1 gene. Together, these processes lead to an excessive accumulation of monosaccharides in potato tubers. This process also called as cold-induced sweetening. It creates conditions for the intensive formation of melanoidins, which cause a potato tubers darkening, which considerably impairs the commercial quality of the product. Thus, the study Pain-1 gene that encodes the vacuolar invertase (its identification and structure analysis) is an important task required for the search of donors resistant to cold-induced sweetening. The primary task for this is the design and testing of primer combinations that allow to amplify the full-length gene in wild potato species, varieties and lines of cultivated potato. In this work, we develop and test universal primers, that can amplify both full-length orthologs and fragments of the Pain-1 gene, and also select the optimal conditions for carrying out the PCR reaction. In total 6 primer combinations were designed (PainF - PainR, PainF - Pain1exR, Pain1exF - Pain3exR, Pain2inF - Pain2inR, Pain3exF - Pain5exR, Pain5exF - PainR), where PainF - PainR primer combination allowed to amplify a full-sized gene, the rest are internal and will be used in the further fragments sequencing of the β-fructofuranosidase gene. These primers were successfully tested on 15 samples, including five wild species of potato (S. gourlay, S. chacoense, S. pinnatissectum, S. stoloniferum, S. vernei) and ten varieties of Russian and foreign breeding (Gala, Lasunok, Red Scarlet , Rasset Burbank, Miras, Bashkirsky, Zhukovsky ranniy, Matushka, Elizaveta, Sudaryna).


10.29007/x7b4 ◽  
2018 ◽  
Author(s):  
Nikolaj Bjorner

Modern Satisfiability Modulo Theories (SMT)solvers are fundamental to many programanalysis, verification, design and testing tools. They are a goodfit for the domain of software and hardware engineering becausethey support many domains that are commonly used by the tools.The meaning of domains are captured by theories that can beaxiomatized or supported by efficient <i>theory solvers</i>.Nevertheless, not all domains are handled by all solvers andmany domains and theories will never be native to any solver.We here explore different theories that extend MicrosoftResearch's SMT solver Z3's basicsupport. Some can be directly encoded or axiomatized,others make use of user theory plug-ins.Plug-ins are a powerful way for tools to supply their custom domains.


Sign in / Sign up

Export Citation Format

Share Document