Research of SQL Server Automatic Marking Based on Logical Formal

2011 ◽  
Vol 328-330 ◽  
pp. 2376-2379
Author(s):  
Yao Fei Chen
Keyword(s):  
Formal Method ◽  
Formal System ◽  
Skill Assessment ◽  
Sql Server ◽  
Formal Description ◽  
Whole Process ◽  
Data Definition ◽  
Data Objects ◽  
System Focus ◽  
Better Than

The author proposes a scheme of SQL Server Automatic Marking based on logical formal. The scheme consists of three parts: generating paper, skill assessment and automatic marking. Describe the question's Marking information by using the logical formal method. Achieve automatic Marking by building the logical formal system. Focus on three components of the scheme: logical formal description, get information of database based on ADOX(Microsoft ActiveX Data Objects Extensions for Data Definition Language and Security) and automatic marking of three database operations:Creat,Modify and Delete. Describes the whole process of logical formal Marking with example. Analysis the assessment effect of the results about the example. Analysis between manual and automatic Marking shows that: logical Formal automatic Marking is better than the average artificial error and close to the minimum artificial error.

Research of Flash Automatic Marking Based on Logical Formal

2012 ◽  
Vol 468-471 ◽  
pp. 2849-2853
Author(s):  
Wei Zheng ◽  
Ya Ping Wu ◽  
Yao Fei Chen
Keyword(s):  
Formal Method ◽  
Formal System ◽  
Average Error ◽  
Formal Description ◽  
Whole Process ◽  
Better Than

The author proposes a scheme of flash automatic marking based on animation effects. Describe the question's marking information by using the logical formal method. Achieve automatic marking by building the logical formal system. Focuses on two components of the scheme: logical formal description and SWF to XML. Describes the whole process of logical formal marking with example. Analysis of manual and automatic marking shows that: logical Formal automatic marking error is better than the manual average error.

A New Formal Method of Anticorrosion Design

2010 ◽  
Vol 44-47 ◽  
pp. 1449-1454 ◽  
Author(s):  
Peng Fei Zhao ◽  
Yi Zhang ◽  
Zong Bin Li ◽  
Xiao Yang Yuan
Keyword(s):  
Conceptual Design ◽  
Formal Method ◽  
Formal Model ◽  
Early Stage ◽  
Formal Description ◽  
Functional Requirements ◽  
Formal Reasoning ◽  
Sets Theory ◽  
Polychromatic Sets Theory ◽  
Selection Of

To solve the problem of anticorrosion design in early stage of manufacture, a formal method of anticorrosion design was proposed, and a formal model of conceptual design of anticorrosive materials was established by using hierarchical structure, individual color sets and unified color sets. Basing on the reasoning matrices which were established by using polychromatic sets theory, a formal reasoning method was proposed to realize the formal reasoning from the functional requirements to the selection of final scheme. This formal method of conceptual design for anticorrosion based on the polychromatic sets can make the design process of anticorrosion standardized, and facilitate the formal description of the reasoning process and its expression and operation in computer. The method made some useful explorationfor the CAPP integration design of anticorrosion.

The Application of Predicate/Transition Petri Net in Equipment Information Collect and Manage System

2014 ◽  
Vol 978 ◽  
pp. 272-275
Author(s):  
Cheng Peng ◽  
Pan Qing Wang ◽  
Zheng Xie
Keyword(s):  
Petri Net ◽  
Formal Method ◽  
Formal Description ◽  
Software Specification ◽  
Important Method ◽  
System 1

The formal method becomes the important method of software specification elucidation gradually and explain to have integrity, consistency and have no two through a born specification of form method the characteristics of precision, the Petri net is a kind of the sketch turns of formal method, call a predicate/transition petri net is a kind of deluxe Petri net, the structure of the deluxe Petri net and traditional Petri net homology, but the position in the deluxe Petri net, move and Hu power heavy had an abundant content, finally use to call a predicate/transition petri net to material the information collect the formal description of managing the system.1 preface

Automatic Marking of SQL Server Based on SQL-DMO

2013 ◽  
Vol 303-306 ◽  
pp. 2369-2372
Author(s):  
Yao Fei Chen ◽  
Wei Zheng ◽  
Huan Tong Chen
Keyword(s):  
Information Acquisition ◽  
The Other ◽  
Skill Assessment ◽  
Sql Server ◽  
Object Model ◽  
Test Paper ◽  
Sql Server Database ◽  
Key Techniques

SQL Server skill assessment is deficient. This article describes the SQL Server object model SQL-DMO. Propose the process of SQL Server skill assessment: test paper generation, Skill assessment and Automatic marking. Analysis two key techniques of skill assessment based on SQL-DMO. One is getting operating information based on SQL-DMO. The other is automatic marking for Skill and Operation. Besides, automatic marking rules for database object creating, modifying and deleting are focused on. The author uses SQL-DMO method to realize database object information acquisition, and implement automatic marking for SQL Server database skill assessment.

scholarly journals How to circumvent the limitations of open source software and orthorectify how (or better) than with commercial software

