带函数的正规逻辑程序设计系统

带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号，描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量，程序的Clark完备化和环公式约束处理（CSP）中的约束，然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统，并与其它系统进行了比较，实验结果表明,fasp对N-皇后问题有较好的效率。     

河北省规模化猪场猪李氏杆菌的分离与鉴定

河北省某规模化猪场猪群发生李氏杆菌病,在试验过程中,采集病死猪的肝、脾等病理变化比较典型的病料,进行病原菌的分离培养与纯化,并对其进行鉴定。分离出了1株产单核细胞李氏杆菌。药敏试验表明,病原菌对庆大霉素和恩诺沙星极为敏感;动物接种试验表明,分离株具有较强的致病性,对雏鸡皮下接种、口腔接种和腹腔接种,小白鼠腹腔接种可引起发病,导致死亡。