遗传程序设计中分布式染色体的一个应用

对一类遗传程序设计问题，提出了简单等长的分布式染色体，取代复杂变长的树结构染色体，使演化算子操作更方便，个体复杂度得到有效控制．用该染色体形式解决割草问题，分析了分布式染色体带来的一些性质，并给出了很好的计算结果．     

空间齐次推广的耗散碰撞Bootzmann方程的Cauchy问题(英文)

关于一类空间齐次推广的耗散碰撞Boltzmann方程Cauchy问题 ,对于一般的初始条件得到了正古典解的存在唯一性 .     

分离变量法与等腰直角三角形波导的边值问题

根据叠加原理，讨论等腰直角三角形波导边值问题的IE波解和TM波解，纠正有关文献中的错误解法，指出分离变量法的适用条件。     

一个猜想的证明

文[1 ]利用均值不等式对一类最小值问题进行了研究 ,但限于所推导的不等式 ,未能完全解决这一类问题 ,文末提出了如下猜想 :(以下简记∑ｎｉ =1为∑)设ａｉ,ｂｉ,∈Ｒ+,ｉ=1 ,2 ,… ,ｎ .α >0 ,则有 :∑ ｂｉα+1ａｉα ≥(∑ｂｉ) α+1(∑ａｉ) α ,当且仅当 ａｉｂｉ =∑ａｉ∑ｂｉ时等号成立 .本文利用凸函数定理证明了上述猜想 ,从而使这一类最小值问题得到了比较圆满的解决 .证明　首先介绍凸函数定理 [2 ]:设函数ｆ(ｘ)在区间Ｉ为下凸函数 ,λｉ∈Ｒ+,且 ∑λｉ=1 ,则对任意ｘｉ ∈Ｉ,有 :ｆ(∑λｉｘｉ) ≤ ∑λｉｆ(ｘｉ)现取ｆ(ｘ…     

求解Ar=b极小l1模解的一种有效算法

在地震反演中,我们遇到了求解这样一个问题这里文〔2〕提出了解(I)的一种迭代方法,实质上是一种;单纯形方法,但这种方法没有充分利用问题(ML I)的特点,迭代时每步下降不是最优的.本文提出一种新的有效算法,使得迭代时每步下降最大,·它可以看作单纯形算法的改进,大量计算宝例表明该方洛非常右竹早外_ =fr了拼一先y1许置景一太寸怂申了     

争鸣

问题114对台体的体积公式可按下面类比引出．     

出尔反尔——关于一类对称性问题的尴尬与思考

作为一位教师，特别是数学教师，马虎和偷懒往往会给自己留下一些遗憾．尤其是对于像我这样刚参加教育工作不久的．在教学过程中对于出现的一些问题，如果只是浅尝则止，只看到其表面的一些现象，这对于我们理解和掌握它有一定的难度，更重要的，对于碰到的其它一些问题，可能也会肤浅对待，不进行深入地研究，导致更大地损失．让我深深地感受到这些的是一个对称性问题的出现，原题如下：曲线厂（x，y）=0关于直线x-y-2=0的对称曲线的方程为（ ）．     

一个数学问题的探究

《数学通报》问题1662：求函数y=sinx＋cosx＋tanx＋cotx＋secx＋cscx的值域．其解答采用切割化弦和换元法求得值域为（-∞，1-2√2]∪[2＋3√2，＋∞）．笔者通过探究发现，在该函数取正值时，最小值2＋3√2在特殊角x=2kn＋π/4（k∈Z）时取得，本文进一步探求该函数在限制条件下的一些推广形式的最小值．     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.