The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly ap...The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly appliesstate translation rules, semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method, and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example, this paper introduces how to analyze consistency and com-pleteness of requirements specifications.展开更多
The gelation behaviours of low molecular weight gelators 1,3：2,5：4.6-tris（3,4-dichlorobenzylidene）-Dmannitol（G1） and 2,4-（3.4-dichlorobenzylidene）-N-（3-aminopropyl）-D-gluconamide（G2） in 34 solvents have be...The gelation behaviours of low molecular weight gelators 1,3：2,5：4.6-tris（3,4-dichlorobenzylidene）-Dmannitol（G1） and 2,4-（3.4-dichlorobenzylidene）-N-（3-aminopropyl）-D-gluconamide（G2） in 34 solvents have been studied.We found that sample dissolved at low concentrations may become a gel or precipitate at higher concentrations.The Hansen solubility parameters（HSPs） and a Teas plot were employed to correlate the gelation behaviours with solvent properties,but with no success if the concentration of the tests was not maintained constant.Instead,on the basis of the gelation results obtained for the G1 and G2 in single solvents,we studied the gelation behaviours of G1 and G2 in23 solvent mixtures and found that the tendency of a gelator to form a gel in mixed solvents is strongly correlated with its gelation behaviours in good solvents.If the gelation occurs in a good solvent at higher concentrations,it will take place as well in a mixed solvent（the good solvent plus a poor solvent） at a certain volume ratio.In contrast,if the gelator forms a precipitate in a good solvent at higher concentrations,no gelation is to be observed in the mixed solvents.A gelation rule for mixed solvents is thus proposed,which may facilitate decision making with regard to solvent selection for gel formation in the solvent mixtures in practical applications.展开更多
文摘The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly appliesstate translation rules, semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method, and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example, this paper introduces how to analyze consistency and com-pleteness of requirements specifications.
基金the financial support of the National Natural Science Foundation of China(Nos.21276188,21476164)Tianjin Science and Technology Innovation Platform Program(No.14TXGCCX00017)
文摘The gelation behaviours of low molecular weight gelators 1,3：2,5：4.6-tris（3,4-dichlorobenzylidene）-Dmannitol（G1） and 2,4-（3.4-dichlorobenzylidene）-N-（3-aminopropyl）-D-gluconamide（G2） in 34 solvents have been studied.We found that sample dissolved at low concentrations may become a gel or precipitate at higher concentrations.The Hansen solubility parameters（HSPs） and a Teas plot were employed to correlate the gelation behaviours with solvent properties,but with no success if the concentration of the tests was not maintained constant.Instead,on the basis of the gelation results obtained for the G1 and G2 in single solvents,we studied the gelation behaviours of G1 and G2 in23 solvent mixtures and found that the tendency of a gelator to form a gel in mixed solvents is strongly correlated with its gelation behaviours in good solvents.If the gelation occurs in a good solvent at higher concentrations,it will take place as well in a mixed solvent（the good solvent plus a poor solvent） at a certain volume ratio.In contrast,if the gelator forms a precipitate in a good solvent at higher concentrations,no gelation is to be observed in the mixed solvents.A gelation rule for mixed solvents is thus proposed,which may facilitate decision making with regard to solvent selection for gel formation in the solvent mixtures in practical applications.
