lndustrial design is a complex fusion of art and *** the implementation process,both in the initial stages of design,the in-depthdesign of appearance and structure ***'s computer-aided industrial design (CAID) pl...
详细信息
lndustrial design is a complex fusion of art and *** the implementation process,both in the initial stages of design,the in-depthdesign of appearance and structure ***'s computer-aided industrial design (CAID) plays an important ***,CAID cannot replace people's design *** a design worker, focusing on building models and taking effort at hands is very ***'s software is not only a tool,it just like the past brush and drawing ***,should appreciate that,computer-aideddesign software is constantly thinking and to inspire the design of the original analog means humane,reasonable direction,not only production,inspired by the ideas of design can also be good to play a more supporting *** designed the unmanned aerial aircraft in China 2010 Yushu earthquake is a good *** latest design software has a better integration of the hand-painted,2D graphics,3D rendering and fast to build,mold and other models all aspects of design,so that the whole design process to be launched at one ***'s CAID tools has truly become the ultimate reasonable assurance whether the design to achieve an important way, but also a designer and then design,then a powerful tool in depth.
Energy consumption is the key design criterion for routing data in wireless sensor Network. Recently the use of multiple sinks instead of single is considered as a research topic for energy saving. the objective is to...
详细信息
Energy consumption is the key design criterion for routing data in wireless sensor Network. Recently the use of multiple sinks instead of single is considered as a research topic for energy saving. the objective is to maximize the network lifetime by reducing distance from source node to sink during data transmission. this paper proposes a network partitioning algorithm based on selection of farthest node from k-Nearest Neighbour Graph. After partitioning, a restricted flooding-based routing protocol is used for data transmission. It is shown that the network lifetime significantly increases in a partitioned network in comparison with a non-partitioned network.
We describe a number of high-level design decisions that we found essential for a computer-assisted Assessment System that is to be deployed in school classrooms for supporting formative assessment by teachers and sel...
详细信息
We describe a number of high-level design decisions that we found essential for a computer-assisted Assessment System that is to be deployed in school classrooms for supporting formative assessment by teachers and self-assessment by students. In addition, the system needs to provide information to parents. Our design decisions comprise the use of the Open Learner Model approach to make diagnostic information available to the various stakeholders, the use of a modelling methodology to describe assessment methods declaratively (glass-box), and the decision to embed assessment in a flexible manner into current and emerging learning environments. Implications for system architecture are also described.
this paper presents application of several graph algorithms for comparison and visualization of real-world networks. In order to obtain interactive and robust framework for analysis of large graphs we use CUDA impleme...
详细信息
this paper presents application of several graph algorithms for comparison and visualization of real-world networks. In order to obtain interactive and robust framework for analysis of large graphs we use CUDA implementations of all-shortest-paths (APSP) and breadth-first-search (BFS) algorithms along with CULA matrix decomposition routines. Such an approach allows for efficient computation of graph feature vectors, visualization with graph B-matrices and accelerating dimensionality reduction methods used to embed graphs into low-dimensional metric spaces. Graph analysis algorithms implemented in CUDA were integrated with Graph Investigator Java application via Java Native Interface (JNI) what makes them more convenient to use. We further present two real-world usage scenarios i.e. analysis and visualization of vascular networks in presence of tumor and clusterization based on graph representations of sattelite photos.
Various verification techniques are based on SAT's capability to identify a small, or even minimal, unsatisfiable core in case the formula is unsatisfiable, i.e., a small subset of the clauses that are unsatisfiab...
详细信息
ISBN:
(纸本)9783642215810
Various verification techniques are based on SAT's capability to identify a small, or even minimal, unsatisfiable core in case the formula is unsatisfiable, i.e., a small subset of the clauses that are unsatisfiable regardless of the rest of the formula. In most cases it is not the core itself that is being used, rather it is processed further in order to check which clauses from a preknown set of Interesting Constraints (where each constraint is modeled with a conjunction of clauses) participate in the proof. the problem of minimizing the participation of interesting constraints was recently coined high-level minimal unsatisfiable core by Nadel [15]. Two prominent examples of verification techniques that need such small cores are 1) abstraction-refinement model-checking techniques, which use the core in order to identify the state variables that will be used for refinement (smaller number of such variables in the core implies that more state variables can be replaced with free inputs in the abstract model), and 2) assumption minimization, where the goal is to minimize the usage of environment assumptions in the proof, because these assumptions have to be proved separately. We propose seven improvements to the recent solution given in [15], which together result in an overall reduction of 55% in run time and 73% in the size of the resulting core, based on our experiments with hundreds of industrial test cases. the optimized procedure is also better empirically than the assumptions-based minimization technique.
A Wireless Sensor Network (WSN) deployed for detection applications has the distinguishing feature that sensors cooperate to perform the detection task. therefore, the decoupled design approach that is typically used ...
详细信息
the LED (light emitting diode, also referred to as LED) have already been used widely. However, despite the high visibility of LED with high brightness performance, it also leads to a glare problem, which generates a ...
详细信息
ISBN:
(纸本)9783642217401
the LED (light emitting diode, also referred to as LED) have already been used widely. However, despite the high visibility of LED with high brightness performance, it also leads to a glare problem, which generates a direct security issue in applying to traffics. therefore, this research aimed to study how to make the LED display sign be more legible under high illuminative environments and to avoid the observers feeling dazzling glare under low illuminative environments. this research firstly studied the literatures to explore the drivers' visual ergonomic as well as the optical properties of LED, and investigated the relatively existing norms for engineering vehicle LED display signs. three variables were set in this study: three kinds of ambient illumination, four kinds of luminance contrast and two kinds of character form. In the first phase of the experiment, subjects observed LED display signs in both near and distant locations and filled out the SWN scale (Subjective Well-being under Neuroleptics), and in the second phase, subjects were then asked to moved forward and recorded their perceptions of comfort and glare to distance range. the findings demonstrated that, there was no variation in subjective evaluation to display signs with no backgrounds either in the near or distant locations, while to display signs with backgrounds, the subjects perceptions were the farther the distance, the clearer the legibility;higher ambient illumination could effectively reduce observers' glare perception to LED display signs;display signs with backgrounds at the luminance contrast of 3: 1 (L max = 3100, L min = 1033 cd /m(2)) showed the lowest uncomfortable and glare level to observers. the two forms of character showed no significant variation in affecting observers in terms of the comfort and glare perception.
this paper presents a new design and a fast technique for implementation of a 32-bit decimal floating-point (DFP) logarithmic computation to efficiently calculate radix-10 logarithm of a decimal number. Conventional t...
详细信息
this paper presents a new design and a fast technique for implementation of a 32-bit decimal floating-point (DFP) logarithmic computation to efficiently calculate radix-10 logarithm of a decimal number. Conventional techniques first convert decimal inputs to binary, then perform base-2 logarithm operations, and finally results are converted back to decimal radix. It sometimes causes errors due to the back and forth conversions of the bases. the technique described in this paper uses a 32-bit floating-point arithmetic, and utilizes only addition and subtraction operations. It does not require any decimal to binary conversion, or division operation. As a result, the described algorithm offers a low-cost, hardware-efficient and lower power consumption method for computing decimal floating-point numbers.
In this paper, we propose a new generalized design methodology of intelligent robust fuzzy control systems based on quantum genetic algorithm (QGA) called quantum fuzzy model that enhance robustness of fuzzy logic con...
详细信息
In this paper, we propose a new generalized design methodology of intelligent robust fuzzy control systems based on quantum genetic algorithm (QGA) called quantum fuzzy model that enhance robustness of fuzzy logic controllers. the QGA is adopted because of their capabilities of directed random search for global optimization to find the parameters of the shape and width of membership functions and rule set of the FLC to obtain the optimal fuzzy controller simultaneously. We test the optimal FLC obtained by the quantum computing applied on the control of dynamic balance and motion of cart-pole balancing system. We compare the proposed technique with existing mamdani fuzzy logic controller which is designed through conventional genetic algorithm. Simulation results reveal that QGA performs better than conventional GA in terms of running speed and optimizing capability.
the distance learning is a teaching mode in which the actors are spatially and/or temporally separated and the educational-didactical mediation in the teaching-learning processes happens withthe support of the ICTs (...
详细信息
the distance learning is a teaching mode in which the actors are spatially and/or temporally separated and the educational-didactical mediation in the teaching-learning processes happens withthe support of the ICTs (information and communication technologies). the spatial and temporal parting between the agents represents a challenge to be overcome, highlighting as fundamental aspects the strategies used in the making of the didactical material and in the technological resources of the educational interaction. Inter and multidisciplinary teams were created to elaborate the institutional goals and employ teaching strategies withthe objective of assist the students in their self, constructivists, collaborative and participatory studies fomenting the construction of knowledge.
暂无评论