The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The control equipment management system is a kind of multimedia information management system that includes images, texts and database information. The most important thing for such a management system is the design of database. This paper first gives some aspects that should be paid attention to in the process of designing database. Then it makes a detailed design for the control equipment management...
The purpose of software test is to measure whether the software satisfies the demands, the choice of test methods and test cases directly affects software test results. Equivalence relation is reflexive, symmetry, transitivity. Equivalence class and classification produced by the equivalence relation is important in software test application, the theoretical basis of equivalence class testing is equivalence...
For the data-intensive scientific workflows, large mount of data need to be stored and often been distributed into several data centers. So the data movements between different data centers become inevitable when the application executed. The more time the data movements, the less efficiency of the data-intensive application. This paper proposed a data placement method based on Bayesian network for...
This paper is a study on engaging Academic Career Management Interface design. We approach the Academic Systems from a User Experience (UX) perspective. We identified three interrelated users: the Student, the Faculty and the Employer. For the Student UX, the system is an academic career experience, with decision-making and resource management in the design problem space. We developed a solution space...
The carry-free nature of residue number system (RNS) has introduced it as an efficient unconventional number system which has attracted lots of researchers for many decades. Distinct aspects of RNS systems such as its application, architectures and implementations were considered. Although, all these researches were done, still lots of leakages exist that need to be fully investigated. Furthermore,...
Since curriculum vision is a new idea in current education investigation, researching least course set based-curriculum visions possessed higher theoretical and realistic significance. After describing the current situation of computer education in quantity and brief introducing the curriculum visions of computing discipline, the concept of least course set was proposed and the difference between...
In this paper, we investigate the existence of solutions for boundary value problems concerning fractional differential equations in Lp (1 ≤ p < ∞) spaces. Our analysis relies on the Riesz Compactness Criteria and the Leray-Schauder Nonlinear Alternative theorem. Furthermore, we establish an existence principle which guarantees a solution in Lploc (1 ≤ p < ∞), which is a Fréchet space.
This paper aims to investigate some properties of the overlapping words. A word w is called an overlapping word if there exists a nonempty word v such that v (1/2)lg(u). In the meanwhile, an overlapping word is a d_1-word if it is not a d_2-word. The characterizations of d_1-words and d_2-words are studied in this paper. The procedure of constructing the d_2-words is provided. We also study the characteristics...
The problem of closest pair is a basic problem of computational geometry. This paper investigates the problem of privacy-preserving closet pair and designs a protocol. This protocol bases on Euclid-distance measure protocol and private comparison protocol. The main idea of this protocol is using the Euclid-distance measure protocol to respectively compute the distances of one party's one point and...
In this paper, we derive a kind of classification of binary signal set by adopting Hadamard equivalence of binary matrices. To do this, we study various properties of this equivalence relation and its classes. We propose to use a concept named “HR-minimal” as a representative of each equivalence class, and some properties and constructions of HR-minimals are investigated. Especially, careful observation...
Three kinds of air-cooling systems and their technical features have been described in this paper. Combined with the energy policy in our country, the perspective of air-cooling unit is discussed mainly in terms of coal-fired unit applied status, air-cooling unit's development and our country's energy policy etc. And the matters needing attention and the needed taken measures in the conscientions...
Workflow Method and Petri-net modeling has developed quickly and been abroad applied in many areas related with information system. This paper prefers that modeling using Petri-net, and to express model using JBPM framework which is a process-describing language, and to actualize persistence and network, offer a develop method which has exact developing process, convenient operation, strong opening...
To analyze the influence of application of Information Technology in classroom teaching on teaching structure, teaching style and teaching interaction by using the improved Flanders Interaction Analysis System, combined with the qualitative research method. Rational use of Information Technology in classroom teaching has obvious advantages in creating learning situations and can change the classroom...
A clustering routing algorithm for wireless sensor network (WSN) based on improved ant colony algorithm is proposed in this paper. This proposed algorithm is based on the advantages of clustering algorithm and ant colony algorithm, which applies improved ant colony algorithm to the clustering algorithm, in order to find the best path from cluster head to sink. To improve ant colony algorithm, the...
Pipeline is one of the basic techniques to improve the CPU's performance. This paper based on MIPS instruction set, designed a five-stage pipeline CPU. The CPU was implemented with schematic and VHDL language, and verified the CPU core is correct and effective in Quartus II environment.
Workflow technology is an effective measure realizing enterprise process integration and widely applied in many occasions. The most important thing is to construct a suitable model with well-founded structure. Petri-net is a kind of system model that is propitious to describe asynchronous and concurrent phenomena; it has not only strict math definition, but also direct graphic express. This article...
An embedded SCADA system has been studied and fulfilled in order to operate and control industry objects directly at the terminal of production line. A solution is suggested for an embedded SCADA system based on the development of embedded computer and network communication. The design and implementation methods are introduced for technics structure, hardware and software of this system. The first...
The development of computer technology, network technology and simulation technology promoted the construction and usage of network virtual experiment system. Basing on the literature research, the passage generalized and sumed up the major virtual experiment instruction mode in current time, at the same time, the passage analysed and compared the virtual experiment system from the mode feature, theory...
This study was conducted to explore the effects of computer-based modeling learning activates on sixth graders' modeling practices. The subjects of this study were 33 sixth graders in Taipei Taiwan. The experimental group received an instruction which was based on Model-It, a computer-based modeling tool, and a set of computer-based modeling learning activities. Paper and pencil tests of modeling...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.