锐化RAW文件细节表现

<正>任何一张照片都离不开锐化操作,这里我们教你在保证画质的前提下对RAW文件进行锐化处理,丰富画面纹理与细节。软件准备:Adobe Camera Raw学习目标:如何对照片进行锐化.并评估锐化的最终效果。操作耗时:10分钟我们可以通过调整照片的色彩与反差改善其画面效果,而调整锐度则能带来锦上添花的变化。但相对色彩与反差的调整来说,对照片进行正确的锐化处理则是一件非常棘手的事情。大多数相机为了避免细节丰富的区域出现摩尔纹的情况,通常都会内置低通滤镜对画面进行轻微的     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

南美洲某铜矿排土场边坡稳定性研究#br#

为保证排土场安全生产，以南美某铜矿排土场边坡为例，应用极限平衡法模拟现状排土场边坡在降雨入渗前后以及地震工况下安全系数、渗流场变化规律，结果表明，在降雨入渗之前，排土场安全系数高于规范值，边坡处于稳定状态；降雨入渗之后，边坡体积含水率增加，土体发生软化，强度参数降低，边坡沿软弱层面发生滑动破坏，造成边坡失稳；在地震工况下，安全系数下降明显。在其基础上，利用MIDAS软件建立排土场边坡三维数值模型，并利用有限元法进行数值模拟，结果表明，排土场最易发生屈服的区域为坡角基底处，其物理力学指标较低，底部土体先发生屈服破坏，之后带动上部台阶边坡发生破坏，排土场破坏模式主要以深层滑动为主。2种计算方法结果得出边坡破坏模式不同，边坡发生破坏的趋势相近，体现了2种计算方法的合理性。     

红岭矿18线南西翼通风系统技术改造

针对矿山18线南西翼矿体开采过程中存在的通风系统不完善、风量欠缺、污风无法及时排出等问题，运用风压平衡原理、网络优化技术、机站优化技术以及计算机网络模拟技术展开研究，拟定了3种可行的通风方案。经技术经济比较，确定了新掘18线905～855 m回风井（1.5 m），保留该井905 m 水平回风机站，并在855 m 水平新设1台K45 6 №12风机（18.5 kW）方案。数值模拟结果表明：18线南西翼通风系统总风量达到20.5 m3/s，井下风流的可调性和稳定性增强，为矿山的安全生产提供了有力保障。     

投稿要求

<正>为提高稿件审查、排版和校对效率,减少差错,提高出版质量,请作者投稿时参见以下要求:投稿请到本刊投稿平台http://www.e-foodtech.net/。原收稿邮箱shipinkj@vip.163.com 2010年10月1日起不再执行收稿工作,邮箱自动回复将提示您投稿登录平台,请各位作者注意邮箱的自动回复。投稿流程可以登录食品科技博客参考,注意请不要到中国知网的采编平台投稿。某些代发论文网站与我社均毫无联系,请您注意以免上     

微型步进马达线架组自动卷线设备设计

微型步进马达线圈组卷线上下料基本靠手动作业,效率低下,同时因工人技术水平的不同造成产品品质不稳定的问题多发.为此专门设计了微型步进马达线圈组自动卷线及上下料设备.通过结合现阶段的先进工业技术,采用振动盘分离区分进料,多机构并联三菱PLC及威纶人机界面触摸屏研发了此微型步进马达线圈组自动上下料及卷线设备.通过该设备实现了微型步进马达因工人不足导致产能减少和品质多发问题,减少企业成本,提升产品品质.