To develop software for embedded systems the designer must take into account different kinds of problems and complexities. The main issues are related to late integration with the target hardware and the separation of...
详细信息
This paper addresses the dynamic location management for personal communication service (PCS) networks with consideration of mobility patterns. The popular hexagonal cellular architecture is considered. In this paper,...
详细信息
The Engineering Games at UnicenP began in 1999 and, in 2004, the 6 th edition had the participation of approximately 600 students, freshmen and sophomore, from the Civil, computer, Electric and Mechanical Engineering ...
详细信息
作者：
Artemov, SergeiNogina, ElenaGraduate Center
CUNY Ph.D. Program in Computer Science 365 Fifth Avenue New York NY 10016 United States BMCC
CUNY Department of Mathematics 199 Chambers Street New York NY 10007 United States
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the just...
详细信息
ISBN:
(纸本)9810534124
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator F (F is known), contains assertions t:F (t is a justification for F). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F. Completeness and some new specific properties of basic systems of epistemic logic with justification are established.
The stringent requirements on size and power consumption constrain the conventional hearing aid devices from providing the patients an economic and user friendly solution, specifically for better noise cancellation. W...
详细信息
A study of thermal chemical vapor deposition (CVD) grown carbon nanotubes (CNTs) field emitters in a triode amplifier configuration is reported. The CNT transistor characteristics were examined by integrating gate and...
A study of thermal chemical vapor deposition (CVD) grown carbon nanotubes (CNTs) field emitters in a triode amplifier configuration is reported. The CNT transistor characteristics were examined by integrating gate and anode with CNT cathode in two structural forms, utilizing a TEM grid (transmission electron microscope specimen holder) as the gate electrode and a micropatterned CNT with self-aligned gate. The TEM-grid CNT triode displayed clearly gate-controlled current modulation behavior with distinct cutoff, linear, and saturation regions, and a reasonable gate turn-on field of ∼5.4V∕μm despite a large cathode-gate spacing of ∼120μm . The field emission result established the basic transistor characteristics of CNTs in a triode configuration. A CNT triode construct with a self-aligned gated fabrication technique was also developed to realize a monolithic triode structure with shorter gate-cathode spacing, lowering gate voltage, and enhancing emission current. The triode exhibited a significantly lower gate turn-on voltage of ∼40V , and gate-controlled modulation of the emission current. An anode current density of ∼30mA∕cm2 was achieved at a gate voltage of ∼80V and an anode voltage of ∼200V . The dc characteristics for both of the CNT triodes were investigated, including Ia versus Va for different Vg . Moreover, dc parameters such as transconductance, amplification factors, and anode resistance of the triode amplifier were determined. The CNT triodes exhibited useful amplification factor and high output impedance.
GOMS is a well-known model that has been successfully used in predicting the performance of human-computer interaction, identifying usability problems and improving user-interface design. The focus of GOMS on the indi...
详细信息
GOMS is a well-known model that has been successfully used in predicting the performance of human-computer interaction, identifying usability problems and improving user-interface design. The focus of GOMS on the individual user, however, explains why it has not been applied in the groupware context. We were inspired by GOMS to define a model that describes collaborative tasks in a formal way. We illustrate the application of the model by applying it to the design of a collaborative tool for software engineering requirements negotiation.
Although wireless hearing aid systems have been proposed by several research groups, no viable whole-system simulation results have been reported so far for better evaluation of this advanced hearing device. In this p...
详细信息
Although wireless hearing aid systems have been proposed by several research groups, no viable whole-system simulation results have been reported so far for better evaluation of this advanced hearing device. In this paper, a system-level simulation using ADStrade is presented based on one of the typical wireless hearing aid architecture. The results show that the wireless hearing aid system function can be simulated and verified. And from these results, we can get a very promising performance which can be used for further design
暂无评论