2020 ◽  
Author(s):  
Valerio Baiocchi ◽  
Roberta Onori ◽  
Felicia Monti ◽  
Francesca Giannone
Keyword(s):  
Open Source ◽  
Satellite Images ◽  
Research Work ◽  
Three Dimensional ◽  
Commercial Software ◽  
Whole Process ◽  
High Resolution Satellite Images ◽  
Open Source Gis ◽  
Gis Software ◽  
Better Than

<p>High and very high resolution satellite images are now an irreplaceable resource for earth observation in general and for the extraction of hydrogeological information in particular. In order to use them correctly and compare them with previous surveys and maps, they must be treated geometrically to remove the distortions introduced by the acquisition process. Orthorectification is not a simple georeferencing because the process must take into account the three-dimensional acquisition geometry of the sensor. For this reason orthorectification must be performed within specific commercial software with additional costs compared to image acquisition which, in some cases, is currently free of charge.<br>Some orthorectification algorithms, mainly based on the RPC approach, are available in open source GIS software such as QGIS. OTB (Orpheus toolbox) for QGIS contains some of these algorithms but its interfaces are not clear and there are some incomprehensible limitations such as the impossibility to input three-dimensional ground control points (GCPs). This severely limits the final achievable accuracy because it does not allow to correctly estimate the influence of different ground morphologies on the acquisition geometry. To get around these limitations you can make a "pseudo DEM" and other expedients to complete the whole process obtaining absolute results comparable if not better than those of commercial software.<br>The proposed procedure may not be the fastest but it can be a valid alternative for those who use satellite images as a tool in their research work.</p><p> </p>

scholarly journals Performance of a New Magnetic Chitosan Nanoparticle to Remove Arsenic and Its Separation from Water

2015 ◽  
Vol 2015 ◽  
pp. 1-9 ◽  
Author(s):  
Cheng Liu ◽  
Bin Wang ◽  
Yang Deng ◽  
Biao Cui ◽  
Jie Wang ◽  
...  
Keyword(s):  
Freundlich Isotherm ◽  
Magnetic Chitosan ◽  
Whole Process ◽  
Wide Range ◽  
Chitosan Nanoparticle ◽  
Equilibrium Data ◽  
Pseudo Second Order ◽  
Material Separation ◽  
Initial Adsorption ◽  
Better Than

Removal performance of arsenic in water by a novel magnetic chitosan nanoparticle (MCNP) with a diameter of about 10 nm, including adsorption kinetics, adsorption isotherm, main influencing factors, and regeneration effects, was investigated. In addition, the effective separation way for MCNP particles and the new application mode were developed to prompt the application of MCNP. The results showed that MCNP exhibited excellent ability to remove As(V) and As(III) from water in a wide range of initial concentrations, MCNP removed arsenic rapidly with more than 95% of arsenic adsorbed in initial 15 min, and the whole process fitted well to the pseudo-second-order model. The Langmuir model fits the equilibrium data better than the Freundlich isotherm model and the maximum adsorption capacities of As(V) and As(III) were 65.5 mg/g and 60.2 mg/g, respectively. The saturated MCNP could be easily regenerated and kept more than 95% of initial adsorption capacity stable after 10 regeneration cycles. A new magnetic material separation method was established to separate MCNP effectively. The continuous-operation instrument developed based on the MCNP could operate stably and guarantee that the concentration of arsenic meets the guideline limit of arsenic in drinking water regulated by the WHO.

FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS

2005 ◽  
Vol 15 (05) ◽  
pp. 873-891 ◽  
Author(s):  
HAZEM EL-GENDY ◽  
NABIL EL-KADHI
Keyword(s):  
Real Time ◽  
Formal Method ◽  
Conformance Testing ◽  
Control Flow ◽  
Semantic Model ◽  
Formal Description ◽  
Real Time Systems ◽  
Behavior Tree ◽  
Time Systems ◽  
Formal Description Techniques

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers. Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions.

scholarly journals Forecasting Decisons in Conflicts: Analogy, Game Theory, Unaided Judgement, and Simulation Compared

2021 ◽  
Author(s):  
◽  
Kesten Charles Green
Keyword(s):  
Game Theory ◽  
Formal Method ◽  
Student Role ◽  
Alternative Measures ◽  
Role Players ◽  
Better Than

<p>There has been surprisingly little research on how best to predict decisions in conflicts. Managers commonly use their unaided judgement for the task. Game theory and a disciplined use of analogies have been recommended. When tested, experts using their unaided judgement and game theorists performed no better than chance. Experts using structured analogies performed better than chance, but the most accurate forecasts were provided by simulated interaction using student role players. Twenty-one game theorists made 98 forecasts for eight diverse conflicts. Forty-one experts in conflicts made 60 solo forecasts using structured analogies and 96 solo forecasts using unaided judgement (a further seven provided collaborative forecasts only) while 492 participants made 105 forecasts in simulated interactions. Overall, one-in-three forecasts by game theorists and by experts who did not use a formal method were correct. Forecasters who used structured analogies were correct for 45 percent and forecasts from simulated interactions were correct for 62 percent of forecasts. Analysis using alternative measures of accuracy does not affect the findings. Neither expertise nor collaboration appear to affect accuracy. The findings are at odds with the opinions of experts, who expected experts to be more accurate than students regardless of the method used.</p>

Sign in / Sign up

Export Citation Format

Share Document