从功能规格说明到设计规格说明的自动转换

本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.

基于逻辑系统的用户需求功能规格说明语言及其应用

在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。

1000MW超超临界机组RUNBACK功能说明和触发实例分析

对广东惠州平海发电厂2×1000MW超超临界机组的RUNBACK(RB)功能进行了说明,并分析RB触发实例,对RUNBACK的逻辑功能进行完善和改进。

爱登堡电梯欠压保护停车功能说明

上海爱登堡电梯有限公司是上海市高新技术企业，也是上海市服务诚信（AAA）单位。

从语篇功能看体育学术论文摘要的翻译

从功能主义视角,以语篇功能理论为基础,分析体育学术论文摘要的语篇属性及语篇功能,对体育学术论文摘要结构、内容及规范性、完整性等进行分析,阐述摘要的语篇说明功能和成篇功能.根据我国目前体育学术论文摘要的英译状况,提出规范体育学术论文摘要翻译的建议:(1)明确摘要的语篇说明功能和成篇功能;(2)以译文读者为中心,实现摘要说明功能的充分对等;(3)以严谨完整为准则,实现成篇功能的转换.

我的发明故事：带说明书的药瓶

我是一个来自宝岛台湾的小朋友，现在华茂学校读书。在台湾，很多的父母为了孩子的健康经常给孩子带上治疗生病的药或者是补药，让同学们在学校里吃。但是我发现有些药的说明书和药物混装在一起，用手去拿说明书，很容易将手上外界的病菌带到药瓶内很不卫生。有时候同学还会发生将说明书搞丢的情况，这样就不知道如何吃药了。

元征LAUNCH X-431实测篇活动天窗失去一键开关功能的复位方法

注意事项：关闭全景式天窗系统时存在伤害风险,外力限制器失效,且天窗部件将以最大力量关闭,全景式天窗系统关闭时应确保不会造成人身伤害。实测车型：2017年款保时捷卡宴,VIN码：WP1AG2929HK××××××,如图1所示。功能说明：车辆蓄电池断开又再次连接后,或车辆蓄电池放电的情况下,或跨接启动后,全景式天窗系统的极限位置记忆丢失出现故障码,需要此功能复位。操作指引：1.选择智能诊断,识别出车辆信息。

国家税务总局关于优化完善增值税发票查询平台功能有关事项的公告

(2016年5月27日国家税务总局公告2016年第32号)自2016年3月1日起,税务总局对部分增值税一般纳税人(以下简称纳税人)取消了增值税发票扫描认证,纳税人可登录本省增值税发票查询平台,查询、选择。

彩电超级单片电路主要功能引脚速查表（二）

超级单片电路微处理器部分的主要功能引脚 超级单片电路的微处理器部分的主要功能引脚和对地电压见表3（下页），表中的引脚功能说明如下：

需求说明书──产品开发的生命线

─—“这个功能是什么意思啊？还有这个文本框是不是有字数限制的？”─—“这个功能是这个意思……，文本框字数最多有２０字。”─—“那这些字段都是必填的吗？”─—“唉呀，你怎么问题这么多，想想都知道这些是必填的。─—“你不写清楚我们设计部门怎么知道呢？”──“……”

维修保障仿真系统中评估成员的设计

以维修保障仿真系统为背景,结合维修保障评估中所涉及的评价参数,在维修保障系统中对仿真评估成员进行功能分析和模块化系统设计.

Decomposition-Based Visual Function Specification and Auto-Generation of Function

On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.

和谐桌面还有多远?

金山与奇虎360的恩怨再次升级。不过这一次，金山没有选择“孤军奋战”。6月10日，金山通过联合百度、搜搜、搜狗、瑞星、遨游、可牛等近十家与360有竞争关系的企业，成立互联网软件自律联盟，承诺加强产品开放和功能说明，接受用户、行业的监督，

基于CAN总线的船舶自动舵监控报警系统设计

为了减少船舶驾驶人员使用自动舵设备航行时引发的事故,并且方便船舶相关人员查看相关故障信息。以VisualBasic为编程语言,采用双CAN总线通信、串口通信,设计能实时监控自动舵信息并提供报警信息的系统,并详细说明该系统的构架、功能、信息传输接口和界面设计。以某段航线为例,在该系统上进行仿真测试,结果表明,该系统能实时并且正确地显示航行信息,对超出安全阈值的信息能及时产生报警并且存入数据库。该系统对减少船舶航行事故有很大帮助,对整体自动舵的安全使用很有意义。

互联网络技术在疾病防治咨询中的应用

90年代以来,由于计算机技术的迅速发展,特别是计算机互联网络(Internet)在公共卫生领域中的应用,越来越广泛。其Internet技术不论在科研教育、商业、还是娱乐等领域中的应用已是十分普遍。随着计算机应用的不断普及和计算机互联网络技术的不断发展,完全依赖于互联网络的工作方式已指日可待。

乙烯装置气体干燥器的计算机自动控制

一、功能说明大庆乙烯装置气体干燥器ALF顺序控制程序,负责三个气体干燥系统的六台干燥器(裂解气干燥器ER-331A/B、氢气干燥器ER-419A/B、原料气干燥器CR-601A/B)的顺序监视和顺序控制。这六台干燥器是天然气深冷分离系统。

汉字与平面设计

汉字本身就是中华民族的一种“平面设计产品”。汉字在平面设计中 ,其表现形式分为规范形式和变体形式两类 。

OMA DM软件的架构设计

OMADM协议是开放移动联盟(Open Mobile Alliance)为了解决日益繁多和复杂的售后问题而制定的一套用于服务器和终端之间进行通信的协议族,包括引擎协议以及特定的应用协议,通过相应协议的实现就可以完成终端信息采集,固件更新,软件组件管理以及数据备份恢复等多种业务,并且借助此网络可以更加方便地推行运营商的新业务,例如在线游戏、在线购物等。本文在TD_SCDMA网络下采用服务器-客户端的思想分析了OMA DM系统的架构,并且对服务器与客户端软件进行了详细的设计,特别是对它们内部的各个组件进行了功能说明。最后结合目前流行的android手机操作系统对DM客户端在android上的实现进行了分析。