955 resultados para Specification Animation


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work was aimed at the study of some physical properties of two current light-cured dental resin composites, Rok (hybrid) and Ice (nanohydrid). As filler they both contain strontium aluminosilicate particles, however, with different size distribution, 40 nm-2.5 mum for Rok and 10 nm-1 mum for Ice. The resin matrix of Rok consists of UDMA, that of Ice of UDMA, Bis-EMA and TEGDMA. Degree of conversion was determined by FT-IR analysis. The flexural strength and modulus were measured using a three-point bending set-up according to the ISO-4049 specification. Sorption, solubility and volumetric change were measured after storage of composites in water or ethanol/water (75 vol%) for 1 day, 7 or 30 days. Thermogravimetric analysis was performed in air and nitrogen atmosphere from 30 to 700 degrees C. Surface roughness and morphology of the composites was studied by atomic force microscopy (AFM). The degree of conversion was found to be 56.9% for Rok and 61.0% for Ice. The flexural strength of Rok does not significantly differ from that of Ice, while the flexural modulus of Rok is higher than that of Ice. The flexural strengths of Rok and Ice did not show any significant change after immersion in water or ethanol solution for 30 days. The flexural modulus of Rok and Ice did not show any significant change either after immersion in water for 30 days, while it decreased significantly, even after 1 day immersion, in ethanol solution. Ice sorbed a higher amount of water and ethanol solution than Rok and showed a higher volume increase. Thermogravimetric analysis showed that Rok contains about 80 wt% inorganic filler and Ice about 75 wt%.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Identifcation of the earliest forebrain-specific markers should facilitate the elucidation of molecular events underlying vertebrate forebrain determination and specification. Here we report the sequence and characterization of fez (forebrain embryonic zinc finger), a gene that is specifically expressed in the embryonic forebrain of zebrafish. Fez encodes a putative nuclear zinc finger protein that is highly conserved in Drosophila, zebrafish, Xenopus, mouse, and human. In zebrafish, the expression of fez becomes detectable at the anterior edge of the presumptive neuroectoderm by 70% epiboly. During the segmentation period, its expression is completely restricted to the rostral region of the prospective forebrain. At approximately 24 h postfertilization, fez expression is mostly confined to the telencephalon and the anterior-ventral region of the diencephalon. Although fez expression is present in one-eyed pinhead (oep) and cyclops (cyc) zebrfish mutants, the pattern is altered. Forced expression of fez induces ectopic expression of dlx2 and dlx6, two genes involved in brain development. Knockdown of fez function using a morpholino-based antisense oligo inhibited dlx2 expression in the ventral forebrain. Our studies indicate that fez is one of the earliest markers specific for the anterior neuroectoderm and it may play a role in forebrain development by regulating Dlx gene expression. (C) 2001 Academic Press.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Back Light Unit (BLU) and Color Filter are the two key components for the perfect color display of Liquid Crystal Display (LCD) device. LCD can not light actively itself, so a form of illumination, Back Light Unit is needed for its display. The color filter which consists of RGB primary colors, is used to generate three basic colors for LCD display. Traditional CCFL back light source has several disadvantages, while LED back light technology makes LCD obtain quite higher display quality than the CCFL back light. LCD device based on LED back light owns promoted efficiency of display. Moreover it can generate color gamut above 100% of the NTSC specification. Especially, we put forward an idea of Color Filter-Less technology that we design a film which is patterned of red and green emitting phosphors, then make it be excited by a blue light LED panel we fabricate, for its special emitting mechanism, this film can emit RGB basic color, therefore replace the color filter of LCD device. This frame typically benefits for lighting uniformity and provide pretty high light utilization ratio. Also simplifies back light structure thus cut down the expenses.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

VSR4 links use graded index multimode fibers (GIMMFs) as the transmission medium with operation wavelength 850nm. For cost reasons, VCSEL has been selected as the optical source to VSR4. The minimum bandwidth specification for 62.5um GIMMF in VSR4 is only 400 MHz(.)km for over-filled-launch (OFL) condition. The distance of 300 meters is limited over transmission rates of 1.25Gbit/s on the basis of this specification. In order to overcome the OFL bandwidth limit by selective excitation of a limited number of modes, conditioned launch technique is investigated. In this paper, based on a comprehensive dispersion theory of GIMMF, a model is built to simulate the transmission of optical signal in GIMMFs and a comparison between OFL and conditioned launch is analyzed. The result can be the guidelines for the best choice of techniques for various LAN and interconnect systems also.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色形式。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明,LFC是一个能力强、易使用的语言,适合软件形式规约获取之用,并且适合其它一些用途。

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Resumo:

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

中国计算机学会