The Property Specification Language (PSL) is an IEEE standard which allows developers to specify precise behavioral properties of hardware designs. PSL assertions can be embedded within code written in hardware description languages (HDL) such as Verilog to monitor signals of interest. Debugging simulations at the register transfer level (RTL) is often required to verify the functionality of a design before synthesis. Traditional methods of RTL debugging can help locate failures, but do not necessarily immediately help in discovering the reasons for the failures. The P2VSim tool presents the ability to combine multiple Verilog signals not only instantaneously, but also across multiple clock cycles, producing a graphical display of the state of active PSL assertions in a given RTL simulation. When using the P2VSim tool, users will write PSL assertions directly into their Verilog source files. After the tool searches for and loads the embedded assertions, execution trace monitors for the relevant Verilog signals are dynamically generated and written back into the Verilog source code. P2VSim then invokes an RTL simulator, Modelsim, to generate a simulation execution trace, requiring that the designer has some hardware or software testbench already in place. Next, the input PSL assertions are parsed into time intervals that have logical and temporal properties. These intervals are to be displayed graphically when PSL property checking is performed. Finally, the user is allowed to step through simulation one cycle at a time, while the tool applies the simulation execution trace to the instantiated time intervals, performing PSL property checking at each clock cycle. From this, the user can witness the exact clock cycles when PSL assertions are satisfied or violated, along with the causes of such results.

Diverse dendrimer peripheries are often produced through convergent synthesis with multiple protection-deprotection steps. Achieving such diversity while maintaining monodispersity, has previously proven problematic. Interception of an electrophilic poly(monochlorotriazine) dendrimer with a molecule of interest bearing a reactive, nucleophilic group presents an efficient method to achieve large quantities of dendrimers with biologically relevant peripheries. Kilogram-scale synthesis of a triazine-based dendrimer relies on reaction of the dichlorotriazine monomer with the amine terminated dendrimer to afford a poly(monochlorotriazine) dendrimer. Normally, the dendrimer is then reacted with piperidine, an inexpensive “cap” due to its chemically inert nature after reaction. The dendrimer then undergoes a global deprotection to afford an amine-terminated dendrimer. Subsequent iterations with the dichlorotriazine monomer affords higher generation architectures. Intercepting the poly(monochlorotriazine) dendrimer with biologically relevant molecules containing reactive amines enables the development of a drug delivery vehicle. Desferrioxamine B, an iron chelate, and camptothecin, and anticancer drug, are two clinically approved drugs of interest investigated for macromolecular drug delivery. Upon acylation of each drug with BOC-isonipecotic acid, substitution on the dendrimer may occur with varying levels of success depending on the drug in question. Upon successful substitution to afford the desired product,biological studies may be performed. Each synthetic approach will be discussed along with alternative routes leading to this general strategy.

The purpose of matrix stimulation in carbonate reservoirs is to bypass damaged zones and increase the effective wellbore area. This can be achieved by creating highly conductive flow channels known as wormholes. A further injection of acid will follow a wormhole path where the permeability has increased significantly, leaving substantial intervals untreated. Diverting materials such as surfactant-based acids plays an important role in mitigating this problem. In this study and for the first time, 20-inch long cores were used to conduct the acidizing experiments in two configurations, single coreflood and parallel coreflood. The major findings from performing single coreflood experiments can be summarized as follows: The acid injection rate was found to be a critical parameter in maximizing the efficiency of using surfactant-based acids as a diverting chemical, in addition to creating wormholes. The maximum apparent viscosity, which developed during viscoelastic surfactant acid injection, occurred over a narrow range of acid injection rates. Higher injection rates were not effective in enhancing the acidizing process, and the use of diverting material produced results similar to those of regular acids. The amount of calcium measured in the effluent samples suggests that, if the acid was injected below the optimum rate, it would allow the acid filtrate to extend further ahead of the wormhole; at some point, it would trigger the surfactant and form micelles. When the acid injection rate was lowered further to a value of 1.5 cm3/min, the fluid front developed in more progressive fashion and the calcium concentration was more significant, continuing to increase until wormhole breakthrough On the other hand, the parallel coreflood tests show several periods that can be identified from the shape of the flow rate distribution entering each core. The acid injection rate was confirmed as influencing the efficiency of the surfactant to divert acid. Acid diversion was noted to be most efficient at low rates (3 cm3/min). No significant diversion was noted at high initial permeability ratios, at least for the given core length. The use of surfactant-based acid was also found to be constrained by the scale of the initial permeability ratio. For permeability ratios greater than about 10, diversion was insufficient.

