梯形子模式非对称逆布局二值图像表示方法

虽然树形分层结构在图像表示和处理中有很多优点,但是它们都过分地强调分割的对称性和节点的对称性,因此不是最优的图像表示方法.借鉴Packing问题研究的方法,基于非对称逆布局模式表示模型(Non-symmetry An-ti-paeking pattern representation Model,NAM),提出了一个梯形子模式非对称逆布局二值图像表示方法,给出具体的编码算法和解码算法,并分析了算法的时空复杂度和表示的数据量.理论分析和试验结果表明,与流行的基于分层结构的线性四元树表示方法相比,梯形子模式非对称逆布局二值图像表示方法在子模式数量和数据量方面具有较大的优势.     

以典型工作任务为导向的课程开发

本文针对职业教育的“就业教育”特点,结合计算机软件专业培养目标的实际,以网站建设与维护岗位为背景,介绍了“以典型工作任务为导向的课程开发”的过程,提出了适用于网站建设与管理的课程开发方案。     

木糖和葡萄糖共发酵生产L-组氨酸

以1株L-组氨酸生产菌Escherichia coli HIS1为研究对象,优化其L-组氨酸合成关键酶His G*的诱导条件。通过摇瓶发酵的方式确定诱导剂木糖的最适质量浓度为10 g/L;通过5 L发酵罐发酵的方式确定最佳诱导时间为发酵8 h时诱导;因发酵过程中木糖会被消耗,故通过多次添加木糖或敲除xyl A基因阻断木糖代谢途径保持发酵液中的木糖浓度,以稳定诱导条件。结果表明,木糖同时作为诱导剂和碳源更有利于L-组氨酸的发酵生产,为此摸索出了木糖和葡萄糖共发酵生产L-组氨酸的发酵工艺。该工艺主要控制要点为发酵8 h之后添加质量浓度为10 g/L的木糖,发酵过程中流加木糖和葡萄糖质量比为1∶5的糖溶液。最终L-组氨酸的产量可达56.5 g/L,是纯葡萄糖发酵时的2倍。     

线上教学的启发与实践

2020年新冠肺炎疫情的特殊时期要求开展线上教学,线上教学初期面临网络不稳定、实时管控不利、在线组织教学难发力等多种问题,为了保障教学工作顺利进行,延安大学西安创新学院提供了多平台支撑,教学工作结合传统的教学理念,利用网络平台优势提供在线视频教学、签到监督、课程视频回放、学习辅助资料上传、线上作业批改、线上答疑,其中"...     

保形参数四次插值算法

利用四次的Bézier曲线段构造了GC2连续的参数四次插值样条曲线,该样条曲线是保形的和局部的,且计算十分简单,所有的Bézier点由型值点和曲率直接计算产生,避免了求解矢量方程.最后,给出了一个数值实例.     

基于二邻居图的无线传感器网络边缘检测算法

针对传统边缘检测算法未考虑边缘宽度的问题,提出了一种基于二邻居图的无线传感器网络边缘检测算法,通过调节节点通信半径得到合适的边缘宽度。该算法不需要任何节点位置信息,仅通过分析二邻居图的拓扑连通性来判断边缘节点。仿真结果表明,该算法能够准确检测出边缘节点,对于分布稀疏、节点密度较低的局部边缘同样适用,能够应用于无线传感器覆盖质量、连通性和能量管理等,有效延长了网络生命期。     

一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.     

基于词频差异特征选取的Context Graph算法改进

为了解决传统主题爬虫效率偏低的问题,在分析了启发式网络爬虫搜索算法Context Graph的基础上,提出了一种改进的Context Graph爬虫搜索策略。该策略利用基于词频差异的特征选取方法和改进后的TF-IDF公式对原算法进行了改进,综合考虑了网页不同部分的文本信息对特征选取的影响,及特征词的类间权重和类中权重,以提高特征选取和评价的质量。实验结果表明,与既定传统方法进行实验对照,改进后的策略效率更高。     

一种新的基于有色Petri网的安全协议建模方法

密码协议安全性的分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文提出了一种新的基于有色Petri网的安全协议建模方法，并以TMN密码协议为例，说明了这一方法的建模过程。     

代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。