基于函数调用序列模式和函数调用图的程序缺陷检测方法

基于函数调用模式挖掘的程序缺陷检测方法通常挖掘出的模式较多,疑似缺陷数量大,人工确认疑似缺陷开销高,且易引入误判.为此,该文提出一种基于函数调用序列模式和函数调用图的程序缺陷检测方法.首先,挖掘函数调用序列模式;其次,通过分析待检测程序,生成函数调用图;第三,结合函数调用序列模式和函数调用图,检测程序中的疑似缺陷.实验结果表明,在不影响缺陷检测效果的前提下,本方法有效减少了疑似缺陷数量,降低了人工确认开销.     

关于公开不充分、实用性和创造性适用的探讨

本文通过对同一个案例的三种不同观点的分析,对说明书公开不充分、实用性和创造性的法律适用进行了探讨,并从立法以及节约审查程序角度对说明书公开不充分、实用性和创造性的实际运用情况进行分析,为审查过程中作出更符合客观实际的审查意见提供相关参考。     

论公益信托设立

公益信托设立是相关当事人依照信托法律规定的条件和程序设立公益信托的行为,公益信托设立像其他民事法律行为一样会发生一些法律上的后果。公益信托设立要遵守法定的条件和程序,明确的公益目的、确定的信托财产、不特定的受益人以及经过批准的合格受托人是公益信托设立的法定条件;指定信托文件、提出设立公益信托的申请、进行审查批准和移交信托财产是公益信托设立的必经程序。     

企业创新产品项目征集

正经请示国家科技部,科技部《中国新技术新产品》杂志决定:自即日起面向中国内资企业征集创新产品项目,在建立《全国企业创新产品目录》数据库的同时,由专家评审从中遴选一批创新性强、市场需求大、信誉好的优秀创新产品,列入《全国重点推广新产品》。相关事宜如下:一、征集对象及要求:1、产品研发的企业法人必须有主体资格、有自主创新能力;2、产品没有知识产权争议;3、产品符合国家规范和上市要求;4、产品研发成功已有合格产品或已定型生产;5、产品必须通过质量检验并提供检验证书的电子扫描复制件;二、项目列入《全国重点推广新产品》数据库程序:     

程序与实体在儒学语义中的诠释

"重实体轻程序"是我国目前的司法现状,其背后则是功利主义的动机,而中国儒家文化推崇人文主义,反对功利主义,因此,我们需要对儒家经典重新解读,从儒家文化中寻觅适合中国国情的法治道路,真正实现法律资源的本土化。     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

构建我国行政判例制度刍议

在我国,既然有构建行政判例制度的必要性,又具备可行性,那么建立什么样的行政判例制度,如何构建我国的行政判例制度,便成为我们着重要解决的问题。应该说,在把握我国的法律文化传统和认清当今世界判例制度发展趋势的基础上,结合我国的具体国情构建我国特色的行政判例制度是最佳方式。     

审视中国传统建筑群院落式构成法则

从讨论中西方传统建筑布局差异入手,进而探讨院落式群体构成法则如何广泛适应各个地区、各种建筑类型的需求,并且形成空间体验各异的组织程序,最终揭示了构成法则与社会文化心理结构的高度契合关系。     

惩罚抑或保护:我国未成年人刑事案件特别侦查程序的构建

2012年修改的《刑事诉讼法》增加了"未成年人刑事案件诉讼程序",对未成年人刑事案件的诉讼程序进行了规定。但修改后的刑诉法并没有对未成年人刑事案件侦查程序进行具体的规定,导致当前我国的未成年人刑事案件侦查程序仍存在一系列的问题。因此,需要构建未成年人刑事案件特别侦查程序,对未成年人设立专门的侦查程序,以充分保护未成年人的诉讼权利,实现惩罚犯罪与保障人权的统一。     

基于全基因组测序的粘绿木霉Gv29-8中分泌蛋白预测

粘绿木霉Gv29-8作为木霉属中重要的生防菌之一,对该菌分泌蛋白进行预测及其特征进行明确具有重要的理论意义。利用SignalP、ProtComp等预测程序对该菌中12427条蛋白质序列进行分泌蛋白找寻,并对上述分泌蛋白的氨基酸分布、信号肽长度大小及切割位点等性质进行分析。粘绿木霉含有分泌蛋白为377个,其氨基酸长度、信号肽长度与植物病原菌不同;信号肽切割位点属于A-X-A类型,与其他已经报道的植物病原真菌、卵菌中分泌蛋白信号肽切割位点一致。