Meaning based search retrieves objects from search index repository based on user's search Meanings and meaning of objects rather than keyword matching. It requires techniques to capture user's search Meanings and meanings of objects, transform them to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development of an algorithm that transforms the hierarchical concept tree to a tensor representation using tensor algebra theory. These tensor representations can capture the information need of a user in a better way and can be used for similarity comparisons in meaning based search. A preliminary evaluation showed that the proposed framework outperforms the TF-IDF vector model in 95% of the cases and vector based conceptual search model in 92% of the cases in adequately comparing meaning of objects. The tensor conversion tool also was used to verify the salient properties of the meaning comparison framework. The results show that the salient properties are consistent with the tensor similarity values of the meaning comparison framework.

caT, a Petri net-based hypertext system, supports the modeling of user characteristics, contextual information, as well as the policies that govern the operation of a digital library within the infrastructure that presents its contents. Traditionally, users have created caT networks from scratch, thus limiting their use to small collections. In this research, we introduce TcAT, a new authoring tool that supports features for component-based authoring, with a view to enable the creation of large caT nets that can represent complex, real-life spaces such as libraries and museums. TcAT supports graphical, template-based creation of nets as well as a textual language for easy manipulation of large structures. It implements composition operations from Petri net theory to select, categorize, and modify existing net fragments as building blocks for composing larger networks. Authors may switch modes between visual and textual authoring at will, thus combining the strengths of expressing large nets textually and selecting net fragments via point-and-click interaction. A user evaluation of the new authoring mechanisms suggests that this is a promising tool for improving the efficiency of experienced users as well as that of novice users, who are unfamiliar with the Petri net formalism.

none

In the twenty century multimedia entertainment is more and more proportion in the human life and internet is more covenient to communicate and easier to change information. Video and audio compression technology are promote rapidly to drive people enjoying multimedia contents by using internet. However, the main three software factory provide high price of multimedia streaming technology and they have each patents on their multimedia streaming technology. From MP3 encoding technology view, it is used efficient to compress music data and let it be in trade of data size and high quality. MP3 file format is much appropriate to apply using many kinds based on streaming music applications. The technique in my paper, first I analysis MP3 encoding and deconding algorithm. Then I apply it in transferring streaming music by using reliable TCP/IP communication protocol to make multi-user and multi-channel music-on-demand system. By using Java server side technology, I make a web-based manager and user interface system and finally make the implementation of linux-based MP3 music-on-demand system.

none

