Secure architecture for extensible mobile internet transport services (SAFEMITS) design and testing

2006 ◽  
Author(s):  
Patrick W. Fitzgibbons ◽  
Digen K. Das ◽  
Larry J. Hash
2004 ◽  
Author(s):  
Digen Das ◽  
Patrick Fitzgibbons ◽  
Larry Hash

2019 ◽  
Vol 33 (3) ◽  
pp. 71-98
Author(s):  
Bogdan Sojkin ◽  
Szymon Michalak

Summary The development of information and communication technologies, including in particular the modern development of mobile technologies, has an undeniable impact on people’s lives and, consequently, on consumers’ market behaviour. The growing popularity and capabilities of mobile devices, as well as the increasing availability of mobile Internet access, mean that in many markets companies are redefining their business models, in which the activities conducted via the Internet play an increasingly important role. This is particularly visible on the market of individual and public transport services, where thanks to mobile devices, as well as in consistency with trends in consumer market behaviours and the development of cities in accordance with the smart city concept, for several years now we can observe the emergence of innovative alternatives to traditional forms of transport. The pace of appearance of product innovations on the market depends, of course, to a large extent on the level of acceptance of innovation by consumers. The aim of the article is to determine the degree of innovativeness of the inhabitants of the Poznań agglomeration in the use of transport solutions available in Poznań. The research part presents the results of own research conducted in 2019 on a sample of 795 respondents. They showed that the inhabitants of the Poznań agglomeration are not afraid to use product innovations on the market of transport services and use them to a greater extent than in the case of the general population.


2006 ◽  
Author(s):  
L. Janssen ◽  
N. Anderson ◽  
R. Weber ◽  
P. Cassidy ◽  
T. Nelson
Keyword(s):  

2019 ◽  
Vol 16 (7) ◽  
pp. 174-194 ◽  
Author(s):  
Weijin Jiang ◽  
Yang Wang ◽  
Yirong Jiang ◽  
Jiahui Chen ◽  
Yuhui Xu ◽  
...  

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.


2020 ◽  
Vol 4 (26) ◽  
pp. 91-95
Author(s):  
D. A. Smirnov ◽  

The article reveals the content of measures to improve the organization of transport services in the metropolis. The key directions of the city transport system development are considered. The analysis of the offered offers is carried out. Keywords: metropolis, transport development, public transport, street and road network.


Sign in / Sign up

Export Citation Format

Share Document