对“船舶在能见度不良时的行动规则”内容的理解

通过《１９７２年国际海上避碰规则》第１９条英文版与中译的对比，发现在奠定本条款时容易误差解的几个问题，并对几上避碰术语作了解释。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

论一种直观的思维模式——用运动的观点分析立体几何点滴

初等数学研究的数和形总是循着“运动变化”的轨迹走向纵深，渗透了辩证思想，把人们带进逻辑思维深奥而幽美的花园。如函数解析式：Y=f（X）中Y随着X的变化而变化，而连续函数的图象正是由点按某一规则运动而成的，即所谓轨迹。数与形的结合生动地描述了一种运动的变化，一种对立统一的思想方法，它已成为数学的重要思维模式和基本的理论知识。但学生较难在各数学分支中真正掌握这种思维方法；尤其是立体几何，它作为专门的一个数学分支把学生引向另一个似乎与此种思维方法无关的广阔天地去了。     

基于﹒NET平台的魔芋专家系统的设计与实现

通过对农业技术应用现状的分析,指出了研制网上魔芋专家系统的必要性以及主要功能。本论文介绍了ASP.NET技术的特点、ADO.NET技术、以及初级魔芋专家系统开发的部分实例。     

基于SIMULINK的Fuzzy-PID控制器设计

设计了一种Fuzzy-PID控制算法，利用MATLAB的SIMULINK进行仿真研究，结果表明，该控制器具有较强的抗干扰能力和鲁棒性，有较好的动、静态控制精度．     

知识封装及知识型复杂系统

本文描述了复杂系统综合集成的一种新的方法--知识封装及其在知识封装上建立知识型复杂系统的过程, 探讨了知识在复杂系统中的作用及其介入的深度。采用知识封装后, 无法符号化的问题求解模块可以统一在知识系统的框架下进行处理。最后通过两个示例来说明如何对问题求解模块进行知识封装。     

基于荧光标记双向筛选的拟南芥CRISPR基因编辑突变体库构建

突变体库是研究基因功能的重要工具。拟南芥种质资源库(ABRC)储藏了几乎涵盖所有基因的突变体材料,其中T-DNA插入突变体占绝大多数。然而,当在T-DNA插入突变体中进行遗传转化或与其他转基因报告系统进行杂交时容易引起转基因沉默,阻碍了相关研究的开展,甚至产生错误结论。甲基磺酸乙酯(Ethyl Methane Sulfonate, EMS)诱变和快中子诱变技术可获得非转基因突变体,但这两种方法均为随机诱变技术,需要通过基因定位来确认突变位点,无法实现基因靶向敲除。CRISPR/Cas9可以对目的基因进行靶向编辑,获得不携带转基因的突变体。拟南芥中尚无利用CRISPR/Cas9进行高通量突变体库构建的报道。本研究共设计900条sgRNAs靶向300个RNA通路相关基因,通过合成sgRNA混池文库、引入DsRed2荧光筛选标记、将DNA条形码和二代测序技术相结合,实现了对转基因阳性苗的高通量鉴定和分型,并对T2代具有发育缺陷的无荧光植株进行负向筛选,成功鉴定到了不含转基因的smd3-b和rlua4突变体。     

对“有机化合物命名”中存在问题的商榷

按照《有机化学命名原则》（１９８０）,对目前高校有机化学教材中化合物命名中存在的问题进行了讨论。     

剪枝 Galois 格上规则的直接计算

Ｇａｌｏｉｓ格用于知识发现具有许多优点,并在实际应用中显示了一定的价值。现提出一种在已剪枝的Ｇａｌｏｉｓ格上直接计算规则的算法,其主要依据格结点的直接泛化来产生规则集合。该算法在一定条件下更为有效,并且所产生的规则集合是无冗余的。文中所述方法已用于数据库知识发现工具ＨＵＴＫＤＤ中。