A study on school-based curriculum management in elementary schools of Kaohsiung County. Abstract The first purpose of this study is to investigate the viewpoints and needs of school-based curriculum management ¡]SBCM¡^. The second is to investigate the educators as a practitioner of SBCM in elementary schools of Kaohsiung County. Finally, based on research findings, some proposals for improving the management of school-based curriculum are presented. To accomplish these purposes, through the result of literary review, the investigator has concluded with 7 viewpoints and 5 needs of SBCM, and then according to its contents to compile ¡§A questionnaire to survey the viewpoints and needs of school-based curriculum management in the elementary schools¡¨ to study the current situation for practicing SBCM. The objects of this study are the school staffs of public elementary schools in Kaohsiung County. The total of 120 schools and 519 effective samples were acquired. And these data were analyzed by using the method of statistics, including mean and standard deviation, percentage analysis, AVOVA, Scheffe method- post hoc comparison and product- moment correlation . From the data of literary reviews and the questionnaire, the conclusions are as follows: 1. SBCM is one of the main purposes on ¡§Grade 1-9 curriculum Guidelines¡¨ to put the curriculum reform into practice. The curriculum focuses not only on the core of the educational rationale but also on the students¡¦ learning activities. The curriculum rationale is close to the postmodern period which paid close attention to the interaction between teachers and students with positive dialogues to develop their curriculum. The curriculum encourages students to understand knowledge better, that allows the whole curriculum more flexible and adjustable. The supports of the communities and positive criticisms will help the whole curriculum well-developed. 2. According to the questionnaire, the viewpoints of the educators about SBCM reveal that during the seven factors, those ¡§male¡¨, ¡§age above 51¡¨ , ¡§higher seniority¡¨, ¡§status as a principal¡¨, ¡§forty-credit program¡¨ are closer to ¡§fit in with¡¨ or ¡§much fit in with¡¨ the viewpoints. As to the school districts and scales, the schools with less than 12 classes are closer to the viewpoints on the factors of ¡§curriculum goal ¡§, ¡§curriculum plan¡¨, ¡§curriculum implementation¡¨, ¡§curriculum evaluation¡¨ and ¡§curriculum leadership¡¨. 3. As to the needs of SBCM, the data analysis reveals that those ¡§female¡¨, or ¡§status as a teacher¡¨ were less-needed on ¡§Expense¡¨; those ¡§male¡¨, ¡§age above 51¡¨, ¡§higher seniority¡¨, ¡§status as a principal¡¨, ¡§Master Degree¡¨ are closer to ¡§fit in with¡¨ or ¡§much fit in with¡¨ the needs. 4. Educators from different educational backgrounds will cause the differences on the viewpoints and needs of CBCM. With the factors of ¡§professional development ¡§and ¡§related arrangements¡¨, reveals that those who are qualified with either ¡§Master Degree¡¨ or ¡§higher seniority¡¨ are more eligible than the others. 5.Within the viewpoints and needs of CBCM, there are middle-low proof of positive correlation on them, and also reach .01 significant level. Among the factors, there are one pair ¡]£q1¡B£b1¡^reach middle correlation, especially the coefficient between ¡§£q1¡¨ and ¡§organizational operation¡¨ is the highest, but the coefficient between ¡§£b1¡¨ and ¡§Expense¡¨ is the lowest. According to the data of literary review and the questionnaire, the conclusions are as follows: 1. The experiences on SBM in other countries can be referred by our domestic schools. Then, we can establish a better and competent curriculum for Taiwan education. 2. SBCM should emphasize (on) working on the theories and practice of personnel administration, expense and curriculum management. 3. Use various resources to improve the educators on their professional development. 4.To encourage the educators ,who are ¡§young¡¨¡]less than 30 years old¡^, ¡§female¡¨, ¡§less-seniority¡¨ and ¡§Bachelor Degree¡¨, enthusiastically participate in the SBCM affairs. 5. To study relevant laws and Acts to promote practical SBCM affairs. 6. To emphasize the importance of school-based curriculum leadership. 7. To establish the workable management measure of SBCM. 8. To establish a wholesome evaluation measure of SBCM.

This research explores the growth strategy of Taiwan chemical SMEs in China market. In 2003, China has surpassed USA as the largest FDI receiving country while the trade across the Taiwan Strait for the same year , estimated by Taiwan Mainland Affairs Council, had climbed to USD 46.3 billion , around 24% growth vs. 2002. It will be valuable to explore how Taiwan chemical SMEs, the most active participants in the international business, shape their growth strategy with the constraint of resource scarcity. The resources-based view suggests that a firm¡¦s unique resources and capabilities provide the basis for a strategy. The research selects two case companies in Unsaturated Polyester Resin (UPR) industry to identify the resources relative to the shaping of the growth strategy. Furthermore, it also explores the relationship between the internal resources of the case company and its choice of growth strategy. We thus develop four prepositions to facilitate the discussion. We conducted in-depth interviews with the two case companies to reach the following conclusions. They are summarized as follows: - A SME with more manager controlled ownership structure tends to more aggressively pursue the growth. - A SME with pursuing more R&D investment will be more committed to growth. - Human Resources in SMEs are not a dominating role in pursuing a growth strategy. - Top managements¡¦ perception of the external environment reflects their personal experiences