检索结果-南通市图书馆

Modular Timing Constraints for Delay-Insensitive Systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2016年第1期31卷 77-106页

作者： Hoon Park Anping He marly Roncken Xiaoyu Song Ivan Sutherland Asynchronous Research Center Portland State University Portland OR 97201 U.S.A. Department of Electrical and Computer Engineering Portland State University Portland OR 97201 U.S.A. School of Information Science and Engineering Lanzhou University Lanzhou 730000 China

This paper introduces ARCtimer, a framework for modeling, generating, verifying, and enforcing timing constraints for individual self-timed handshake components. The constraints guarantee that the component＇s gate-level circuit implementation obeys the component＇s handshake protocol specification. Because the handshake protocols are delayinsensitive, self-timed systems built using ARCtimer-verified components are also delay-insensitive. By carefully considering time locally, we can ignore time globally. ARCtimer comes early in the design process as part of building a library of verified components for later system use. The library also stores static timing analysis （STA） code to validate and enforce the component＇s constraints in any self-timed system built using the library. The library descriptions of a handshake component＇s circuit, protocol, timing constraints, and STA code are robust to circuit modifications applied later in the design process by technology mapping or layout tools. In addition to presenting new work and discussing related work, this paper identifies critical choices and explains what modular timing verification entails and how it works.

关键词： self-timed circuit delay-insensitive system model checking timing analysis design pattern

Importance and performance of streetscapes at a tourism destination in Indonesia:The residents’perspectives

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Architectural Research 2020年第3期9卷 641-655页

作者： marly Valenti Patandianan Hiroyuki Shibusawa Department of Architecture and Civil Engineering Toyohashi University of TechnolosvToyohoshiJapan

The present study examined the importance and performance of streetscapes at a tourism destination in Makassar,Indonesia,from the residents’perspectives using the importance-performance analysis ***,six attributes of the streetscapes in four segments of the old city district were identified and presented to 400 *** participants were then asked to rate the perception and preference of each *** of the attribute values were illustrated in a Cartesian *** indicate notable discrepancies between the perceptions and preferences of the ***,these attributes were inconsistent with their ***,the results showed that each segment should have different priorities for specific attributes to improve the performance of the ***,such data can be used by stakeholders,such as tourism developers and government policymakers,to make appropriate and informed decisions that will improve the attractiveness of this tourism destination and increase the number of visitors.

关键词： Streetscapes Tourism destination Importance-performance analysis Residents’perspectives

A large epeiric methanogenic Bambuí sea in the core of Gondwana supercontinent?

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Geoscience Frontiers 2021年第1期12卷 203-218页

作者： Sergio Caetano-Filho Pierre Sansjofre Magali Ader Gustavo M.Paula-Santos Cristian Guacaneme marly Babinski Carolina Bedoya-Rueda Matheus Kuchenbecker Humberto L.S.Reis Ricardo I.F.Trindade Universidade de Sao Paulo Instituto de GeocienciasRua do Lago562-Sao Paulo05508-080Brazil MNHN Sorbonne UniversiteCNRS UMR 7590Institut de Mineralogiede Physique des Materiaux et de Cosmochimie75005ParisFrance Universite de Paris Institut de Physique du Globe de ParisCNRSF-75005ParisFrance Universidade Estadual de Campinas Instituto de GeocienciasRua Carlos Gomes250-Campinas13083-855Brazil Universidade Federal dos Vales do Jequitinhonha e Mucuri Instituto de Ciencia e TecnologiaLaboratorio de Estudos TectonicosRodovia MGT 367Km 583-Diamantina39100-000Brazil Universidade Federal de Ouro Preto Departamento de Geologia-Escola de MinasLaboratiorio de Modelagem TectonicaCampus Morro do Cruzeiro-Ouro Preto35400-000Brazil Universidade de Sao Paulo Instituto de AstronomiaGeofísica e Ciencias AtmosfericasRua do Matao1226-Sao Paulo05508-090Brazil

