条材优化下料管理软件的研制与开发

本文介绍了一种实用管理软件的研制与开发的步骤 ,主要适用于制定和规划条材零件下料方案的工作。在此软件的计算下料方案模块内引进了单纯形算法 ,计算思路清晰 ,程序性能稳定。同时还附加了一些与制定条材零件下料方案相关的统计、查询功能 ,因此这套软件有很高的实用及推广价值     

基于Labview开发统计过程控制软件

统计过程控制是质量管理的重要内容,介绍了SPC的原理,并用Labview软件实现了SPC软件.这种开发方法应用了Labview软件提供的统计过程控制模块,方便了程序的开发,很容易被质量人员掌握,设备改动或软件应用于别的设备时,只需简单地修改参数,大大方便了统计过程控制的普及,提高企业的质量水平.     

条材优化下料管理软件的研制与开发

本文介绍了一种实用管理软件的研制与开发的步骤,主要适用于制定和规划条材零件下料方案的工作。在此软件的计算下料方案模块内引进了单纯形算法,计算思路清晰,程序性能稳定。同时还附加了一些与制定条材零件下料方案相关的统计、查询功能,因此这套软件有很高的实用及推广价值。     

软件复杂性度量及其应用

随着软件产品复杂性程度的日益增长,人们迫切需要度量软件的复杂性,对软件开发过程加以控制和管理。在软件复杂性概念中,程序复杂性是其中十分重要的因素之一,它表征了一个程序的可理解性或清晰性。当前软件复杂性度量已经成为软件工程学的一个重要分支。本文回顾了软件复杂性度量的一些典型方法,并对这些方法作一些评价,最后介绍了软件复杂性度量在软件开发过程中的应用。     

防范网页黑手

现在来自网络的攻击手段越来越多了,一些恶意网页会利用软件或系统操作平台等的安全漏洞,通过执行嵌入在网页HTML超文本标记语言内的JavaApplet小应用程序、JavaScript脚本语言程序、ActiveX软件部件交互技术支持的可自动执行的代码程序,强行修改用户操作系统的注册表及系统实用配置程序,从而达到非法控制系统资源、破坏数据、格式化硬盘等目的.目前来自网页黑手的攻击分为两种:一种是通过编辑的脚本程序修改IE浏览器;另外一种是直接破坏Windows系统.前者一般会修改IE浏览器的标题栏、默认主页等,下面就来介绍一些针对破坏Windows 系统的网页黑手的一些防范方法.     

抽象解释理论框架及其应用

在高度依赖计算机的现代社会,软件（特别是大型实时安全攸关软件）的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算,P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论,为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序变换、程序调试、程序水印等方面。描述了基于程序不动点语义的抽象解释理论框架,并对其近年来的应用现状进行了较为全面的介绍,最后给出了抽象解释理论中尚存在的一些问题及可能的研究方向。     

后台程序的设计方法

该文介绍了使用TURBOC开发TSR程序的方法。并给出运用BIOS中断1CH实现后台程序设计的具体实例。在软件开发中,用户往往需要编制一些TSR程序,以提高软件的实用性和新颖性,在此以后台音乐程序设计为例,介绍一种用Turbo C开发TSR程序的方法。     

一种基于Linux的软件组装方法

通过分析Linux内核模块的内在机制及虚拟设备设计的关键技术,研究ncurses开发库在控制台程序设计上的应用,提出了在Linux平台上快速组装软件的方法,该方法利用ncurses设计程序容器,通过虚拟设备实现程序容器与命令行程序的通信,并介绍了一个在Linux字符界面下的软件组装实例.该软件组装方法同样适用于XWindow程序设计.     

软件更新

超级兔子魔法设置7.55A升级指数:★★★★兔子的功能应该不用多介绍了,新版本在修订一些小BUG同时,增加了多种软件的卸载功能,加入了更多的木马/广告程序检测功能。很多人不喜欢这些优化软件,其实建议高手为菜鸟的电脑上安装这类软件,这样能让你少跑几趟。下载地址:http://wwwo.nlinedown.net/soft/2636h.tm统一加速器0.9805升级指数:★★★最近很火的东东,具体的使用方法可以参考上期的《在电信与网通间搭建绿色通道》,新版本修正Windows2000下没有加速的BUG;完善卸载虚拟网卡功能等。下载地址:http://wwwt.ywgc.om/腾讯QQ2006珊瑚虫版…     

