关于t—半群与广义E—极小半群

引进强分裂元以及广义Ｅ－极小半群的概念，从而给出半群Ｓ为ｔ－半群的充要条件是：具有ＰＩＥＰ或无强分裂元或具有某种ＣＥＰ，若周期半群Ｊ是广义Ｅ－极小半群，则Ｓ是一些ｐ群的并或一个左（或）零半群（或２个元素的半格）或诣零半群或幂零半群。     

木糖醇结晶的热力学特性

采用激光法测定了木糖醇在纯水、乙醇和甲醇-水混合溶剂中的溶解度以及在水中的超溶解度数据，确定了木糖醇水溶液的结晶介稳区，并考察了温度和溶剂组成对它们的影响，同时测定了木糖醇悬浮液的黏度以及木糖醇晶体的熔点和熔化焓．研究表明，木糖醇在纯水、乙醇以及不同配比的甲醇-水混合溶剂中的溶解度均随温度的降低而明显下降．在甲醇-水混合溶剂中，随着甲醇含量的增加木糖醇的溶解度亦明显下降．这为木糖醇工业结晶装置及生产线的设计、工程放大和工业结晶生产操作提供了理论依据．     

基于TC9181的数字锁相频率合成器的设计

文章介绍了锁相环路频率合成器的基本原理,分析了集成锁相环芯片TC9181的工作特性,给出了基于集成锁相环芯片TC9181的“吞除脉冲”式串行数字锁相频率合成器设计方法,为高频频率合成器的设计提供了一个较好的思路。     

Ambrosetti-Prodi问题--常微分方程组情形

文章研究常微分方程组情形的Ambrosetti—Prodi型问题．在非线性项超线性，凸性等条件下，得出随着参数的变化，问题无解、有唯一解及至少有两解的结论。     

基于旅游资源空间结构和市场通达度的旅游区划研究——以江苏沿江旅游发展为例

旅游区划是旅游资源开发的重要工作之一,在进行旅游资源普查、区划、规划之后才能合理的开发利用和保护旅游资源.其中不仅要进行一定数量的旅游资源的调查与评价,还要分析其空间结构和旅游交通网络,确定其旅游中心城市,以体现旅游过程的系统性、完整性以及旅游区的地域性等特点.在目前的旅游区划研究和工作中,对于旅游资源的调查与评价可以依据国家标准《旅游资源分类、调查与评价》,但在分析其空间结构和旅游交通网络方面,还缺少有效的定量分析方法和指标描述.本文基于国家《旅游资源分类、调查与评价》标准对江苏沿江旅游资源进行评价,并应用图论方法对旅游资源进行空间结构分析,以通达度作为描述旅游交通网络的指标,在以上定量研究和综合分析的基础上,对江苏沿江旅游区进行旅游区划研究.     

最小频繁相关模式的挖掘

频繁模式不能反映模式内部各项目之间的关联和相关关系，频繁关联模式挖掘与孥繁相关苎式兰苎已越来越受到人们的重视．按照相关模式定义，如果一个模式是相关模式，其超模式一定是相关模式,最小频繁相关模式挖掘将大大减少挖掘出来的数量，有利于用户分析．给出最小频繁相关模式挖掘算法，并在标准数据挖掘数据集蘑菇数据上测试，实验证明算法是正确有效的．     

基于Loop细分方法的曲线插值

生成带有曲线插值约束的细分曲面,提出基于Loop细分方法的曲线插值方法,不需要修改细分规则,只需以插值曲线的控制多边形为中心多边形,向其两侧构造对称三角网格带,该对称三角网格带将收敛于插值曲线.因此,包含有该三角网格带的多面体网格的极限曲面将经过插值曲线.运用本方法可在三角网格生成的细分曲面中插值多条不相交的曲线.     

探索对外汉语文化教学的有效途径

语言和文化的关系密不可分,语言教学离不开文化传授。在对外汉语教学中,应把文化背景知识教学寓于语言课教学和实践课教学之中。在课堂教学过程中注意运用对比的方法,防止“负迁移”作用。注意区分留学生所属的“文化圈”,有针对性地因材施教。采取灵活多样的教学手段,促进文化交流与融合。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。