论程序的内在价值及程序公正与效率的关系

程序公正并不仅仅是追求实体公正的工具和手段，它和实体公正都是司法活动所追求的目标。程序公正可保障、促进实体正义的实现，可控制法官的恣意，防止人治在诉讼中的过度膨胀，可促进纠纷的真正解决。程序正义与效率均是诉讼追求的两大价值目标，两者在价值趋向上既有矛盾，又有重合。     

一株来自青藏高原土壤日本曲霉菌的分离鉴定及其杀东亚飞蝗活性研究

采用稀释涂布法从青藏高原采集的土样中分离得到一株具有杀蝗虫活性真菌D3-19.通过形态学观察以及ITS序列的分析,初步将D3-19鉴定为曲霉属日本曲霉(Aspergillus japonicas).室内活性测定结果表明日本曲霉D3-19发酵液和孢子均有杀东亚飞蝗活性.其中,真菌发酵液对东亚飞蝗校正死亡率为:96h(86.67%),144h(100%).与此同时,真菌孢子悬液对东亚飞蝗的LC50(致死中浓度)为3.42×105孢子/mL.研究结果表明,3×108孢子/mL的D3-19孢子悬液对不同年龄阶段东亚飞蝗均有致死效果.其LT50(半致死时间)值分别为:羽化成虫(155h),四至五龄成虫(104.8h),三龄幼虫(54.6h),二龄幼虫(30.6h).     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

传统飞行程序与PBN飞行程序

在民用航空上百年的发展历程中,导航方式经历了数次重大变革,而每次变革在提高民用航空安全的同时,也带来巨大的社会经济效益,如今,导航方式又一次出现了革命性的转变基于性能导航（PBN）,其代表就是PBN飞行程序,它打破了飞行方式的传统模式,成为了当前最先进的,被中国民航广泛应用的一种新型航行技术。该文介绍了传统飞行程序和存在的缺陷,通过传统飞行程度与PBN飞行程序之间的对比分析,对PBN飞行程序的强大优势与应用前景进行了全面探析。     

高校健美操“程序-合作学习-自主探索”教学模式的应用研究

运用文献资料法、教学实验法、数理统计法对“程序-合作学习-自主探索”教学模式和传统教学模式在高校健美操教学中进行实验对比,主要从实验后两种教学模式对学生身体形态、机能、素质及健美操技能等方面的影响进行深入分析.研究发现：“程序-合作学习-自主探索”教学模式对于提高学生身体机能、身体素质和健美操技能方面要优于传统教学模式.     

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

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

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

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

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