成对电解法研制葡萄糖酸及山梨醇的文献分析

本文介绍了成对电解葡萄糖，研制葡萄糖酸、葡萄糖酸锌、葡萄糖酸钙及山梨醇的有关文献，指出其各自的优缺点，并将这些文献与我们的工作进行了比较．     

贝叶斯预测与鲍克斯──詹金斯预测比较

本文是在全面了解Ｂａｙｅｓ预测与Ｂｏｘ－Ｊｅｎｋｉｎｓ预测的基础上，对这两种预测的主要特征加以对照和比较，指出了它们在建模思想、建模条件、建模步骤等方面的不同点以及两种预测模型的关系，从而使读者更深入地了解Ｂｏｘ－Ｊｅｎｋｉｎｓ预测。     

中国古代文论中的千古妙喻──以味喻诗

“以味喻诗”是中国古代文艺理论中的一种特有现象，是古代文论之千古妙喻。先秦时期，人们发现了“食味”与艺术“余味”之间的关系：西晋时期，将“大羹遗味”引入诗文评论，渐次形成“以味喻诗”的传统。经梁之钟嵘首倡而产生文艺理论流派──“滋味说”。唐之司空图以“味”为衡量诗歌艺术标准，重视诗歌艺术规律──“醇美”。宋之杨万里“以味不以形”而论“江西宗派诗”。今人周振甫解答了诗歌评论中数百年的悬案，钱钟书以“中国诗文有一种描写手法”──“通感”，阐明了“以味喻诗”长盛不衰的理论根据。     

葡萄糖成对电解反应的研究

本文探讨葡萄糖在无隔膜电解池中成对电解合成葡萄糖酸和山梨醇的可能性，测定了几种电极材料上的电解效率，结果表明，石墨阳极上生成葡糖酸的电流效率可达１００％，普通铅、锌、镍阴极的还原效率很低，海绵状铅对葡萄糖还原有较高的效率。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

古希腊两种不同的"摹仿说"之比较

主要从文艺的本质、文艺的创造性以及文艺的社会作用几个方面分析比较了古希腊哲学家柏拉图和亚里士多德所提倡的“摹仿说”的不同内涵。指出亚里士多德的“摹仿说”是根据朴素的唯物主义哲学观对柏拉图的理论进行改造的结果,因而更具有进步性和合理性。     

中韩行政伦理制度比较思考

通过对中韩两国行政伦理制度的主要内容进行比较,进而提出了在我国进一步加强行政伦理建设的几点建议。     

人体着装部位间皮肤冷感受之差异性研究——局部皮肤温度变化的多重比较

发展了一种着装温度舒适性感觉计测的研究新方法，对着装人体不同身体部位在受到同样程度的冷制刺激时产生的皮肤温度等生理量变化，主观心理感觉的差异性进行了研究，并利用多重比较分析了主要身体部位对冷刺激导致的皮肤温度变化量反应规律。     

两种网球底线击球技术特点及其生物力学特征的比较分析

分析两种不同网球底线击球技术的握拍法、步法和引拍挥拍的运动轨迹 ,比较它们的技术特点及其生物力学特征 .认为现代鞭打式击球技术比传统长行程击球技术有明显优势 ,可以击出力量更大 ,速度更快 ,旋转更强 ,极具穿透力的上旋球 ,显著的提高了击球的攻击性和稳定性 ,应当在网球教学和训练中优先采用和推广     

A genetic algorithm on multiple sequences alignment problems in biology

The study and comparison of sequences of characters from a finite alphabet is relevant to various areas of science, notably molecular biology. The measurement of sequence similarity involves the consideration of the possible sequence alignments in order to find an optimal one for which the “distance” between sequences is minimum. In biology informatics area, it is a more important and difficult problem due to the long length (100 at least) of sequence, this cause the compute complexity and large memory require. By associating a path in a lattice to each alignment, a geometric insight can be brought into the problem of finding an optimal alignment, this give an obvious encoding of each path. This problem can be solved by applying genetic algorithm, which is more efficient than dynamic programming and hidden Markov model using commomly now. Foundation item: Supported by Zi-qiang Foundation of Wuhan University and Open Foundation of the State Key-Laboratory of Software Engineering, Wuhan University Biography: Shi Feng(1966-), male, Associate professor, research direction: bioinformatics.