格半群相关概念的几点注记

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出凡格半群是广义格半群，反之则不一定。在广义格半群中理想集I(S)是完备格，而sl理想集SL(S)却不能构成格。在格半群中，sl理想集是格，但是2个sl理想的上确界不等于其并。广义格半群中的理想均能生成sl理想。     

Boo1e代数与双格半群

指出Boole代数类是双格半群类的真子类；有限Boole代数类是F-格半群类的真子类；当格群是Boole代数时，该格群一定是平凡的，同时给出一个双格半群(S， ，≤)是Boole代数的充要条件是：1．存在0∈S，任意x∈S，0≤x，0 x=x 0=x；2．任意x，y∈S，(x⊙y) x=x；3．任意x∈S，存在x′∈S，x⊙x′=x；4．任意x，y,x∈S，x xy=x xz，x⊙y推出x=y.     

n元真值函数构成的双格半群

证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x)，f∧g(x)=f(x)∧g(x)，f≤g当且仅当f(x)≤g(x)(任意f，g∈L，任意x∈|0，1|^n)，并且确定了其分子结构．指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L／←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群．     

谈对项目工程管理中的几点看法

当前施工企业工程项目管理仍然存在诸多问题,不能适应形势发展的需要。建设项目是一个系统工程,由于系统工程有其内在的规律,需要通过与之相适应的管理模式、管理程序、管理方法、管理技术去实现,也就是说,需要有专门从事工程项目管理的组织为之服务。这种组织应该有与项目管理相应的功能、机构、程序、方法和技术;有相应的资质、人才、经验,能够为业主提供最优秀的项目管理服务,能够为业主创造最大限度的效益。     

基于LwIP的TCP拥塞控制方法的改进

RFC2001和RFC2081文档描述了TCP拥塞控制方法,主要有慢启动算法、拥塞避免算法、快速重传算法和快速恢复算法;RFC2582和RFC3782文档描述了快速恢复算法NewReno修正。本文结合开源嵌入式TCP/IP协议栈LwIP,详细阐述了慢启动算法、拥塞避免算法、快速重传算法和快速恢复算法的实现方法,并根据TCP的快速恢复算法NewReno修正对LwIP的TCP拥塞控制方法的实现提出了改进建议。     

BCI—代数序结构的特征

引入下(上)根元、极大渗透、极大序理想等概念,讨论了极大渗透、极大序理想的结构。证明了BCI-代数是互不相交的极大渗透的并,处于不同极大渗透中的序链互不相交。     

豆状囊尾蚴虫病引起家兔大批死亡报告

<正> 1988年8月中旬,北京郊区一养兔专业户,共饲养大耳白兔、新西兰兔及青紫兰兔300余只,在不到一周的时间内,在不同年龄的兔群中连续发生死亡,先后死亡50余只,对这户造成较大的经济损失,后经确诊为豆状囊尾蚴虫所致。下面将临床发病症状和病理解剖等作如下报告: