论文部分内容阅读
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测.
信息对象开放式采集系统的形式化描述
【摘 要】
：
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使
【机 构】
：
石家庄铁道大学信息科学技术学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2010年8期
【基金项目】
：
国家自然科学基金项目（60873208）, 河北省自然科学基金项目（F2009000929）
其他文献
我国属于农业大国,农业的发展对国民经济的稳定具有一定的影响。在现代农业发展过程中,种植及采收等环节逐步向自动化过渡,极大地提高了农业发展水平。分析了农业机械自动化
2013年在天寒地冻、北冰南雪中悄然进入了我们的生活,地球在照样旋转,世界末日并没到来。作为有车一族,最热议的话题,无非是史上最严交规的出台;作为无车一族,则关心的是又有
<正>近日,由河南省南阳市委统战部联系的马来西亚《星洲日报》爱心助养团,在宛城区瓦店镇举行了助养金发放仪式,为50名贫困小学生每人发放了700元爱心助养金。此次在南阳期间
十九大报告提出,当前我国社会主要矛盾已经转化,不平衡不充分的发展已经制约着人民日益增长的美好生活需要,阻碍了我国社会经济的可持续发展。在全面深化改革的大背景下,作为