Carbon isotope compositions of both sedimentary carbonate and organic matter can be used as key proxies of the global carbon cycle and of its evolution through time,as long as they are acquired from waters where the dissolved inorganic carbon(DIC)is in isotope equilibrium with the atmospheric ***,in shallow water platforms and epeiric settings,the influence of local to regional parameters on carbon cycling may lead to DIG isotope variations unrelated to the global carbon *** may be especially true for the terminal Neoproterozoic,when Gondwana assembly isolated waters masses from the global ocean,and extreme positive and negative carbon isotope excursions are recorded,potentially decoupled from global *** improve our understanding on the type of information recorded by these excursions,we investigate the pairedδ^13Ccarb andδ^13Corg evolution for an increasingly restricted late Ediacaran-Cambrian foreland system in the West Gondwana interior:the basal Bambui *** succession represents a 1~(st)-order sedimentary sequence and records two majorδ^13Ccarb excursions in its two lowermost lower-rank *** basal cap carbonate interval at the base of the first sequence,deposited when the basin was connected to the ocean,hosts antithetical negative and positive excursions forδ^13Ccarb andδ^13Corg,respectively,resulting inΔ^13C values lower than 25‰.From the top of the basal sequence upwards,an extremely positiveδ^13Ccarb excursion is coupled toδ^13Corg,reaching values of+14‰and-14‰,*** positive excursion represents a remarkable basin-wide carbon isotope feature of the Bambui Group that occurs with only minor changes inΔ^13C values,suggesting change in the DIC isotope *** argue that this regional isotopic excursion is related to a disconnection between the intrabasinal and the global carbon *** extreme carbon isotope excursion may have been a product of a disequilibria between the basin DIC and atmospheric CO2

关键词： Methanogenesis Ediacaran Cambrian Carbon isotopes Sao Francisco Basin Bambui Group

Effects of the Catalytic System MoO<sub>2</sub>(acac)<sub>2</sub>-TBHP in Polyisoprene Epoxidation Using Experimental Design

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science and Chemical Engineering 2020年第3期8卷 39-51页

作者： José R. Gregório Elisa Barbosa-Coutinho Annelise E. Gerbase Márcia Pires Fortes Ferreira marly A. M. Jacobi Instituto de Química Universidade Federal do Rio Grande do Sul Porto Alegre RS Brazil

The epoxidation of polydienes yields materials with improved properties, which can be tuned by the control of the epoxidation degree. In this work, we retake a known process, the epoxidation of polyisoprene, by a different approach, in which the quantification of parameters influencing the epoxidation, such as temperature, oxidant and catalyst concentration, and reaction time degree is evaluated. We measured the influence of each parameter, allowing anyone who aims a polymer with a certain degree of epoxidation to choose which conditions are best suitable for reaching his goal.

关键词： Epoxidation Molybdenum Polyisoprene Experimental Design

环氧化液体聚丁二烯接枝白炭黑填充轮胎胎面胶的性能(二)

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

现代橡胶技术 2018年第1期44卷 25-32页

作者：赵冬梅 MARCUS V.BRAUM marly A.M.JACOBI

（接上期）3.4硫化动力学通常情况下,在橡胶配方中使用次磺酰胺类促进剂（比如促进剂CBS）是为了获得较好的加工安全性和高的硫化速度。此外,改变加工参数和胶料配方能够使最佳硫化时间（t90）减至最少,同时使诱导时间和硫化速度最大化... 详细信息

（接上期）3.4硫化动力学通常情况下,在橡胶配方中使用次磺酰胺类促进剂（比如促进剂CBS）是为了获得较好的加工安全性和高的硫化速度。此外,改变加工参数和胶料配方能够使最佳硫化时间（t90）减至最少,同时使诱导时间和硫化速度最大化,这样才是非常理想的结果。

关键词：液体聚丁二烯炭黑填充胎面胶环氧化性能轮胎接枝硫化速度

Soil Attributes in Anthropized Hygrophilous Forest in Northern Minas Gerais State,Brazil

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Agricultural Science and Technology(B) 2018年第5期8卷 311-319页

作者： Maria das Dores Magalhaes Veloso Luiz Arnaldo Fernandes marly Antonielle deávila le Roberta Ferreira Nunes Leidivan Almeida Frazao Universidade Estadual de Montes Claros Montes ClarosMinas Gerais State 39401-089Brazil Instituto de Ciências Agrárias Universidade Federal de Minas GeraisMontes ClarosMinas Gerais State 39404547Brazil Universidade Federal de Lavras LavrasMinas Gerais State 37200-000Brazil

The soils of Brazilian Cerrado are characterized with high acidity and low fertility and ***,these attributes are not homogeneously distributed through all phytophysiognomies of this biome,and wetland known as palm swamp or“veredas”are an *** study aimed to describe and compare the chemical and physical attributes of soil surface layers at six palm swamps areas under different anthropization processes in the northern region of Minas Gerais state,*** sampling of different hydromorphic soils were collected at 0-20 cm depth layer from 100 m2 plots in the studied *** variables were compared using the GLM procedure of ANOVA using Statistica 10 *** chemical attributes and similarities between the six palm swamps areas were compared using the statistical software *** chemical attributes were different and soil physical attributes were similar between the evaluated *** similarities among the attributes were classified into three groups according to the anthropic pressures,as well as with the origin of the soil material in the six palm swamps areas *** could be concluded that soil fertility can be reduced in palm swamps that suffered greater anthropic *** three similarity groups might be associated not only to the anthropic pressures,but also to the raw material of soil at the six palm swamps areas evaluated.

关键词： Hydromorphic soils palm swamps soil fertility