卸载，你玩转了吗？

一般需要安装的软件都有专门的卸载程序．不过有时由于病毒破坏、用户误删文件等原因．造成一些程序无法正常卸载。在没有第三方专门卸载软件的前提下．我们又该如何解决呢?本文将介绍一些另娄技巧解决此类问题。     

软件安全漏洞检测技术

软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势.     

程序分析研究进展

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等）,特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、并发软件、分布式系统、二进制代码等）的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.     

2、支持在线升级的注册表优化软件

相信大家一定经常用优化软件来加强自己电脑的管理以及优化程序,加快系统速度等等，那么大家一定都知道超级魔法兔子等优秀的优化软件,可我们经常会因为这些软件的升级而烦恼。今天我在这里给大家介绍的是一个德国人开发的优化软件，而且支持在线升级.     

PIC单片机C语言程序设计(11)

<正>(接上期)5.PIC单片机C语言程序SIM软件仿真技巧在《PIC单片机C语言程序设计(10)》中,我们以C语言程序pic07.C为例,介绍了SIM软件仿真调试的基本手段和方法,下面介绍SIM软件仿     

适用于IBM-PS/ll微机系统的量子化学程序集

大型计算机程序微机化是当前世界上计算机软件发展的一个趋势,1987年以来美国化学会志(J.Am.Chem.Soc.)几乎每期都有关于微机量化程序软件的介绍及报导。量子化学计算由于其程序长,数组大,要占用很大的计算机内存,计算时需消耗较多的计算机时。因此,过去一些较大的量化计算程序只能在大中型计算机上完成。1986年我们首先在国内推出了IBM-PC/XT微机的量化程序集,这些程序在国内高校推广后,对于量子化     

基于Windows消息的软件界面集成技术研究

随着工程规模的扩大,以及软件行业的蓬勃发展,现有工程分析问题经常涉及多个工程软件的交叉使用,软件集成平台的开发成为一个新的研究方向.文章介绍了软件界面集成过程中捕获句柄、利用消息实现程序的控制、消息拦截等关键技术,以及集成平台的实现过程.按照该方法在Visual C#.NET开发环境下实现了Virtual Lab与自行开发的航炮系统集成平台软件的集成,证明了该方法的有效性.文中以机械行业软件集成为例介绍的通用界面集成技术,适用于其他行业软件的集成,甚至跨学科软件集成.     

学用TypeAndRun 随心所欲定"热键"

打开一个程序最快的方法是什么,当然是直接调用"热键"。今天给大家介绍一款名为TypeAndRun的软件,它是一个使用命令行方式快速打开程序、文件、网址、邮件、文件夹等等的工具。可以利用TypeAndRun将电脑中一些常用的程序和命令都设置成热键,这样以     

《CF中文软件包的开发》

本文介绍CF中文软件包的设计与实现的基本思想和方法。并且从面向应用研究的宗旨出发,介绍了该软件包的下列主要特色: 软件工具的制作及其在中文软件包中的作用 转体字形的加工与转体字库的建立 B-树结构的实施与多种编码的混合使用 仿UNIX的检索程序的开发与中文检索和统计功能的实现 表格自动生成软件的研制与中文报表的输出 维护软件的完善与系统可靠性的增强     

基于delphi的电子日记本软件的实现

本文介绍了基于delphi编程语言的windows环境下一些编程原理和方法,结合软件工程的理念、数据库、加密与面向对象编程等主要技术,详细讲述了电子日记本软件的内容设计及背景、delphi编程语言、信息加密、数据库设计和程序设计。     

社会调查数据处理系统SSPS概要介绍

1983年10月以来,我中心受中国社会科学院等单位的委托,在美国WANG 220VS/80计算机上研制出社会调查统计分析软件,即SSPS(Social Statistics ProcessingSystem)。该程序系统根据社会调查数据处理的特点,设计了“频率统计”、“相关统计”等多种统计